Corollary 1
Tag 00WW, permanent. Cite it as [Bourbaki, Tag 00WW].
Lie Groups and Lie Algebras, chapter VII, § 5. Decomposable linear Lie algebras
The Cartan subalgebras of are the centralizers of the regular semi-simple elements of .
If is regular, is a Cartan subalgebra of §2, no. 3, Th. 1 (i)); moreover, if is semi-simple is the centralizer of in . Conversely, let be a Cartan subalgebra of . There exists such that . By §1, no. 2, Prop. 7, there exists such that ; since , . By §3, no. 3, Th. 2 (ii), is regular.
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
Nothing.