On semiprime rings with multiplicative (generalized)-derivations. (Q5962894)

The author in this paper emphasizes \(R\) to be an associative semiprime ring with center \(Z(R)\) and a map \(F\colon R\to R\) is called a multiplicative (generalized)-derivation if \(F(xy)=F(x)y+xd(y)\) is fulfilled for all \(x,y\in R\), where \(d\colon R\to R\) is any map (not necessarily a derivation nor additive). The author is also fixing the main purpose of his paper is to study the following situations: (i) \(d(x)\circ F(y)\pm(x\circ y)=0\); (ii) \(d(x)\circ F(y)\pm[x,y]=0\); (iii) \(d(x)\circ F(y)=0\); (iv) \([d(x),F(y)]\pm[x,y]=0\); (v) \([d(x),F(y)]\pm(x\circ y)=0\); (vi) \([d(x),F(y)]=0\), for all \(x,y\) in some appropriate subsets of \(R\) which are non-zero ideals. Indeed, in this paper the reader can find positive information of authors whose work is in commutative and non-commutative rings on one side such as Posner' s theorem (Posner 1957), Brešar (1991) and he continues to Ali and Shuliang (2012), while on another side the author introduces the background about multiplicative (generalized)-derivations, where in (1991) the concept of multiplicative derivation appeared by Daif for the first time, who said a mapping \(D\colon R\to R\) which satisfies \(D(xy)=D(x)y+xD(y)\) is fulfilled for all \(x,y\in R\) is called multiplicative derivation with condition that maps are not additive. In (1996) Goldmann and Šemrl completed the description of this map. Again Daif and Tammam El-Sayiad (2007) extended the notion of multiplicative derivation to multiplicative (generalized)-derivation as follows \(F(xy)=F(x)y+xg(y)\) is fulfilled for all \(x,y\in R\), where \(g\colon R\to R\) is a derivation (not necessarily additive). Dhara and Ali (2013) made a slight generalization of Daif and Tammam El-Sayiad (2007)'s definition by considering \(g\) an arbitrary map. The author of this paper investigates the cases when the multiplicative (generalized)-derivation satisfies some identities mentioned above, with change of the definition of multiplicative (generalized)-derivation (\(d\) not necessarily a derivation nor additive). The author divides his paper into parts. First, some results on two sided ideals which give \([x,d(x)]_2=0\) for all \(x\in I\) (\([x,d(x)],d(x)]=0\)). In the second part some results on one-sided ideals which give \(\lambda[x,d(x)]=0\) for all \(x\in\lambda\), after the semiprime ring \(R\) is 2-torsion free in this part. In fact, these results are advance in this field and they solve some problems faced by other authors especially after the author fixes his condition on the mapping \(d\). Finally, the author opens the door to other more and more results by writing his conjecture.