Definition 2

Tag 09Y4, permanent. Cite it as [Bourbaki, Tag 09Y4].

Lie Groups and Lie Algebras, chapter I, § 5. Solvable Lie algebras

The radical of a Lie algebra is its largest solvable ideal.

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

Cited by

Nothing.