PI-algebra
An algebra over a field for which certain polynomial identities are true.
Let be an associative algebra (cf. Associative rings and algebras) over a field
, let
![]() |
be the free associative algebra (the algebra of non-commutative polynomials) on a countable set of generators over
, and let
be a non-zero element of
. Then
![]() |
is said to be a polynomial identity of the algebra if
for every choice of elements
.
Examples of PI-algebras and of identities. The following identity is true in a commutative algebra:
![]() |
(identity of commutativity); in the exterior algebra of a linear space the metAbelian identity is satisfied; an algebra
of finite dimension
over a field
satisfies the so-called standard identity of
-th degree
![]() |
where is the group of permutations of the set consisting of the first
positive integers,
; it also satisfies the more general Capelli identity
![]() |
![]() |
In the algebra of square matrices of order
over a field
the standard identity of degree
is satisfied. A tensor product of PI-algebras is a PI-algebra.
For any PI-algebra over a field
of characteristic zero it is possible to find a positive integer
such that the identities of
are implied by the powers of the identities of the matrix algebra
; moreover, some power of any identity of
is an identity of the algebra
. Thus, in any PI-algebra over a field of characteristic zero some power of the standard identity is satisfied.
The totality of all left-hand sides of the identities which are satisfied in a given algebra forms a fully characteristic ideal (
-ideal for short) of the free algebra
; conversely, for any
-ideal there exists an algebra whose set of identities coincides with this
-ideal (for example, the quotient algebra
). If
is of characteristic zero, the identities can be differentiated, and the
-ideals of
are precisely the differentially closed one-sided ideals. For instance, repeated differentiation of the nil identity
yields the identity
![]() |
![]() |
which is multi-linear (or, more exactly, -linear), i.e. linear with respect to each one of its constituent variables. Conversely, setting
in the last identity one obtains the identity
, or
. This process of linearization of identities makes it possible to state (for fields of characteristic zero) that all the identities of the algebra are consequences of its multi-linear identities. For an algebra with unit element, moreover, all its identities result from those of its multi-linear identities which are representable by linear combinations of products of right-normalized commutators (cf. Commutator) of different degrees in the generators
. The Specht problem deals with the question of whether all associative algebras have a finite basis for the identities.
The totality of all algebras which satisfy a given system of identities is called a variety. A variety may also be defined as a class of algebras closed with respect to taking subalgebras, homomorphic images and subdirect products (cf. also Algebraic systems, variety of). A number of varieties of algebras have been demonstrated to be finitely based (i.e. Specht's problem has a positive solution in such varieties). Such varieties include those (again over a field of characteristic zero) of nilpotent algebras of a given index , algebras in which the additive commutators of length
are zero (Lie-nilpotent algebras), and the variety of algebras defined by the
-ideal of semi-identities of
(the algebra of
-matrices). However, the problem remains open for the variety defined by an ideal of identities of
, i.e. for the matrix algebras of order
.
The existence of a polynomial identity rigidly determines the structure of an associative algebra. A primitive algebra (cf. Primitive ring) which satisfies a polynomial identity of degree
is isomorphic to a matrix algebra
over a skew-field
with centre
, and
![]() |
Accordingly, a semi-simple (in the sense of the Jacobson radical) PI-algebra can be expanded into a subdirect sum of complete matrix algebras over skew-fields, the orders of the matrix algebras and the dimensions of the skew-fields over the centres being bounded in the set, and the -ideal of identities of the semi-simple algebra coinciding with some "matrix"
-ideal of
. An ordered PI-algebra is commutative. A primary PI-algebra
(cf. Primary ring) has a two-sided classical quotient ring
, which is isomorphic to a matrix algebra
over a skew-field
, the latter being finite-dimensional over its centre
. The ring
is a central extension of the algebra
in the sense that
. The ideals of identities of the algebras
and
are the same. PI-algebras satisfy a number of conditions of Burnside type (cf. Burnside problem). For instance, an algebraic (nil) PI-algebra is locally finite (locally nilpotent). An associative nil algebra of bounded index
is nilpotent if the characteristic of the ground field is zero or larger than
.
A PI-algebra without non-zero nil ideals is representable by matrices over a commutative ring. However, not all PI-algebras are representable in this way. For example, the exterior algebra of a countably-dimensional space is not so representable, since it does not satisfy any standard identity. The internal characterization of the representability of an algebra by matrices over a commutative ring is an independent branch of study in the theory of PI-algebras.
The Jacobson radical of a finitely-generated PI-algebra over a field of characteristic zero is a nil ideal. At the time of writing (1977) the question of its nilpotency is still open. If the Jacobson radical of a PI-algebra is nilpotent, this algebra satisfies all the identities of a matrix algebra of order for some value of
. The converse proposition has been demonstrated for finitely-generated algebras. Moreover, for a finitely-generated algebra over a field of characteristic zero, nilpotency of the Jacobson radical is equivalent to the validity of some standard identity in this algebra.
If an identity is satisfied for "a part" of the elements of an algebra, it follows in many cases that some identity is satisfied for all elements of the algebra. For instance, if the symmetric elements in an algebra with involution (cf. Involution algebra) satisfy an identity, the algebra is a PI-algebra; if a finite group of automorphisms acts on an algebra over a field of characteristic zero and if an invariant subalgebra satisfies a given identity, the initial algebra will be a PI-algebra.
It is interesting to inquire into the conditions under which given special algebras satisfy a polynomial identity.
For the group algebra of a group
over a field of characteristic zero to satisfy some polynomial identity it is necessary and sufficient that
have an Abelian subgroup of finite index. If the characteristic of
is finite and equal to
,
is a PI-algebra if and only if
has a
-Abelian subgroup of finite index (a group is said to be
-Abelian if its commutator is a finite
-group).
The universal enveloping algebra of a Lie algebra
over a field
of characteristic zero is a PI-algebra if and only if
is Abelian (i.e.
is commutative). If
is a field of a finite characteristic,
will be a PI-algebra if and only if
has an Abelian ideal of finite codimension while the adjoint representation of the algebra
is of bounded algebraic degree.
All PI-subalgebras of a free associative algebra are commutative.
The theory of PI-algebras is a natural extension of commutative algebra. It contains deep and decisive analogues of theorems in commutative algebra, so that one may speak of the construction of non-commutative algebraic geometry.
Any finitely-generated PI-algebra with generators over a field
satisfies the condition of boundedness of heights, i.e. there exists a finite number of words
in the generators
and a positive integer
such that any word
in the generators
is representable in
by a linear combination of the words
![]() |
where , the composition of which with respect to
coincides with the word
. In the commutative case the generators
themselves may be used as the words
. A free non-commutative affine ring is a quotient algebra
![]() |
where is a free algebra with a finite number of generators
over a field
of characteristic zero while
is a
-ideal of identities of the matrix algebra
as defined above. The algebra
is a PI-algebra without divisors of zero, and has classical skew-field of fractions
which is finite-dimensional over its centre
. Further, let
be a space whose elements are columns of length
, constituted by matrices of the algebra
. One may speak of the zeros of the elements of
that are located in
, of algebraic varieties in
, etc., the fundamental assumptions of classical algebraic geometry being satisfied. Thus, the non-commutative analogue of Hilbert's Nullstellensatz (cf. Hilbert theorem) is satisfied. Primary ideals of the algebra which meet the condition of being Noetherian correspond to irreducible algebraic varieties. Krull's theorem describing the coincidence of the maximum chain length of primary ideals of the algebra
with the degree of transcendence of
over
, which, in the present case, is
![]() |
is satisfied.
By analogy with associative algebras it is possible to define, using the elements of free algebras, PI-algebras in other classes of algebras comprising free algebras (Lie algebras, alternative algebras, etc.).
A Lie algebra over a field of characteristic zero which satisfies the -th Engel identity
![]() |
is locally nilpotent. Higgins' problem (namely, does Engel's identity imply nilpotency?) has been positively solved for only. Its solution is negative for fields of positive characteristic.
References
[1] | C. Procesi, "Rings with polynomial identities" , M. Dekker (1973) |
[2] | N. Jacobson, "Structure of rings" , Amer. Math. Soc. (1956) |
[3] | I.N. Herstein, "Noncommutative rings" , Math. Assoc. Amer. (1968) |
[4] | P.M. Cohn, "Universal algebra" , Reidel (1981) |
[5] | A.I. Shirshov, "On rings with identity relations" Mat. Sb. , 43 (85) : 2 (1957) pp. 277–283 (In Russian) |
[6] | A.I. Kostrikin, "On Burnside's problem" Izv. Akad. Nauk SSSR Ser. Mat. , 3 : 1 (1959) pp. 3–34 (In Russian) |
[7] | G. Higman, "On a conjecture of Nagata" Proc. Cambridge Philos. Soc. (1) , 52 (1956) pp. 1–4 |
[8] | P.J. Higgins, "Lie rings satisfying the Engel condition" Proc. Cambridge Philos. Soc. (1) , 50 (1954) pp. 8–15 |
Comments
A.R. Kemer has shown that every variety of associative algebras over a field of characteristic zero is finitely based [a1].
References
[a1] | A.R. Kemer, "Solution of the problem as to whether associative algebras have a finite basis of identities" Soviet Math. Dokl. , 37 (1988) pp. 60–64 Dokl. Akad. Nauk SSSR , 298 (1988) pp. 273–277 |
[a2] | L.H. Rowen, "Polynomial identities in ring theory" , Acad. Press (1980) pp. Chapt. 7 |
PI-algebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=PI-algebra&oldid=23921