Bourbaki

Remark

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

Lie Groups and Lie Algebras, chapter III, § 3. Passage from a Lie group to its Lie algebra

Let X be a manifold of class CrC^r, gg a finite-dimensional Lie algebra and a↦Daa \mapsto D_a a linear mapping of gg into the vector space of vector fields of class Cr−1C^{r-1} on X. Then condition (a) of Definition 7 holds. For, by considering a basis of gg and applying Differentiable and Analytic Manifolds, R, 7.7.1, the problem is reduced to the case dim⁡g=1\dim g = 1 and our assertion is then obvious.

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

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.