The hereditary monocoreflective subcategories of abelian groups and \(R\)-modules (Q2392045): Difference between revisions

For a ring \(R\) with unity let \(R\)-mod denote the category of unitary left \(R\)-modules. The main goal of the paper is to describe all hereditary monocoreflective subcategories of this category. In the most general situation they are described as follows. Let \(\mathcal L\) be a filter in the lattice of left ideals of \(R\). Then \[ \mathbf M(\mathcal L):=\{M\in\operatorname{Ob}R\mathrm{-mod}\mid\text{for all }m\in M,\;\operatorname{ann}(m)\in\mathcal L\} \] is a hereditary monocoreflective subcategory of left \(R\)-modules and every such subcategory can be obtained this way. Furthermore, in case \(R\) is a commutative ring, the subcategories \({\mathbf M}(\mathcal L)\) are different for different \(\mathcal L\)s. As a special case, the non-trivial hereditary monocoreflective subcategories in the category of abelian groups Ab are given as \[ \{G\in\operatorname{Ob} \mathrm{Ab}\mid G\text{ is a torsion group and }\forall g\in G,\,\forall p\text{ prime, }o(g)_p\leq p^{E(p)}\}. \] Here, \(E(\cdot)\) is an arbitrary function from the set of prime numbers into \(\{0,1,2,\dots,\infty\}\) and \(o(g)_p\) denotes the \(p\)-part of the order of \(g\).