Differential polynomial rings of triangular matrix rings. (Q1016761)

Let \(R\) be a ring with 1, \(\delta\) a derivation of \(R\), \(I_x\colon R\to R\) the inner derivation of \(R\) for an \(x\in R\), and \(R[\theta,\delta]\) the differential polynomial ring with the usual addition of polynomials and \(\theta a=a\theta+\delta(a)\) for any \(a\in R\). Let \(R\) and \(S\) be rings with derivations \(\delta_R\) and \(\delta_S\), respectively, and \(M\) an (\(R\)-\(S\))-bimodule. Then \(\tau\colon M\to M\) is called a generalized derivation with respect to \((\delta_R,\delta_S)\) on \(M\), if \(\tau(rm)=\delta_R(r)m+r\tau(m)\), \(\tau(ms)=\tau(m)s+m\delta_S(s)\) for \(r\in R\), \(s\in S\), and \(m\in M\). Let \(T=\left(\begin{smallmatrix} R&M\\ 0&S\end{smallmatrix}\right)\) be the generalized matrix ring. Then \(d\colon T\to T\) is the derivation of \(T\) induced by \(\tau\colon M\to M\) where \(d\left(\begin{smallmatrix} r &m\\ 0&s\end{smallmatrix}\right)=\left(\begin{smallmatrix}\delta_R(r)&\tau(m)\\ 0&\delta_S(s)\end{smallmatrix}\right)\) for \(r\in R\), \(s\in S\), and \(m\in M\). The authors give an equivalent condition for a mapping \(\Psi\colon\left(\begin{smallmatrix} R&M\\ 0&S\end{smallmatrix}\right)\to\left(\begin{smallmatrix} R'&N\\ 0&S'\end{smallmatrix}\right)\) such that \(\Psi\left(\begin{smallmatrix} r&m\\ 0&s\end{smallmatrix}\right)=\left(\begin{smallmatrix}\varphi_1(r)&T(m)\\ 0&\varphi_2(s)\end{smallmatrix}\right)\) where \(\varphi_1\colon R\to R'\) and \(\varphi_2\colon S\to S'\) are homomorphisms and \(T\colon M\to N\) is a generalized module homomorphism related to \((\varphi_1,\varphi_2)\). Next it is shown that a derivation \(d\colon T\to T\), \(d=\overline d+I_A\) where \(I_A\) is an inner derivation with \(A\in T\) and \(\overline d\left(\begin{smallmatrix} r&m\\ 0&s\end{smallmatrix}\right)=\left(\begin{smallmatrix}\delta_R(r)&\tau(m)\\ 0&\delta_S(s)\end{smallmatrix}\right)\) where \(\tau\) is a generalized derivation of \(M\). Moreover, a triangular representation of the differential polynomial ring \(T[\theta;d]\) is obtained. Theorem. By keeping the above notations, \(T[\theta;d]\cong\left(\begin{smallmatrix} R[x;\delta_R]&M[x,y;\tau]\\ 0&S[y;\delta_S]\end{smallmatrix}\right)\) for some \((R[x;\delta_R],S[y;\delta_S])\)-bimodule \(M[x,y;\tau]\).