Group graded PI-algebras and their codimension growth. (Q1760352)

All algebras considered in the paper under review are over a field \(F\) of characteristic 0. Let \(G\) be a finite group and let \(W\) be an associative algebra graded by \(G\): \(W=\bigoplus_{g\in G}W_g\) where \(W_g\) are vector subspaces of \(W\) such that \(W_gW_h\subseteq W_{gh}\). The base field is of characteristic 0 hence the graded identities of \(W\) are determined by the multilinear ones. A good and quite precise measure of the growth of the graded codimension sequence of \(W\) is given by its exponent. We recall some definitions. Let \(Id_G(W)\) be the ideal of the graded identities of \(W\) in the free associative \(G\)-graded algebra \(F(X_G)\), and denote by \(P_n^G\) the vector space in \(F(X_G)\) spanned by all multilinear monomials of degree \(n\) in the free graded generators. Then the \(n\)-th graded codimension of \(W\) is \(c_n^G(W)=\dim P_n^G/(P_n^G\cap Id_G(W))\). The limit (if it exists) \(\lim_{n\to\infty}(c_n^G(W)^{1/n})\) is the graded exponent \(\exp_G(W)\). It is not known, assuming \(G\) is an arbitrary group, whether \(\exp_G(W)\) exists or not. It is known that it exists and is an integer whenever \(G\) is Abelian, [see, for example, \textit{E. Aljadeff} and \textit{A. Kanel-Belov}, Adv. Math. 225, No. 5, 2391-2428 (2010; Zbl 1206.16014)]. When \(G\) is the trivial group we have the usual codimension sequence of the algebra and the usual exponent. In this case one omits the superscript (resp. subscript) \(G\). The main result of the paper is the proof of the following relation between the exponent of \(W\) and of \(W_e\): \(\exp(W)\leq |G|^2\exp(W_e)\). If \(W\) is an affine algebra the inequality was proved by the author [in Proc. Am. Math. Soc. 138, No. 7, 2311-2320 (2010; Zbl 1200.16028)]. In this way the author answers in full a question raised by Bahturin and Zaicev. It should be noted that the result obtained in the paper under review is more general than the conjecture of Bahturin and Zaicev.