English

Ding modules and dimensions over formal triangular matrix rings

Rings and Algebras 2019-12-17 v1

Abstract

Let T=(A0UB)T=\biggl(\begin{matrix} A&0\\ U&B \end{matrix}\biggr) be a formal triangular matrix ring, where AA and BB are rings and UU is a (B,A)(B, A)-bimodule. We prove that: (1) If UAU_A and BU_B U have finite flat dimensions, then a left TT-module (M1M2)φM\biggl(\begin{matrix} M_1\\ M_2\end{matrix}\biggr)_{\varphi^M} is Ding projective if and only if M1M_1 and M2/im(φM)M_2/{\rm im}(\varphi^M) are Ding projective and the morphism φM\varphi^M is a monomorphism. (2) If TT is a right coherent ring, BU_{B}U has finite flat dimension, UAU_{A} is finitely presented and has finite projective or FPFP-injective dimension, then a right TT-module (W1,W2)φW(W_{1}, W_{2})_{\varphi_{W}} is Ding injective if and only if W1W_{1} and ker(φW~)\ker(\widetilde{{\varphi_{W}}}) are Ding injective and the morphism φW~\widetilde{{\varphi_{W}}} is an epimorphism. As a consequence, we describe Ding projective and Ding injective dimensions of a TT-module.

Keywords

Cite

@article{arxiv.1912.06968,
  title  = {Ding modules and dimensions over formal triangular matrix rings},
  author = {Lixin Mao},
  journal= {arXiv preprint arXiv:1912.06968},
  year   = {2019}
}
R2 v1 2026-06-23T12:46:12.092Z