Monoform objects and localization theory in abelian categories (Q721982): Difference between revisions

A nonzero object \(M\) in an abelian category \(\mathcal{A}A\) is called monoform if there does not exist a nonzero subobject of \(M\) which is isomorphic to a subobject of \(M/N\). The main aim of the present paper is the study of the class \(\mathrm{ASpec}(\mathcal{A})\) of monoform objects in \(\mathcal{A}\) modulo the equivalence relation which identify two monoform objects exactly when they have a common nonzero subobject. This has a topology which is similar to the Zarisky topology of the prime spectrum. It is proved that if \(\mathcal{A}\) has a set of generators then the open subsets of \(\mathrm{ASpec}(\mathcal{A})\) are in bijective correspondence with the class of Serre subcategories of \(\mathrm{noeth}(\mathcal{A})\) (Theorem 3.8). Another interesting result is Theorem 4.6, where the author proves that if \(\mathcal{A}\) is a locally noetherian Grothendieck category then there is a bijection between the full subcategories of \(\mathcal{A}\) which are closed under subobjects, injective envelopes and direct sums, respectively the subclasses of \(\mathrm{ASpec}(\mathcal{A})\).