Commutativity of rings with derivations. (Q532084)

The authors extend a theorem of \textit{H. E. Bell} and \textit{M. N. Daif} [Acta Math. Hung. 66, No. 4, 337-343 (1995; Zbl 0822.16033)] proving that the commutativity of a unital prime ring with a non-zero derivation is equivalent to several conditions on derivations of some powers (Theorem 2.2). Under the additional assumption that the identity is in the image of the derivation \(d\), it is proved that \(d(xy)^n=d(yx)^n\) for all \(x,y\) also forces commutativity of the ring (Theorem 2.5). Moreover, a theorem of \textit{I. N. Herstein} [Can. Math. Bull. 21, 369-370 (1978; Zbl 0412.16018)] is extended to conditions on powers of \(d(x)\) and \(d(y)\) (Theorem 3.1). In the end of the paper, the authors also consider inner derivations on semiprime rings and they prove that conditions on a nonzero ideal \(I\) similar to those of Theorem 2.2 force the derivation to be zero on \(I\) (Theorem 4.2).