Closure properties of \(\varinjlim \mathcal{C}\) (Q2144371): Difference between revisions

Denote by \(\mathcal{C}\) a class of right \(R\)-modules and by \(\mathcal{L}=\varinjlim\mathcal{C}\) the class of all direct limits of modules in \(\mathcal{C}\). The authors want to study the closure properties of \(\mathcal{L}\), such as which closure properties of \(\mathcal{C}\) are inherited by \(\mathcal{L}\). Incidentally, \(\mathcal{L}\) need not be closed under direct limits, in general. The case of finitely presented modules has been classified fairly well by previous research. The authors concentrate on some special subclasses for \(\mathcal{C}\): The category add \(M\) of all direct summands of finite direct sums of copies of \(M\), which is equivalent to \((\text{mod-}S)_{\text{proj}}\), the category of all finitely generated projective right \(S\)-modules, of the endomorphism ring \(S\) of \(M\). Also the category Add \(M\) of all direct summands of any direct sums of copies of \(M\), which in turn is equivalent to the category \((\text{Contra-}\mathfrak{S_f})_{\text{proj}}\) of projective right contramodules over the endomorphism ring \(\mathfrak{S_f}\) of \(M\) equipped with the finite topology. These two classes add and Add coincide in cases when \(\mathcal{C}\) consists of small, pure injective or Prüfer modules, for instance. The authors also characterize the class \(\varinjlim\) Add \(P\) for projective module \(P\), in terms of its trace ideal. In cases when \(M\) is an infinitely generated tilting module over a Dedekind domain, it is shown that \(\varinjlim\)(Add \(M\)) is equal to the class of all pure epimorphic images of direct sums of copies of a module \(M\). The authors also construct a counterexample where \(M\) is a countably generated flat module, to show that this equality is not always true.