The subalgebra of graded central polynomials of an associative algebra. (Q2254147)

An essential step in the negative solution of the Specht problem for the finite generation of the T-ideals of the polynomial identities of associative algebras in positive characteristic is the notion of T-space. In characteristic 0 both all T-ideals and T-spaces are finitely generated. Especially interesting are the T-spaces of central polynomials. In characteristic \(p>0\) there are many examples of T-spaces of central polynomials which are not finitely generated as T-spaces but all they are finitely generated as T-algebras. The paper under review is devoted to the following problem which is a \(\mathbb Z_2\)-graded version of the above discussion. Find a \(\mathbb Z_2\)-graded algebra such that the \(\mathbb Z_2\)-graded T-algebra of its central polynomials is not finitely generated. The authors construct the following example over an infinite field \(F\) of characteristic \(p>2\). Let \(T\) be the T-ideal generated by the commutator \([x_1,x_2,x_3]\) of the free associative \(\mathbb Z_2\)-graded algebra \(F\langle Y\cup Z\rangle\) and let \(I_n\) be the ideal generated by all monomials of degree \(n\) in the odd variables \(Z\). Then the algebra \(B=F\langle Y\cup Z\rangle/((T\cap I_p)+I_{p+1})\) satisfies the desired property: The \(\mathbb Z_2\)-graded T-algebra of the central polynomials of \(B\) is not finitely generated.