Bourbaki

Definition 1

Tag 0AEC, permanent. Cite it as [Bourbaki, Tag 0AEC].

Lie Groups and Lie Algebras, chapter III, § 6. Real and complex Lie groups

Let G be a Lie group. An integral subgroup of G is a subgroup H with a connected Lie group structure such that the canonical injection of H into G is an immersion.

A one-parameter subgroup of G is a 1-dimensional integral subgroup of G.

Let H be an integral subgroup of G and i the canonical injection of H into G. Then L(i) defines an isomorphism of L(H) onto a Lie subalgebra of L(G) admitting a topological supplement. L(H) is identified with its image under L(i).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed volume. Not translated.