Self-orthogonal modules over coherent rings (Q5939613): Difference between revisions

In 1999, the first author has shown that if \(R\) is an Artin algebra, \(\omega\) is a cotilting \(R\)-bimodule, and \(M\) is a right \(R\)-module such that \(\text{Ext}^i_R(M,\omega)=0\), for any \(i\geq 1\), then \(M\) is \(\omega\)-reflexive [see Commun. Algebra 27, No. 12, 5791-5812 (1999; Zbl 0948.16007)]. The authors generalize the result to the case that \(R\) is a left coherent ring, \(S\) any ring and \(\omega\) is an \(R\)-\(S\) bimodule such that \(\omega_S\) is finitely presented, the natural homomorphism \(R\to\text{End}(\omega_S)\) is an isomorphism and \(\text{Ext}^i_S(\omega,\omega)=0\) for any \(i\geq 1\). Some known results by \textit{Y. Miyashita} [see Math. Z. 193, 113-146 (1986; Zbl 0592.16022)] and \textit{Y. Iwanaga} [see Commun. Algebra 7, 393-414 (1979; Zbl 0399.16010)] are obtained as corollaries. In addition, the authors show that if \(R\) is a left coherent ring, \(S\) is a right coherent ring, and \(\omega\) is a faithfully balanced self-orthogonal \(R\)-\(S\) bimodule, then the left FP-injective dimension \(\text{l.FP-id}_R(\omega)\leq n\) and the right FP-injective dimension \(\text{r.FP-id}_S(\omega)\leq n\) iff every finitely presented left \(R\)-module and every finitely presented right \(S\)-module have finite generalized Gorenstein dimension at most \(n\). This result generalizes a result by \textit{M. Auslander} and \textit{I. Reiten} [see Representation theory of finite groups and finite-dimensional algebras, Prog. Math. 95, 221-245 (1991; Zbl 0776.16003)].