On \(\mathbb Z_2\)-graded identities of \(UT_2(E)\) and their growth. (Q2261556)

Let \(E\) be the infinite dimensional Grassmann algebra over an infinite field of characteristic different from two endowed with its natural \(\mathbb Z_2\)-grading. The authors consider the upper triangular matrix algebra \(UT_2(E)\) which inherits the \(\mathbb Z_2\)-grading of \(E\). The case of characteristic zero was dealt with by \textit{O. M. Di Vincenzo} and \textit{V. Ribeiro Tomaz da Silva} [Linear Algebra Appl. 431, No. 1-2, 56-72 (2009; Zbl 1225.16009)]. Assume that \(A\) is an associative algebra, then \([a,b]=ab-ba\) and \(a\circ b=ab +ba\) for any \(a,b\in A\). The main result is as follows. Theorem. Let \(F\) be an infinite field of characteristic different from two, then the ideal of \(\mathbb Z_2\)-graded polynomial identities of \(UT_2(E)\) is generated by the following set of polynomials: \[ [z,y_1][y_2,y_3],\qquad [y_1,y_2][z,y_3],\qquad [y_1,y_2][y_3,y_4],\qquad [y_1,y_2](z_1\circ z_2),\qquad (z_1\circ z_2)[y_1,y_2], \] \[ [z_1,y_1][z_2,y_2],\qquad [z_1,y](z_2\circ z_3),\qquad (z_1\circ z_2)[z_3,y],\qquad (z_1\circ z_2)(z_3\circ z_4), \] where the variables \(y\) have \(\mathbb Z_2\)-degree 0 and \(z\)'s have \(\mathbb Z_2\)-degree 1. As a consequence the authors compute the \(\mathbb Z_2\)-graded series of \(UT_2(E)\) and its \(\mathbb Z_2\)-graded Gelfand-Kirillov dimension.