Throughout, R is a ring with set of nilpotents N and center C. The commutator ideal is denoted by C(R). As usual, [x, y] denotes the commutator xy -yx. In [2], it was proved that if n is a fixed positive integer, and R is an n(n + 1)-torsion-free periodic ring such that (xy) ~ -y~x ~ E C and (xy) TM -yn+lxn+l E C, and if N is commutative, then R is commutative. We generalize this theorem by deleting the condition (xy) TM -yn+lxn+l E E C and establishing the commutativity of R under the weaker conditions. We also generalize Theorem A below which was proved in [3].
THEOREM A. Let R be a ring with identity and let n be a fixed positive integer. Suppose that R is n-torsion-free, and that for all x, y in R, [x n, yn] = = 0 and (xy) n+l -xn+ly n+l is in the centerC of R. Then R is commutative.We generalize Theorem A in two ways. First, we assume that the two conditions in Theorem A hold merely for all x E R\N, y E R\N. Secondly, we assume that these two conditions hold for all x E R\J, y E R\J instead, where J denotes the Jacobson radical of R. In both situations, we establish that R is commutative (under these weaker conditions). We also give examples which show that neither of these two theorems need be true if any one of the hypotheses is deleted.We begin with the following well known lemma.
LEMMA 1. If Ix, Y] commutes with x, then [xk,y] = kxk-l[x,y] for allpositive integers k.
LEMMA 2. If the commutator ideal, C(R), of R is nil, then the nilpotents N of R form an ideal.
PROOF. Suppose a E N, b E N. Let R = R/C(R). Then -d = a + C(R)and -b = b + C(R) are also nilpotent. Since R is commutative, therefore -b is nilpotent, say (g-~)k = g, and hence (a-b) k E C(R) C_ N, by hypothesis. Thus, a -b E N. Now, suppose x is an arbitrary element of R. Then a x is also nilpotent, say (gg)m = ~, which implies (ax) m E C(R) C= N, and thus ax E N. Similarly, xa E N for all a E N, x E R. Hence, N is an ideal of R.We start with Theorems i and 2 which generalize Theorem A above. Then we prove Theorem 3 which generalizes the results of [2].