On Derivations in Semiprime Rings

Let R be a ring, S a nonempty subset of R and d a derivation on R. A mapping f : R -> R is called commuting on S if [f(x),x] = 0 for all x is an element of S. In this paper, our purpose is to produce commutativity results for rings and show that if R is a 2-torsion free semiprime ring and I a nonzero ideal of R, then a derivation d of R is commuting on I if one of the following conditions holds: (i) d(x) o d(y) = x o y (ii) d(x) o (y) = -(x o y) (iii) d(x) o (y) = 0 (iv) [d(x),d(y)] = -[x,y] (v) d(x) d(y) = xy (vi) d(x)d(y) = -xy (vii) d(x)d(y) = yx (viii) d(x)d(x) = x(2) for all x, y is an element of I. Further, if d(I) not equal 0, then R has a nonzero central ideal. Finally, some examples are given to demonstrate that the restrictions imposed on the hypotheses of the various results are not superfluous.