Closed subgroup theorem

The closed subgroup theorem is an important theorem in Lie theory because it gives us a way to “make” a lot of new and interesting Lie groups from known existing ones.

Statement

For a Lie group , let be a (topologically) closed subgroup. Then is an embedded submanifold and therefore is a Lie subgroup.

Proof

todo