Locally simple objects (Q4699205)

In the paper under review, the author gives a systematic treatment of the concept of a locally simple object in an abelian category \({\mathcal A}\). An object \(A\in{\mathcal A}\) is said to be locally simple if for every irreducible Serre subcategory \({\mathcal S}\) of \({\mathcal A}\) not containing \(A\) the localized object \(A_{{\mathcal S}}\) is a simple object of the localization \({\mathcal A} /{\mathcal S}\). Here \({\mathcal S}\) is said to be irreducible if it is not the intersection of two Serre subcategories that properly contain \({\mathcal S}\). The main technical tool used in the paper is a binary relation \(\sqsubset\) on the objects of \({\mathcal A}\), which is defined as follows: \(A\sqsubset B\) if and only if there is a filtration of \(B\) in which \(A\) occurs at least twice as a factor. It is shown that an object is locally simple if and only if it is minimal with respect to \(\sqsubset\). A natural generalization of a locally simple object is an object of locally finite length. The author shows that, similar to the classical prototype, a Fitting lemma holds for such objects. Finally, the notion of local Krull-Gabriel dimension is defined and it is shown that an object has local Krull-Gabriel dimension if and only if it satisfies the \(\sqsubset\)-descending chain condition. For the entire collection see [Zbl 0921.00018].