Derivations and multilinear polynomials (Q1812746)

The author studies the structure of a prime ring \(R\) which is \(f\)-radical over the ring of constants of a derivation of \(R\). The main result is: Theorem 1. Let \(R\) be a prime ring with \(\hbox{char} R\neq 2\), \(D\) a nonzero derivation of \(R\), and \(f(x_ 1,\dots,x_ n)\) a multilinear and homogeneous polynomial over the centroid of \(R\). If \(R\) contains no nonzero nil right ideal, if for any \(r_ 1,\dots,r_ n\in R\) there is a positive integer \(m=m(r_ 1,\dots,r_ n)\) so that \(D(f(r_ 1,\dots,r_ n)^ m)=0\), and if when \(\hbox{char} R=p>0\) \(f(x_ 1,\dots,x_ n)\) is not an identity for \(M_ p(F)\) where \(F\) is a field and \(\hbox{char} F=p\), then \(R\) satisfies the standard polynomial identity \(S_{n+2}\), and also for all \(r_ 1,\dots,r_ n\in R\), \(f(r_ 1,\dots,r_ n)^ k\in Z\), the center of \(R\), for \(k=k(r_ 1,\dots,r_ n)\). One easy consequence of the main theorem is a nice result for Lie ideals. If \(U\) is a noncentral Lie ideal of \(R\), and if for each \(u\in U\) there is \(m=m(u)\geq 1\) so that \(D(u^ m)=0\), then \(R\) satisfies \(S_ 4\).