Proposition 39
Tag 0AB0, permanent. Cite it as [Bourbaki, Tag 0AB0].
Lie Groups and Lie Algebras, chapter III, § 3. Passage from a Lie group to its Lie algebra
Suppose that is of characteristic 0. Let be a Lie group, a finite-dimensional vector space and an analytic linear representation of on . Let be vector subspaces of such that . The set of such that (mod. ) for all is a Lie subgroup of and is the set of such that maps into .
This follows from Propositions 29 (no. 8) and 36 (no. 10).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.