Right sided ideals and multilinear polynomials with derivation on prime rings. (Q2389066)

Let \(R\) be a prime ring with the center \(Z(R)\) and \(d\) be a nonzero derivation of \(R\). A well-known result proved by \textit{E. C. Posner} [Proc. Am. Math. Soc. 8, 1093-1100 (1958; Zbl 0082.03003)] states that if \([d(x),x]\in Z(R)\) for all \(x\in R\), then \(R\) must be commutative. In [Pac. J. Math. 134, No. 2, 275-297 (1988; Zbl 0614.16028)], \textit{C. Lanski} extended Posner's theorem to a Lie ideal. He proved that if \(L\) is a noncommutative Lie ideal of \(R\) such that \([d(x),x]\in Z(R)\) for all \(x\in L\), then \(\text{char\,}R=2\) and \(R\) satisfies \(S_4(x_1,x_2,x_3,x_4)\), the standard identity. In [Proc. Am. Math. Soc. 124, No. 9, 2625-2629 (1996; Zbl 0859.16031)], \textit{P.-H. Lee} and \textit{T.-K. Lee} proved that if \([d(f(x_1,x_2,\dots,x_n)),f(x_1,x_2,\dots,x_n)]\in Z(R)\) for all \(x_1,x_2,\dots,x_n\) in some nonzero ideal of \(R\), then \(f(x_1,x_2,\dots,x_n)\) is central-valued on \(R\), except when \(\text{char\,}R=2\) and \(R\) satisfies \(S_4(x_1,x_2,\dots,x_n)\). Recently, \textit{V. De Filippis} and \textit{O. M. Di Vincenzo} [in J. Aust. Math. Soc. 76, No. 3, 357-368 (2004; Zbl 1059.16024)] considered the situation \(\delta([d(f(x_1,x_2,\dots,x_n)),f(x_1,x_2,\dots,x_n)])=0\) for all \(x_1,x_2,\dots,x_n\in R\), where \(d\) and \(\delta\) are two derivations of \(R\). Inspired by the above works, the paper under review obtains the following result. Let \(R\) be an associative prime ring with characteristic different form \(2\), \(Z(R)\) be its center and \(C\) be its extended centroid. Let \(f(x_1,x_2,\dots,x_n)\) be a nonzero polynomial over \(C\) in \(n\) noncommuting variables, \(d\) be a nonzero derivation of \(R\) and \(\rho\) a nonzero right ideal of \(R\). If \([d^2(f(x_1,x_2,\dots,x_n)),f(x_1,x_2,\dots,x_n)]\in Z(R)\) for all \(x_1,x_2,\dots,x_n\in\rho\), then \(\rho C=eRC\) for some idempotent element \(e\) in the socle of \(RC\) and either \(f(x_1,x_2,\dots,x_n)\) is central-valued in \(eRCe\) or \(eRCe\) satisfies the standard identity \(S_4(x_1,x_2,\dots,x_n)\) unless \(d\) is an inner derivation induced by \(b\in Q\) such that \(b^2=0\) and \(b\rho=0\). -- This conclusion is really beautiful and generalizes many related results.