Corollary 1
Tag 01EB, permanent. Cite it as [Bourbaki, Tag 01EB].
Lie Groups and Lie Algebras, chapter IX, § 5. Conjugacy classes
Assume that the -module is torsion-free.
a) The centralizer of every element of G is connected.
b) Any two commuting elements of G belong to the same maximal torus.
By Cor. 3 of Prop. 11 of §4, no. 6, D(G) is simply-connected. We have ; let ; write , with and . Then . By Th. is connected, so is connected, hence a). Thus, by Cor. 3 of Th. 2 of §2, no. is the union of the maximal tori of G containing , hence b).
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.