Corollary 7
Tag 09YI, permanent. Cite it as [Bourbaki, Tag 09YI].
Lie Groups and Lie Algebras, chapter I, § 5. Solvable Lie algebras
Let g be a Lie algebra and r its radical. The following four sets are identical: (a) the largest nilpotent ideal of g; (b) the largest nilpotent ideal of r; (c) the set of such that is nilpotent; (d) the set of such that is nilpotent.
Let these sets be denoted by . The inclusions are clear. by Corollary 6 applied to the adjoint representation of g.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.