No label defined (Q4534148)

Let \(R\) be a ring with identity. Let \(M\in\text{Mod-}R\) and \(A\subseteq M\). Then \(A\ll M\) denotes that \(A\) is a small submodule of \(M\). By \(\sigma[M]\) we mean the full subcategory of Mod-\(R\) whose objects are submodules of \(M\)-generated modules. The injective hull of \(N\in\sigma[M]\) is denoted by \(\widehat N\). Then \(N\) is said to be \(M\)-small if \(N\ll\widehat N\). Define for \(M\) and \(N\in\text{Mod-}R\) \[ \overline Z_M(N)=\bigcap\{\text{Ker}(g)\mid g\in\Hom(N,L)\;L\in S\}, \] where \(S\) denotes the class of all \(M\)-small modules. Then \(N\) is called an \(M\)-cosingular (non-\(M\)-cosingular) module if \(\overline Z_M(N)=0\) (\(\overline Z_M(N)=N\)). In this paper the properties of \(M\)-cosingular and non-\(M\)-cosingular modules in \(\sigma[M]\) are studied. The torsion theory cogenerated by \(M\)-small modules is considered and it is shown that it is cohereditary when every injective module in \(\sigma[M]\) is amply supplemented. Also, instances where this torsion theory is cohereditary or splits are given. Finally, lifting modules \(N\in\sigma[M]\) are characterized in terms of \(\overline Z^2_M(N)\).