On the homological modules of generalized triangular matrix rings

From MaRDI portal





Let \(R\) and \(S\) be rings and \(M\) an \(R\)-\(S\)-bimodule. Then \(T=\left(\begin{smallmatrix} R &M\\ 0 &S\end{smallmatrix}\right)\) is the generalized triangular matrix ring. The category \(\text{Mod}(T)\) of left \(T\)-modules is studied via an equivalent category \(\Im(T)\) whose objects are triples \(\left[\left(\begin{smallmatrix} P\\ Q\end{smallmatrix}\right),\left(\begin{smallmatrix} f\\ 0\end{smallmatrix}\right)\right],\) where \(P\in\text{Mod}(R)\), \(Q\in\text{Mod}(S)\), \(f\in\Hom_R(M\otimes_SP)\). The morphisms of \(\Im(T)\) are pairs of homomorphisms \[ \alpha=\left(\begin{smallmatrix}\alpha_1\\ \alpha_2\end{smallmatrix}\right)\colon\left[\left(\begin{smallmatrix} P\\ Q\end{smallmatrix}\right),\left(\begin{smallmatrix} f\\ 0\end{smallmatrix}\right)\right]\to\left[\left(\begin{smallmatrix} P'\\ Q'\end{smallmatrix}\right),\left(\begin{smallmatrix} f'\\ 0\end{smallmatrix}\right)\right], \] where \(\alpha_1\in\Hom_R(P,P')\) and \(\alpha_2\in\Hom_S(Q,Q')\) such that \(\alpha_1f=f'(1_M\otimes_S\alpha_2)\). Projective, injective and flat modules \(\left[\left(\begin{smallmatrix} P\\ Q\end{smallmatrix}\right),\left(\begin{smallmatrix} f\\ 0\end{smallmatrix}\right)\right]\) in \(\Im(T)\) are characterized by means of conditions on \(P\), \(Q\) and \(f\). It is also shown that \(T\) is perfect (resp. semiperfect, coherent) if and only if both \(R\) and \(S\) are perfect (resp. semiperfect, coherent). For the entire collection see [Zbl 0976.00023].











This page was built for publication: On the homological modules of generalized triangular matrix rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2776108)