Some commutativity results for rings (Q5903760): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: On the Lie structure of an associative ring / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On rings with a particular variable identity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some commutativity results for rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A commutativity result for rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3910639 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4101999 / rank | |||
Normal rank |
Latest revision as of 19:04, 18 June 2024
scientific article; zbMATH DE number 4069122
Language | Label | Description | Also known as |
---|---|---|---|
English | Some commutativity results for rings |
scientific article; zbMATH DE number 4069122 |
Statements
Some commutativity results for rings (English)
0 references
1988
0 references
The purpose of this paper is to study commutativity in rings satisfying certain extended-commutator conditions. Define the extended commutator \([a,b]_k\) by taking \([a,b]_1=[a,b]\) and \([a,b]_j=[[a,b]_{j-1},b]\); and let \(\mathbb{Z}\{X\}\) denote the free \(\mathbb{Z}\)-algebra in countably many indeterminates. For a fixed positive integer \(k\), call the ring \(R\) a \(k\)-ring if for each \(a,b\in R\), there exist positive integers \(m=m(a,b)\) and \(n=n(a,b)\) such that \([a^m,b^n]_k=0\); and if \(n\) is fixed, call \(R\) \(n\)-bounded. For \(f\in\mathbb{Z}\{X\}\), let \(S_f\) be the set of elements of \(R\) obtained by substituting ring elements for the indeterminates appearing in \(f\); and let \(f(R)\) be the additive subgroup generated by \(S_f\). For fixed integers \(N\) and \(k\), define \(R\) to be an \(N\)-\(f\)-\(k\)-ring if for all \(a\in f(R)\) and \(b\in R\) there exist positive integers \(m=m(a,b)\) and \(n=n(a,b)\) such that \(m\leq N\) and \([a^m,b^n]_k=0\). It is proved that \(R\) must have nil commutator ideal if there exist \(N\), \(k\) and \(f\) as required, for which \(R\) satisfies one of the following conditions: (1) \(R\) is a 2-ring and an \(n\)-bounded \(k\)-ring; (2) \(R\) is a \(k\)-ring and an \(N\)-\(f\)-2-ring; (3) \(R\) is a 2-ring and an \(N\)-\(f\)-4-ring; (4) \(R\) is a left or right s-unital \(k\)-ring. These results extend earlier results of I. N. Herstein, A. A. Klein, I. Nada, and the reviewer.
0 references
commutativity theorems
0 references
extended commutators
0 references
\(k\)-rings
0 references
\(N\)-\(f\)-\(k\)-rings
0 references
nil commutator ideals
0 references
\(n\)-bounded \(k\)-rings
0 references
right s-unital \(k\)-rings
0 references