Right ideals and derivations on multilinear polynomials (Q1409669): Difference between revisions

For \(R\) an associative prime ring with center \(Z(R)\) and extended centroid \(C\), the author considers \(f(x_1,\dots,x_n)\), a multilinear polynomial over \(C\) in \(n\) noncommuting variables, \(d\) a non-zero derivation of \(R\) and \(\rho\) a non-zero right ideal of \(R\). He proves, generalizing some results of \textit{M. N. Daif} and \textit{H. E. Bell} [Int. J. Math. Math. Sci. 15, No. 1, 205-206 (1992; Zbl 0746.16029)] and \textit{J. Bergen} [Rend. Circ. Mat. Palermo, II. Ser. 31, 226-232 (1982; Zbl 0493.16023)] the following two results: (i) If \((d(f(r_1,\dots,r_n))-f(r_1,\dots,r_n))^m=0\) for any \(r_1,\dots,r_n\in\rho\), then \(C\rho=eRC\) for some idempotent element \(e\in\text{Soc}(RC)\) and \(f(x_1,\dots,x_n)\) is a polynomial identity for \(eRCe\). (ii) If \((d(f(r_1,\dots,r_n))-f(r_1,\dots,r_n))^m\in Z(R)\) for any \(r_1,\dots,r_n\in\rho\), then \(C\rho=eRC\) for some idempotent element \(e\in\text{Soc}(RC)\) and either \(f(x_1,\dots,x_n)\) is central in \(eRCe\) or \(eRCe\) satisfies the standard identity \(S_4(eRCe)=0\).