atomical grothendieck categories原子的grothendieck类别.pdfVIP

IJMMS 2003:71, 4501–4509 PII. S0161171203209418 © Hindawi Publishing Corp. ATOMICAL GROTHENDIECK CATEGORIES ˘ ˘ C. NASTASESCU and B. TORRECILLAS Received 11 September 2002 Motivated by the study of Gabriel dimension of a Grothendieck category, we intro- duce the concept of atomical Grothendieck category, which has only two localizing subcategories, and we give a classification of this type of Grothendieck categories. 2000 Mathematics Subject Classification: 18E15, 16S90. 1. Introduction. Given a Grothendieck category , we can associate with it the lattice of all localizing categories of and denote it by Tors (). We will show (Theorem 3.3) that if has Gabriel dimension, then the lattice Tors () is semi-Artinian. Moreover, the Gabriel dimension of is exactly the Loewy length of this lattice. Example 3.4 proves that the converse statement does not hold. (Therefore, the properties of the lattice Tors () do not determine the properties of the category .) These facts suggest introducing the con- cept of atomical Grothendieck category. Precisely, will be called atomical if the lattice Tors () has only two elements, that is, has only two localizing subcategories, namely, {0} and . The classification of atomical Grothendieck categories is given in Section 4. 2. Preliminaries. Throughout this paper, will denote a Grothendieck cat- egory, that is, an abelian category with a generator, such that colimits exist and direct limits are exact. It is well known that in a Grothendieck category each object X has an injec- tive hull, denoted in the sequel by E(X). If is a category, then by a subcategory of we will always mean a full subcategory of . A subcategory of is called closed (or hereditary pretorsion class) if it is closed with respect t