Higher derivations of Ore extensions. (Q5962249)

Let \(R\) be a prime ring with left Martindale quotient ring \(Q\) and extended centroid \(C\). Set \(S=Q[X,D]\), a (generalized) Ore extension of \(R\). That is, \(X\) is a set of noncommuting indeterminates over \(R\), \(D\) is a set of derivations of \(R\), one such, \(d_x\), for each \(x\in X\), and with \(xq=qx+d_x(q)\) for each \(q\in Q\); note that each \(d_x\) extends to a derivation of \(Q\). Let \(C_S(R)\) be the centralizer of \(R\) in \(S\), and let \(\Lambda\) be the set of all \((R,R)\)-bimodule endomorphisms of \(S\). The authors study \(\Lambda\), but for the most part the definitions required for the general results are too complex to state here. A couple of general results proved are that for \(\theta\in\Lambda\) the following are equivalent: \(\theta\) has a left inverse in \(\Lambda\); \(\theta\) is injective; the restriction of \(\theta\) to \(C_S(R)\) is injective. Also \(\theta\) has a right inverse in \(\Lambda\) if and only if the restriction of \(\theta\) to \(C_S(R)\) is surjective. For the special case of \(S=Q[x,\delta]\) for \(\delta\) a derivation of \(R\), the authors show that for any \(\theta\in\Lambda\) and all \(f\in S\), \(\theta(f)=\sum_{n=0}^\infty t_nD_n(f)\) where each \(t_n\in C_S(R)\) and \(D_n=\tfrac{1}{n!}\tfrac{d^n}{dx^n}\). Other results in this special case are that \(\theta\in\Lambda\) invertible is equivalent to \(\theta(1)\neq 0\) and also to \(\theta\) is injective. When \(\text{char\,}R>p\) and when \(C_S(R)=C\) then \(\theta\in\Lambda\) implies that either \(\theta\) is invertible or \(\theta^p=0\).