Derivations cocentralizing multilinear polynomials on left ideals. (Q633268): Difference between revisions

The author proves for left ideals a result of \textit{T.-L. Wong} [Taiwanese J. Math. 1, No. 1, 31-37 (1997; Zbl 0885.16022)] for ideals. Let \(R\) be a prime ring with nonzero left ideal \(L\), derivations \(d\) and \(h\), and extended centroid \(C\). Assume that \(0\neq f(X)\in C\{x_1,\dots,x_n\}\) is multilinear, and that for all \(a_j\in L\), \(d(f(a_1,\dots,a_n))f(a_1,\dots,a_n)-f(a_1,\dots,a_n)h(f(a_1,\dots,a_n))\in C\). The main result shows that either \(d=0\) and \(Lh(L)=0\) or else there is an idempotent \(e\in\text{soc}(RC)\) with \(LC=RCe\) and one of the following holds: \(f(X)\) is central valued on \(eRCe\); \(f(X)^2\) is central valued on \(eRCe\) and \(L(d+h)(L)=0\); or \(\text{char\,}R=2\) and \(\dim_CeRCe=4\).