A Lie Subgroup is defined as follows:(adsbygoogle = window.adsbygoogle || []).push({});

A Lie subgroup of a Lie group G is (i) an abstract subgroup H that is (ii) an immersed submanifold via the inclusion map such that (iii) the group operations on H are smooth.

While a Lie Group is defined as a group with smooth multiplication and inversion maps, that is also a manifold. One would think that a Lie subgroup would be defined so that it is also a Lie group in it's own right. However, immersed submanifolds are not embedded submanfolds, and thus not in general manifolds in their own right.

What is the reason for this definition?

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Why are Lie Subgroups Defined as Immersed Submanifolds?

**Physics Forums | Science Articles, Homework Help, Discussion**