Proposition 5
Tag 00WU, permanent. Cite it as [Bourbaki, Tag 00WU].
Lie Groups and Lie Algebras, chapter VII, § 5. Decomposable linear Lie algebras
Let be a decomposable nilpotent Lie subalgebra of . Let be the set of semi-simple elements of . Then is a central subalgebra of , and is the product of and as Lie algebras.
If , ad is semi-simple and nilpotent, hence zero, so that is central in . Consequently, is an ideal of , and . Since is decomposable, , hence the proposition.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.