Welcome to MathOverflow

Question

1

Let's say I want to prove that a closed subgroup of GL(n,R) or GL(n,C) is a Lie group, with an atlas given by exponential of matrices (restricted to an appropriate subalgebra of gl(n)), without using any manifold or Lie theory. Can you provide the necessary argument? Maybe it's trivial, but I can't see it at the moment.

flag	asked Nov 3 2009 at 18:41 Gian Maria Dall'Ara 1,408●6●19

	This sort of thing is standard in many textbooks. What do you mean by "without using any manifold or Lie theory"? – Scott Morrison♦ Nov 3 2009 at 19:11
	The notion of Lie group requires the use of manifolds, so your constraint does not seem to make sense. In the absence of a clarifying edit, I'd suggest that this question be closed. – S. Carnahan♦ Nov 3 2009 at 20:01
	There's a good answer below, so I'll leave it be. – Scott Morrison♦ Nov 3 2009 at 22:04
	Sorry if my request wasn't so clear, but Fran Burstall's answer is exactly what I wanted. – Gian Maria Dall'Ara Nov 3 2009 at 22:22

Fran Burstall · Accepted Answer · 2009-11-03 20:55:01Z UTC

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): exp(tX) \in H for all t \in\R}.

You need to show two not completely obvious things:

h is a linear subspace
exp(h) is a nbhd of 1 in H (give H the induced topology from GL(n)).

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.

Closed subgroups of GL(n)

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.