Misplaced Pages

In mathematics, Lie group–Lie algebra correspondence allows one to correspond a Lie group to a Lie algebra or vice versa, and study the conditions for such a relationship. Lie groups that are isomorphic to each other have Lie algebras that are isomorphic to each other, but the converse is not necessarily true. One obvious counterexample is ${\displaystyle \mathbb {R} ^{n}}$ and ${\displaystyle \mathbb {T} ^{n}}$ (see real coordinate space and the circle group respectively) which are non-isomorphic to each other as Lie groups but their Lie algebras are isomorphic to each other. However, for simply connected Lie groups, the Lie group-Lie algebra correspondence is one-to-one.

In this article, a Lie group refers to a real Lie group. For the complex and p-adic cases, see complex Lie group and p-adic Lie group. In this article, manifolds (in particular Lie groups) are assumed to be second countable; in particular, they have at most countably many connected components.

Basics

The Lie algebra of a Lie group

There are various ways one can understand the construction of the Lie algebra of a Lie group G. One approach uses left-invariant vector fields. A vector field X on G is said to be invariant under left translations if, for any g, h in G,

${\displaystyle (dL_{g})_{h}(X_{h})=X_{gh}}$

where ${\displaystyle L_{g}:G\to G}$ is defined by ${\displaystyle L_{g}(x)=gx}$ and ${\displaystyle (dL_{g})_{h}:T_{h}G\to T_{gh}G}$ is the differential of ${\displaystyle L_{g}}$ between tangent spaces.

Let ${\displaystyle \operatorname {Lie} (G)}$ be the set of all left-translation-invariant vector fields on G. It is a real vector space. Moreover, it is closed under Lie bracket; i.e., ${\displaystyle }$ is left-translation-invariant if X, Y are. Thus, ${\displaystyle \operatorname {Lie} (G)}$ is a Lie subalgebra of the Lie algebra of all vector fields on G and is called the Lie algebra of G. One can understand this more concretely by identifying the space of left-invariant vector fields with the tangent space at the identity, as follows: Given a left-invariant vector field, one can take its value at the identity, and given a tangent vector at the identity, one can extend it to a left-invariant vector field. This correspondence is one-to-one in both directions, so is bijective. Thus, the Lie algebra can be thought of as the tangent space at the identity and the bracket of X and Y in ${\displaystyle T_{e}G}$ can be computed by extending them to left-invariant vector fields, taking the bracket of the vector fields, and then evaluating the result at the identity.

There is also another incarnation of ${\displaystyle \operatorname {Lie} (G)}$ as the Lie algebra of primitive elements of the Hopf algebra of distributions on G with support at the identity element; for this, see #Related constructions below.

Matrix Lie groups

Suppose G is a closed subgroup of GL(n;C), and thus a Lie group, by the closed subgroups theorem. Then the Lie algebra of G may be computed as

${\displaystyle \operatorname {Lie} (G)=\left\{X\in M(n;\mathbb {C} )\mid e^{tX}\in G{\text{ for all }}t\in \mathbb {R} \right\}.}$

For example, one can use the criterion to establish the correspondence for classical compact groups (cf. the table in "compact Lie groups" below.)

Homomorphisms

If

${\displaystyle f:G\to H}$

is a Lie group homomorphism, then its differential at the identity element

${\displaystyle df=df_{e}:\operatorname {Lie} (G)\to \operatorname {Lie} (H)}$

is a Lie algebra homomorphism (brackets go to brackets), which has the following properties:

• ${\displaystyle \exp(df(X))=f(\exp(X))}$ for all X in Lie(G), where "exp" is the exponential map
• ${\displaystyle \operatorname {Lie} (\ker(f))=\ker(df)}$.
• If the image of f is closed, then ${\displaystyle \operatorname {Lie} (\operatorname {im} (f))=\operatorname {im} (df)}$ and the first isomorphism theorem holds: f induces the isomorphism of Lie groups:

  ${\displaystyle G/\ker(f)\to \operatorname {im} (f).}$

• The chain rule holds: if ${\displaystyle f:G\to H}$ and ${\displaystyle g:H\to K}$ are Lie group homomorphisms, then ${\displaystyle d(g\circ f)=(dg)\circ (df)}$.

In particular, if H is a closed subgroup of a Lie group G, then ${\displaystyle \operatorname {Lie} (H)}$ is a Lie subalgebra of ${\displaystyle \operatorname {Lie} (G)}$. Also, if f is injective, then f is an immersion and so G is said to be an immersed (Lie) subgroup of H. For example, ${\displaystyle G/\ker(f)}$ is an immersed subgroup of H. If f is surjective, then f is a submersion and if, in addition, G is compact, then f is a principal bundle with the structure group its kernel. (Ehresmann's lemma)

Other properties

Let ${\displaystyle G=G_{1}\times \cdots \times G_{r}}$ be a direct product of Lie groups and ${\displaystyle p_{i}:G\to G_{i}}$ projections. Then the differentials ${\displaystyle dp_{i}:\operatorname {Lie} (G)\to \operatorname {Lie} (G_{i})}$ give the canonical identification:

${\displaystyle \operatorname {Lie} (G_{1}\times \cdots \times G_{r})=\operatorname {Lie} (G_{1})\oplus \cdots \oplus \operatorname {Lie} (G_{r}).}$

If ${\displaystyle H,H'}$ are Lie subgroups of a Lie group, then ${\displaystyle \operatorname {Lie} (H\cap H')=\operatorname {Lie} (H)\cap \operatorname {Lie} (H').}$

Let G be a connected Lie group. If H is a Lie group, then any Lie group homomorphism ${\displaystyle f:G\to H}$ is uniquely determined by its differential ${\displaystyle df}$. Precisely, there is the exponential map ${\displaystyle \exp :\operatorname {Lie} (G)\to G}$ (and one for H) such that ${\displaystyle f(\exp(X))=\exp(df(X))}$ and, since G is connected, this determines f uniquely. In general, if U is a neighborhood of the identity element in a connected topological group G, then ${\textstyle \bigcup _{n>0}U^{n}}$ coincides with G, since the former is an open (hence closed) subgroup. Now, ${\displaystyle \exp :\operatorname {Lie} (G)\to G}$ defines a local homeomorphism from a neighborhood of the zero vector to the neighborhood of the identity element. For example, if G is the Lie group of invertible real square matrices of size n (general linear group), then ${\displaystyle \operatorname {Lie} (G)}$ is the Lie algebra of real square matrices of size n and ${\textstyle \exp(X)=e^{X}=\sum _{0}^{\infty }{X^{j}/j!}}$.

The correspondence

The correspondence between Lie groups and Lie algebras includes the following three main results.

• Lie's third theorem: Every finite-dimensional real Lie algebra is the Lie algebra of some simply connected Lie group.
• The homomorphisms theorem: If ${\displaystyle \phi :\operatorname {Lie} (G)\to \operatorname {Lie} (H)}$ is a Lie algebra homomorphism and if G is simply connected, then there exists a (unique) Lie group homomorphism ${\displaystyle f:G\to H}$ such that ${\displaystyle \phi =df}$.
• The subgroups–subalgebras theorem: If G is a Lie group and ${\displaystyle {\mathfrak {h}}}$ is a Lie subalgebra of ${\displaystyle \operatorname {Lie} (G)}$, then there is a unique connected Lie subgroup (not necessarily closed) H of G with Lie algebra ${\displaystyle {\mathfrak {h}}}$.

In the second part of the correspondence, the assumption that G is simply connected cannot be omitted. For example, the Lie algebras of SO(3) and SU(2) are isomorphic, but there is no corresponding homomorphism of SO(3) into SU(2). Rather, the homomorphism goes from the simply connected group SU(2) to the non-simply connected group SO(3). If G and H are both simply connected and have isomorphic Lie algebras, the above result allows one to show that G and H are isomorphic. One method to construct f is to use the Baker–Campbell–Hausdorff formula.

For readers familiar with category theory the correspondence can be summarised as follows: First, the operation of associating to each connected Lie group ${\displaystyle G}$ its Lie algebra ${\displaystyle Lie(G)}$, and to each homomorphism ${\displaystyle f}$ of Lie groups the corresponding differential ${\displaystyle Lie(f)=df_{e}}$ at the neutral element, is a (covariant) functor ${\displaystyle Lie}$ from the category of connected (real) Lie groups to the category of finite-dimensional (real) Lie-algebras. This functor has a left adjoint functor ${\displaystyle \Gamma }$ from (finite dimensional) Lie algebras to Lie groups (which is necessarily unique up to canonical isomorphism). In other words there is a natural isomorphism of bifunctors

${\displaystyle \mathrm {Hom} _{CLGrp}(\Gamma ({\mathfrak {g}}),H)\cong \mathrm {Hom} _{LAlg}({\mathfrak {g}},Lie(H)).}$

${\displaystyle \Gamma ({\mathfrak {g}})}$ is the (up to isomorphism unique) simply-connected Lie group with Lie algebra ${\displaystyle {\mathfrak {g}}}$. The associated natural unit morphisms ${\displaystyle \epsilon \colon {\mathfrak {g}}\rightarrow Lie(\Gamma ({\mathfrak {g}}))}$ of the adjunction are isomorphisms, which corresponds to ${\displaystyle \Gamma }$ being fully faithful (part of the second statement above). The corresponding counit ${\displaystyle \Gamma (Lie(H))\rightarrow H}$ is the canonical projection ${\displaystyle {\widetilde {H}}\rightarrow H}$ from the simply connected covering; its surjectivity corresponds to ${\displaystyle Lie}$ being a faithful functor.

Proof of Lie's third theorem

Perhaps the most elegant proof of the first result above uses Ado's theorem, which says any finite-dimensional Lie algebra (over a field of any characteristic) is a Lie subalgebra of the Lie algebra ${\displaystyle {\mathfrak {gl}}_{n}}$ of square matrices. The proof goes as follows: by Ado's theorem, we assume ${\displaystyle {\mathfrak {g}}\subset {\mathfrak {gl}}_{n}(\mathbb {R} )=\operatorname {Lie} (GL_{n}(\mathbb {R} ))}$ is a Lie subalgebra. Let G be the closed (without taking the closure one can get pathological dense example as in the case of the irrational winding of the torus) subgroup of ${\displaystyle GL_{n}(\mathbb {R} )}$ generated by ${\displaystyle e^{\mathfrak {g}}}$ and let ${\displaystyle {\widetilde {G}}}$ be a simply connected covering of G; it is not hard to show that ${\displaystyle {\widetilde {G}}}$ is a Lie group and that the covering map is a Lie group homomorphism. Since ${\displaystyle T_{e}{\widetilde {G}}=T_{e}G={\mathfrak {g}}}$, this completes the proof.

Example: Each element X in the Lie algebra ${\displaystyle {\mathfrak {g}}=\operatorname {Lie} (G)}$ gives rise to the Lie algebra homomorphism

${\displaystyle \mathbb {R} \to {\mathfrak {g}},\,t\mapsto tX.}$

By Lie's third theorem, as ${\displaystyle \operatorname {Lie} (\mathbb {R} )=T_{0}\mathbb {R} =\mathbb {R} }$ and exp for it is the identity, this homomorphism is the differential of the Lie group homomorphism ${\displaystyle \mathbb {R} \to H}$ for some immersed subgroup H of G. This Lie group homomorphism, called the one-parameter subgroup generated by X, is precisely the exponential map ${\displaystyle t\mapsto \exp(tX)}$ and H its image. The preceding can be summarized to saying that there is a canonical bijective correspondence between ${\displaystyle {\mathfrak {g}}}$ and the set of one-parameter subgroups of G.

Proof of the homomorphisms theorem

One approach to proving the second part of the Lie group-Lie algebra correspondence (the homomorphisms theorem) is to use the Baker–Campbell–Hausdorff formula, as in Section 5.7 of Hall's book. Specifically, given the Lie algebra homomorphism ${\displaystyle \phi }$ from ${\displaystyle \operatorname {Lie} (G)}$ to ${\displaystyle \operatorname {Lie} (H)}$, we may define ${\displaystyle f:G\to H}$ locally (i.e., in a neighborhood of the identity) by the formula

${\displaystyle f(e^{X})=e^{\phi (X)},}$

where ${\displaystyle e^{X}}$ is the exponential map for G, which has an inverse defined near the identity. We now argue that f is a local homomorphism. Thus, given two elements near the identity ${\displaystyle e^{X}}$ and ${\displaystyle e^{Y}}$ (with X and Y small), we consider their product ${\displaystyle e^{X}e^{Y}}$. According to the Baker–Campbell–Hausdorff formula, we have ${\displaystyle e^{X}e^{Y}=e^{Z}}$, where

${\displaystyle Z=X+Y+{\frac {1}{2}}+{\frac {1}{12}}]+\cdots ,}$

with ${\displaystyle \cdots }$ indicating other terms expressed as repeated commutators involving X and Y. Thus,

${\displaystyle f\left(e^{X}e^{Y}\right)=f\left(e^{Z}\right)=e^{\phi (Z)}=e^{\phi (X)+\phi (Y)+{\frac {1}{2}}+{\frac {1}{12}}]+\cdots },}$

because ${\displaystyle \phi }$ is a Lie algebra homomorphism. Using the Baker–Campbell–Hausdorff formula again, this time for the group H, we see that this last expression becomes ${\displaystyle e^{\phi (X)}e^{\phi (Y)}}$, and therefore we have

${\displaystyle f\left(e^{X}e^{Y}\right)=e^{\phi (X)}e^{\phi (Y)}=f\left(e^{X}\right)f\left(e^{Y}\right).}$

Thus, f has the homomorphism property, at least when X and Y are sufficiently small. This argument is only local, since the exponential map is only invertible in a small neighborhood of the identity in G and since the Baker–Campbell–Hausdorff formula only holds if X and Y are small. The assumption that G is simply connected has not yet been used.

The next stage in the argument is to extend f from a local homomorphism to a global one. The extension is done by defining f along a path and then using the simple connectedness of G to show that the definition is independent of the choice of path.

Lie group representations

A special case of Lie correspondence is a correspondence between finite-dimensional representations of a Lie group and representations of the associated Lie algebra.

The general linear group ${\displaystyle GL_{n}(\mathbb {C} )}$ is a (real) Lie group and any Lie group homomorphism

${\displaystyle \pi :G\to GL_{n}(\mathbb {C} )}$

is called a representation of the Lie group G. The differential

${\displaystyle d\pi :{\mathfrak {g}}\to {\mathfrak {gl}}_{n}(\mathbb {C} ),}$

is then a Lie algebra homomorphism called a Lie algebra representation. (The differential ${\displaystyle d\pi }$ is often simply denoted by ${\displaystyle \pi '}$.)

The homomorphisms theorem (mentioned above as part of the Lie group-Lie algebra correspondence) then says that if ${\displaystyle G}$ is the simply connected Lie group whose Lie algebra is ${\displaystyle {\mathfrak {g}}}$, every representation of ${\displaystyle {\mathfrak {g}}}$ comes from a representation of G. The assumption that G be simply connected is essential. Consider, for example, the rotation group SO(3), which is not simply connected. There is one irreducible representation of the Lie algebra in each dimension, but only the odd-dimensional representations of the Lie algebra come from representations of the group. (This observation is related to the distinction between integer spin and half-integer spin in quantum mechanics.) On the other hand, the group SU(2) is simply connected with Lie algebra isomorphic to that of SO(3), so every representation of the Lie algebra of SO(3) does give rise to a representation of SU(2).

The adjoint representation

An example of a Lie group representation is the adjoint representation of a Lie group G; each element g in a Lie group G defines an automorphism of G by conjugation: ${\displaystyle c_{g}(h)=ghg^{-1}}$; the differential ${\displaystyle dc_{g}}$ is then an automorphism of the Lie algebra ${\displaystyle {\mathfrak {g}}}$. This way, we get a representation ${\displaystyle \operatorname {Ad} :G\to GL({\mathfrak {g}}),\,g\mapsto dc_{g}}$, called the adjoint representation. The corresponding Lie algebra homomorphism ${\displaystyle {\mathfrak {g}}\to {\mathfrak {gl}}({\mathfrak {g}})}$ is called the adjoint representation of ${\displaystyle {\mathfrak {g}}}$ and is denoted by ${\displaystyle \operatorname {ad} }$. One can show ${\displaystyle \operatorname {ad} (X)(Y)=}$, which in particular implies that the Lie bracket of ${\displaystyle {\mathfrak {g}}}$ is determined by the group law on G.

By Lie's third theorem, there exists a subgroup ${\displaystyle \operatorname {Int} ({\mathfrak {g}})}$ of ${\displaystyle GL({\mathfrak {g}})}$ whose Lie algebra is ${\displaystyle \operatorname {ad} ({\mathfrak {g}})}$. (${\displaystyle \operatorname {Int} ({\mathfrak {g}})}$ is in general not a closed subgroup; only an immersed subgroup.) It is called the adjoint group of ${\displaystyle {\mathfrak {g}}}$. If G is connected, it fits into the exact sequence:

${\displaystyle 0\to Z(G)\to G\xrightarrow {\operatorname {Ad} } \operatorname {Int} ({\mathfrak {g}})\to 0}$

where ${\displaystyle Z(G)}$ is the center of G. If the center of G is discrete, then Ad here is a covering map.

Let G be a connected Lie group. Then G is unimodular if and only if ${\displaystyle \det(\operatorname {Ad} (g))=1}$ for all g in G.

Let G be a Lie group acting on a manifold X and G_x the stabilizer of a point x in X. Let ${\displaystyle \rho (x):G\to X,\,g\mapsto g\cdot x}$. Then

• ${\displaystyle \operatorname {Lie} (G_{x})=\ker(d\rho (x):T_{e}G\to T_{x}X).}$
• If the orbit ${\displaystyle G\cdot x}$ is locally closed, then the orbit is a submanifold of X and ${\displaystyle T_{x}(G\cdot x)=\operatorname {im} (d\rho (x):T_{e}G\to T_{x}X)}$.

For a subset A of ${\displaystyle {\mathfrak {g}}}$ or G, let

${\displaystyle {\mathfrak {z}}_{\mathfrak {g}}(A)=\{X\in {\mathfrak {g}}\mid \operatorname {ad} (a)X=0{\text{ or }}\operatorname {Ad} (a)X=0{\text{ for all }}a{\text{ in }}A\}}$

${\displaystyle Z_{G}(A)=\{g\in G\mid \operatorname {Ad} (g)a=0{\text{ or }}ga=ag{\text{ for all }}a{\text{ in }}A\}}$

be the Lie algebra centralizer and the Lie group centralizer of A. Then ${\displaystyle \operatorname {Lie} (Z_{G}(A))={\mathfrak {z}}_{\mathfrak {g}}(A)}$.

If H is a closed connected subgroup of G, then H is normal if and only if ${\displaystyle \operatorname {Lie} (H)}$ is an ideal and in such a case ${\displaystyle \operatorname {Lie} (G/H)=\operatorname {Lie} (G)/\operatorname {Lie} (H)}$.

Abelian Lie groups

Let G be a connected Lie group. Since the Lie algebra of the center of G is the center of the Lie algebra of G (cf. the previous §), G is abelian if and only if its Lie algebra is abelian.

If G is abelian, then the exponential map ${\displaystyle \exp :{\mathfrak {g}}\to G}$ is a surjective group homomorphism. The kernel of it is a discrete group (since the dimension is zero) called the integer lattice of G and is denoted by ${\displaystyle \Gamma }$. By the first isomorphism theorem, ${\displaystyle \exp }$ induces the isomorphism ${\displaystyle {\mathfrak {g}}/\Gamma \to G}$.

By the rigidity argument, the fundamental group ${\displaystyle \pi _{1}(G)}$ of a connected Lie group G is a central subgroup of a simply connected covering ${\displaystyle {\widetilde {G}}}$ of G; in other words, G fits into the central extension

${\displaystyle 1\to \pi _{1}(G)\to {\widetilde {G}}{\overset {p}{\to }}G\to 1.}$

Equivalently, given a Lie algebra ${\displaystyle {\mathfrak {g}}}$ and a simply connected Lie group ${\displaystyle {\widetilde {G}}}$ whose Lie algebra is ${\displaystyle {\mathfrak {g}}}$, there is a one-to-one correspondence between quotients of ${\displaystyle {\widetilde {G}}}$ by discrete central subgroups and connected Lie groups having Lie algebra ${\displaystyle {\mathfrak {g}}}$.

For the complex case, complex tori are important; see complex Lie group for this topic.

Compact Lie groups

Let G be a connected Lie group with finite center. Then the following are equivalent.

• G is compact.
• (Weyl) The simply connected covering ${\displaystyle {\widetilde {G}}}$ of G is compact.
• The adjoint group ${\displaystyle \operatorname {Int} {\mathfrak {g}}}$ is compact.
• There exists an embedding ${\displaystyle G\hookrightarrow O(n,\mathbb {R} )}$ as a closed subgroup.
• The Killing form on ${\displaystyle {\mathfrak {g}}}$ is negative definite.
• For each X in ${\displaystyle {\mathfrak {g}}}$, ${\displaystyle \operatorname {ad} (X)}$ is diagonalizable and has zero or purely imaginary eigenvalues.
• There exists an invariant inner product on ${\displaystyle {\mathfrak {g}}}$.

It is important to emphasize that the equivalence of the preceding conditions holds only under the assumption that G has finite center. Thus, for example, if G is compact with finite center, the universal cover ${\displaystyle {\widetilde {G}}}$ is also compact. Clearly, this conclusion does not hold if G has infinite center, e.g., if ${\displaystyle G=S^{1}}$. The last three conditions above are purely Lie algebraic in nature.

Compact Lie group	Complexification of associated Lie algebra	Root system
SU(n+1) ${\displaystyle =\left\{A\in M_{n+1}(\mathbb {C} )\mid {\overline {A}}^{\mathrm {T} }A=I,\det(A)=1\right\}}$	${\displaystyle {\mathfrak {sl}}(n+1,\mathbb {C} )}$ ${\displaystyle =\{X\in M_{n+1}(\mathbb {C} )\mid \operatorname {tr} X=0\}}$	An
SO(2n+1) ${\displaystyle =\left\{A\in M_{2n+1}(\mathbb {R} )\mid A^{\mathrm {T} }A=I,\det(A)=1\right\}}$	${\displaystyle {\mathfrak {so}}(2n+1,\mathbb {C} )}$ ${\displaystyle =\left\{X\in M_{2n+1}(\mathbb {C} )\mid X^{\mathrm {T} }+X=0\right\}}$	Bn
Sp(n) ${\displaystyle =\left\{A\in U(2n)\mid A^{\mathrm {T} }JA=J\right\},\,J={\begin{bmatrix}0&I_{n}\\-I_{n}&0\end{bmatrix}}}$	${\displaystyle {\mathfrak {sp}}(n,\mathbb {C} )}$ ${\displaystyle =\left\{X\in M_{2n}(\mathbb {C} )\mid X^{\mathrm {T} }J+JX=0\right\}}$	Cn
SO(2n) ${\displaystyle =\left\{A\in M_{2n}(\mathbb {R} )\mid A^{\mathrm {T} }A=I,\det(A)=1\right\}}$	${\displaystyle {\mathfrak {so}}(2n,\mathbb {C} )}$ ${\displaystyle =\left\{X\in M_{2n}(\mathbb {C} )\mid X^{\mathrm {T} }+X=0\right\}}$	Dn

If G is a compact Lie group, then

${\displaystyle H^{k}({\mathfrak {g}};\mathbb {R} )=H_{\text{dR}}(G)}$

where the left-hand side is the Lie algebra cohomology of ${\displaystyle {\mathfrak {g}}}$ and the right-hand side is the de Rham cohomology of G. (Roughly, this is a consequence of the fact that any differential form on G can be made left invariant by the averaging argument.)

Related constructions

Let G be a Lie group. The associated Lie algebra ${\displaystyle \operatorname {Lie} (G)}$ of G may be alternatively defined as follows. Let ${\displaystyle A(G)}$ be the algebra of distributions on G with support at the identity element with the multiplication given by convolution. ${\displaystyle A(G)}$ is in fact a Hopf algebra. The Lie algebra of G is then ${\displaystyle {\mathfrak {g}}=\operatorname {Lie} (G)=P(A(G))}$, the Lie algebra of primitive elements in ${\displaystyle A(G)}$. By the Milnor–Moore theorem, there is the canonical isomorphism ${\displaystyle U({\mathfrak {g}})=A(G)}$ between the universal enveloping algebra of ${\displaystyle {\mathfrak {g}}}$ and ${\displaystyle A(G)}$.

See also

• Compact Lie algebra
• Milnor–Moore theorem
• Formal group
• Malcev Lie algebra
• Distribution on a linear algebraic group

Citations

1. Lee 2012, p. 530.
2. Helgason 1978, Ch. II, § 2, Proposition 2.7.
3. Hall 2015 Section 3.3
4. ' More generally, if H is a closed subgroup of H, then ${\displaystyle \operatorname {Lie} (f^{-1}(H'))=(df)^{-1}(\operatorname {Lie} (H')).}$
5. This requirement cannot be omitted; see also https://math.stackexchange.com/q/329753
6. Bourbaki 1981, Ch. III, § 3, no. 8, Proposition 28
7. Bourbaki 1981, Ch. III, § 1, Proposition 5
8. Hall 2015 Corollary 3.49
9. Hall 2015 Theorem 5.25
10. Hall 2015 Theorem 5.6
11. Hall 2015 Theorem 5.20
12. Hall 2015 Example 3.27
13. Hall 2015 Proposition 4.35
14. Hall 2015 Section 1.4
15. Hall 2015 Corollary 5.7
16. Hall 2015 Section 5.7
17. Hall 2015 Theorem 2.14
18. Hall 2015
19. Hall 2015, Section 4.7
20. Helgason 1978, Ch II, § 5
21. Bourbaki 1981, Ch. III, § 3, no. 16, Corollary to Proposition 55.
22. Bourbaki 1981, Ch. III, § 1, no. 7, Proposition 14.
23. It's surjective because ${\displaystyle \exp({\mathfrak {g}})^{n}=\exp({\mathfrak {g}})}$ as ${\displaystyle {\mathfrak {g}}}$ is abelian.
24. Bourbaki 1981, Ch. III, § 3. no. 7

References

• Bourbaki, N. (1981), Groupes et Algèbres de Lie (Chapitre 3), Éléments de Mathématique, Hermann
• Duistermaat, J.J.; Kolk, A. (2000), Lie groups, Universitext, Springer, doi:10.1007/978-3-642-56936-4, ISBN 3540152938
• Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, vol. 222 (2nd ed.), Springer, doi:10.1007/978-3-319-13467-3, ISBN 978-3319134666
• Helgason, Sigurdur (1978), Differential geometry, Lie groups and symmetric spaces, Academic Press, ISBN 0-12-338460-5
• Lee, John M. (2012). Introduction to Smooth Manifolds. Graduate Texts in Mathematics. Vol. 218 (Second ed.). New York London: Springer-Verlag. ISBN 978-1-4419-9981-8. OCLC 808682771.

External links

• Notes for Math 261A Lie groups and Lie algebras
• Popov, V.L. (2001) , "Lie algebra of an analytic group", Encyclopedia of Mathematics, EMS Press
• Formal Lie theory in characteristic zero, a blog post by Akhil Mathew

• Differential geometry
• Lie algebras
• Lie groups
• Manifolds