Corollary
Tag 0AJC, permanent. Cite it as [Bourbaki, Tag 0AJC].
Lie Groups and Lie Algebras, chapter III, § 9. Commutators, centralizers and normalizers in a Lie group
Let be a complex vector space of finite dimension and a connected solvable subgroup of . (i) There exists a non-zero element of such that for all . (ii) There exists a basis of such that, for all , the matrix of with respect to is lower triangular. Let be a minimal element among the non-zero vector subspaces of which are stable under . By Proposition 22 (ii), . This proves (i). By induction on , it then follows that there exists an increasing sequence of vector subspaces of which are stable under such that for and ; hence (ii).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.