Past exam of the mathematics course of the University of Cambridge / 2010 / iii / Paper 1 / 5 / a / Solution

Suppose that $H$ is not a discrete subgroup. The identity is then an accumulation point of nonidentity subgroup elements: translate any failure of isolation to the identity. Choose $h_j\in H\setminus \{e\}$ with $h_j\to e$, and use a local exponential chart to write $h_j=\exp X_j$, where $X_j\ne 0$ and $X_j\to 0$ in the real Lie algebra $\mathfrak{g}$.

Choose a norm on this finite-dimensional vector space. By compactness of its unit sphere, pass to a subsequence with $X_j/\Vert X_j\Vert \to X$, where $\Vert X\Vert =1$. For an arbitrary real $t$, choose an integer $m_j$ nearest to $t/\Vert X_j\Vert$. Then $m_j\Vert X_j\Vert \to t$ andEvery left-hand element belongs to $H$, including for negative $m_j$. Closedness gives $\exp (tX)\in H$. Since $t$ was arbitrary and $X\ne 0$, the limit directions of a closed subgroup provide a nontrivial one-parameter subgroup in $H$. Its derivative at zero is $X$, so it cannot be the constant subgroup.