Bourbaki

Proposition 9

Tag 017Q, permanent. Cite it as [Bourbaki, Tag 017Q].

Lie Groups and Lie Algebras, chapter VIII, § 11. Classes of nilpotent elements and sl2 -triplets

Assume that kk is algebraically closed and that g\mathfrak{g} is semi-simple. All the principal simple (resp. nilpotent) elements of g\mathfrak{g} are conjugate under Aute(g)_e(\mathfrak{g}).

We retain the notations of Prop. 8. Let hh be a principal simple element. It is conjugate under Aute(g)_e(\mathfrak{g}) to an h′∈hh'\in \mathfrak{h} such that α(h′)∈{0,1,2}\alpha (h')\in \{0,1,2\} for all α∈B\alpha \in B (no. 3, Prop. 5). Since h′h' is principal simple, α(h′)≠0\alpha (h')\not= 0 and α(h′)∈2Z\alpha (h')\in 2\mathbf{Z} for all α∈B\alpha \in B, so α(h′)=2\alpha (h') = 2 for all α∈B\alpha \in B, and hence h′=h0h'=h^0. This proves the assertion for principal simple elements.

Let x,x′x, x' be principal nilpotent elements. There exist sl2\mathfrak{s}\mathfrak{l}_2-triplets (x,h,y)(x, h, y), (x′,h′,y′)(x', h', y'). By Prop. 7,h7,h and h′h' are principal simple, hence conjugate under Aute(g)_e(\mathfrak{g}) by the preceding. So xx and x′x' are conjugate under Aute(g)_e(\mathfrak{g}) (Prop. 6).

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

Cites

Transcribed from the printed volume. Not translated.