Skip to main content
4 of 4
Fixed the brackets lost by last edit
Fran Burstall
  • 1.1k
  • 10
  • 18

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