The special linear group is totally disconnected
Statement
Show that , viewed as a subset of , is totally disconnected: its connected components are single points.
Hint
Two different integer matrices cannot be arbitrarily close.
Show solutionHide solution
Solution
Idea. is a *discrete* subspace, so every subset is open in it, and a connected subset of a discrete space has at most one point.
Step 1: the subspace is discrete. Take the maximum norm (all norms on are equivalent, so the topology does not depend on this choice). If are integer matrices, some entry differs by an integer different from , so
Hence the open ball contains no other integer matrix, and is open in .
Step 2: connected subsets are points. Let be connected with two distinct points . The set is open in (by step 1) and also closed in (singletons are closed), and it is neither empty nor equal to . That disconnects , a contradiction. So has at most one point.
Remark. The same proof shows that any subset of is totally disconnected. This is a first example of a *discrete subgroup* of a Lie group. The quotient is the space of unimodular lattices, a central object of number theory.