Theorem 1
Tag 01C4, permanent. Cite it as [Bourbaki, Tag 01C4].
Lie Groups and Lie Algebras, chapter IX, § 4. Root system associated to a compact group
Let . The centralizer of the kernel of is a connected closed subgroup of G; its centre is Ker ; its derived group is a connected closed semi-simple subgroup of G of rank 1. We have and dim dim T + 2.
Let be the centralizer of (Ker ). By Lemma 2, this is a connected closed subgroup of G, and is the set of such that ((Ker )) . Clearly, . Conversely, let ; since (Ker ) is of finite index in Ker , there exists an integer such that for Ker . From the exactness of the sequence
X(Ker )
corresponding by duality to the exact sequence
0 Ker T ,
it follows that is a multiple of ; by Chap. VIII, §2, no. 2, Th. 2 (i), this implies that . Thus, . It follows (Lemma 2) that the centre of is Ker, so . Finally, by Cor. 1 of Prop. 4 (§1, no. 4), is a connected closed semi-simple subgroup of ; it is of rank because .
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.