Proposition 7
Tag 01JE, permanent. Cite it as [Bourbaki, Tag 01JE].
Lie Groups and Lie Algebras, chapter IX, § 2. Maximal tori of compact Lie groups
Let be a closed subgroup of containing .
a) Denote by the subgroup of ; the group is isomorphic to the quotient group .
b) is connected if and only if every element of that has a representative in belongs to .
Assertion a) follows from Cor. 8 of Th. 2 (no. 2), and assertion b) is a particular case of a).
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.