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

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 6257652
Language Label Description Also known as
default for all languages
No label defined
    English
    Modules \(M\) such that \(\mathrm{Ext}_R^1(M,-)\) commutes with direct limits.
    scientific article; zbMATH DE number 6257652

      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
      0 references