When all reduced strongly flat modules are projective (Q396480): Difference between revisions

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: (i) reduced strongly flat \(R\)-modules are projective; (ii) \(R\) is complete and there are no reduced test modules for Matlis-cotorsionness; (iii) \(R\) is complete and the module \(K\) is self-small; (iv) projective \(R\)-modules are Matlis-cotorsion; (v) strongly flat \(R\)-modules are Matlis-cotorsion. 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.