Relative injectivity and flatness of complexes. (Q363266)

Closure of a class of complexes with respect to direct limits (resp. products) co-determines whether the class is covering (resp. a preenveloping class). Closure with respect to these operations is one of the main topics covered in this paper. It is known that the class of injective (resp. flat) complexes is not closed under direct limits (resp. direct products). This raises the question as to what generalized injectivity (flatness) will be closed under direct limits (products). Answering this question is the main goal of this paper. A complex \(C\) is said to be \(n\)-presented if an exact sequence of complexes \(P^n\to P^{n-1}\to\cdots\to P^1\to P^0\to C\) exists such that each \(P^i\) is a finitely generated projective complex and each position in each complex \(P^i\) is free for \(i=0,1,\ldots,n\). A 2-presented complex is also called finitely presented. For finitely presented and \(n\)-presented complexes several isomorphisms involving the commutativity of functors \(\mathrm{Ext}\), \(\overline{\mathrm{Tor}}\), \(\underline{\mathrm{Ext}}\), \(\underline\Hom\) and \(\overline\otimes\), products and sums of complexes are proved. A complex \(C\) is called \(FR\)-injective if \(\underline{\mathrm{Ext}}^1(D,C)=0\) for any finitely represented complex \(D\), and \(FR\)-flat if \(\overline{\mathrm{Tor}}_1(C,D)=0\) for any finitely represented complex \(D\). Let \(C^+=\underline\Hom(C,\overline{\mathbf Q/\mathbf Z})\). It is shown that a complex of right \(R\)-modules is \(FR\)-flat if and only if \(C^+\) is \(FR\)-injective. Similarly, a complex \(C\) of left \(R\)-modules is \(FR\)-injective if and only if \(C^+\) is \(FR\)-flat if and only if \(C\) is exact and \(Z_m(C)\) is \(FR\)-injective in \(R\)-Mod for all \(m\in\mathbf Z\). A complex \(C\) of left \(R\)-modules is also shown to be \(FR\)-flat if and only if \(C\) is exact and \(Z_m(C)\) is \(FR\)-flat in \(R\)-Mod for all \(m\in\mathbf Z\). For any ring, direct limits (resp. direct products) of \(FR\)-injective (resp. \(FR\)-flat) complexes of left (resp. right) \(R\)-modules are shown to be \(FR\)-injective (resp. \(FR\)-flat). Left Noetherian rings are characterized as those rings for which \(FR\)-injectivity and injectivity of complexes are equivalent and for complexes over right \(R\)-modules, \(FR\)-flatness and flatness are equivalent concepts if and only if \(R\) is left coherent. It is also proved that the class of all \(FR\)-injectives and the class of all \(FR\)-flat complexes are closed under pure subcomplexes and pure quotient complexes, leading to the results that every complex of left \(R\)-modules has an \(FR\)-injective preenvelope and \(FR\)-injective cover and that every complex of right \(R\)-modules has an \(FR\)-flat cover and an \(FR\)-flat preenvelope.