Skew polynomial rings of formal triangular matrix rings. (Q420682)

Let \(R\) be a ring and \(\alpha\) be a ring endomorphism of \(R\). Recall that an \(\alpha\)-derivation of \(R\) is an additive map \(\delta\colon R\to R\) such that \(\delta(ab)=\alpha(a)\delta(b)+\delta(a)b\) for all \(a,b\in R\). Denote by \(R[x;\alpha,\delta]\) the skew polynomial ring over \(R\), whose elements are the polynomials over \(R\) of \(x\), the addition is defined as usual and the multiplication subject to the relation \(xa=\alpha(a)x+\delta(a)\) for any \(a\in R\). Let \(R\) and \(S\) be rings with identity and \(M\) be a unital \((R,S)\)-bimodule. Then by \(K=T(R,M,S)\) we denote the formal triangular matrix ring with elements of the form \(\left(\begin{smallmatrix} r&m\\ 0& s\end{smallmatrix}\right)\), where \(r\in R\), \(m\in M\) and \(s\in S\). In this paper the author studies the structure of the skew polynomial ring \(K[z;\theta,\sigma]\) over the ring \(K\), for suitable ring endomorphisms, and shows that this ring has a formal triangular matrix representation. Indeed, if \(\sigma\) is a \(\theta\)-derivation of \(K\), where \(\theta\) is a special sort of ring endomorphism of \(K\), then \(K[z;\theta,\sigma]\cong T[\overline R,\overline M,\overline S]\), where \(\overline R\) and \(\overline S\) are skew polynomial rings over \(R\) and \(S\), respectively, and \(\overline M\) is an \((\overline R,\overline S)\)-bimodule. Accordingly, the author introduces the notion of skew polynomial module as a generalization of skew polynomial ring and some polynomial modules. Also he studies the relations between the ring endomorphisms of \(K\) and the triangular representations of \(K[z;\theta,\sigma]\) as a formal triangular matrix ring.