Rings virtually satisfying a polynomial identity.
type: Item
instance of: scholarly article
title: Rings virtually satisfying a polynomial identity.
zbMATH Open document ID: 1074.16013
author: Alireza Abdollahi
author: S. Akbari
published in: Journal of Pure and Applied Algebra
publication date: 2005-06-01T00:00:00Z
review text: Let \(f(x_1,\dots,x_n)\) be a nonzero polynomial without constant term in the free associative ring \(\mathbb{Z}\langle x_1,x_2,\dots\rangle\). A ring \(R\) is called an \(f\)-ring if it satisfies the polynomial identity \(f=0\); it is a virtual \(f\)-ring if for every \(n\) infinite subsets \(X_1,\dots,X_n\) of \(R\) there exist \(r_i\in X_i\) such that \(f(r_1,\dots,r_n)=0\). In the paper under review the authors are interested in the problem whether a virtual \(f\)-ring is an \(f\)-ring. They study the case when \(f\) is nonzero modulo the commutator ideal of \(\mathbb{Z}_m\langle x_1,x_2,\dots\rangle\), where \(m\) is the characteristic of \(R\). Under this condition, the main results give: (1) If \(R\) is a left primitive virtual \(f\)-ring, then it is finite; (2) Under a natural condition on the coefficients of \(f\) modulo the commutator ideal of \(\mathbb{Z}_m\langle x_1,x_2,\dots\rangle\), if \(R\) is an infinite semisimple virtual \(f\)-ring, then \(R\) is an \(f\)-ring; (3) If \(f=x_{i_1}^{\alpha_1}\cdots x_{i_t}^{\alpha_t}\), then every infinite virtual \(f\)-ring is an \(f\)-ring; (4) For \(f(x)=x+a_2x^2+\cdots+a_nx^n\), if \(R\) is a unitary infinite virtual \(f\)-ring, then \(R\) is an \(f\)-ring and is commutative. The authors also study infinite rings with the property that every infinite subset contains a potent element (satisfying \(r^n=r\)). They correct a gap in the proof of a theorem of \textit{A. Abdollahi} and \textit{B. Taeri} [Proc. 31st Iranian Math. Conf., Tehran 2000, Univ. Tehran, 23-27 (2000; Zbl 1003.16031)] which states that an infinite ring which satisfies the above property virtually, does satisfy it, and hence is commutative.
reviewed by: Vesselin Drensky
Mathematics Subject Classification ID: 16R10
Mathematics Subject Classification ID: 16N60
Mathematics Subject Classification ID: 16D60
Mathematics Subject Classification ID: 16U70
zbMATH DE Number: 2173208
zbMATH Keywords: rings with polynomial identity
zbMATH Keywords: virtually PI-rings
zbMATH Keywords: rings with potent elements
zbMATH Keywords: commutativity theorems
MaRDI profile type: Publication
full work available at URL: j.jpaa.2004.11.008
OpenAlex ID: W2008237590
cites work: A characterization of infinite \(3\)-Abelian groups
cites work: On a class of infinite rings
cites work: Q4533142
cites work: Q5563439
cites work: Rings with finitely many nilpotent elements
cites work: An analogue for rings of a group problem of P. Erdős and B. H. Neumann
cites work: On a combinatorial problem in varieties of groups
cites work: Q5569204
cites work: Rings with a polynomial identity
cites work: Q2734153
cites work: Infinite groups in a given variety and ramsey's theorem
cites work: Q4100111
cites work: Q3910639
DOI: 10.1016/J.JPAA.2004.11.008
description: scientific article; zbMATH DE number 2173208