Remarks on generalized derivations in prime and semiprime rings. (Q623695): Difference between revisions

Let \(R\) denote a semiprime ring, \(I\) a nonzero ideal of \(R\), and \(Z\) the center of \(R\); and let \(F\colon R\to R\) be a generalized derivation on \(R\) with associated derivation \(d\). The author shows that if \(d(I)\neq\{0\}\), and \(F([x,y])=\pm[x,y]\) for all \(x,y\in I\) or \(F(x\circ y)=\pm x\circ y\) for all \(x,y\in I\), then \(R\) contains a nonzero central ideal. He also proves that if either \(F([x,y])\pm[x,y]\in Z\) for all \(x,y\in I\) or \(F(x\circ y)\pm x\circ y\in Z\) for all \(x,y\in I\), then \(Id(Z)\subseteq Z\).