[Math] Classify the compact abelian Lie groups

lie-groups

It's a classical theorem of Lie group theory that any compact connected abelian Lie group must be a torus. So it's natural to ask what if we delete the connectedness, i.e. the problem of classification of the compact abelian Lie groups.

Best Answer

Let $G$ be an abelian Lie group. The connected component $G_0$ is a connected abelian Lie group, so it's isomorphic to $\Bbb{R}^n\times\Bbb{T}^m$ for some $n,m\in\omega$ (this is not hard to see: mostly one just needs to observe $\exp$ is a surjective open homomorphism with a discrete kernel). In particular, it is divisible.

Lemma. Suppose $D$ is a divisible subgroup of an abelian group $G$ and $h:D\to H$ is a homomorphism into a divisible abelian group $H$. Then $f$ extends to a homomorphism $\tilde f:G\to H$.

For a proof, see here.

Therefore the identity $\mathrm{id}:G_0\to G_0$ extends to a homomorphism $f:G\to G_0$. Denote $K=\ker(f)$; clearly $K\cdot G_0=G$ and $K\cap G_0={0}$ so (since $G$ is abelian) $G=K\times G_0$. Since $G_0$ is open, we moreover know that $K$ must be discrete (and therefore closed). This shows $G=K\times G_0$ as a topological group and not just an abstract group.

Thus, we have seen abelian Lie groups are exactly the direct products of an abelian discrete group and a connected abelian Lie group.

If we moreover require $G$ to be compact, then $K$ must be finite (since it is compact, as a closed subgroup of $G$, and discrete) and $G_0$ a torus (since all connected compact abelian Lie groups are tori). So a group $G$ is a compact abelian Lie group if and only if it is isomorphic to $F\times \Bbb{T}^m$ for a finite abelian group $F$ and $m\in\omega$.

Related Question