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) |
Lie algebra, nilpotent. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Lie_algebra,_nilpotent&oldid=47625