Ext and inverse limits. (Q1409630): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q1379065 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Ross Peder Abraham / rank | |||
Normal rank |
Revision as of 18:05, 28 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Ext and inverse limits. |
scientific article |
Statements
Ext and inverse limits. (English)
0 references
16 October 2003
0 references
In 2001, Eklof and Trlifaj showed that given a set \(\mathcal S\) of modules there is always a special \({\mathcal S}^\perp(=\text{Ker\,Ext}^1_R({\mathcal C},-))\)-preenvelope, \(\mu_M\), for any module \(M\). Moreover, \(\text{Coker\,}\mu_M\) is \(\mathcal S\)-filtered. This fact was used by Enochs to prove the Flat Cover Conjecture and has also been used in work on approximation theory, tilting theory, and the Finitistic Dimension Conjectures. It is natural to ask about the dualization, that is, for a possible construction of special \(^\perp{\mathcal S}(=\text{ Ker\,Ext}^1_R(-,{\mathcal C}))\)-precovers whose kernels are \(\mathcal S\)-cofiltered. The main goal of this paper is to give a construction of this sort. Unfortunately, by a recent result of Eklof and Shelah (2003), it is not possible to obtain in ZFC a complete dual of Eklof and Trlifaj's result for any module over any ring. Thus the results in the current paper, proved for any ring and any module, provide only weak \(\mathcal S\)-precovers. The author remarks that when defined appropriately, the required duals of the homological and category theoretic properties hold. The general dual result fails for set-theoretic reasons.
0 references
Ext
0 references
preenvelopes
0 references
special precovers
0 references