Commutativity theorems for rings and groups with constraints on commutators. (English) Zbl 0561.16013

Psomopoulos, Evagelos

Int. J. Math. Math. Sci. 7, 513-517 (1984).

Let n and m be positive integers, let s and t be nonnegative integers, and let R be a ring with 1 which satisfies the identity \(x^ t[x^ n,y]=[x,y^ m]y^ s\). It is proved that R must be commutative if either of the following holds: (i) \(n>1\) and R is n-torsion-free: (ii) n and m are relatively prime. Condition (i) relates to earlier work of the author, H. Tominaga, and A. Yaqub [Math. J. Okayama Univ. 23, 37-39 (1981; Zbl 0474.16026)]; and the case \(s=t=0\) and \(m=n>1\) recovers a theorem of the reviewer [Can. Math. Bull. 21, 399-404 (1978; Zbl 0403.16024)]. The author also shows that a multiplicative group G must be abelian if it satisfies the identity \([x^ n,y]=[x,y^{n+1}]\) for some positive integer n.

Reviewer: H.E.Bell

MSC:

16U70	Center, normalizer (invariant elements) (associative rings and algebras)
20F12	Commutator calculus
20F45	Engel conditions

Keywords:

commutativity of rings; commutators; n-torsion-free

Citations:

Zbl 0474.16026; Zbl 0403.16024