Example 1
Tag 00WH, permanent. Cite it as [Bourbaki, Tag 00WH].
Lie Groups and Lie Algebras, chapter VII, § 5. Decomposable linear Lie algebras
Let and be vector subspaces of V such that . The set of such that is a decomposable Lie subalgebra of ; indeed, for all (V), the semi-simple and nilpotent components of are of the form and , where P and Q are polynomials without constant term.
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.