Skip to main content
3 of 4
fixed up some tex
Sebastian Goette
  • 6.8k
  • 2
  • 36
  • 62

Well, the crux of the matter is to cook up the linear subspace of $gl(n)$ that will eventually be the subalgebra.

If $H$ is the subgroup: set $h={X\in gl(n): (\forall t \in \mathbb{R}) \, exp(tX) \in H }$.

You need to show two not completely obvious things:

  1. $h$ is a linear subspace

  2. $exp(h)$ is a nbhd of $1$ in $H$ (give $H$ the induced topology from $GL_n(\mathbb{R})$).

Adams has ingenious short arguments for these on pages 17-19 of his Lectures on Lie groups which require nothing but a little real analysis.

I remark that all this uses no manifold or Lie theory beyond the necessary definitions and the argument works completely without change for closed subgroups of any Lie group.

Fran Burstall
  • 1.1k
  • 10
  • 18