Abstract
Let c n (R), n = 0, 1, 2, …, be the codimension sequence of the PI-algebra R over a field of characteristic 0 with T-ideal T(R) and let c(R, t) = c 0(R) + c 1(R)t + c 2(R)t 2 + … be the codimension series of R (i.e., the generating function of the codimension sequence of R). Let R 1,R 2 and R be PI-algebras such that T(R) = T(R1)T(R 2). We show that if c(R 1, t) and c(R 2, t) are rational functions, then c(R, t) is also rational. If c(R 1, t) is rational and c(R 2, t) is algebraic, then c(R, t) is also algebraic. The proof is based on the fact that the product of two exponential generating functions behaves as the exponential generating function of the sequence of the degrees of the outer tensor products of two sequences of representations of the symmetric groups S n .
Similar content being viewed by others
References
W. Beckner and A. Regev, Asymptotics and algebraicity of some generating functions, Advances in Mathematics 65 (1987), 1–15.
A. Berele, Properties of hook Schur functions with applications to p. i. algebras, Advances in Applied Mathematics 41 (2008), 52–75.
A. Berele and A. Regev, Codimensions of products and of intersections of verbally prime T-ideals, Israel Journal of Mathematics 103 (1998), 17–28.
A. Berele and A. Regev, Asymptotic behaviour of codimensions of p. i. algebras satisfying Capelli identities, Transactions of the American Mathematical Society 360 (2008), 5155–5172.
L. Centrone, Ordinary and ℤ2-graded cocharacters of UT 2(E), Communications in Algebra 39 (2011), 2554–2572.
V. Drensky, Codimensions of T-ideals and Hilbert series of relatively free algebras, Journal of Algebra 91 (1984), 1–17.
V. S. Drensky, Extremal varieties of algebras. I, II, (Russian), Serdica 13 (1987), 320–332; 14 (1988), 20–27.
V. S. Drensky, Explicit codimension formulas of certain T-ideals, (Russian), Sibirskiĭ Matematicheskiĭ Zhurnal 29 (1988), no. 6, 30–36. Translation: Siberian Mathematical Journal 29 (1988), 897–902.
V. Drensky, Relations for the cocharacter sequences of T-ideals, in Proceedings of the International Conference on Algebra Honoring A. Malcev, Part 2, Contemporary Mathematics, Vol. 131, American Mathematical Society, Providence, RI, 1992, pp. 285–300.
V. Drensky, Free Algebras and PI-Algebras, Springer-Verlag, Singapore, 1999.
E. Formanek, Noncommutative invariant theory, in Group Actions on Rings, Contemporary Mathematics, Vol. 43, American Mathematical Society, Providence, RI, 1985, pp. 87–119.
A. Giambruno and M. Zaicev, Polynomial Identities and Asymptotic Methods, Mathematical Surveys and Monographs, Vol. 122, American Mathematical Society, Providence, RI, 2005.
R. Jungen, Sur les séries de Taylor n’ayant que des singularités algébrico-logarithmiques sur leur cercle de convergence, Commetarii Mathematici Helvetici 3 (1931), 266–306.
A. R. Kemer, T-ideals with power growth of the codimensions are Specht, (Russian), Sibirskiĭ Matematicheskiĭ Zhurnal 19 (1978), 54–69; Translation: Siberian Mathematical Journal 19 (1978), 37–48.
A. R. Kemer, Varieties of finite rank, (Russian), in Proc. 15-th All the Union Algebraic Conf., Vol. 2, Krasnoyarsk, 1979, p. 73.
A. R. Kemer, The ideal of identities generated by the standard identity of fourth degree, (Russian), in Proc. 17-th All-Union Algebraic Conf., Vol. 1, Minsk, 1983, pp. 89–90.
A. R. Kemer, Ideals of Identities of Associative Algebras, Translations of Mathematical Monographs, Vol. 87, American Mathematical Society, Providence, RI, 1991.
S. K. Lando, Lectures on Generating Functions, Student Mathematical Library, Vol. 23, American Mathematical Society, Providence, RI, 2003.
I. G. Macdonald, Symmetric Functions and Hall Polynomials, Second Edition, Oxford University Press (Clarendon), Oxford, 1995.
R. S. Nikolaev, Structure of the T-ideal generated by the Hall identity of three variables. I, II, (Russian), Serdica 13 (1987), 258–266, 361–365.
V. M. Petrogradskij, On types of super exponential growth of identities in Lie PIalgebras, (Russian, English summary), Fundamental’naya i Prikladnaya Matematika 1 (1995), 989–1007.
V. M. Petrogradskij, On the complexity functions for T-ideals of associative algebras, (Russian), Matematicheskie Zametki 68 (2000), 887–897; Translation: Mathematical Notes 68 (2000), 751–759.
A. P. Popov, Identities of the tensor square of a Grassmann algebra, (Russian), Algebra i Logika 21 (1982), 442–471; Translation: Algebra and Logic 21 (1982), 296–316.
A. P. Popov, On central metabelian variety of algebras, Communications in Algebra 15 (1987), 1319–1347.
C. Procesi, Computing with 2 × 2 matrices, Journal of Algebra 87 (1984), 342–359.
Yu. P. Razmyslov, Identities of Algebras and Their Representations, (Russian), Sovremennaya Algebra, Vol. 14, Nauka, Moscow, 1989; Translation: Translations of Mathematical Monographs, Vol. 138, American Mathematical Society, Providence, RI, 1994.
A. Regev, Existence of identities in A ⊕ B, Israel Journal of Mathematics 11 (1972), 131–152.
A. Regev, On the codimensions of matrix algebras, in Algebra-Some Current Trends (Varna, 1986), Lecture Notes in Mathematics, Vol. 1352, Springer-Verlag, Berlin-New York, 1988, pp. 162–172.
A. Regev, Young-derived sequences of Sn-characters, Advances in Mathematics 106 (1994), 169–197.
R. Stanley and E. W. Weisstein, Catalan number, MathWorld-A Wolfram Web Resource. http://mathworld.wolfram.com/CatalanNumber.html.
A. N. Stoyanova-Venkova, Lattice of the variety of associative algebras defined by a commutator of length five, (Russian), Comptes Rendus de l’Académie Bulgare des Sciences 34 (1981), 465–467.
A. N. Stoyanova-Venkova, Some lattices of the varieties of associative algebras defined by polynomial identities of fifth degree, (Russian), Comptes Rendus de l’Académie Bulgare des Sciences 35 (1982), 867–868.
A. N. Stoyanova-Venkova, The lattice of varieties of associative algebras defined by a commutator of length five, (Bulgarian, Russian and English summary), Plovdivski Universitet. Nauchni Trudove 22 (1984), 13–44.
I. B. Volichenko, The T-ideal generated by the element [X 1,X 2,X 3,X 4], (Russian), Preprint No. 22, Institut Matemat. Akad. Nauk BSSR, Minsk, 1978.
E. W. Weisstein, Modified Bessel function of the first kind, MathWorld—A WolframWeb Resource. http://mathworld.wolfram.com/ModifiedBesselFunctionoftheFirstKind.html.
H. S. Wilf, Generatingfunctionology, Third Edition, A K Peters, Wellesley, MA, 2006.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Boumova, S., Drensky, V. Algebraic properties of codimension series of PI-algebras. Isr. J. Math. 195, 593–611 (2013). https://doi.org/10.1007/s11856-012-0110-4
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-012-0110-4