Definition 7
Tag 0AAE, permanent. Cite it as [Bourbaki, Tag 0AAE].
Lie Groups and Lie Algebras, chapter III, § 3. Passage from a Lie group to its Lie algebra
Let X be a manifold of class () and a complete normable Lie algebra. A law of infinitesimal left (resp. right) operation of class of on X is a mapping of into the set of vector fields on X with the following properties:
(a) the mapping is a morphism of class of the trivial vector bundle into the vector bundle ;
(b) (resp. for all in ).
In particular, each vector field is of class .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.