Remark 2
Tag 01CI, permanent. Cite it as [Bourbaki, Tag 01CI].
Lie Groups and Lie Algebras, chapter IX, § 4. Root system associated to a compact group
Say that a subgroup C of G is radical if there exists a maximal torus S of G and a subset P of such that Ker. It follows from Prop. 13 and Lemma 2 of no. 5 that the map induces a bijection from the set of connected closed subgroups of maximal rank to the set of radical subgroups of G. The inverse bijection is the map .
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.