Proposition 5
Tag 09X8, permanent. Cite it as [Bourbaki, Tag 09X8].
Lie Groups and Lie Algebras, chapter I, § 4. Nilpotent Lie algebras
Let be a vector space of finite dimension over and a Lie sub-algebra of whose elements are nilpotent endomorphisms of . Then there exists a decreasing sequence of vector subspaces of , of dimensions , such that for all and .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.