Proposition 28
Tag 0AJN, permanent. Cite it as [Bourbaki, Tag 0AJN].
Lie Groups and Lie Algebras, chapter III, § 9. Commutators, centralizers and normalizers in a Lie group
Let G be a simply connected real or complex Lie group. The following conditions are equivalent: (i) G is semi-simple; (ii) G is isomorphic to the product of a finite number of almost simple groups. If G is a finite product of almost simple Lie groups, is a finite product of simple Lie algebras and is hence semi-simple. If G is semi-simple, is isomorphic to a product of simple Lie algebras . Let be a simply connected Lie group with Lie algebra , which is therefore almost simple. Then G and are simply connected and have isomorphic Lie algebras and are therefore isomorphic.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.