Bourbaki

Corollary 2

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

Lie Groups and Lie Algebras, chapter III, § 4. Passage from Lie algebras to Lie groups

*Let XX be a paracompact manifold of class CrC^r (r≥2r \geq 2) and ξ\xi a vector field of class Cr−1C^{r-1} on XX. There exists a law chunk of operation ψ\psi of class Cr−1C^{r-1} of KK on XX such that for all x∈Xx \in X, ξ(x)\xi(x) is the image under t↦(t,x)t \mapsto (t, x) of the tangent vector 1 to KK at 0. Two law chunks of operation with the above property coincide on a neighbourhood of {0}×X\{0\} \times X.

This is a special case of Corollary 1.*

§ 5.1

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

Cited by

Cites

Transcribed from the printed volume. Not translated.