- Lie subgroup
In
mathematics , asubgroup "H" of aLie group "G" is a Lie subgroup if the inclusion map from "H" to "G" is smooth. In particular, this implies that the inclusion map from "H" to "G" is an immersion. According toCartan's theorem , a closed subgroup of "G" is always a Lie subgroup of "G".Examples of non-closed subgroups are plentiful; for example take "G" to be a
torus of dimension ≥ 2, and let "H" be aone-parameter subgroup of "irrational slope", i.e. one that winds around in "G". Then there is a Lie grouphomomorphism φ : R → "G" with "H" as its image. The closure of "H" will be a sub-torus in "G".In terms of the
exponential map of "G", in general, only some of the Lie subalgebras of the Lie algebra "g" of "G" correspond to Lie subgroups "H" of "G". There is no criterion solely based on the structure of "g" which determines which those are.References
*Citation | last1=Helgason | first1=Sigurdur | title=Differential geometry, Lie groups, and symmetric spaces | publisher=
American Mathematical Society | location=Providence, R.I. | series=Graduate Studies in Mathematics | isbn=978-0-8218-2848-9 | id=MathSciNet | id = 1834454 | year=2001 | volume=34External links
* [http://mathworld.wolfram.com/LieGroup.html Lie Group on Mathworld]
Wikimedia Foundation. 2010.