Proposition 6
Tag 09X9, permanent. Cite it as [Bourbaki, Tag 09X9].
Lie Groups and Lie Algebras, chapter I, § 4. Nilpotent Lie algebras
Let be a Lie algebra and the associative subalgebra of generated by 1 and the (). Let be the Jacobson radical of . (a) The set of such that is the largest nilpotent ideal of . (b) It is orthogonal to under the Killing form.
It should be noted that can have non-zero nilpotent ideals.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.