Proposition 16
Tag 0AJ3, permanent. Cite it as [Bourbaki, Tag 0AJ3].
Lie Groups and Lie Algebras, chapter III, § 9. Commutators, centralizers and normalizers in a Lie group
Let be a finite-dimensional nilpotent Lie group over or and an integral subgroup of distinct from . Then is a connected Lie subgroup of distinct from .
(Algebra, Chapter I, § 6, Corollary 1 to Proposition 8). By Proposition 11 of no. 4, we need only prove that is connected. Let . There exists such that (Proposition 14). Let be the vector subspace of consisting of the such that . Then and hence for all . Hence 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.