Maths WorkshopMaths problems with full solutions
Exercise 311Topology › Topology of Mn(ℝ) › ConnectednessL2Added 7 Nov 2026

The special linear group is totally disconnected

#totally disconnected#discrete subspace#integer matrices

Statement

Show that SLn(Z)SL_n(\mathbb{Z}), viewed as a subset of Mn(R)M_n(\mathbb{R}), is totally disconnected: its connected components are single points.

Hint

Two different integer matrices cannot be arbitrarily close.

Show solutionHide solution

Solution

Idea. SLn(Z)SL_n(\mathbb{Z}) 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 ∥A∥∞=max⁡i,j∣aij∣\|A\|_\infty=\max_{i,j}|a_{ij}| (all norms on Mn(R)M_n(\mathbb{R}) are equivalent, so the topology does not depend on this choice). If A≠BA\neq B are integer matrices, some entry differs by an integer different from 00, so
∥A−B∥∞≥1.\|A-B\|_\infty\ge1.
Hence the open ball B(A,1)B(A,1) contains no other integer matrix, and {A}=B(A,1)∩SLn(Z)\{A\}=B(A,1)\cap SL_n(\mathbb{Z}) is open in SLn(Z)SL_n(\mathbb{Z}).

Step 2: connected subsets are points. Let S⊂SLn(Z)S\subset SL_n(\mathbb{Z}) be connected with two distinct points A,BA,B. The set {A}\{A\} is open in SS (by step 1) and also closed in SS (singletons are closed), and it is neither empty nor equal to SS. That disconnects SS, a contradiction. So SS has at most one point.

Remark. The same proof shows that any subset of Mn(Z)M_n(\mathbb{Z}) is totally disconnected. This is a first example of a *discrete subgroup* of a Lie group. The quotient SLn(R)/SLn(Z)SL_n(\mathbb{R})/SL_n(\mathbb{Z}) is the space of unimodular lattices, a central object of number theory.