Bourbaki

Proposition 13

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

Lie Groups and Lie Algebras, chapter IX, § 4. Root system associated to a compact group

Let H be a connected closed subgroup of G of maximal rank, and C its centre. Then C contains the centre of G, and H is the identity component of the centralizer of C.

Let S be a maximal torus of H. Since the centre of G is contained in S, it is contained in C. Put L=Z(C)0L = Z(C)_0; this is a connected closed subgroup of G containing H, hence is of maximal rank, and its centre is equal to C. Denote by RHR_H and RLR_L the root systems of H and L, respectively, relative to S; then RH⊂RL⊂R(G,S)R_H\subset R_L\subset R(G,S). Since C(H) = C(L), Prop. 8 (no. 4) implies the equality Q(RH)=Q(RL)Q(R_H) = Q(R_L); but Q(RH)∩RL=RHQ(R_H)\cap R_L= R_H (Chap. VI, §1, no. 7, Prop. 23), so RH=RLR_H= R_L and H = L (Prop. 12).

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.