On a conjecture of V. V. Shchigolev.

DOI10.1016/J.JALGEBRA.2010.12.015MaRDI QIDQ555572zbMATH OpenOpenAlexWikidataFDO

Authors C. Bekh-Ochir, Stuart A. Rankin

Publication date 25 July 2011

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

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

zbMATH Keywords

associative algebrasfinitely based T-spacesfinitely generated T-spacesfree algebraspolynomial identities

Mathematics Subject Classification ID

(T)-ideals, identities, varieties of associative rings and algebras (16R10) Semiprime p.i. rings, rings embeddable in matrices over commutative rings (16R20) Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting) (16S15)

Abstract: V. V. Shchigolev has proven that over any infinite field k of characteristic p>2, the T-space generated by G={x_1^p,x_1^px_2^p,...} is finitely based, which answered a question raised by A. V. Grishin. Shchigolev went on to conjecture that every infinite subset of G generated a finitely based T-space. In this paper, we prove that Shchigolev's conjecture was correct by showing that for any field of characteristic p>2, the T-space generated by any subset {x_1^px_2^p...x_{i_1}^p, x_1^px_2^p...x_{i_2}^p,...}, i_1<i_2<i_3<..., of G has a T-space basis of size at most i_2-i_1+1.

Review text

Let \(k\) be an infinite field of positive characteristic \(p\geq 2\), and denote by \(V\) the T-space in the free associative \(k\)-algebra \(k(X)\) that is generated by the polynomials \(G=\{x_1^p,x_1^px_2^p,\dots\}\). Recall that a T-space in \(k(X)\) is a vector subspace that is closed under all algebra endomorphisms of \(k(X)\). The T-space \(V\) is rather important in PI theory. It was proved by Shchigolev that \(V\) is finitely generated as a T-space whenever \(p>2\) while if \(p=2\) a result due to Grishin asserts that \(V\) does not admit a finite basis as a T-space. \textit{A. V. Grishin} and \textit{V. V. Shchigolev} [in J. Math. Sci., New York 134, No. 1, 1799-1878 (2006); translation from Sovrem. Mat. Prilozh. 18, 26-97 (2004; Zbl 1100.16018)] asked whether every subset of \(G\) generates a finitely based T-space if \(p>2\). The main result of the paper under review consists in answering in the affirmative the above question. The authors prove that every (infinite) subset of \(G\) generates a finitely based T-space. Moreover, if the two shortest monomials in the given subset are of lengths \(i\) and \(j\), \(i<j\), the authors prove that there exists a generating set with at most \(j-i+1\) elements.

Recommendations

• scientific article; zbMATH DE number 978613
• T-spaces and their applications.
• T-spaces in associative algebras.
• Examples of associative algebras for which the T-space of central polynomials is not finitely based.
• On a problem of A. V. Grishin.
• Counterexamples to the Specht problem
• On some extremal varieties of associative algebras.
• On the finite generation of invariant submodules in polynomial algebras
• Basic \(\mathbb{T} \)-spaces in the relatively free Grassmann algebra without unity
• On polynomial identities in nil-algebras.

Cites work

• Examples ofT-spaces with an infinite basis
• T-spaces and their applications.

Cited in

(3)

• Concerning a lemma of A. B. Shidlovskiĭ.
• On a problem of A. V. Grishin.
• Some results about a theorem of Shidov.

This page was built for publication: On a conjecture of V. V. Shchigolev.

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