The subalgebra of graded central polynomials of an associative algebra.

DOI10.1016/J.JALGEBRA.2014.11.022MaRDI QIDQ2254147zbMATH OpenOpenAlexFDO

Authors Galina Deryabina, Alexei Krasilnikov

Publication date 4 February 2015

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1409.7937

zbMATH Keywords

central polynomialscharacteristic \(p\)commutatorsfinitely generated T-algebrasfree associative algebrasgraded associative algebraspolynomial identitiesSpecht problemT-idealsT-spaces

Mathematics Subject Classification ID

(T)-ideals, identities, varieties of associative rings and algebras (16R10) Identities other than those of matrices over commutative rings (16R40) Graded rings and modules (associative rings and algebras) (16W50)

Abstract: Let $F$ be a field and let $FlangleXangle$ be the free unital associative $F$-algebra on the free generating set $X=x_1,x_2,dots$. A subalgebra (a vector subspace) $V$ in $FlangleXangle$ is called a $T$-subalgebra (a $T$-subspace) if $phi(V)subseteqV$ for all endomorphisms $phi$ of $FlangleXangle$. For an algebra $G$, its central polynomials form a $T$-subalgebra $C(G)$ in $FlangleXangle$. Over a field of characteristic $p>2$ there are algebras $G$ whose algebras of all central polynomials $C(G)$ are not finitely generated as $T$-subspaces in $FlangleXangle$. However, no example of an algebra $G$ such that $C(G)$ is not finitely generated as a $T$-subalgebra is known yet. In the present paper we construct the first example of a $2$-graded unital associative algebra $B$ over a field of characteristic $p>2$ whose algebra $C_2(B)$ of all $2$-graded central polynomials is not finitely generated as a $T_2$-subalgebra in the free $2$-graded unital associative $F$-algebra $FlangleY,Zangle$. Here $Y=y_1,y_2,dots$ and $Z=z_1,z_2,dots$ are sets of even and odd free generators of $FlangleY,Zangle$, respectively. We hope that our example will help to construct an algebra $G$ whose algebra $C(G)$ of (ordinary) central polynomials is not finitely generated as a $T$-subalgebra in $FlangleXangle$.

Review text

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.

Recommendations

• Examples of associative algebras for which the T-space of central polynomials is not finitely based.
• Counterexamples to the Specht problem
• Central polynomials for \(\mathbb{Z}_2\)-graded algebras and for algebras with involution.
• Limit T-subspaces and the central polynomials in n variables of the Grassmann algebra.
• Representability and Specht problem for G-graded algebras.

Cites work

• Counterexamples to the Specht problem
• Examples ofT-spaces with an infinite basis
• scientific article; zbMATH DE number 3721092 (Why is no real title available?)
• scientific article; zbMATH DE number 2146309 (Why is no real title available?)
• scientific article; zbMATH DE number 1567831 (Why is no real title available?)
• scientific article; zbMATH DE number 1567835 (Why is no real title available?)
• scientific article; zbMATH DE number 1567845 (Why is no real title available?)
• scientific article; zbMATH DE number 2241894 (Why is no real title available?)
• Identities of associative algebras
• Limit T-subalgebras in free associative algebras.
• Limit T-subspaces and the central polynomials in n variables of the Grassmann algebra.
• On non-Spechtianness of the variety of associative rings that satisfy the identity 𝑥³²=0
• On the identities of the Grassmann algebras in characteristic \(p>0\)
• On the multiplicative and T-space structure of the relatively free Grassmann algebra.
• On the structure of the centre of a relatively free Grassmann algebra.
• Polynomial identity rings.
• The central polynomials for the Grassmann algebra.
• The central polynomials of the infinite-dimensional unitary and nonunitary Grassmann algebras.
• The finite basis property ofT-spaces over fields of characteristic zero
• The identities and the central polynomials of the infinite dimensional unitary Grassmann algebra over a finite field.
• The local finite basis property and local representability of varieties of associative rings.

Cited in

(5)

• Representability of reduced free algebras
• Examples of associative algebras for which the T-space of central polynomials is not finitely based.
• On polynomial graded subalgebras of a polynomial algebra
• Limit T-subalgebras in free associative algebras.
• The enveloping algebra of the Petrogradsky-Shestakov-Zelmanov algebra is not graded-nil in the critical characteristics

This page was built for publication: The subalgebra of graded central polynomials of an associative algebra.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2254147)