When all reduced strongly flat modules are projective
Let \(R\) be an integral domain that is not a field, \(Q\) its field of quotients and \(K=Q/R\). An \(R\)-module \(M\) is called Matlis-cotorsion if \(\text{Ext}^1_R(Q,M)=0\). An \(R\)-module \(S\) is called strongly flat if \(\text{Ext}^1_R(S,M)=0\) for every Matlis-cotorsion module \(M\). The main result of the paper shows that the following statements are equivalent:NEWLINENEWLINE (i) reduced strongly flat \(R\)-modules are projective;NEWLINENEWLINE(ii) \(R\) is complete and there are no reduced test modules for Matlis-cotorsionness;NEWLINENEWLINE (iii) \(R\) is complete and the module \(K\) is self-small;NEWLINENEWLINE (iv) projective \(R\)-modules are Matlis-cotorsion;NEWLINENEWLINE (v) strongly flat \(R\)-modules are Matlis-cotorsion.NEWLINENEWLINE As a consequence, an \(h\)-local Prüfer domain \(R\) satisfies the above conditions if and only if it is complete, semilocal, and each of its localizations at maximal ideals has an uncountably generated quotient field.
- When every Gorenstein projective (resp. flat) module is strongly Gorenstein projective (resp. flat)
- On the projectivity of finitely generated flat modules
- scientific article; zbMATH DE number 33829
- On rings over which every flat left module is finitely projective
- Strongly Gorenstein projective, injective, and flat modules
- When is a flat module projective
- scientific article; zbMATH DE number 4043975
- Strongly n-Gorenstein projective, injective, and flat modules
- scientific article; zbMATH DE number 943311
- When every finitely generated flat module is projective.
- Almost perfect domains
- Cotorsion modules
- Finitistic Dimension and a Homological Generalization of Semi-Primary Rings
- scientific article; zbMATH DE number 2070355 (Why is no real title available?)
- scientific article; zbMATH DE number 1531449 (Why is no real title available?)
- Independence in Completions and Endomorphism Algebras
- Testing for cotorsionness over domains
- Generalized Hill lemma, Kaplansky theorem for cotorsion pairs and some applications.
- On the existence of a single test module
- On strongly flat modules over integral domains
- Strongly Flat Covers
- scientific article; zbMATH DE number 2070355 (Why is no real title available?)
- Strongly flat modules over matlis domains
- Whitehead modules over non-Matlis domains and (^-)flat modules over Matlis domains
- Testing for cotorsionness over domains
This page was built for publication: When all reduced strongly flat modules are projective
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q396480)
