Remark 2
Tag 01AG, permanent. Cite it as [Bourbaki, Tag 01AG].
Lie Groups and Lie Algebras, chapter IX, § 2. Maximal tori of compact Lie groups
Let G be a connected compact Lie group, the universal covering of the group D(G) and the composite of the canonical morphisms from to D(G) and from D(G) to G. Then the map is a bijection from the set of maximal tori of G to the set of maximal tori of ; the inverse bijection associates to a maximal torus of the maximal torus of G.
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
Nothing.