Minimal varieties of graded PI-algebras over abelian groups (Q6570071)

Given a finite dimensional p.i. algebra \(A\) in characteristic zero, let \(\{c_n(A)\}\) be its codimension sequence. \textit{A. Giambruno} and \textit{M. Zaicev} proved in [Adv. Math. 140, No. 2, 145--155 (1998; Zbl 0920.16012)] that the limit \(\lim_{n\rightarrow \infty} \sqrt[n]{c_n(A)}\) always exists and is an integer, called the exponential rate of growth of \(A\). An algebra \(A\) is called minimal if every algebra satisfying strictly more identities than \(A\) has a strictly smaller exponential rate of growth. In [Adv. Math. 174, No. 2, 310--323 (2003; Zbl 1035.16013)] \textit{A. Giambruno} and \textit{M. Zaicev} proved that the minimal algebras are the ones equivalent to block upper triangular matrices.\N\NThe paper under review considers the generalization to algebras with action from a fixed, finite, abelian group \(G\). (Note that since \(G\) is abelian, a \(G\)-action is equivalent to a \(G\)-grading, a fact that the authors use freely, and which allows all of their theorems to apply to both actions and gradings.) Again, there is a codimension sequence \(\{c_n^G(A)\},\) and a theorem of \textit{A. S. Gordienko} [J. Pure Appl. Algebra 217, No. 8, 1395--1411 (2013; Zbl 1286.16023)] guarantees that the exponent \(\lim_{n\rightarrow\infty}\sqrt[n]{c_n^G(A)}\) exists. The authors' main theorem is that all finite dimensional minimal graded algebras are equivalent to block triangular matrices, possibly over an algebraic extension of the base field, with action gotten from an elementary \(G\)-grading.