# Lie algebra, nilpotent

An algebra over a field that satisfies one of the following equivalent conditions:

1) there is a finite decreasing chain of ideals of such that , and for ;

2) (respectively, ) for sufficiently large , where and are the terms of the lower and upper central series, respectively;

3) there is a such that for any .

An Abelian algebra is nilpotent. If is a finite-dimensional vector space over and is a flag in it, then

is a nilpotent subalgebra of the Lie algebra of all linear transformations of . If a basis is chosen in that is compatible with the flag , then with respect to that basis the elements of the algebra are represented by upper-triangular matrices with zeros on the main diagonal. If is a complete flag (that is, ), then the corresponding nilpotent linear Lie algebra (cf. Lie algebra, linear) consists of all upper-triangular matrices of order with zeros on the main diagonal.

For any nilpotent Lie algebra the codimension of its commutator ideal is if . In particular, if , then is Abelian. The unique non-Abelian three-dimensional nilpotent Lie algebra is isomorphic to . Nilpotent Lie algebras have been listed in a few small dimensions (for if ), but there is still (1989) no general approach to their classification.

Nilpotent Lie algebras (earlier they were called special Lie algebras or Lie algebras of rank 0) had already been encountered in the first stage of S. Lie's research on the integration of differential equations. The classification of solvable Lie algebras (cf. Lie algebra, solvable) reduces in a certain sense to the enumeration of nilpotent Lie algebras. In an arbitrary finite-dimensional Lie algebra there is a largest nilpotent ideal (the nil radical in the terminology of [2]). Another nilpotent ideal has also been considered — the intersection of the kernels of the irreducible finite-dimensional representations (the nilpotent radical, cf. also Representation of a Lie algebra) (see [1]), [4]). If is the radical of the algebra , then the nilpotent radical coincides with

The quotient algebra is reductive (cf. Lie algebra, reductive) and is the smallest ideal with this property. If , the nil radical consists of all such that is nilpotent.

In the study of reductive Lie algebras over , nilpotent subalgebras naturally arise, these are the nilpotent radicals of the parabolic subalgebras (cf. Parabolic subalgebra) of . In the case these nilpotent subalgebras coincide with the subalgebras considered above. The nilpotent radical of a Borel subalgebra (see Borel subgroup) of is a maximal subalgebra of that consists of nilpotent elements; it is unique up to conjugacy. A wider class of nilpotent Lie algebras is formed by arbitrary ideals of parabolic subalgebras of consisting of nilpotent elements. In the case these nilpotent Lie algebras were classified in [6] (standard nil algebras), and in the general case in [7].

The centre of a nilpotent Lie algebra is non-trivial and any nilpotent Lie algebra can be obtained by a series of central extensions by means of nilpotent Lie algebras. The class of nilpotent Lie algebras is closed under transition to a subalgebra, a quotient algebra, a central extension, and a finite direct sum. In particular, any subalgebra of is nilpotent. Conversely, an arbitrary finite-dimensional nilpotent Lie algebra is isomorphic to a subalgebra of for some (if ); this is a special case of Ado's theorem (see [1], [2]).

If is an arbitrary finite-dimensional Lie algebra, then any nilpotent ideal of it is orthogonal to it with respect to the Killing form; in particular, for a nilpotent Lie algebra this form is trivial.

One of the main theorems in the theory of nilpotent Lie algebras is Engel's theorem: If is a finite-dimensional representation of a nilpotent Lie algebra and is nilpotent for any , then there is a complete flag such that . Engel's theorem implies that a finite-dimensional Lie algebra is nilpotent if and only if for some and all , that is, if any is nilpotent.

Engel's theorem contains a description of the nilpotent representations of nilpotent Lie algebras; the description of arbitrary finite-dimensional representations is due to H. Zassenhaus (see [2]): If the field is algebraically closed and is a finite-dimensional -module, then , where the submodules are such that the restriction of the action of any to them is the sum of a scalar operator and a nilpotent operator. If is a finite-dimensional vector space over a field of characteristic 0, then any algebraic nilpotent Lie algebra has the form , where and are the ideals consisting, respectively, of the semi-simple and the nilpotent linear transformations belonging to [5].

#### References

[1] | N. Bourbaki, "Elements of mathematics. Lie groups and Lie algebras" , Addison-Wesley (1975) (Translated from French) |

[2] | N. Jacobson, "Lie algebras" , Interscience (1962) ((also: Dover, reprint, 1979)) |

[3] | J.-P. Serre, "Lie algebras and Lie groups" , Benjamin (1965) (Translated from French) |

[4] | , Theórie des algèbres de Lie. Topologie des groupes de Lie , Sem. S. Lie , Ie année 1954–1955 , Ecole Norm. Sup. (1955) |

[5] | C. Chevalley, "Théorie des groupes de Lie" , 3 , Hermann (1955) |

[6] | G.B. Gurevich, "Standard Lie algebras" Mat. Sb. , 35 (1954) pp. 437–460 (In Russian) |

[7] | Yu.B. Khakimdzhanov, "Standard subalgebras of reductive Lie algebras" Vestn. Moskov. Univ. Mat. Mekh. : 6 (1974) pp. 49–55 (In Russian) (English abstract) |

#### Comments

Let be a Lie algebra. The lower central series of consists of the ideals , . It is also called the descending central series. The derived series is the series of ideals , . The upper central series is defined by centre of , and inductively is that ideal of such that is the centre of .

#### References

[a1] | J.E. Humphreys, "Introduction to Lie algebras and representation theory" , Springer (1972) |

[a2] | J.-P. Serre, "Algèbres de Lie semi-simples complexes" , Benjamin (1986) |

**How to Cite This Entry:**

Lie algebra, nilpotent. V.V. Gorbatsevich (originator),

*Encyclopedia of Mathematics.*URL: http://www.encyclopediaofmath.org/index.php?title=Lie_algebra,_nilpotent&oldid=14331