Modules \(M\) such that \(\mathrm{Ext}_R^1(M,-)\) commutes with direct limits. (Q2637779)

From MaRDI portal
Revision as of 10:23, 3 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Modules \(M\) such that \(\mathrm{Ext}_R^1(M,-)\) commutes with direct limits.
scientific article

    Statements

    Modules \(M\) such that \(\mathrm{Ext}_R^1(M,-)\) commutes with direct limits. (English)
    0 references
    0 references
    14 February 2014
    0 references
    The author uses several recent results in homological module theory to characterize modules over an arbitrary ring for which the covariant Ext functor commutes with direct limits. The main result of the paper is that \(\mathrm{Ext}^1_R(M,-)\) commutes with direct limits if and only if \(\mathrm{Ext}^1_R(M,-)\) commutes with direct sums of copies of \(R\), if and only if \(M\) has a projective resolution whose first syzygy is finitely presented. An important application is that if \(R\) is hereditary, then modules share the property of Abelian groups that \(\mathrm{Ext}^1_R(M,-)\) commutes with direct limits if and only if \(M\) is the direct sum of a finitely presented and a projective module.
    0 references
    Ext-functor
    0 references
    direct limits
    0 references
    hereditary rings
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references