Search results
Results from the WOW.Com Content Network
The existence of the exponential map is one of the primary reasons that Lie algebras are a useful tool for studying Lie groups. The ordinary exponential function of mathematical analysis is a special case of the exponential map when G {\displaystyle G} is the multiplicative group of positive real numbers (whose Lie algebra is the additive group ...
If is a Lie group with Lie algebra , then we have the exponential map from to , written as X ↦ e X , X ∈ g . {\displaystyle X\mapsto e^{X},\quad X\in {\mathfrak {g}}.} If G {\displaystyle G} is a matrix Lie group, the expression e X {\displaystyle e^{X}} can be computed by the usual power series for the exponential.
The foundation of Lie theory is the exponential map relating Lie algebras to Lie groups which is called the Lie group–Lie algebra correspondence. The subject is part of differential geometry since Lie groups are differentiable manifolds. Lie groups evolve out of the identity (1) and the tangent vectors to one-parameter subgroups generate the ...
The definition above is easy to use, but it is not defined for Lie groups that are not matrix groups, and it is not clear that the exponential map of a Lie group does not depend on its representation as a matrix group. We can solve both problems using a more abstract definition of the exponential map that works for all Lie groups, as follows.
Jacobson, Nathan, Lie algebras, Republication of the 1962 original. Dover Publications, Inc., New York, 1979. ISBN 0-486-63832-4; Kac, Victor (1990). Infinite dimensional Lie algebras (3rd ed.). Cambridge University Press. ISBN 0-521-46693-8. Claudio Procesi (2007) Lie Groups: an approach through invariants and representation, Springer, ISBN ...
Dually, a Lie coalgebra structure on a vector space E is a linear map : which is antisymmetric (this means that it satisfies =, where is the canonical flip ) and satisfies the so-called cocycle condition (also known as the co-Leibniz rule)
Here the zeros on the ends represent the zero Lie algebra (containing only the zero vector 0) and the maps are the obvious ones; maps 0 to 0 and maps all elements of to 0. With this definition, it follows automatically that i is a monomorphism and s is an epimorphism.
Likewise, given any discrete normal subgroup of a Lie group the quotient group is a Lie group and the quotient map is a covering homomorphism. Two Lie groups are locally isomorphic if and only if their Lie algebras are isomorphic. This implies that a homomorphism φ : G → H of Lie groups is a covering homomorphism if and only if the induced ...