Subvarieties of the Varieties Generated by the Superalgebra<i>M</i>_{1, 1}(<i>E</i>) or<i>M</i>₂(𝒦) (Q4803363)

The matrix algebra \(M_2\) may be given a \(\mathbb{Z}_2\)-grading in a natural way. The paper under review studies the asymptotic behaviour of the \(\mathbb{Z}_2\)-graded identities of \(M_2\) over a field of characteristic 0. Namely the authors construct two sequences of \(\mathbb{Z}_2\)-graded algebras, \(A_p\) and \(B_q\). They show that every proper subvariety of the variety of \(\mathbb{Z}_2\)-graded algebras determined by \(M_2\) satisfies asymptotically the same even (that is neutral in the grading) commutator identities as some of the algebras \(A_p\oplus B_q\). Furthermore the authors show that if two varieties of \(\mathbb{Z}_2\)-graded algebras are asymptotically equivalent concerning only the even (i.e., neutral) identities then they are asymptotically equivalent and share the same PI exponent. As an application they consider another important algebra, \(M_{1,1}(E)\) where \(E\) is the infinite dimensional Grassmann algebra. This algebra consists of the \(2\times 2\) matrices whose main diagonal elements belong to the even (neutral) part of \(E\) and those on the other diagonal belong to the odd part of \(E\).