Corollary
Tag 09YR, permanent. Cite it as [Bourbaki, Tag 09YR].
Lie Groups and Lie Algebras, chapter I, § 5. Solvable Lie algebras
The largest nilpotent ideal of a Lie algebra is a characteristic ideal.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.