Variety of rings
A class of rings satisfying a given system of polynomial identities. A variety of rings can be defined axiomatically as a hereditary class of algebras that is closed with respect to taking homomorphic images and complete direct sums (see Algebraic systems, variety of). Since the totality of polynomial identities that are satisfied in a given ring forms a fully-characteristic ideal (a -ideal) of a free ring, there exists a one-to-one correspondence between varieties of rings and the -ideals of a countably-generated free ring. If for two varieties of rings there is an inclusion , one says that is a subvariety of . The variety corresponding to the -ideal of identities of the ring is called the variety generated by the ring . Every variety of rings is generated by a "universal object" of it; this is a free ring of the given variety containing an infinite free system of generators: Every mapping from the set of free generators into an arbitrary ring of the variety can be extended to a homomorphism.
Let be the variety generated by the algebra of square matrices of order . For each variety of associative rings of characteristic zero (that is, rings whose additive group is torsion-free) there exists a positive integer such that , but . A variety of rings is called a Specht variety if every ring in it has a finite basis of identities. A variety generated by a finite associative ring or by a finite Lie ring is a Specht variety. The question whether every variety of associative algebras is a Specht variety forms the content of the Specht problem. If a variety is generated by an associative algebra with a finite number of generators over a field of characteristic zero and if , then is a Specht variety.
See also PI-algebra.
|||C. Procesi, "Rings with polynomial identities" , M. Dekker (1973)|
|||P.M. Cohn, "Universal algebra" , Reidel (1981)|
A.R. Kemer has shown that every variety of associative algebras over a field of characteristic zero is finitely based [a1].
In addition to solving the Specht problem in the case of characteristic zero, Kemer has also described the -ideal of a variety in terms of a finite -graded algebra and an infinite Grassmannian algebra . He has proved that, given a -ideal , there exists a finite-dimensional -graded algebra such that , the -ideal of identities of the algebra , where are the even and odd terms of the infinite Grassmannian algebra .
|[a1]||A.R. Kremer, "Solution of the problem as to whether associative algebras have a finite basis of identities" Soviet Math. Doklady , 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|
Variety of rings. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Variety_of_rings&oldid=16516