On derivations involving prime ideals and commutativity in rings (Q2211229)

An additive mapping \(d\) defined on a ring \(R\) is called a derivation if \(d(xy)=d(x)y+xd(y)\) for all \(x,y \in R\). The results of this paper are separated in two parts. The first part is related to derivations involving prime ideals and the second part explains some special derivations. In the first result of the first part, the authors give some consequences for derivations \(d_1\) and \(d_2\) in case \([d_1(x),d_2(y)]\in P\) for all \(x,y \in R\), where \(P\) is a prime ideal of \(R\). Furthermore, the authors give some consequences for derivations \(d_1\) and \(d_2\) in case \(d_1(x)\circ d_2(y)\in P\) for all \(x,y \in R\), where \(P\) is a prime ideal of \(R\). Now, if the derivations \(d_1\) and \(d_2\) satisfy one of the following conditions: \([d_1(x),y]+[x,d_2(y)]\in P\) for all \(x,y \in R\), or \([d_1(x),y]+[x,d_2(y)]-[x,y]\in P\) for all \(x,y \in R\), or \([d_1(x),d_2(y)]-[d_2(y),x]-[y,d_1(x)]\in P\) for all \(x,y \in R\) then we have \(d_1(R) \subseteq P\) and \(d_2(R) \subseteq\) or \(R/P\) is a commutative integral domain. This property is explained in Theorem 3 of this paper. In the final result of this paper, the authors give some consequences if a derivation \(d\) defined on a ring \(R\) satisfies the following conditions \(d(x,y)-d(x)d(y) \in P\) for all \(x,y \in R\) (respectively, \(d(x,y)-d(y)d(x) \in P\) for all \(x,y \in R\)).