Modules M such that Ext_R^1(M,-) commutes with direct limits.

DOI10.1007/S10468-012-9382-YMaRDI QIDQ2637779zbMATH OpenOpenAlexFDO

Publication date 14 February 2014

Published in Algebras and Representation Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1107.0557

direct limits Ext-functor hereditary rings

Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras) (16D70) Homological functors on modules (Tor, Ext, etc.) in associative algebras (16E30) Semihereditary and hereditary rings, free ideal rings, Sylvester rings, etc. (16E60) Ext and Tor, generalizations, Künneth formula (category-theoretic aspects) (18G15)

Abstract: We will use Watts's theorem together with Lenzing's characterization of finitely presented modules via commuting properties of the induced tensor functor in order to study commuting properties of Ext-covariant functors.

Review text

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.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Modules \(M\) such that \(\mathrm{Ext}_R^1(M,-)\) commutes with direct limits.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2637779)