An Engel condition with skew derivations for one-sided ideals (Q303859)

Based on author's abstract: The author relies on the theory of generalized polynomial identities with automorphisms and skew derivations to prove the following theorem which states the following. Let \(A\) be a prime ring with extended centroid \(C\) and with two-sided Martindale quotient ring \(Q\), \(R\) a nonzero right ideal of \(A\) and \(\delta\) a nonzero \(\sigma\)-derivation of \(A\), where \(\sigma\) is an epimorphism of \(A\). For \(x,y\in A\), we set \([x,y] = xy - yx\). If \([[\dots [[\delta (x^{n_0}),x^{n_1}],x^{n_{2}}],\dots],x^{n_k}]=0\) for all \(x\in R\), where \(n_{0},n_{1},\dots,n_{k}\) are fixed positive integers, then one of the following conditions holds: (1) \(A\) is commutative; (2) \(C\cong \mathrm{GF}(2)\), the Galois field of two elements; (3) there exist \(b\in Q\) and \(\lambda \in C\) such that \(\delta (x)=\sigma (x)b-bx\) for all \(x\in A\), \((b-\lambda )R=0\) and \(\sigma (R)=0\). The analogous result for left ideals is also obtained. These theorems are natural generalizations of the well-known results for derivations obtained by \textit{C. Lanski} [Proc. Am. Math. Soc. 125, No. 2, 339--345 (1997; Zbl 0869.16027)] and \textit{T.-K. Lee} [Can. Math. Bull. 38, No. 4, 445--449 (1995; Zbl 0839.16033)]. This paper makes new steps towards one important subject which is the condition of commutativity.