Bourbaki

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, L(G)L(G) is nilpotent, hence ad⁡x\operatorname{ad} x is nilpotent for all x∈L(G)x \in L(G) and hence Ad⁡(exp⁡x)=exp⁡ad⁡x\operatorname{Ad}(\exp x) = \exp \operatorname{ad} x is unipotent; but every element of G is of the form exp⁡x\exp x for some x∈L(G)x \in L(G) (Proposition 14).

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

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.