Bourbaki

Lemma 2

Tag 01E6, permanent. Cite it as [Bourbaki, Tag 01E6].

Lie Groups and Lie Algebras, chapter IX, § 5. Conjugacy classes

Let xx be an element of T and S a subtorus of T. If the identity component of Z(x)∩Z(S)Z(x)\cap Z(S) reduces to T, there exists an element ss of S such that xsxs is regular.

For all α∈R(G,T)\alpha \in R(G,T), let SαS_{\alpha} be the submanifold of S consisting of the elements ss of S such that (xs)α=1(xs)^{\alpha}= 1. If there is no element ss of S such that xsxs is regular, S is the union of the submanifolds SαS_{\alpha}, hence is equal to one of them. Hence there exists α\alpha in R(G,T)R(G,T) such that (xs)α=1(xs)^{\alpha}= 1 for all s∈Ss\in S; but this implies that xα=1x^{\alpha}= 1 and α∣S=1\alpha |S = 1, so Z(x)∩Z(S)⊃Z(x)\cap Z(S)\supset Z(Ker α\alpha ), hence the lemma.

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

Nothing.

Transcribed from the printed volume. Not translated.