Ore extensions which are GPI-rings. (Q2466361)

Let \(R\) be a prime ring with an automorphism \(\sigma\), and let \(\delta\) be a \(\sigma\)-derivation of \(R\), that is \(\delta\) is additive and \(\delta(ab)=\delta(a)b+\sigma(a)\delta(b)\), \(a,b\in R\). The skew polynomial ring \(S=R[t,\sigma,\delta]\) is the additive group of the polynomial ring \(R[t]\) equipped with the multiplication \(tr=\sigma(r)t+\delta(r)\), \(r\in R\). Denote by \(R_F\) the left Martindale quotient ring and by \(Q\) the symmetric Martindale quotient ring of \(R\), then \(\sigma\) and \(\delta\) extend uniquely to an automorphism and a derivation of \(Q\). Recall that \(\delta\) is a \(\sigma\)-inner derivation of \(R\) if, for some \(b\in R\) one has \(\delta(x)=bx-\sigma(x)b\) for all \(x\in R\). Further \(\delta\) is X-inner if its extension to \(Q\) is inner, \(\sigma\) is quasi-inner whenever \(\sigma^n\) is X-inner for some positive integer \(n\). Finally \(\delta\) is quasi-algebraic if for some automorphism \(g\) of \(R_F\) and \(b,b_1,\dots,b_{n-1}\in R_F\) one has \(\delta^n(x)+b_1\delta^{n-1}(x)+\cdots+b_{n-1}\delta(x)=bx-g(x)b\), \(x\in R\). The authors of the paper under review obtain the following descriptions of \(R[t,\sigma,\delta]\) in terms of \(R\). First they prove that \(R[t,\sigma,\delta]\) is a GPI ring (respectively PI ring) if and only if \(R\) is, and \(\delta\) is quasi-algebraic and \(\sigma\) is quasi-inner. Furthermore in the case when \(R[t,\sigma,\delta]\) is a PI ring the authors compute exactly its PI degree in terms of that of \(R\) and of the degrees of \(\sigma\) and \(\delta\). Recall that the PI degree of a ring is the least \(n\) such that the standard polynomial of degree \(2n\) is a polynomial identity for the ring.