Algebraic skew derivations. (Q441398)

Let \(R\) be a prime ring with extended centroid \(C\), nonzero ideal \(J\), left Martindale quotient ring \(R_F\), symmetric Martindale quotient ring \(Q\), and continuous \(\sigma\)-derivation \(\delta\neq 0\). The main result of the authors, stated using the skew polynomial ring \(R_F[X,\delta,\sigma]\), shows that if \(\emptyset\neq V\subseteq R_F[X,\delta,\sigma]\) is an \(R\)-bimodule, and if \(f\in V\) is written as \(f=b_mX^m+\cdots+b_1X+b_0\) with \(m\geq 1\) of minimal degree, then \(f=b_mg\) for a cv-polynomial \(g\in Q[X,\delta,\sigma]\), which is also semi-invariant if \(V\) contains no nonzero constants. One consequence of the main result is that if \(\varphi(x)=a_m\delta^m(x)+\cdots +a_1\delta(x)+a_0\) with all \(a_i\in R_F\) then \(\dim_C\varphi(J)C\) finite implies that \(R\) satisfies a nontrivial GPI or \(\varphi(R)=0\). Further, if \(\varphi(J)\subseteq C\) then \(R\) is commutative or \(\varphi(R_F)=0\). Another consequence is that if \(\delta\) is \(C\)-algebraic then its ring of constants is not zero and if it is contained in \(C\) then \(R\) is commutative.