Proposition 4
Tag 019I, permanent. Cite it as [Bourbaki, Tag 019I].
Lie Groups and Lie Algebras, chapter IX, § 1. Compact Lie algebras
Let G be a connected Lie group whose Lie algebra is compact. There exist a torus T, a simply-connected compact semi-simple Lie
Note that a real topological vector space cannot be a compact topological space
unless it is reduced to 0. group S, a vector group V and a surjective morphism with finite kernel. If G is compact, the group V is reduced to the identity element.
Let C (resp. S) be a simply-connected Lie group whose Lie algebra is isomorphic to the centre (resp. the derived algebra) of L(G). Then C is a vector group, S is a compact group with finite centre (Th. 1) and G can be identified with the quotient of by a discrete subgroup D, which is central (Integration, Chap. VII, §3, no. 2, Lemma 4). Since the image of the projection of D onto S is central, hence finite, is of finite index in D. Let be the vector subspace of C generated by , and V a complementary subspace. Then the group is a torus, and G is isomorphic to the quotient of the product group by a finite group.
If G is compact, so is General Topology, Chap. III, §4, no. 1, Cor. 2 of Prop. 2), hence so is V, which implies that .
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
Cites
- Integration, Chap. VII, §3, no. 2, Lemma 4 not in this corpus: INT VII
- Th. 1
- General Topology, Chap. III, §4, no. 1, Cor. 2 of Prop. 2 not in this corpus