Proposition 6
Tag 01BE, permanent. Cite it as [Bourbaki, Tag 01BE].
Lie Groups and Lie Algebras, chapter IX, § 3. Compact forms of complex semi-simple Lie algebras
Every compact semi-simple real Lie algebra of rank 1 is isomorphic to and to . Every connected semi-simple compact Lie group of rank 1 is isomorphic to if it is simply-connected, and to if not.
The first assertion follows from the Cor. of Prop. 4 and Prop. 5. Since is homeomorphic to General Topology, Chap. VIII, §1, no. 4, Remark 4), hence is simply-connected (General Topology, Chap. XI, in preparation), every simply-connected compact semi-simple Lie group of rank 1 is isomorphic to ; every connected compact semi-simple Lie group of rank 1 that is not simply-connected is isomorphic to a quotient of by a subgroup of Z that does not reduce to the identity element, hence to .
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.