Remark 1
Tag 00YL, permanent. Cite it as [Bourbaki, Tag 00YL].
Lie Groups and Lie Algebras, chapter VIII, § 2. Root system of a split semi-simple Lie algebra
Let be a semi-simple Lie algebra, a Cartan subalgebra of . For all , ad is semi-simple (Chap. VII, §2, no. 4, Th. 2). Thus, to say that is splitting means that ad is diagonalizable for all .
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.