Proposition 5
Tag 01J9, permanent. Cite it as [Bourbaki, Tag 01J9].
Lie Groups and Lie Algebras, chapter IX, § 2. Maximal tori of compact Lie groups
Every conjugacy class of G meets T.
b) The intersections with T of the conjugacy classes of G are the orbits of the Weyl group.
Let ; by Th. 2 of no. 2, there exists such that , hence a). By definition of the Weyl group, any two elements in the same orbit of on T are conjugate in G; conversely, let be two elements of T conjugate under G. There exists such that ; applying Cor. 7 of Th. 2 (no. 2) with Int , we see that there exists such that Int maps T to T and to . The class of in then maps to , hence the proposition.
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.