Two theorems on the commutativity of arbitrary rings (Q5936968): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4841641 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Condition for the Commutativity of Rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3937546 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3980017 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sums of Distinct Divisors and Sums of Distinct Units / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3971949 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On commutativity of associative rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5751029 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On commutativity theorems for rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3324113 / rank | |||
Normal rank |
Latest revision as of 18:07, 3 June 2024
scientific article; zbMATH DE number 1616239
Language | Label | Description | Also known as |
---|---|---|---|
English | Two theorems on the commutativity of arbitrary rings |
scientific article; zbMATH DE number 1616239 |
Statements
Two theorems on the commutativity of arbitrary rings (English)
0 references
2 May 2002
0 references
For a fixed positive integer \(k\), let \(f(t_1,t_2)\) be a polynomial with integer coefficients in the noncommuting indeterminates \(t_1\), \(t_2\) which can be written as \(f_1(t_1,t_2)+f_2(t_1,t_2)\), where \(f_1(t_1,t_2)\) is \(\pm t_1t_2^{k-1}\) or \(\pm t_2^{k-1}t_1\) and \(f_2(t_1,t_2)\) has no terms which are linear in \(t_1\); and define \(F(t_1,t_2)\) to be \([f(t_1,t_2),t_2]\). Let \(R\) be a ring and \(r(R)\) the set of regular elements of \(R\). It is proved that \(R\) is commutative if \(R\) satisfies the identity \(F(x,y)=0\) and either \(k=1\) or \(r(R)\neq\emptyset\). For the special cases \(f(t_1,t_2)=t_1t^{k-1}_2+mt^k_2\) and \(f(t_1,t_2)=t^{k-1}_2t_1+mt^k_2\), it is shown, again under the hypothesis that \(k=1\) or \(r(R)\neq\emptyset\), that \(R\) must be commutative if for each \(x,y\in R\) there exists \(n=n(x,y)>1\) for which \(F(x,y)^n=F(x,y)\). For \(k=1\) this result recaptures a well-known theorem of \textit{I. N. Herstein}, asserting that \(R\) must be commutative if for each \(x,y\in R\) there exists \(n=n(x,y)>1\) such that \([x,y]^n=[x,y]\) [Can. J. Math. 9, 583-586 (1957; Zbl 0079.05403)]. In Lemma 12, the hypothesis that \(r(R)\neq\emptyset\) is omitted, as is the conclusion that \(\overline R\) is not commutative.
0 references
commutativity theorems
0 references
commutator identities
0 references
potent commutators
0 references
regular elements
0 references