Identities involving generalized derivations in prime rings (Q2120261)

Let \(R\) be a prime ring with its Utumi quotient ring \(U\), the extended centroid \(C\), and \(Z(R)\) the center of \(R\). It may be noted that the extended centroid \(C\) of a prime ring \(R\) is always a field and \(C=Z(U)\). An additive mapping \(d:R\to R\) is said to be a derivation of \(R\) if \(d(xy)=d(x)y+xd(y)\) holds for all \(x,y \in R\). An additive mapping \(F:R \to R\) is called a generalized derivation of \(R\) if there exists a derivation \(d:R \to R\) such that \(F(xy)=F(x)y+xd(y)\) holds for all \(x,y \in R\). A polynomial \(f = f (x_1, \dots, x_n) \in \mathbb{Z} \langle X \rangle\) is said to be multilinear if it is linear in every \(x_i\), \(1 \leq i \leq n\), where \(\mathbb{Z}\) is the set of integers. In the paper under review, the author studied the identity \(G^2(u)d(u) = 0\), for all \(u \in f(R) = \{f(r_1, r_2, \dots, r_n)| r_i \in R \}\), where \(G\) is a generalized derivation and \(d\) is a non zero derivation on prime ring \(R\) of characteristic different from \(2\). More precisely, the author proved the following: Theorem. Let \(R\) be a prime ring of characteristic different from \(2\) with Utumi quotient ring \(U\) and extended centroid \(C\), \(f (x_1, \dots, x_n)\) be a multilinear polynomial over \(C\), which is not central valued on \(R\). Suppose that \(d\) is a nonzero derivation of \(R\) and \(G\) is a generalized derivation of \(R\). If \(G^2(u)d(u) = 0\) for all \(u \in f(R)\), then one of the following holds: \begin{itemize} \item[(i)] there exists \(a \in U\) such that \(G(x) = ax\) for all \(x \in R\) with \(a^2 = 0\), \item[(ii)] there exists \(a \in U\) such that \(G(x) = xa\) for all \(x \in R\) with \(a^2 = 0\). \end{itemize}