\(\Sigma\)-extending modules (Q1903695)

Let \(R\) be any ring with identity. A unital \(R\)-module \(M\) is called extending if every submodule is essential in a direct summand of \(M\) and \(M\) is called (countably) \(\Sigma\)-extending if every coproduct of (a countable number of) copies of \(M\) is extending. The category \(\sigma [M]\) is the full subcategory of mod-\(R\) whose objects are submodules of \(M\)-generated modules and \(\text{Add }M\) is the full subcategory of \(\sigma[M]\) whose objects are direct summands of coproducts of copies of \(M\). A module \(L\) in \(\sigma [M]\) is called \(M\)-singular if \(L \cong N/K\) for some module \(N \in \sigma [M]\) and essential submodule \(K\) of \(N\). By an \(M\)-annihilator of \(M\) we mean a subset of \(M\) of the form \(\bigcap \{\text{Ker } g : g \in X\}\), where \(X\) is some non-empty collection of homomorphisms \(g : M \to M\). The authors prove that if \(M\) is a finitely generated quasi-projective \(R\)-module with \(S\) the ring of \(R\)- endomorphisms of \(M\) then the following statements are equivalent: (i) \(M\) is \(\Sigma\)-extending, (ii) \(M\) is countably \(\Sigma\)-extending and has ACC on \(M\)-annihilators, (iii) \(M\) is countably \(\Sigma\)-extending and \(S\) is semiperfect, (iv) \(\text{Add }M\) is closed under \(M\)- generated essential extensions, (v) every \(M\)-generated \(R\)-module is a coproduct of a module in \(\text{Add }M\) and an \(M\)-singular module, (vi) \(M\) has ACC on \(M\)-annihilators and every \(M\)-generated module which is not \(M\)-singular contains a non-zero direct summand from \(\text{Add }M\). This result generalizes and extends a result of Oshiro for the case \(M = R\) [\textit{K. Oshiro}, Hokkaido Math. J. 13, 310-338 (1984; Zbl 0559.16013)]. In particular it shows that the right \(R\)-module \(R\) is \(\Sigma\)-extending if and only if the right \(R\)-module \(R\) is countably \(\Sigma\)-extending and the ring \(R\) satisfies ACC on right annihilators. In fact the authors prove a more general result for the case of a finitely generated module \(M\) which is not necessarily quasi-projective. The proof draws on and extends ideas in papers of Dung and Garcia and of Vanaja [see \textit{J. L. Garcia} and \textit{N. V. Dung}, Osaka J. Math. 31, No. 1, 95-108 (1994; Zbl 0817.16003) and \textit{N. Vanaja}, in S. K. Jain and S. Tariq Rizvi (eds.) Ring Theory (Denison Conf.) (World Scientific, Singapore, 1993)].