Let [Formula: see text] be a finite abelian group. As a consequence of the results of Di Vincenzo and Nardozza, we have that the generators of the [Formula: see text]-ideal of [Formula: see text]-graded identities of a [Formula: see text]-graded algebra in characteristic 0 and the generators of the [Formula: see text]-ideal of [Formula: see text]-graded identities of its tensor product by the infinite-dimensional Grassmann algebra [Formula: see text] endowed with the canonical grading have pairly the same degree. In this paper, we deal with [Formula: see text]-graded identities of [Formula: see text] over an infinite field of characteristic [Formula: see text], where [Formula: see text] is [Formula: see text] endowed with a specific [Formula: see text]-grading. We find identities of degree [Formula: see text] and [Formula: see text] while the maximal degree of a generator of the [Formula: see text]-graded identities of [Formula: see text] is [Formula: see text] if [Formula: see text]. Moreover, we find a basis of the [Formula: see text]-graded identities of [Formula: see text] and also a basis of multihomogeneous polynomials for the relatively free algebra. Finally, we compute the [Formula: see text]-graded Gelfand–Kirillov (GK) dimension of [Formula: see text].
A Basis for the Graded Identities of the Matrix Algebra of Order Two over a Finite Field of Characteristic p≠2
