Abstract
Let \(c_n \left( V \right)\) be the sequence of codimension growth for a variety V of associative algebras. We study the complexity function \(\mathcal{C}\left( {V,z} \right) = \sum\nolimits_{n = 0}^\infty {c_n } {{\left( V \right)z^n } \mathord{\left/ {\vphantom {{\left( V \right)z^n } {n!}}} \right. \kern-\nulldelimiterspace} {n!}}\), which is the exponential generating function for the sequence of codimensions. Earlier, the complexity functions were used to study varieties of Lie algebras. The objective of the note is to start the systematic investigation of complexity functions in the associative case. These functions turn out to be a useful tool to study the growth of varieties over a field of arbitrary characteristic. In the present note, the Schreier formula for the complexity functions of one-sided ideals of a free associative algebra is found. This formula is applied to the study of products of T-ideals. An exact formula is obtained for the complexity function of the variety U c of associative algebras generated by the algebra of upper triangular matrices, and it is proved that the function \(c_n \left( {U_c } \right)\) is a quasi-polynomial. The complexity functions for proper identities are investigated. The results for the complexity functions are applied to study the asymptotics of codimension growth. Analogies between the complexity functions of varieties and the Hilbert--Poincaré series of finitely generated algebras are traced.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
A. Regev, “Existence of identities in A ⊗ B,” Israel J. Math., 11, 131-152 (1972).
Yu. P. Razmyslov, dentities of Algebras and Their Representations [in Russian], Nauka, Moscow (1989); English translation: Amer. Math. Soc., Providence, R.I. (1994).
I. B. Volichenko, “On the variety of Lie algebras AN2 over a field of characteristic zero,” Dokl. Akad. Nauk SSSR, 25, No. 12, 1063-1066 (1981).
V. M. Petrogradskii, “On the types of superexponential growth of identities in PI Lie algebras,” Fundament. i Prikl. Matem., 1, No. 4, 989-1007 (1995).
V. M. Petrogradskii, “Growth of polynilpotent varieties of Lie algebras, and rapidly increasing entire functions,” Mat. Sb. [Russian Acad. Sci. Sb. Math.], 188, No. 6, 119-138 (1997).
A. Regev, “Asymptotics of codimensions of some P.I. algebras,” in: Trends in Ring Theory ( Miskolc, 1996), Vol. 22, CMS Conf. Proc, Amer. Math. Soc., Providence, R.I. (1998), pp. 159-172.
I. P. Goulden and D. M. Jackson, Combinatorial Enumeration, John Wiley & Sons, Inc., New York (1983).
A. F. Leont'ev, Entire functions. Series of exponentials ] Nauka, Moscow (1983).
P. M. Cohn, Free Rings and Their Relations, 2nd ed., London Mathematical Society Monographs, 19, Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], London-New York (1985).
J. Lewin, “Free modules over free algebras and free group algebras: The Schreier technique,” Trans. Amer. Math. Soc., 145, 455-465 (1969).
A. Berele and A. Regev, “Codimensions of products and of intersections of verbally prime T-ideals,” Israel J. Math., 103, 17-28 (1998).
P. Halpin, “Some Poincaré series related to identities of (2 × 2) matrices,” Pacific J. Math., 107, No. 1, 107-115 (1983).
Yu. N. Mal'tsev, “A basis for the identities of the algebra of upper triangular matrices,” Algebra i Logika [Algebra and Logic], 10, No. 4, 393-400 (1971).
P. N. Siderov, “A basis for identities of an algebra of triangular matrices over an arbitrary field” [in Russian], PLISKA Stud. Math. Bulgar. 2, 143-152 (1981).
J. Riordan, An Introduction to Combinatorial Analysis, Reprint of the 1958 edition, Princeton University Press, Princeton, N.J. (1980).
G. M. Fikhtengol_ts, A Course of Differential and Integral Calculus [in Russian], Vols. 1–3, Nauka, Moscow (1969).
V. Drensky, “On the Hilbert series of relatively free algebras,” Comm. Algebra, 12, No. 19, 2335-2347 (1984).
V. Drensky, “Codimensions of T-ideals and Hilbert series of relatively free algebras,” J. Algebra, 91, No. 1, 1-17 (1984).
V. Drensky and A. Regev, “Exact asymptotic behaviour of the codimensions of some P.I. algebras,” Israel J. Math., 96. part A, 231-242 (1996).
Yu. Bahturin, S. Mishchenko, and A. Regev, “On the Lie and associative codimension growth,” Comm. Algebra (to appear).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Petrogradskii, V.M. On the Complexity Functions for T-Ideals of Associative Algebras. Mathematical Notes 68, 751–759 (2000). https://doi.org/10.1023/A:1026612817194
Issue Date:
DOI: https://doi.org/10.1023/A:1026612817194