Limit T-subalgebras in free associative algebras.
type: Item
instance of: scholarly article
title: Limit T-subalgebras in free associative algebras.
zbMATH Open document ID: 1306.16014
author: Dimas José Gonçalves
author: Alexei Krasilnikov
author: Irina Sviridova
published in: Journal of Algebra
publication date: 2014-08-29T00:00:00Z
reviewed by: Vesselin Drensky
Mathematics Subject Classification ID: 16R10
Mathematics Subject Classification ID: 16R40
Mathematics Subject Classification ID: 16S10
zbMATH DE Number: 6336083
zbMATH Keywords: free associative algebras
zbMATH Keywords: polynomial identities
zbMATH Keywords: central polynomials
zbMATH Keywords: T-ideals
zbMATH Keywords: T-subspaces
zbMATH Keywords: T-subalgebras
MaRDI profile type: Publication
full work available at URL: j.jalgebra.2014.03.032
OpenAlex ID: W2001090248
cites work: Polynomial identities in nil-algebras
cites work: Examples of associative algebras for which the T-space of central polynomials is not finitely based.
cites work: Q4761658
cites work: Counterexamples to the Specht problem
cites work: The local finite basis property and local representability of varieties of associative rings
cites work: The central polynomials for the Grassmann algebra.
cites work: On the identities of the Grassmann algebras in characteristic \(p>0\)
cites work: Q5714236
cites work: Limit T-subspaces and the central polynomials in \(n\) variables of the Grassmann algebra.
cites work: Q4761662
cites work: On non-Spechtianness of the variety of associative rings that satisfy the identity 𝑥³²=0
cites work: On the structure of the centre of a relatively free Grassmann algebra
cites work: On the multiplicative andT-space structure of the relatively free Grassmann algebra
cites work: T-spaces and their applications.
cites work: A Non-Finitely Based System of Polynomial Identities Which Contains the Identity x6 = 0
cites work: Q4658075
cites work: Finite basis property of identities of associative algebras
cites work: Identities of associative algebras
cites work: Limit T-spaces.
cites work: The Polynomial Identities of the Grassman Algebra
cites work: A NON-FINITELY BASED VARIETY OF CENTRE-BY-ABELIAN-BY-NILPOTENT GROUPS OF EXPONENT 8
cites work: Q5596920
cites work: Just non-finitely-based varieties of groups
cites work: Grassmann algebras over finite fields
cites work: Q3910639
cites work: Q4761675
cites work: Examples ofT-spaces with an infinite basis
cites work: The finite basis property ofT-spaces over fields of characteristic zero
DOI: 10.1016/J.JALGEBRA.2014.03.032
review text: Let \(F\langle X\rangle\) be the free unitary associative algebra over a field \(F\) on a free generating set \(X\). A unitary subalgebra \(R\) of \(F\langle X\rangle\) is called a T-subalgebra if \(R\) is closed under all endomorphisms of \(F\langle X\rangle\). A typical example of a T-subalgebra is the set of all central polynomials and polynomial identities of a PI-algebra \(A\).NEWLINENEWLINE T-subalgebras which are not finitely generated as T-subalgebras play a key role in the construction of T-ideals in positive characteristic \(p\) which are not finitely based. By a result of Shchigolev, in characteristic 0 all T-subalgebras are finitely generated. The T-subalgebra \(R\) in \(F\langle X\rangle\) is limit if it is not finitely generated and every larger T-subalgebra is finitely generated. Every not finitely generated T-subalgebra \(R\) is contained in a limit one. Hence the limit T-subalgebras are on the border between finitely generated and not finitely generated T-subalgebras. Up till now, no explicit examples of limit T-subalgebras were known.NEWLINENEWLINE In the paper under review the authors construct such examples over an arbitrary infinite field of positive characteristic \(p>2\) and when \(|X|\geq 4\). The first main result is the following. If \(q^{(k)}=x_1^{p^k-1}[x_1,x_2]x_2^{p^k-1}\), then the T-subalgebra \(\Gamma\) of \(F\langle x_1,x_2,\ldots\rangle\) generated by \(q^{(k)}\), \(k\geq 0\), and the polynomials \(x_1[x_2,x_3,x_4]\) and \(x_1[x_2,x_3][x_4,x_5]\) is a limit T-subalgebra. The second result states that for \(n\geq 4\) the intersection \(\Gamma_n=\Gamma\cap F\langle x_1,\ldots,x_n\rangle\) is a limit T-subalgebra of \(F\langle x_1,\ldots,x_n\rangle\). -- The authors conjecture that \(\Gamma\) and \(\Gamma_n\) are the only limit T-subalgebras in \(F\langle x_1,x_2,\ldots\rangle\) and \(F\langle x_1,\ldots,x_n\rangle\), respectively.
description: scientific article; zbMATH DE number 6336083