Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



Codimension growth and minimal superalgebras

Authors: A. Giambruno and M. Zaicev
Journal: Trans. Amer. Math. Soc. 355 (2003), 5091-5117
MSC (2000): Primary 16R10; Secondary 16P90
Published electronically: July 24, 2003
MathSciNet review: 1997596
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: A celebrated theorem of Kemer (1978) states that any algebra satisfying a polynomial identity over a field of characteristic zero is PI-equivalent to the Grassmann envelope $G(A)$ of a finite dimensional superalgebra $A$. In this paper, by exploiting the basic properties of the exponent of a PI-algebra proved by Giambruno and Zaicev (1999), we define and classify the minimal superalgebras of a given exponent over a field of characteristic zero. In particular we prove that these algebras can be realized as block-triangular matrix algebras over the base field.

The importance of such algebras is readily proved: $A$ is a minimal superalgebra if and only if the ideal of identities of $G(A)$ is a product of verbally prime T-ideals. Also, such superalgebras allow us to classify all minimal varieties of a given exponent i.e., varieties $\mathcal{V}$ such that $\exp({\mathcal{V}})=d\ge 2$ and $\exp(\mathcal{U})<d$ for all proper subvarieties ${\mathcal{U}}$ of ${\mathcal{V}}$. This proves in the positive a conjecture of Drensky (1988). As a corollary we obtain that there is only a finite number of minimal varieties for any given exponent. A classification of minimal varieties of finite basic rank was proved by the authors (2003).

As an application we give an effective way for computing the exponent of a T-ideal given by generators and we discuss the problem of what functions can appear as growth functions of varieties of algebras.

References [Enhancements On Off] (What's this?)

  • 1. S. A. Amitsur and A. Regev, P.I. algebras and their cocharacters. J. Algebra 78 (1982), 248-254. MR 84b:16020
  • 2. A. Berele, Cocharacters of $Z/2Z$-graded algebras. Israel J. Math. 61 (1988), 225-234. MR 89h:16018
  • 3. A. Berele and A. Regev, On the codimensions of the verbally prime P.I. algebras. Israel J. Math. 91 (1995), 239-247. MR 96g:16028
  • 4. A. Berele and A. Regev, Codimensions of products and intersections of verbally prime T-ideals. Israel J. Math. 103 (1998), 17-28. MR 99b:16037
  • 5. A. Berele and A. Regev, Exponential growth for codimensions of some p.i. algebras. J. Algebra 241 (2001), 118-145. MR 2002k:16046
  • 6. G. M. Bergman and J. Lewin, The semigroup of ideals of a fir is (usually) free. J. London Math. Soc. (2) 11 (1975), 21-31. MR 52:459
  • 7. V. Drensky, Extremal varieties of algebras I. (Russian) Serdica 13 (1987), 320-332. MR 90e:08010
  • 8. V. Drensky, Extremal varieties of algebras II. (Russian) Serdica 14 (1988), 20-27. MR 90e:08011
  • 9. V. Drensky, Gelfand-Kirillov dimension of PI-algebras, In: Methods in Ring Theory, Lect. Notes in Pure and Appl. Math., Vol. 198 (1998), 97-113. MR 2001g:16042
  • 10. V. Drensky and A. Regev, Exact asymptotic behaviour of the codimensions of some P.I. algebras. Israel J. Math. 96 (1996), 231-242. MR 98b:16021
  • 11. A. Giambruno and M. Zaicev, On codimension growth of finitely generated associative algebras. Adv. Math. 140 (1998), 145-155. MR 99k:16049
  • 12. A. Giambruno and M. Zaicev, Exponential codimension growth of P.I. algebras: an exact estimate. Adv. Math. 142 (1999), 221-243. MR 2000a:16048
  • 13. A. Giambruno and M. Zaicev, Minimal varieties of algebras of exponential growth, Electron. Res. Announc. Amer. Math. Soc. 6 (2000), 40-44. MR 2001e:16037
  • 14. A. Giambruno and M. Zaicev, Minimal varieties of exponential growth. Adv. Math. 174 (2003), 310-323.
  • 15. A. Giambruno and M.V. Zaicev, Minimal varieties of given codimension growth. Vestnik Moskov. Univ. Ser I Mat. Mekh. (2003), No. 1, 20-22.
  • 16. A. Giambruno and M. Zaicev, A characterization of varieties of associative algebras of exponent two. Serdica Math.J. 26 (2000), 245-252. MR 2001i:16041
  • 17. M.L. Gromov, Geometric group theory, vol. 2 (Sussex, 1991), Cambridge Univ. Press Cambridge, 1993. MR 95m:20041
  • 18. A. Guterman and A. Regev, On the growth of identities, In: Algebra (Moscow, 1998), 319-330, de Gruyter, Berlin, 2000. MR 2001a:16039
  • 19. G. James and A. Kerber, The representation theory of the symmetric group, Encyclopedia of Mathematics and its Applications, vol. 16, Addison-Wesley, London, 1981. MR 83k:20003
  • 20. A. Kemer, T-ideals with power growth of the codimensions are Specht. (Russian) Sibirskii Matematicheskii Zhurnal 19 (1978), 54-69; English translation: Siberian Math. J. 19 (1978), 37-48. MR 57:6070
  • 21. A. Kemer, Ideals of identities of associative algebras, AMS Translations of Mathematical Monograph, vol. 87, 1988. MR 92f:16031
  • 22. G. R. Krause and T. H. Lenagan, Growth of algebras and Gelfand-Kirillov dimension, Revised edition, Graduate Texts in Mathematics vol. 22, Amer. Math. Soc. Providence, R.I., 2000. MR 2000j:16035
  • 23. V. N. Latyshev, On Regev's theorem on identities in tensor product of PI-algebras. Ups. Mat. Nauk. 27 (1973), 213-214 (Russian). MR 52:13924
  • 24. J. Lewin, A matrix representation for associative algebras I. Trans. Amer. Math. Soc. 188 (1974), 293-308. MR 49:2848
  • 25. A. Yu. Ol'shanskii, On the distorsion of subgroups of finitely presented groups. (Russian) Mat. Sb. 188 (1997), 51-98; translation in Sb. Math. 188 (1997), 1617-1664. MR 99a:20038
  • 26. A. Regev, Existence of identities in $A \otimes B$. Israel J. Math. 11 (1972), 131-152. MR 47:3442
  • 27. A. Regev, Codimensions and trace codimensions of matrices are asymptotically equal. Israel J. Math. 47 (1984), 246-250. MR 85j:16024
  • 28. A. Regev, Asymptotics of codimensions of some P.I. algebras In: Trends in Ring Theory, CMS Conference Proc. Vol. 22, Amer. Math. Soc., Providence, R.I., 1998, 159-172. MR 98k:16033
  • 29. L. H. Rowen, Polynomial Identities in Ring Theory, Academic Press, New York, 1980. MR 82a:16021
  • 30. A. N. Stoyanova-Venkova, Some lattices of varieties of associative algebras defined by identities of fifth degree. (Russian), C. R. Acad. Bulg. Sci. 35 (1982), 865-868. MR 84b:08007
  • 31. E. J. Taft, Invariant Wedderburn factors. Illinois J. Math. 1 (1957), 565-573. MR 20:4586

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2000): 16R10, 16P90

Retrieve articles in all journals with MSC (2000): 16R10, 16P90

Additional Information

A. Giambruno
Affiliation: Dipartimento di Matematica ed Applicazioni, Università di Palermo, Via Archirafi 34, 90123 Palermo, Italy

M. Zaicev
Affiliation: Department of Algebra, Faculty of Mathematics and Mechanics, Moscow State University, Moscow, 119992 Russia

Keywords: Polynomial identity, T-ideal, superalgebra, variety, growth
Received by editor(s): June 12, 2002
Received by editor(s) in revised form: March 20, 2003
Published electronically: July 24, 2003
Additional Notes: The first author was supported in part by MIUR of Italy.
The second author was partially supported by RFBR, grants 02-01-00219 and 00-15-96128.
Article copyright: © Copyright 2003 American Mathematical Society

American Mathematical Society