Modules \(M\) such that \(\mathrm{Ext}_R^1(M,-)\) commutes with direct limits. (Q2637779): Difference between revisions
From MaRDI portal
Latest revision as of 12:26, 19 December 2024
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
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