Generalized derivations and commutativity of prime rings. (Q1428346)

Let \(R\) be a ring and \(d\) a derivation on \(R\). An additive map \(F\colon R\to R\) is called a generalized derivation associated with \(d\) if \(F(xy)=F(x)y+xd(y)\) for all \(x,y\in R\). It is proved that if \(R\) is a prime ring with nonzero ideal \(I\) and \(F\) is a generalized derivation associated with a nonzero derivation \(d\), then \(R\) must be commutative if one of the following holds for all \(x,y\in I\): (i) \(F(xy-yx)=xy-yx\); (ii) \(F(xy-yx)+xy-yx=0\); (iii) \(F(xy+yx)=xy+yx\); (iv) \(F(xy+yx)+xy+yx=0\).