Bourbaki

Proposition 2

Tag 09WW, permanent. Cite it as [Bourbaki, Tag 09WW].

Lie Groups and Lie Algebras, chapter I, § 4. Nilpotent Lie algebras

Subalgebras, quotient algebras and central extensions of a nilpotent Lie algebra are nilpotent. A finite product of nilpotent Lie algebras is a nilpotent Lie algebra. Let gg be a Lie algebra, g′g' a subalgebra of gg, h\mathfrak{h} an ideal of gg, k=g/h\mathfrak{k} = g/\mathfrak{h} and ϕ\phi the canonical mapping of gg onto k\mathfrak{k}. If gg is nilpotent, then Ckg={0}\mathscr{C}^k g = \{0\} for some integer kk, hence Ckg′⊂Ckg={0}\mathscr{C}^k g' \subset \mathscr{C}^k g = \{0\} and Ckk=ϕ(Ckg)={0}\mathscr{C}^k \mathfrak{k} = \phi(\mathscr{C}^k g) = \{0\} and hence g′g' and k\mathfrak{k} are nilpotent. If k\mathfrak{k} is nilpotent and h\mathfrak{h} is contained in the centre of gg, then Ckk={0}\mathscr{C}^k \mathfrak{k} = \{0\} for some integer kk, hence Ckg⊂h\mathscr{C}^k g \subset \mathfrak{h} and therefore Ck+1g⊂[h,g]={0}\mathscr{C}^{k+1} g \subset [\mathfrak{h}, g] = \{0\}, so that gg is nilpotent. Finally, the assertion concerning products follows for example from the assertion (a) ⇔\Leftrightarrow (d) of Proposition 1.

Definition 1 and Proposition 2 show that nilpotent Lie algebras are precisely the algebras obtained from commutative Lie algebras by a sequence of central extensions.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed volume. Not translated.