Example 3
Tag 00U6, permanent. Cite it as [Bourbaki, Tag 00U6].
Lie Groups and Lie Algebras, chapter VII, § 2. Cartan subalgebras and regular elements of a Lie algebra
Let V be a vector space of finite dimension , and . Let be an algebraic closure of . Let , and let be the roots in of the characteristic polynomial of (each root being written a number of times equal to its multiplicity). The canonical isomorphism from to is compatible with the -module structures of these two spaces, in other words it takes to ad (Chap. I, §3, no. 3, Prop. 4). In view of §1, Prop. 4 (i), it follows that the roots of the characteristic polynomial of ad are the for (each root being written a number of times equal to its multiplicity). Thus, the rank of is , and is regular if and only if each is a simple root of the characteristic polynomial 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
- Chap. I, §3, no. 3, Prop. 4 not in this corpus
- §1, Prop. 4