In mathematics, Engel's theorem is one of the basic theorems in the theory of Lie algebras; it asserts that for a Lie algebra two concepts of nilpotency are identical.

A linear operator T a vector space V is nilpotent iff there is an integer k such that T^k = 0. For example, any operator given by a matrix whose entries on or below the diagonal are zero is nilpotent.

An element x of a Lie algebra L is ad-nilpotent iff the linear operator on L defined by

is nilpotent. Note that in the Lie algebra L(V) of linear operators on V, the identity operator is ad-nilpotent but is not a nilpotent operator!

A Lie algebra L is nilpotent iff the descending central series defined recursively by

eventually reaches {0}.

Theorem. A finite-dimensional Lie algebra L is nilpotent iff every element of L is ad-nilpotent.

Note that no assumption on the underlying base field is required.

The key lemma in the proof of Engel's theorem is the following fact about Lie algebras of linear operators on finite dimensional vector spaces which is useful in its own right:

Let L be a Lie subalgebra of L(V). Then L consists of nilpotent operators iff there is a sequence

of subspaces of V such that

Thus Lie algebras of nilpotent operators are simultaneously strictly upper-diagonalizable.

References

• G. Hochschild, The Structure of Lie Groups, Holden Day, 1965.
• J. Humphreys, Introduction to Lie Algebras and Representation Theory, Springer, 1972.