When all reduced strongly flat modules are projective (Q396480)

From MaRDI portal
scientific article
In more languages
Configure
Language Label Description Also known as
English
When all reduced strongly flat modules are projective
scientific article

    Statements

    When all reduced strongly flat modules are projective (English)
    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.
    projective
    strongly flat
    Matlis-cotorsion modules
    self-small module

    Identifiers