On multiplicative (generalized)-derivations in prime and semiprime rings. (Q372385): Difference between revisions

Throughout this review, \(R\) denotes an associative ring, not necessarily with unit. The center of \(R\) is denoted by \(Z\). A map \(F\colon R\to R\) is called (i) a multiplicative centralizer if \(F(xy)=F(x)y\) holds for all \(x,y\in R\); (ii) a multiplicative (generalized)-derivation if \(F(xy)=F(x)y+xg(y)\) holds for all \(x,y\in R\) where \(g\colon R\to R\) is a map; (iii) commuting on \(R\) if \([F(x),x]=0\) holds for all \(x\in R\). The map \(F\) is not required to be additive. Let \(R\) be a semiprime ring, and let \(F\colon R\to R\) be a multiplicative (generalized)-derivation associated with a map \(g\colon R\to R\). In the paper under review, the authors prove that \(g=0\), which means that \(F\) is a multiplicative centralizer, and \(F\) is a commuting map on \(R\) provided at least one of the following conditions is fulfilled: (i) \(F(xy)\pm xy=0\) for all \(x,y\in R\); (ii) \(F(xy)\pm yx=0\) for all \(x,y\in R\); (iii) \(F(x)F(y)\pm xy=0\) for all \(x,y\in R\); (iv) \(F(x)F(y)\pm yx=0\) for all \(x,y\in R\). In statements (i) and (ii), the authors additionally prove that \(F(x)=\mp x\) (respectively) for all \(x\in R\). In statements (ii) and (iv), they additionally prove that \(R\) is a commutative ring. Under the same assumptions on the ring \(R\) and the multiplicative (generalized)-derivation \(F\colon R\to R\), the authors prove that \([g(x),x]=0\) for all \(x\in R\) provided at least one of the following conditions is fulfilled: (i) \(F(xy)\pm xy\in Z\) for all \(x,y\in R\); (ii) \(F(xy)\pm yx\in Z\) for all \(x,y\in R\); (iii) \(F(x)F(y)\pm xy\in Z\) for all \(x,y\in R\); (iv) \(F(x)F(y)\pm yx\in Z\) for all \(x,y\in R\). In statement (ii), they prove that if \(R\) is additionally \(3\)-torsion free, then \(R\) is commutative. The paper continues earlier work of the second author with \textit{M. Ashraf} and \textit{A. Ali} [Southeast Asian Bull. Math. 31, No. 3, 415-421 (2007; Zbl 1141.16020)] on prime rings involving generalized derivations.