Corollary 2
Tag 01CF, permanent. Cite it as [Bourbaki, Tag 01CF].
Lie Groups and Lie Algebras, chapter IX, § 4. Root system associated to a compact group
Let H be a connected closed subgroup of G containing T, and let be the stabilizer in of the subset of R. The group is isomorphic to the quotient group .
Indeed, it follows from Prop. 7 of §2, no. 5, applied to (H), that is isomorphic to (T), where is the set of elements of whose representatives in normalize H. Let (T), and let be its class in . By Chap. III, §9, no. 4, Prop. 11, normalizes H if and only if (Ad ); in view of Prop. 5 of no. 3, this also means that the subset of R is stable under , hence the corollary.
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.
Cites
- Chap. III, §9, no. 4, Prop. 11 not in this corpus
- Prop. 7 of §2, no. 5
- Prop. 5