Corollary 1
Tag 0AJ6, permanent. Cite it as [Bourbaki, Tag 0AJ6].
Lie Groups and Lie Algebras, chapter III, § 9. Commutators, centralizers and normalizers in a Lie group
Let G be a finite-dimensional connected real or complex Lie group. For G to be nilpotent, it is necessary and sufficient that every element of Ad G be nilpotent.
If every element of Ad G is unipotent, Ad G is nilpotent (Proposition 18) and hence G, which is a central extension of Ad G, is nilpotent. If G is nilpotent, is nilpotent, hence is nilpotent for all and hence is unipotent; but every element of G is of the form for some (Proposition 14).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.