Proposition 15
Tag 0AJ2, permanent. Cite it as [Bourbaki, Tag 0AJ2].
Lie Groups and Lie Algebras, chapter III, § 9. Commutators, centralizers and normalizers in a Lie group
Let be a finite-dimensional connected nilpotent Lie group over or and an integral subgroup of . Then is the connected Lie subgroup of with Lie algebra .
By Proposition 9 of no. 3 it suffices to prove that is connected. Let . There exists such that (Proposition 14). Then (no. 3, Proposition 9), hence for all and hence for all . As the mapping
of into is polynomial, for all , that is for all .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.