Definition 3
Tag 017M, permanent. Cite it as [Bourbaki, Tag 017M].
Lie Groups and Lie Algebras, chapter VIII, § 11. Classes of nilpotent elements and sl2 -triplets
Assume that is semi-simple.
(i) A nilpotent element of is said to be principal if the dimension of Ker ad is the rank of .
(ii) A simple element of is said to be principal if is regular and the eigenvalues of ad in an algebraic closure of belong to .
(iii) An -triplet of is said to be principal if the length of , considered as a module over , is equal to the rank of .
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.
Cites
Nothing.