Nilpotent Lie algebra
|Group theory → Lie groups
It is a Lie algebra analog of a nilpotent group.
Directly from the definition of the lower central series, it follows that
Thus adXn − 1 = 0 for all X ∈ g. The above holds, again by definition, for
so that adX1adX2 ⋅⋅⋅ adXn − 1 = 0. From this follows that ad g is nilpotent, since the expansion of a (n − 1)-fold nested bracket will have terms of this form. Since ad is a Lie algebra homomorphism, one may write
If ad g is nilpotent, the last expression is zero, and accordingly the first. Thus g is nilponent if and only if ad g is nilpotent. One can therefore equivalently define a nilpotentency in terms of the adjoint representation as follows. Let g be a Lie algebra. Then g is nilpotent if, for some n that depends on g,
The last expression implies the nilpotency of ad g. In particular, adxn = 0 for all x ∈ g. We call an element x ∈ g ad-nilpotent if ad x is a nilpotent endomorphism. The fact that this last condition implies the nilpotency of g is the content of Engel's theorem.
- If gl(k, ℝ) is the set of k × k matrices with entries in ℝ, then the subalgebra consisting of strictly upper triangular matrices is a nilpotent Lie algebra.
- If a Lie algebra g has an automorphism of prime period with no fixed points except at 0, then g is nilpotent.
- A Heisenberg algebra is nilpotent.
- A Cartan subalgebra of a Lie algebra is nilpotent and self-normalizing.
- Every nilpotent Lie algebra is solvable. This is useful in proving the solvability of a Lie algebra since, in practice, it is usually easier to prove nilpotency rather than solvability. However, in general, the converse of this property is false. For example, the subalgebra of gl(k, ℝ) (k ≥ 2) consisting of upper triangular matrices is solvable but not nilpotent.
- If a Lie algebra g is nilpotent, then all subalgebras and homomorphic images are nilpotent.
- If the quotient algebra g/Z(g), where Z(g) is the center of g, is nilpotent, then so is g.
- Engel's theorem: A Lie algebra g is nilpotent if and only if all elements of g are ad-nilpotent.
- The Killing form of a nilpotent Lie algebra is 0.
- A nilpotent Lie algebra has an outer automorphism.
- Knapp 2002 Proposition 1.32.
- Fulton, W.; Harris, J. (1991). Representation theory. A first course. Graduate Texts in Mathematics 129. New York: Springer-Verlag. ISBN 978-0-387-97527-6. MR 1153249.
- Humphreys, James E. (1972). Introduction to Lie Algebras and Representation Theory. Graduate Texts in Mathematics 9. New York: Springer-Verlag. ISBN 0-387-90053-5.
- Knapp, A. W. (2002). Lie groups beyond an introduction. Progress in Mathematics 120 (2nd ed.). Boston·Basel·Berlin: Birkhäuser. ISBN 0-8176-4259-5.