On generalized \((\sigma,\tau)\)-derivations in semiprime rings. (Q1929886): Difference between revisions

Summary: Let \(R\) be a semiprime ring, \(I\) a nonzero ideal of \(R\), and \(\sigma,\tau\) two epimorphisms of \(R\). An additive mapping \(F\colon R\to R\) is generalized \((\sigma,\tau)\)-derivation on \(R\) if there exists a \((\sigma,\tau)\)-derivation \(d\colon R\to R\) such that \(F(xy)=F(x)\sigma(y)+\tau(x)d(y)\) holds for all \(x,y\in R\). In this paper, it is shown that if \(\tau(I)d(I)\neq 0\), then \(R\) contains a nonzero central ideal of \(R\), if one of the following holds: (i) \(F[x,y]=\pm(x\circ y)_{\sigma,\tau}\); (ii) \(F(x\circ y)=\pm[x,y]_{\sigma,\tau}\); (iii) \(F[x,y]=\pm[F(x),y]_{\sigma,\tau}\); (iv) \(F(x\circ y)=\pm(F(x)\circ y)_{\sigma,\tau}\); (v) \(F[x,y]=\pm[\sigma(y),G(x)]\) for all \(x,y\in I\).