Lemma 2
Tag 01C3, permanent. Cite it as [Bourbaki, Tag 01C3].
Lie Groups and Lie Algebras, chapter IX, § 4. Root system associated to a compact group
Let S be a closed subgroup of T and Z(S) its normalizer in G.
(i) is the set of such that .
(ii) The centre of is the intersection of the Ker for .
(iii) If S is connected, Z(S) is connected.
The Lie algebra consists of the invariants of S on (Chap. III, §9, no. 3, Prop. 8), and hence is the direct sum of and the for which , hence (i). Assertion (ii) follows from Prop. 8 (no. 4), and assertion (iii) has already been proved (§2, no. 2, Cor. 5 of Th. 2).
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
- Chap. III, §9, no. 3, Prop. 8 not in this corpus
- §2, no. 2, Cor. 5 of Th. 2
- Prop. 8