A note on multiplicative (generalized)-derivations and left ideals in semiprime rings (Q2047432)

Many results in the literature regard additive maps (as derivations, generalized derivations), defined on a (semi)-prime ring, satisfying particular identities on the elements of a subset of the ring. The authors consider some recent results about identities involving generalized derivations and extend them by replacing the maps with multiplicative \((generalized)\)-derivations. More precisely, in this paper the authors consider a semiprime ring \(R\), \(\lambda\) a non-zero left ideal of \(R\) and assume that \(R\) admits two multiplicative derivations \(d'\) and \(\delta\) and a multiplicative (generalized)-derivation \(F\) associated to the map \(d\), satisfying one of the following conditions: \begin{itemize} \item[(1)] \([d(x),F(y)]=\pm[x,y] \ \text{ for all }\ x,y\in \lambda\); \item[(2)] \([d(x),F(y)]=\pm x\circ y \ \text{ for all }\ x,y\in \lambda\); \item[(3)] \([d(x),F(y)]=0 \ \text{ for all }\ x,y\in \lambda\); \item[(4)] \(F([x,y])\pm[\delta(x),\delta(y)]\pm[x,y]=0 \ \text{ for all }\ x,y\in \lambda\); \item[(5)] \(d'([x,y])\pm[\delta(x),\delta(y)]\pm[x,y]=0 \ \text{ for all }\ x,y\in \lambda\); \item[(6)] \(d'([x,y])\pm[\delta(x),\delta(y)]=0 \ \text{ for all }\ x,y\in \lambda\); \item[(7)] \(F(x\circ y)\pm\delta(x)\circ\delta(y)\pm x\circ y=0 \ \text{ for all } \ x,y\in \lambda\); \item[(8)] \(d'(x\circ y)\pm\delta(x)\circ\delta(y)\pm x\circ y=0 \ \text{ for all }\ x,y\in \lambda\); \item[(9)] \(d'(x\circ y)\pm\delta(x)\circ\delta(y)=0 \ \text{ for all }\ x,y\in \lambda\). \end{itemize} In all cases they describe the structure of \(\lambda\) and the form of the involved maps.