Generalized derivations and multilinear polynomials in prime rings (Q6144972)

Based on authors' abstract: In this paper, \(R\) always denotes a prime ring which is associative and the center is \(Z(R)\). \(U\) denotes the Utumi quotient ring of the prime ring \(R\). It is noted that \(R\) is a subring of the Utumi quotient ring \(U\). The center of \(U\) is called the extended centroid of \(R\) and it is denoted by \(C.\) A derivation \(d:R\to R\) is defined as \(d(xy)=d(x)y+xd(y)\) for all \(x, y\in R\) where \(d\) is an additive mapping. By a generalized derivation, we mean an additive mapping \(G : R\to R\) satisfying the condition \(G(xy)=G(x)y+xd(y)\) for all \(x, y\in R\), for some derivation \(d\) of \(R\).\ Based on the previous information, the authors assume that \(R\) is a prime ring with Utumi quotient ring \(U\), extended centroid \(C\) and \(f (\xi_{1},\dots,\xi_{n})\) a noncentral multilinear polynomial over \(C\). Let \(I\) be a nonzero ideal of \(R\) and char\((R)\neq 2\). If \(F, G\) and \(H\) are three generalized derivations of \(R\) such that \(F[G(f(\xi)),f(\xi)]= H(f(\xi)^{2})\) for all \(\xi = (\xi_{1},\dots,\xi_{n})\in I^{n}\), then one of the following holds: (1) there exist \(\lambda,\mu\in C\) and \(a, b\in U\) such that \(F(x) =\mu x, G(x) = ax + xa + \lambda x,H(x) = [b, x]\) for all \(x\in R\) with \(b-\mu a\in C;\) (2) there exist \(\lambda,\mu\in C\) and \(a, b, q\in U\) such that \(F(x) = qx + xq + \mu x, G(x)=ax + xa + \lambda x, H(x) = [b, x]\) for all \(x\in R\) with \(q + \lambda a\in C\) and \(q^{2} + \mu q + \alpha b\in C\) for some \(0 \neq \alpha\in C\); (3) \(f (\xi_{1},\dots,\xi_{n})^{2}\) is central valued on \(R\) and there exist \(\lambda\in C, a, b, p \in U\) and a derivation \(d\) in \(U\) such that \(F(x) = px + d(x), G(x) = ax + xa + \lambda x\) and \(H(x) = [b, x]\) for all \(x \in R\); (4) \(R\) satisfies \(s_{4}\).