Bourbaki

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

4^4 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 f:V×T×S→Gf: V\times T\times S\rightarrow G 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 C×SC\times S 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, D∩CD\cap C is of finite index in D. Let C′C' be the vector subspace of C generated by D∩CD\cap C, and V a complementary subspace. Then the group T=C′/(D∩C)T = C'/(D\cap C) is a torus, and G is isomorphic to the quotient of the product group V×T×SV\times T\times S by a finite group.

If G is compact, so is V×T×S(V\times T\times S (General Topology, Chap. III, §4, no. 1, Cor. 2 of Prop. 2), hence so is V, which implies that V={e}V =\{e\}.

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
Transcribed from the printed volume. Not translated.