Atomical Grothendieck categories英文文献资料.docVIP

ATOMICALGROTHENDIECKCATEGORIES ? ? C.NASTASESCU andB.TORRECILLAS Received 11September 2002 Motivated bythestudyofGabriel dimension ofaGrothendieck category, weintro- ducetheconceptofatomical Grothendieck category, whichhasonlytwolocalizing subcategories, andwegiveaclassi?cation ofthistypeofGrothendieck categories. 2000 Mathematics Subject Classi?cation: 18E15, 16S90. 1. Introduction. GivenaGrothendieck category?,wecanassociatewithit the lattice of all localizing categories of? and denote it by Tors(?). We will show(Theorem 3.3)thatif?hasGabriel dimension, thenthelattice Tors(?) is semi-Artinian. Moreover, the Gabriel dimension of ? is exactly the Loewy length of this lattice. Example3.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- ceptofatomical Grothendieck category. Precisely,?willbecalledatomical if the lattice Tors(?) has only two elements, that is, ? has only two localizing subcategories, namely,{0}and?.Theclassi?cationofatomicalGrothendieck categories isgiveninSection4. 2. Preliminaries. Throughoutthispaper,?willdenoteaGrothendieckcat- egory, that is, an abelian category with a generator, such that colimits exist anddirectlimitsareexact. ItiswellknownthatinaGrothendieck categoryeachobjectX hasaninjec- tivehull,denotedinthesequelbyE(X). If?isacategory, thenbyasubcategory ?of?wewillalways meanafull subcategory of?. Asubcategory?of?iscalledclosed (orhereditary pretorsion class)ifitis closedwithrespecttokernels,cokernels, anddirectsums. Byσ[X] wedenotethefullsubcategory of?whoseobjects aresubobjects of X-generated objects. These objects are said to be subgenerated by X , and X isasubgenerator ofσ[X].Thisisthesmallestclosedfullsubcategory of? containing X. By de?nition, the objects of σ[X] form a closed subcategory in ?. On the other hand, every closed subcategory ? in ? is of