View source for Specht property

{{TEX|done}}
A variety of some universal algebras (e.g. groups, semi-groups, associative, Lie, Jordan, etc., rings and algebras; cf. also [[Variety of universal algebras|Variety of universal algebras]]; [[Universal algebra|Universal algebra]]) is the class of all algebras satisfying a given system of identical relations (polynomial identities in the case of rings and algebras over a field). The description of the identities of concrete varieties and algebras is one of the central problems in the theory. A variety is finitely based (or has a finite basis for its identities) if it can be defined by a finite number of identities. A variety satisfies the Specht property if it itself and all its subvarieties are finitely based. The problem of existence of infinitely based varieties of groups was raised by B.H. Neumann in his thesis in 1935, see also [[#References|[a11]]], and for associative algebras by W. Specht [[#References|[a16]]] in 1950. Nowadays (2001), the finite basis problem for all main classes of universal algebras is known also as the Specht problem. The investigations are in two directions: to show that classes of varieties satisfy the Specht property and to construct counterexamples. For comments and results for groups, semi-groups and algebras see [[#References|[a1]]], [[#References|[a6]]], [[#References|[a7]]], [[#References|[a12]]] and [[#References|[a2]]], [[#References|[a8]]].

The positive results include the Specht property for varieties generated by finite objects with reasonable good structure (e.g. groups, associative, Lie, Jordan rings and algebras over finite fields), classes of groups, rings and algebras satisfying some specific identities (e.g. nilpotent or metabelian groups and Lie algebras). One of the most important results in this direction is the positive solution by A.R. Kemer of the Specht problem for associative algebras over a field of characteristic zero, see [[#References|[a7]]].

It is relatively easy to construct counterexamples to the Specht problem for sufficiently general algebras. There exist also finite semi-groups [[#References|[a14]]] and finite non-associative rings [[#References|[a15]]] without finite bases for their identities. The first counterexample to the finite basis problem for groups was given by A.Yu. Ol'shanskii [[#References|[a13]]] in 1970. The simplest example is due to Yu.G. Kleiman [[#References|[a9]]], [[#References|[a10]]] and R.M. Bryant [[#References|[a4]]], who showed that the system of group identities $(x_1^2\ldots x_n^2)^4=1$, $n=1,2,\ldots$, does not follow from any of its finite subsystems. The first example of a [[Lie algebra|Lie algebra]] without a finite basis for its identities was given by M.R. Vaughan-Lee [[#References|[a17]]] in characteristic two, and then generalized to any field of positive characteristic by V. Drensky [[#References|[a5]]] and Kleiman (unpublished). The variety of Vaughan-Lee is defined by the centre-by-metabelian identity $[[[x_1,x_2],[x_3,x_4]],x_5]=0$ and the identities $[[\ldots[[x_1,x_2],x_3],\ldots,x_n],[x_1,x_2]]=0$, $n=3,4,\ldots$. He also showed that over an infinite field of characteristic two the [[Lie algebra|Lie algebra]] of all $(2\times2)$-matrices has no finite basis of its polynomial identities. Recently (1999), A.Ya. Belov [[#References|[a3]]], see also [[#References|[a18]]], constructed an example of a non-finitely based variety of associative algebras over any field of positive characteristic.

Presently (2001), the Specht problem is still open for Lie algebras over a field of characteristic zero. Many questions concerning finite bases of polynomial identities are naturally connected also with other problems at the meeting point of algebra and logic, in particular with various algorithmic problems, see [[#References|[a8]]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  Yu.A. Bahturin,   "Identical relations in Lie algebras" , VNU Press  (1987)  (In Russian)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  Yu.A. Bahturin,   A.Yu. Olshanskii,   "Identities"  A.I. Kostrikin (ed.)  I.R. Shafarevich (ed.) , ''Algebra II'' , ''Encyclopedia Math. Sci.'' , '''18''' , Springer  (1991)  pp. 107–221</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  A.Ya. Belov,   "On nonspechtian varieties"  ''Fundam. i Prikladn. Mat.'' , '''5''' :  1  (1999)  pp. 47–66  (In Russian)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  R.M. Bryant,   "Some infinitely based varieties of groups"  ''J. Austral. Math. Soc.'' , '''16'''  (1973)  pp. 29–32</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  V. Drensky,   "Identities in Lie algebras"  ''Algebra and Logic'' , '''13'''  (1974)  pp. 150–165  ''Algebra i Logika'' , '''13'''  (1974)  pp. 265–290</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  V. Drensky,   "Free algebras and PI-algebras" , Springer  (1999)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  A.R. Kemer,   "Ideals of identities of associative algebras" , ''Transl. Math. Monographs'' , '''87''' , Amer. Math. Soc.  (1991)</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  O.G. Kharlampovich,   M.V. Sapir,   "Algorithmic problems in varieties"  ''Internat. J. Algebra Comput.'' , '''5'''  (1995)  pp. 379–602</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  Yu.G. Kleiman,   "The basis of a product variety of groups I"  ''Math. USSR Izv.'' , '''7'''  (1973)  pp. 91–94  ''Izv. Akad. Nauk. SSSR Ser. Mat.'' , '''37'''  (1973)  pp. 95–97</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  Yu.G. Kleiman,   "The basis of a product variety of groups II"  ''Math. USSR Izv.'' , '''8'''  (1974)  pp. 481–489  ''Izv. Akad. Nauk. SSSR Ser. Mat.'' , '''38'''  (1974)  pp. 475–483</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  B.H. Neumann,   "Identical relations in groups I"  ''Math. Ann.'' , '''114'''  (1937)  pp. 506–525</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  H. Neumann,   "Varieties of groups" , Springer  (1967)</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  A.Yu. Olshanskii,   "On the problem of a finite basis of identities in groups"  ''Math. USSR Izv.'' , '''4'''  (1970)  pp. 381–389  ''Izv. Akad. Nauk. SSSR Ser. Mat.'' , '''34'''  (1970)  pp. 376–384</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top">  P. Perkins,   "Decision problems for equational theories of semigroups and general algebras"  ''PhD Thesis Univ. California at Berkeley''  (1966)</TD></TR><TR><TD valign="top">[a15]</TD> <TD valign="top">  S.V. Polin,   "Identities of finite algebras"  ''Sib. Math. J.'' , '''17'''  (1976)  pp. 992–999  ''Sibirsk. Mat. Zh.'' , '''17'''  (1976)  pp. 1356–1366</TD></TR><TR><TD valign="top">[a16]</TD> <TD valign="top">  W. Specht,   "Gesetze in Ringen I"  ''Math. Z.'' , '''52'''  (1950)  pp. 557–589</TD></TR><TR><TD valign="top">[a17]</TD> <TD valign="top">  M.R. Vaughan-Lee,   "Varieties of Lie algebras"  ''Quart. J. Math. Oxford Ser. 2'' , '''21'''  (1970)  pp. 297–308</TD></TR><TR><TD valign="top">[a18]</TD> <TD valign="top">  A.Ya. Belov,   "Counterexamples to the Specht problem"  ''Sb. Math.'' , '''191'''  (2000)  pp. 329–340  ''Mat. Sb.'' , '''191'''  (2000)  pp. 13–24</TD></TR></table>