Corollary 3
Tag 09YE, permanent. Cite it as [Bourbaki, Tag 09YE].
Lie Groups and Lie Algebras, chapter I, § 5. Solvable Lie algebras
Suppose that is algebraically closed. If is an -dimensional solvable Lie algebra, every ideal of is a term of a decreasing sequence of ideals of dimensions .
Every ideal is part of a Jordan-Hölder series of , considered as the space of the adjoint representation (Algebra, Chapter I, § 6, no. 14, Corollary to Theorem 8); then it suffices to apply Corollary 2.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.