Gorenstein flat modules and dimensions over formal triangular matrix rings (Q2332147)

Let \(A\) and \(B\) be (nonzero associative) rings with identity and let \(U\) be a (unitary) \((B,A)\)-bimodule. The study of Gorenstein flat modules over formal triangular matrix rings, i.e., rings of the form \(T = \left( \begin{array}{ll} A & 0 \\ U & B \end{array} \right) \) is the main goal of this paper. Such modules were characterized in [\textit{R. M. Zhu} et al., Turk. J. Math. 40, 146--160 (2016; Zbl 1424.16029)], but improved results are presented here. Let \(T\) be a right coherent ring, \(_{B}U\) a left module with finite flat dimension, \(U_{A}\) a right module with finite flat or injective dimension and \(M = \left( \begin{array}{ll} M_{1} \\ M_{2} \end{array} \right) _{\psi^{M}}\) a left \(T\)-module. It is shown that \(M\) is a Gorenstein flat left \(T\)-module if and only if \(M_{1}\) is a Gorenstein flat left \(A\)-module, \(M_{2}/Im(\psi^{M})\) is a Gorenstein flat left \(B\)-module and the morphism \(\psi^{M} : U \otimes_{A} M_{1} \rightarrow M_{2}\) is a monomorphism. Under the conditions that \(T\) is a right coherent ring, \(B\) has finite left global Gorenstein flat dimension, \(_{B}U\) is flat and \(U_{A}\) has finite flat or injective dimension, lower and upper bounds for the Gorenstein flat dimension of \(M\) over \(T\) are also provided, in terms of the Gorenstein flat dimensions of \(M_{1}\) over \(A\) and \(M_{2}\) over \(B\). Under these same conditions on \(T\), \(_{B}U\) and \(U_{A}\), upper bounds on the global Gorenstein flat dimension of \(T\) in terms of those of \(A\) and \(B\) are obtained. In particular, if \(R\) is a right coherent ring and \(T(R) = \left( \begin{array}{ll} R & 0 \\ R & R \end{array} \right)\), then a lower and upper bound on the global Gorenstein flat dimension of \(T(R)\) in terms of that of \(R\) is derived.