Some criteria of cyclically pure injective modules (Q853928)

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}\).