A result concerning generalized derivations on multilinear polynomials in prime rings (Q2311400)

\textit{V. De Filippis} [Isr. J. Math. 162, 93--108 (2007; Zbl 1142.16023)] studied the case \([F(f(r_1,\dots,r_n)),\ f(r_1,\dots,r_n)]=0\) for all \(r_1,\dots,r_n \in R\), and found the structure of \(F\) and \(R\). Later, he and \textit{O. M. Di Vincenzo} [Commun. Algebra 40, No. 6, 1918--1932 (2012; Zbl 1258.16043)] investigated the situation \(d([F(f(r_1,\dots,r_n)),\ f(r_1,\dots,r_n)])= 0\) for all \(r_1,\dots,r_n\in R\), and obtained the nature of mappings and \(R\), which represent the motivation of this work, where the authors in this paper, generalize both previous results considering the situation \(d([F(f(r_1,\dots,r_n)),\ f(r_1,\dots,r_n)])=[G(f(r_1,\dots,r_n)),f(r_1,\dots,r_n)]\) for all \(r_1,\dots,r_n\in R\). In addition to that, it would seem natural to ask one-self what happens if one replaces derivation by an additive map generalized derivation, generalizing the concept of derivation. By a generalized derivation on \(R\), we mean an additive mapping \(F: R\to R\) associated with a derivation \(d\) on \(R\) such that \(F(x y)= F(x)y+ xd(y)\) for all \(x,y\in R\). Also, \textit{S. K. Tiwari} et al. [Commun. Algebra 45, No. 8, 3542--3554 (2017; Zbl 1395.16045)] considered \(d([F^2(f (r_1,\dots,r_n)), f(r_1,\dots,r_n)])= 0\) for all \(r_1,\dots,r_n\in R\), where \(f(x_1,\dots,x_n)\) is non-central multilinear polynomial over \(C\), \(d\) is a derivation, \(F\) is a generalized derivation on \(R\) and obtained that there exists \(a\in U\) such that either \(F(x)=ax\) or \(F(x)=xa\) with \(a^2\in C\). Here, the authors investigate the case \[d([F(f (r_1,\dots,r_n)),\ f(r_1,\dots,r_n)])=[G(f(r_1,\dots,r_n)),\ f(r_1,\dots, r_n)\] for all \(r_1,\dots,r_n\in R\), where \(f(x_1,\dots,x_n)\) is non-central multilinear polynomial over \(C\), \(d\) is a nonzero derivation and \(F\), \(G\) are generalized derivations on \(R\). During their work, the authors frequently use some known facts such as, every derivation \(d\) of \(R\) can be uniquely extended to a derivation of \(U\), from [\textit{K. I. Beidar} et al., Rings with generalized identities. New York, NY: Marcel Dekker (1996; Zbl 0847.16001)]. Moreover, they suppose that \(R\) is a prime ring of characteristic different from 2 with Utumi quotient ring \(U,C= Z(U)\) the extended centroid of \(R\) and \(f(x_1,\dots,x_n)\) a non-central multilinear polynomial over \(C\). Further, assume that \(F\) and \(G\) are two generalized derivations of \(R\) and \(d\) is a nonzero derivation of \(R\). The authors obtain the following theorem: Theorem 1.4: Suppose that \(R\) is a prime ring of characteristic different from 2 with Utumi quotient ring \(U\) and \(f(x_1,\dots,x_n)\) is a non-central multilinear polynomial over \(C\). Let \(F\) and \(G\) be two generalized derivations of \(R\) and \(d\) a nonzero derivation of \(R\) such that \(d([F(f(r_1,\dots,r_n)),\ f(r_1,\dots,r_n)])= [G(f(r_1,\dots,r_n)),\ f(r_1,\dots,r_n)]\) for all \(r_1,\dots,r_n\in R\), then one of the followings holds:\begin{itemize}\item[(1)] There exist \(\lambda\mu\in C\) such that \(F(x)= Ax\) and \(G(x)= px\) for all \(x\in R\);\item[(2)] There exist \(k,l\in U\) and \(\lambda,\mu\in C\) such that \(F(x)= kx+xk+Ax\) and \(G(x)= |x+x|+\mu x\) for all \(x\in R\), and \(f(x_1,\dots,x_n)^2\) is central valued on \((R)\).\end{itemize} Furthermore, they provide some results which generalize results of other authors such as De Filippis and Di Vincenzo [loc. cit.]. Moreover, they consider the derivation \(d(x)= [a, x]\) for all \(x\in R\) and the generalized derivations \(F(x) = bx+xc\), \(G(x)= px+xq\) for all \(x\in R\), for some fixed \(a,b,c,p,q\in U\).