Relative injectivity and flatness of complexes. (Q363266): Difference between revisions
From MaRDI portal
Set profile property. |
Created claim: Wikidata QID (P12): Q122151155, #quickstatements; #temporary_batch_1712186161777 |
||
(One intermediate revision by one other user not shown) | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2095428998 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q122151155 / rank | |||
Normal rank |
Latest revision as of 01:16, 4 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Relative injectivity and flatness of complexes. |
scientific article |
Statements
Relative injectivity and flatness of complexes. (English)
0 references
2 September 2013
0 references
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.
0 references
\(n\)-presented complexes
0 references
finitely presented complexes
0 references
\(FR\)-injective complexes
0 references
\(FR\)-flat complexes
0 references
cotorsion theories
0 references
preenvelopes
0 references
precovers
0 references
Noetherian rings
0 references
coherent rings
0 references