Corollary 2
Tag 01B7, permanent. Cite it as [Bourbaki, Tag 01B7].
Lie Groups and Lie Algebras, chapter IX, § 3. Compact forms of complex semi-simple Lie algebras
Let be a complex Lie algebra. The following conditions are equivalent:
(i) is reductive.
(ii) There exists a compact real Lie algebra such that is isomorphic to .
(iii) There exists a compact Lie group G such that is isomorphic to .
By Def. 1 of §1, no. 3, conditions (ii) and (iii) are equivalent and imply (i). If is reductive, it is the direct product of a commutative algebra, which clearly has a compact real form, and a semi-simple algebra which has one by Th. , hence (i) implies (ii).
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
Nothing.