Hereditary rings with countably generated cotorsion envelope.

DOI10.1016/J.JALGEBRA.2013.04.002MaRDI QIDQ2253002zbMATH OpenOpenAlexFDO

Authors Dilek Pusat, Pedro A. Guil Asensio

Publication date 25 July 2014

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jalgebra.2013.04.002

zbMATH Keywords

cotorsion envelopescotorsion preenvelopesflat cotorsion modulesflat covershereditary ringsindecomposable modulesprojective cotorsion modulessemilocal ringssemiperfect rings

Mathematics Subject Classification ID

Free, projective, and flat modules and ideals in associative algebras (16D40) Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras) (16D70) Module categories in associative algebras (16D90) Homological functors on modules (Tor, Ext, etc.) in associative algebras (16E30)

Review text

Let \(R\) be a unitary ring. A left \(R\)-module \(C\) is cotorsion if \(\text{Ext}_R(F,C)=0\) for all flat right \(R\)-modules \(F\). Flat cotorsion modules enjoy very nice properties and their structure has been researched by several authors (e.g. the monograph by \textit{J. Xu} [Flat covers of modules. Lect. Notes Math. 1634. Berlin: Springer (1996; Zbl 0860.16002)] and several papers by \textit{P. A. Guil Asensio} and \textit{I. Herzog} [Bull. Lond. Math. Soc. 36, No. 3, 303-309 (2004; Zbl 1068.16003); J. Lond. Math. Soc., II. Ser. 76, No. 3, 797-811 (2007; Zbl 1143.16003); and Adv. Math. 191, No. 1, 11-28 (2005; Zbl 1084.16006)]). Let \(M\) be a left \(R\)-module, a homomorphism \(f\colon M\to C\), where \(C\) is cotorsion left \(R\)-module, is called a cotorsion preenvelope of \(M\) if it satisfies that any other homomorphism from \(M\) to a cotorsion left \(R\)-module factors through \(f\). A cotorsion preenvelope \(f\) is called a cotorsion envelope if, moreover, any endomorphism \(g\) of \(C\) with \(g\circ f=f\) is an isomorphism. The existence of cotorsion envelopes follows from the proof of the flat cover conjecture. In this paper, using set theoretical methods, it is shown that if \(R\) is left hereditary, \(P\) is a progenerator in the category of left \(R\)-modules and the cotorsion envelope of \(P\) is countably generated, then \(P\) is a finite direct sum of indecomposable cotorsion modules. As a consequence, if the cotorsion envelope of a hereditary ring is countably generated, then the ring is semilocal.

Recommendations

• Completely cotorsion modules.
• NOTES ON COTORSION MODULES
• Rings characterized by (pre)envelopes and (pre)covers of their modules^∗
• Envelopes and covers by modules of finite injective and projective dimensions
• A note on existence of envelopes and covers

Cites work

• A counter-example to a lemma of Skornjakov
• A generalization of quasi-Frobenius rings
• ALL MODULES HAVE FLAT COVERS
• Approximations and endomorphism algebras of modules.
• Flat covers of modules
• scientific article; zbMATH DE number 44600 (Why is no real title available?)
• scientific article; zbMATH DE number 107550 (Why is no real title available?)
• scientific article; zbMATH DE number 3463819 (Why is no real title available?)
• scientific article; zbMATH DE number 783554 (Why is no real title available?)
• Indecomposable flat cotorsion modules
• Infinite Abelian groups and homological methods
• Injective and flat covers, envelopes and resolvents
• LEFT COTORSION RINGS
• On Projective Modules Over Semi-Hereditary Rings
• On semilocal rings
• On the foundations of inverse monoids and inverse algebras
• On the Goldie dimension of rings and modules.
• Sigma-cotorsion rings.

Cited in

(1)

• Completely cotorsion modules.

This page was built for publication: Hereditary rings with countably generated cotorsion envelope.

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