Bourbaki

Lemma 2

Tag 00T1, permanent. Cite it as [Bourbaki, Tag 00T1].

Lie Groups and Lie Algebras, chapter VII, § 1. Primary decomposition of linear representations

Assume that kk is of characteristic 0. Let g\mathfrak{g} be a semi-simple Lie algebra over kk, B the Killing form of g,m\mathfrak{g},\mathfrak{m} a subalgebra of g\mathfrak{g}. Assume that the following conditions are satisfied:

1) the restriction of B to m\mathfrak{m} is non-degenerate;

2) if x∈mx\in \mathfrak{m}, the semi-simple and nilpotent components1^1 of xx in g\mathfrak{g} belong to m\mathfrak{m}.

Then m\mathfrak{m} is reductive in g\mathfrak{g} (Chap. I, § 6, no. 6).

By Chap. I, §6, no. 4, Prop. 5d),m5d),\mathfrak{m} is reductive. Let c\mathfrak{c} be the centre of m\mathfrak{m}. If x∈cx\in \mathfrak{c} is nilpotent, then x=0x= 0; indeed, for all y∈my\in \mathfrak{m}, ad xx and ad yy commute, their composition ad x∘x\circ ad yy is nilpotent, and B(x,y)=0B(x, y) = 0, so x=0x= 0. Now let xx be an arbitrary element of c\mathfrak{c}; let ss and nn be its semi-simple and nilpotent components. We have n∈mn\in \mathfrak{m}. Since ad nn is of the form P(ad xx), where P is a polynomial with no constant term, (ad nn).m=0.\mathfrak{m}= 0 and so n∈cn\in \mathfrak{c}, and then n=0n= 0 by the above. Thus ad xx is semi-simple. Consequently, the restriction to m\mathfrak{m} of the adjoint representation of g\mathfrak{g} is semi-simple (Chap. I, §6, no. 5, Th. 4b4b))).

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

Transcribed from the printed volume. Not translated.