Some criteria of cyclically pure injective modules

DOI10.1016/J.JALGEBRA.2005.10.023MaRDI QIDQ853928zbMATH OpenOpenAlexWikidataFDO

Authors Kamran Divaani-Aazar, Mohammad Ali Esmkhani, Massoud Tousi

Publication date 7 December 2006

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

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

zbMATH Keywords

cocyclic modulecyclic exact sequencequasi-complete rings

Mathematics Subject Classification ID

Injective and flat modules and ideals in commutative rings (13C11)

Abstract: The structure of cyclically pure injective modules over a commutative ring $R$ is investigated and several characterizations for them are presented. In particular, we prove that a module $D$ is cyclically pure injective if and only if $D$ is isomorphic to a direct summand of a module of the form $Ho{m}_R(L,E)$ where $L$ is the direct sum of a family of finitely presented cyclic modules and $E$ is an injective module. Also, we prove that over a quasi-complete Noetherian ring $(R,fm)$ an $R$-module $D$ is cyclically pure injective if and only if there is a family ${C_{l}ambda}_{lambdainLambda}$ of cocyclic modules such that $D$ is isomorphic to a direct summand of $P{i}_{lambdainLambda}{C}_{l}ambda$. Finally, we show that over a complete local ring every finitely generated module which has small cofinite irreducibles is cyclically pure injective.

Review text

Throughout \(R\) is a commutative ring with identity and all modules are unital. Recall that an exact sequence \(0\to A\to B\to C\to 0\) is said to be cyclically pure if the natural map \(R/\mathfrak{a}\otimes_R A\to R/\mathfrak{a}\otimes_R B\) is injective for all finitely generated ideals \(\mathfrak{a}\) of \(R\). The notion of cyclically pure-injective module is obtained from this in the usual manner. Among other things, the authors prove that a module \(D\) is cyclically pure injective if and only if \(D\) is isomorphic to a direct summand of a module of the form \(\text{ Hom}_R(L,E)\), where \(L\) is the direct sum of a family of finitely presented cyclic modules and \(E\) is an injective module. Also, over a quasi-complete noetherian ring \((R,\mathfrak{m})\) an \(R\)-module \(D\) is cyclically pure injective if and only if there is a family \(\{C_{\lambda}\}_{\lambda\in \Lambda}\) of cocyclic modules such that \(D\) is isomorphic to a direct summand of \(\prod_{\lambda\in \Lambda}C_{\lambda}\).

Recommendations

• c-pure projective and c-pure injective \(R\)-modules.
• Two characterizations of pure injective modules
• Modules with respect to cyclic purity.
• Rings whose cyclic modules are pure-injective or pure-projective
• scientific article; zbMATH DE number 4014860

Cites work

• Almost Maximal Integral Domains and Finitely Generated Modules
• Cyclic Purity Versus Purity in Excellent Noetherian Rings
• Flat covers of modules
• scientific article; zbMATH DE number 25276 (Why is no real title available?)
• scientific article; zbMATH DE number 192904 (Why is no real title available?)
• scientific article; zbMATH DE number 1531449 (Why is no real title available?)
• scientific article; zbMATH DE number 3387482 (Why is no real title available?)
• Modules with decompositions that complement direct summands
• Purity and algebraic compactness for modules
• Small cofinite irreducibles
• Two characterizations of pure injective modules

Cited in

(6)

• Rings whose cyclic modules are pure-injective or pure-projective
• c-pure projective and c-pure injective \(R\)-modules.
• Modules with respect to cyclic purity.
• scientific article; zbMATH DE number 4014860 (Why is no real title available?)
• When Cyclic Modules Have Σ-Injective Hulls
• On FC-purity and I-purity of modules and Köthe rings.

This page was built for publication: Some criteria of cyclically pure injective modules

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