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 , a finite-dimensional Lie algebra and a linear mapping of into the vector space of vector fields of class on X. Then condition (a) of Definition 7 holds. For, by considering a basis of and applying Differentiable and Analytic Manifolds, R, 7.7.1, the problem is reduced to the case 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.