sign in sign up
<<
Home , Grothendieck category, Noetherian

arXiv:2003.03688v3 [math.CT] 12 Jun 2021 bet.Mr rcsl,teojcso are-rl dime a Gabriel-Krull of much intr objects objects. how the been precisely, estimates has More dimension categories objects. Gabriel-Krull Grothendieck the of language, objects Rentsch for commutative over and ri notion modules Gabriel noncommutative generated over time. finitely modules long for certain a for for dimension used Krull and studied been has rtedekctgre n a enivsiae yteot the by rol investigated central a been has aspects. has b notion and This can categories which . Grothendieck commutative objects a injective of indecomposable spectrum of class phism hwdta ASpec that showed osrce oooyo ASpec on topology a constructed pcaiaincoe ust fSpec of subsets closed specialization emr rcs,ASpec precise, more be K,2,hsdfie h tmsetu ASpec spectrum atom the defined has [K1,K2], h oino h rl ieso facmuaiern,meas ring, commutative a of dimension Krull the of notion The .Mnmlaoso oeeinobject noteherian a of spaces atoms References topological Minimal Alexandroff and objects 5. Critical objects of sapces dimension 4. topological Gabriel-Krull Alexandroff and spectrum 3. Atom 2. Introduction 1. sadffrn prah are pcrm[]o Grothendie a of [G] spectrum Gabriel approach, different a As o naeincategory abelian an For 2010 e od n phrases. and words Key ahmtc ujc Classification. Subject Mathematics h are-rl ieso of dimension Gabriel-Krull the pc,te r h ae eas hwta hsdmninest dimension this that show also We categories those same. for the are they space, en oindim notion a define tm fanehra betadw ieasffiin condition sufficient a object. give noetherian we a and of object atoms minimal noetherian a of atoms Abstract. ARE-RL IESO N IIA TM IN ATOMS MINIMAL AND DIMENSION GABRIEL-KRULL Let A A saprilyodrdsttgte ihaseilzto or specialization a with together set ordered partially a is iia tm rtedekctgr;GbilKuldimen Gabriel-Krull ; Grothendieck atom; Minimal eaGohnic aeoyadlet and category Grothendieck a be A A M hc ASpec which stesto qiaec ls fmnfr bet n Kanda and objects monoform of class equivalence of set the is i hiso tm nASupp in atoms of chains via A RTEDEKCATEGORIES GROTHENDIECK EA LPU N EASAZEEDEH REZA AND ALIPOUR NEGAR hc osnthv eesrl nuhijcieobjects, injective enough necessarily have not does which , A M A htteoe ust fASpec of subsets open the that n ntecs hr ASpec where case the in and A when 81,18E35. 18E15, 1. r lxnrfftplgclsae.W td h minimal the study We spaces. topological Alexandroff are Introduction Contents A sacmuaiering. commutative a is A 1 ossigo tm endb trr S] To [St]. Storerr by defined atoms of consisting M M n eso hti salwrbudof bound lower a is it that show we and so eoaetoegnrtdb simple by generated those are zero nsion ea betof object an be ig c.[R W R) similar A MR]). GW, [GR, (cf. rings g oniigwt h lsia one classical the with coinciding ngs dcdb are G.I rough a In [G]. Gabriel by oduced e uhr H r ntedifferent the in Kr] [H, authors her iwda eeaiaino the of generalization a as viewed e nseiyn uctgre fthe of specifying in e A bihsanwcharacterization new a ablishes o ntns ftenme of number the of finiteness for beti ls osemi-artinian to close is object n e Ge endanto fthe of notion a defined [GRe] ler sa lxnrfftopological Alexandroff an is kctgr stesto isomor- of set the is category ck rdo hi fpieideals prime of chain on ured A r ncrepnec with correspondence in are A nti ae,we paper, this In . in rtclobject. critical sion; der ≤ lohe Also . Kanda [K2] 17 13 10 6 3 1 2 NEGAR ALIPOUR AND REZA SAZEEDEH

A is called Alexandroff if the intersection of any family of open subsets of X is open. One of the main aims of this paper is to find out when a topological space ASpec A is Alexandroff. Throughout this paper, we assume that A is a . For any α ∈ ASpec A, we set Λ(α) = {β ∈ ASpec A| α ≤ β}. In Section 2, we show that ASpec A is an Alexandroff topological space if and only if Λ(α) is open for all α ∈ ASpec A (Lemma 2.14). This yields that if X is a localizing of A and ASpec A is Alexandroff, then so is ASpec A/X . An atom α ∈ ASpec A is maximal, if there exists a simple object S of A such that α = S. We show that if ASpec A is Alexandroff, then an atom is maximal if and only if it is maximal under the specialization order ≤ (Lemma 2.16). In Section 3, we study the Gabriel- of objects of A defined by Gabriel. We notice that any object does not have Gabriel-Krull dimension in general and according to [Po], an object M is called semi-noetherian if it has the Gabriel-Krull dimension and we denote it by GK-dim M, which is the least ordinal number σ such that M ∈ Aσ where {Aρ}ρ is a Gabriel- Krull filtration as in Definition 3.1. In Proposition 3.2, we show that, every noetherian object is semi-noetherian. Also, if an object has finite Gabriel-Krull dimension, then any ascending chain of atoms in ASuppM stabilizes (Proposition 3.4). For any object M, dimension of M, if exists, we denoted it by dim M, which is the largest ordinal number σ such that there is a strict chain of atoms α0 < α1 < · · · < ασ in ASupp M with α0 ∈ ASupp Aσ \ ASupp Aσ1 where σ = σ1 + 1. Observe that if A is locally noetherian, dimM exists for any object M of A (Lemma 3.9). The following theorem establishes the relation between these two dimensions. Theorem 1.1. (Theorem 3.11) Let M be an object of A such that dim M exists. Then dim M ≤ GK-dim M. In particular, if A is locally noethreian with Alexandroff space ASpec A, then dim M = GK-dim M. It should be noted that these two dimensions may not coincide if ASpec A is not Alexandroff even if A is locally noetherian ( Example 3.12). For any α ∈ ASpec A, analogous to objects, we define the Gabriel-Krull dimension and dimension of α, denoted by GK-dim α and dim α. We notice that these dimensions do not exist for any atom in general. In Section 4, we study the critical objects which have fundamental role in the study of those locally noetherian Grothendieck categories A which ASpec A are Alexandroff space. We have the following results which gives a characterization for those A which ASpec A are Alexandroff space. Theorem 1.2. (Theorem 4.9, Corollary 4.10) Let A be locally noetherian. Then following state- ment are equivalent. (1) ASpec A is Alexandroff; (2) For any non maximal atom α ∈ ASpec A, there exists an atom β ∈ ASpec A such that α<β and GK-dim α = GK-dim β +1; (3) dim α exists and GK-dim α = dim α for any α ∈ ASpec A. The atomical dimension of M, denoted by Adim M, is the largest ordinal number σ such that α0 < α1 < · · · < ασ is a chain of atoms in ASupp M. If A is locally noetherian and ASpec A is Alexandroff, we have AdimM = dim M = GK-dim M (Proposition 4.11). The other main aim of this paper is to study finiteness of the number of minimal atoms of a noteherian object. In Section 5, we prove the following theorem. Theorem 1.3. (Theorem 5.2) Let M be a noetherian object of A. If Λ(α) is an open subset of ASpec A for any α ∈ AMin M, then AMin M is a finite set. We also concern to study the compressible modules [Sm] in a fully right bounded ring A which have a key role in the finiteness of the number of minimal atoms. We show that for a fully right bounded ring A, the atom spectrum ASpecMod-A is Alexandroff and AMin M is a finite set for every noetherian right A- M. We give an example which shows this result is not true if A is not fully right bounded. We prove that if M is a noetherian object of A, then the GABRIEL-KRULL DIMENSION AND MINIMAL ATOMS IN GROTHENDIECK CATEGORIES 3 set of minimal atom of M is finite provided that either A is locally noetherian and ASpec A is Alexandroff or A has a noetherian projective generator U such that End(U) is a fully right bounded ring (Corollary 5.17). In Example 5.18 we show that this result may not hold for a locally noetherian Grothendieck category in which ASpec A is not Alexandroff.

2. Atom spectrum and Alexandroff topological sapces In this section we recall from [K1,K2] some definitions on atom spectrum of an A. We also give some basic results in this area. Definition 2.1. (1) An abelian category A with a generator is called a Grothendieck category if it has arbitrary direct sums and direct limits of short are exact, this means that if a direct system of short exact sequences in A is given, then the induced sequence of direct limits is a short exact sequence. (2) A Grothendieck category is locally noetherian if it has a small generating set of noetherian objects. Throughout this paper, we assume that A is a Grothendieck category. The atom spectrum of a Grothendieck category A is defined in terms of monoform objects of A defined as follows. Definition 2.2. (i) A nonzero object M in A is monoform if for any nonzero N of M, there exists no common nonzero subobject of M and M/N which means that there does not exist a nonzero subobject of M which is isomorphic to a subobject of M/N. We denote by ASpec0 A, the set of all monoform objects of A. Two monoform objects H and H′ are said to be atom-equivalent if they have a common nonzero subobject. The atom equivalence establishes an equivalence relation on monoform objects; and hence for every monoform object H, we denote the equivalence class of H, by H, that is

H = {G ∈ ASpec0 A| H and G has a common nonzero subobject}. The atom spectrum of A is defined using these equivalence classes.

Definition 2.3. The atom spectrum ASpec A of A is the quotient set of ASpec0 A consisting of all equivalence classes induced by this equivalence relation; in other words

ASpec A = {H| H ∈ ASpec0 A}. Any equivalence class is called an atom of ASpec A. The atom spectrum of a Grothendieck category is a generalization of the prime spectrum of a commutative rings. Thus the notion support and associated prime of a module in a commutative ring can be generalized for objects in a Grothendieck category. Definition 2.4. Let M be an object in A. (1) We define a subset ASupp M of ASpec A by ASupp M = {α ∈ ASpec A| there exists H ∈ α which is a subquotient of M} and we call it the atom support of M. (2) We define a subset AAss M of ASupp M by AAss M = {α ∈ ASupp M| there exists H ∈ α which is a subobject of M} and we call it the associated atoms of M. In view of [Sto, p.631], for a commutative ring A, there is a bijection between ASpec(Mod A) and Spec A. Recall that a subset Φ of Spec A is called call closed under specialization if for any prime ideals p and q of A with p ⊆ q, the condition p ∈ Φ implies that q ∈ Φ. A corresponding subset in ASpec A can be defined as follows. 4 NEGAR ALIPOUR AND REZA SAZEEDEH

Definition 2.5. A subset Φ of ASpec A is said to be open if for any α ∈ Φ, there exists a monoform H with α = H and ASupp H ⊂ Φ. For any nonzero object M of A, it is clear that ASupp M is an open subset of A. Also for any subcategory X of A, we set ASupp X = S ASupp M which M∈X is an open subset of ASpec A. We recall from [K2] that ASpec A can be regarded as a partially ordered set together with a specialization order ≤ as follows: for any atoms α and β in ASpec A, we have α ≤ β if and only if for any open subset Φ of ASpec A satisfying α ∈ Φ, we have β ∈ Φ. Definition 2.6. An atom α in ASpec A is said to be maximal if there exists a simple object H of A such that α = H. We denote by m- ASpec A, the subset of ASpec A consisting of all maximal atoms. If α is a maximal atom, then α is maximal in ASpec A under the order ≤ (cf. [Sa, Remark 4.7]). One of our intentions of this paper is to study the Alexandroff topological spaces which is defined as follows. Definition 2.7. A topological space X is called Alexandroff if the intersection of any family of open subsets of X is open. It follows from [K2, Proposition 3.3] that for any commutative ring A, the topological space ASpec(Mod A) is Alexandroff. In this section, we describe the atom spectrum of the quotient category A/X of a Grothendieck category A induced by a X of A. We first recall some basic definitions. Definition 2.8. A full subcategory X of an abelian category A is called Serre if for any exact sequence 0 → M → N → K → 0 of A, the object N belongs to X if and only if M and K belong to X . Definition 2.9. For a Serre subcategory X of A, we define the quotient category A/X in which the objects are those of A and for objects M and N of A, we have ′ ′ HomA/X (M,N) = lim HomA(M ,N/N ) ′ −→′ (M ,N )∈SM,N where SM,N is a directed set defined by ′ ′ ′ ′ ′ ′ SM,N = {(M ,N )|M ⊂ M,N ⊂ N with M/M ,N ∈X}. If A is a Grothendieck category, then so is A/X together with a canonical exact F : A → A/X . We refer the reader to [G] or [Po, Chap 4] for more details and the basic properties of the quotient categories. A Serre subcategory X of the Grothendieck category A is called localizing if the canonical functor F : A → A/X has a right adjoint functor G : A/X → A.

The F and G induce functorial morphisms u :1A → GF and v : F G → 1A/X such that Gv ◦ uG =1G and vF ◦ Fu =1F . An object M of A is called closed if uM is an isomorphism. It follows from [Po, chap 4, Corollary 4.4] that G(M) is closed for any M ∈ A/X . For more details, we refer readers to [G] or [Po, Chap 4]. For every α ∈ ASpec A, the topological closure of α, denoted by {α} consists of all β ∈ ASpec A such that β ≤ α. According to [K1, Theorem 5.7], for each atom α, there exists a localizing subcate- gory X (α) = ASupp−1(ASpec A\{α}) induced by α, where ASupp−1(U)= {M ∈ A| ASupp M ⊆ U} for any subset U of ASpec A. For any object M of A, we denote Fα(M) by Mα where Fα : A → A/X (α) is the canonical functor. We also denote by tα, the left exact radical functor corresponding to X (α) that for any object M, tα(M) is the largest subobject of M contained in X (α). Let X be a localizing subcategory of A and α ∈ ASpec A\ ASupp X . Then for any monoform H of A with H = α, we have H/∈ X and so it follows from [K2, Lemma 5.14] that F (H) is a GABRIEL-KRULL DIMENSION AND MINIMAL ATOMS IN GROTHENDIECK CATEGORIES 5 monoform object of A/X where F : A → A/X is the canonical functor. In this case, we denote F (H) by F (α). Suppose that α ∈ ASpec A/X and H1, H2 are monoform objects of A/X with α = H1 = H2. by [K2, Lemma 5.14], G(H1) and G(H2) are monoform objects of A and since G is faithful, they have a common nonzero subobject. We denote G(H1)= G(H2) by G(α). Then we have two functions F : ASpec A\ ASupp X → ASpec A/X by α 7→ F (α) and G : ASpec A/X → ASpec A\ ASupp X by α 7→ G(α). In the following lemma we show that there is a bijection between ASpec A/X and ASpec A\ ASupp X .

Lemma 2.10. The function F is the inverse of G. Proof. For any monoform α ∈ ASpec A/X we show that FG(α)= α. Assume that H is an arbitrary monoform object of A such that H = G(α). We show that H is not in X . For any monoform object K ∈ A/X with K = α, the objects H and G(K) has a common nonzero subobject D and since G(K) is a closed object, D in not in X . Thus H/∈ X and hence F (H) is a monoform object of A/X and α = K = F (H)= F G(K)= F (G(K)) = FG(α). Now assume that α ∈ ASpec A\ ASupp X . Then for any monoform object H in A with H = α we have H/∈ X so that α = H = GF (H) = G(F (H)) = GF(α). 

In the rest of this section X is a localizing subcategory of A with the canonical functor F : A → A/X . We also assume that G : A/X → A is the right adjoint functor of F .

Lemma 2.11. Let α1 ≤ α2 where α1, α2 ∈ ASpec A\ ASupp X . Then F (α1) ≤ F (α2)

Proof. Given M ∈ A/X and F (α1) ∈ ASupp M, there exists K1 and N1 of M such that H1 = N1/K1 is monoform with H1 = F (α1). Applying the functor G, we have an exact sequence 0 → G(K1) → G(N1) → G(H1) of objects A. In view of [K2, Lemma 5.14], G(H1) is monoform; and hence if we show that G(H1) = α1, then α1 ∈ ASupp G(M). To do this, assume that T is a monoform object of A such that T = α1. Then F (T )= F (α1) and hence F (T ) and H1 has a common nonzero subobject. Since G is faithful, GF (T ) and G(H1) has a common nonzero subobject D and since T is essential subobject of GF (T ), we have D ∩ T 6= 0. This implies that G(H1) = α1. Now, α1 ≤ α2 implies that α2 ∈ ASupp G(M). It is straightforward to show that F (α2) ∈ ASupp M. 

Lemma 2.12. Let α1, α2 ∈ ASpec A/X such that α1 ≤ α2. Then G(α1) ≤ G(α2).

Proof. Assume that M is an object of A and G(α1) ∈ ASupp M. Then there exists a quotient object M/K of M containing a monoform object G(H) such that G(H) = G(α1) where H is a monoform object in A/X . We notice that F (G(H)) =∼ H is a subobject of F (M/K); and hence it follows from Lemma 2.10 that F (G(H)) = FG(α1)= α1 ∈ ASupp F (M). The assumption implies that α2 ∈ ASupp F (M). Then there exists subobjects K ⊂ L of F (M) such that H2 = L/K is a monoform object with α2 = H2. Therefore G(H2) = G(α2) ∈ ASupp GF (M). But G(α2) ∈/ ASupp X . 

For any α ∈ ASpec A, we define Λ(α)= {β ∈ ASpec A| α ≤ β}. According to [SaS, Proposition 2.3], we have Λ(α) = T ASupp H. The openness of Λ(α) in ASpec A has a central role in the H=α finiteness of the number of minimal atoms of a noetherian object. In the following lemma, we show that openness of Λ(α) is transferred to the quotient categories.

Lemma 2.13. For any atom α ∈ ASpec A, we have F(Λ(α)) = Λ(F (α)) where the function F is as in Lemma 2.10. Moreover, if Λ(α) is an open subset of ASpec A, then Λ(F (α)) is open in ASpec A/X . 6 NEGAR ALIPOUR AND REZA SAZEEDEH

Proof. If α ∈ ASupp X , there is nothing to prove and so we may assume that α∈ / ASupp X . The first assertion is straightforward by using Lemma 2.10 and Lemmas 2.11 and 2.12. Given F (β) ∈ Λ(F (α)), according to Lemma 2.10 and Lemma 2.12, we have α<β so that β ∈ Λ(α). Then by the assumption, there exists a monoform object H of A such that β = H and ASupp H ⊆ Λ(α). It follows from Lemma 2.10 and the first assertion that ASupp F (H)= F(ASupp H \ ASupp X ) ⊆ Λ(F (α)). Therefore the result follows as F (β)= F (H).  The following result provides a necessary and sufficient condition under which the topological space ASpec A is Alexandroff.

Lemma 2.14. ASpec A is an Alexandroff topological space if and only if Λ(α) is open for all α ∈ ASpec A.

Proof. "only if"’ holds according to [SaS, Proposition 2.3]. Assume that {Ui}i∈Γ is a family of open subsets of ASpec A and α ∈ T Ui is an arbitrary atom. As α ∈ Ui for each i, there is a Γ monoform Hi such that α = Hi and ASupp Hi ⊆ Ui for each i. Since Λ(α) is open, using again [SaS, Proposition 2.3], we have α ∈ Λ(α)= T ASupp H ⊆ T ASupp Hi ⊆ T Ui.  H=α Γ Γ Lemma 2.15. If ASpec A is Alexandroff, then so is ASpec A/X . Proof. It is straightforward by using Lemma 2.14 and Lemma 2.13.  In an Alexandroff topological space ASpec A, the maximal atoms are precisely those are maximal under ≤.

Lemma 2.16. Let ASpec A be an Alexandroff topological space. Then an atom in ASpec A is maximal if and only if it is maximal under ≤. Moreover, if A is locally noetherian, then for any α ∈ ASpec A, there exists a maximal atom β such that α ≤ β. Proof. If α is a maximal atom, in view of [Sa, Remark 4.7], it is maximal under ≤. Now, assume that α ∈ ASpec A is maximal under ≤. According to [SaS, Proposition 2.3], T ASupp H = H∈α {β ∈ ASpec A| α ≤ β} = {α} and [Sa, Proposition 3.2] implies that α is maximal. In order to prove the second assertion, if α ∈ ASpec A is any atom, since A is locally noetherian, by using [SaS, Proposition 2.3] again, there exists a noetherian monoform object M such that α = M and ASupp M = {β ∈ ASpec A| α ≤ β}. Since M is noetherian, it has a maximal subobject N. Thus S = M/N is a simple object and β = S ∈ ASupp M is a maximal atom. 

3. Gabriel-Krull dimension of objects We start this section with definition of Gabriel-Krull dimension of objects. Definition 3.1. For a Grothendieck category A, we define the Gabriel-Krull filtration of A as follows. For any ordinal number σ we denote by Aσ, the localizing subcategory of A which is defined in the following manner: A−1 is the zero subcategory. A0 is the smallest localizing subcategory containing all simple objects. Let us assume that σ = ρ + 1 and denote by Fρ : A → A/Aρ the canonical functor and by Gρ : A/Aρ → A the right adjoint functor of Fρ. Then an object X of A will belong to Aσ if and only if Fρ(X) ∈ Ob(A/Aρ)0. The left exact radical functor (torsion functor) corresponding to Aρ is denoted by tρ. If σ is a ordinal, then Aσ is the localizing subcategory generated by all ′ localizing subcategories Aρ with ρ ≤ σ. It is clear that if σ ≤ σ , then Aσ ⊆ Aσ′ . Moreover, since the class of all localizing subcategories of A is a set, there exists an ordinal σ such that Aσ = Aτ for all τ ≥ σ. Let us put Aτ = ∪σAσ. Then A is said to be semi-noetherian if A = Aτ . We also say that the localizing subcategories {Aσ}σ define the Gabriel-Krull filtration of A. We say that an object M of A has the Gabriel-Krull dimension defined or M is semi-noetherian if M ∈ Ob(Aτ ). GABRIEL-KRULL DIMENSION AND MINIMAL ATOMS IN GROTHENDIECK CATEGORIES 7

The smallest ordinal number α so that M ∈ Ob(Aσ ) is denoted by GK-dim M. If α is a non- negative integer number, then we say that M is of finite Gabriel-Krull dimension. It is clear by the definition that GK-dim 0 = −1 and GK-dim M ≤ 0 if and only if ASupp M ⊆ m- ASpec A. We notice that any locally noetherian category is semi-noetherian (cf. [Po, Chap. 5, Theorem 8.5]). To be more precise, If A 6= Aτ , then A/Aτ is also locally noetherian and so it has a non-zero noetherian object X. Then X has a maximal subobject Y so that S = X/Y is simple. Therefore, σ = S ∈ ASupp(A/Aτ )0 which is a contradiction by the choice of τ. A noetherian object of A has always Gabriel-Krull dimension as follows.

Proposition 3.2. Every noetherian object of A has Gabriel-Krull dimension. Proof. Assume that M does not have the Gabriel-Krull dimension. Since M is noetherian, there exists a subobject N of M such that M/N does not have the Gabriel-Krull dimension but all proper quotients of M/N has the Gabriel-Krull dimension. Replacing M/N by M we may assume that N = 0 and let σ = sup{GK-dim M/N| N is a nonzero submodule of M}. We assert that GK-dim M ≤ σ+1 and thus we obtain a contradiction. Since M is noetherian, using [Po, Chap 5, Lemma 8.3], the object Fσ(M) is noetherian and hence it suffices to show that Fσ(M) has finite length. Given a descending chain of objects N1 ⊇ N2 ⊇ . . . of Fα(M), it follows from [Popes, Chap 4, Corollary 3.10] that there exists a descending chain M1 ⊇ M2 ⊇ . . . of subobjects of M such that Fσ(Mi) = Ni and Fσ(Mi/Mi+1) = Ni/Ni+1 for all i ≥ 1. If for some n, we have Mn = 0, there is nothing to prove. If Mi are nonzero for all i, we have GK-dim(Mi/Mi+1) ≤ GK-dim(M/Mi+1) ≤ σ, and hence Fσ(Mi/Mi+1)= Ni/Ni+1 =0 as Mi/Mi+1 ∈ Aσ. 

Lemma 3.3. Let σ be an ordinal number such that σ = σ1 +1 and α1, α2 ∈ ASupp Aσ \ASupp Aσ1 be distinct atoms. Then α1  α2.

Proof. Assume that α1 < α2. Then using Lemma 2.11, we have Fσ1 (α1) ≤ Fσ1 (α2). Since αi ∈

ASupp Aσ, we have Fσ1 (αi) ∈ ASupp Fσ1 (Aσ ) = ASupp(A/Aσ1 )0 so that Fσ1 (αi) are maximal for i = 1, 2. Thus Fσ1 (α1) = Fσ1 (α2); and hence α1 = Gσ1 Fσ1 (α1) = Gσ1 Fσ1 (α2) = α2 by Lemma 2.10.  The following result shows if M has finite Gabriel-Krull dimension, then any ascending chain of atoms in ASupp M stabilizes. Proposition 3.4. If M is of finite Gabriel-Krull dimension, then any ascending chain of atoms in ASupp M stabilizes.

Proof. Assume that GK-dim M = n and α1 < α2 <... an ascending chain of atoms in ASupp M, there exists a non-negative integer number m1 ≤ n such that α1 ∈ ASupp Am1 \ ASupp Am1−1.

Then the above lemma implies that α2 ∈ ASupp Am1−1. Assume that m2

Proposition 3.5. For any ordinal numbers σ and σ1 with σ = σ1 +1, there are the following equality and equivalence of categories ∼ (A/A0)σ1 = F0(Aσ) = Aσ/A0. Proof. The equivalence follows from [K1, Proposition 4.17] and so it suffices to prove the equality. We proceed by transfinite induction on σ. The case σ = 0 is clear and the case σ = 1 follows by the definition. Assume that σ > 1 and the claim has been proved for all ordinal numbers ρ < σ. By the induction hypothesis, there are the equivalence and equality of categories ∼ A/Aσ1 = A/A0/F0(Aσ1 )= A/A0/(A/A0)σ2 8 NEGAR ALIPOUR AND REZA SAZEEDEH

′ where σ1 = σ2 +1. If Fσ2 : A/A0 → A/A0/(A/A0)σ2 is the canonical functor, it suffices to show ′ that Fσ2 (F0(Aσ )) is the smallest subcategory of A/A0/(A/A0)σ2 generated by the simple objects. ′ Suppose that θ : A/A0/(A/A0)σ2 → A/Aσ1 is the equivalence functor. Thus Fσ1 = θ ◦ Fσ2 ◦ F0; and hence there are the following equalities and equivalences of categories ′ ∼ ′ (A/Aσ1 )0 = Fσ1 (Aσ)= θ(Fσ2 (F0(Aσ))) = Fσ2 (F0(Aσ)) which proves the assertion.  The proposition deduces the following corollaries.

Corollary 3.6. Let M ∈ A have Gabriel-Krull dimension. The GK-dim M = GK-dim F0(M)+1

Proof. Assume that GK-dim M = σ for some ordinal number σ. Then we have M ∈ Aσ and so Proposition 3.5 implies that F0(M) ∈ (A/A0)σ1 so that GK-dim F0(M) ≤ σ1 where σ = σ1 + 1. If GK-dim F0(M) = ρ < σ1, Then F0(M) ∈ (A/A0)ρ = F0(Aρ+1) by Proposition 3.5. Thus, there exists an object N ∈ Aρ+1 such that F0(M) = F0(N). Given α ∈ ASupp M, if α is a maximal atom, then α ∈ ASupp A0 ⊆ ASupp Aρ+1. If α is not maximal, then F0(α) ∈ ASupp F0(M) = ASupp F0(N)= F0(ASupp N \ ASupp A0) so that α ∈ ASupp N by Lemma 2.10. Hence ASupp M ⊆ ASupp Aρ+1 so that M ∈ Aρ+1. This implies that GK-dim M ≤ ρ +1 < σ which is a contradiction. 

Corollary 3.7. If n is a non-negative integer and α0 < α1 < · · · < αn in ASupp M is a strict chain of atoms such that αi ∈ ASupp An−i for each 0 ≤ i ≤ n, then αi ∈/ ASupp An−i−1 for each 0 ≤ i

Proof. We proceed by induction on n. The case n = 1, if α0 ∈ ASupp A0, then α1 = α0 which is a contradiction. Assume that the result has been proved for all values < n. Then using Proposition 3.5, Lemma 2.11 and the induction hypothesis, we have a chain of atoms F0(α0) < F0(α1) < · · · < F0(αn−1) such that F0(αi) ∈ ASupp(A/A0)n−1−i \ ASupp(A/A0)n−2−i for each 0 ≤ i ≤ n−1. Then using Lemma 2.10, we deduce that αi ∈/ ASupp An−1−i for each 0 ≤ i ≤ n. 

Definition 3.8. For any object M of A, dimension of M, if exists, we denote it by dim M, which is the largest ordinal number σ such that there is a strict chain of atoms α0 < α1 < · · · < ασ in

ASupp M with α0 ∈ ASupp Aσ \ ASupp Aσ1 where σ = σ1 + 1. It follows from Lemma 3.3 that

α1 ∈ ASupp Aσ1 , α2 ∈ ASupp Aσ2 where σ1 = σ2 + 1 and we can repeat this argument for all αi with i ≥ 3. If σ is a non-negative integer number, we say that M is of finite dimension. In this case Lemma 3.3 implies that αi ∈ ASupp An−i for all 0 ≤ i ≤ n. In a locally noetherian category A, every object has the dimension as follows. Lemma 3.9. If A is a locally noetherian category, then dim M exists for any object M of A. Proof. Let M be an object of A. Since A is locally noetherian, it is semi-noetherian and so GK-dim M exists. Assume that GK-dim M = ρ for some ordinal number ρ. Again, since A is locally noetherian, M has a nonzero noetherian subobject and hence ASupp M contains α0 ∈ ASpec A0 which is a chain of length zero as in the definition of dimension. If α0 < α1 < · · · < ασ is an arbitrary chain of atoms in ASupp M with α0 ∈ ASupp Aσ \ ASupp Aσ1 where σ = σ1 + 1,  then Aσ1 ⊂ Aρ which implies that σ ≤ ρ. This fact implies that dim M ≤ ρ.

Lemma 3.10. Let M be an object of A such that dim M exists. Then dim M ≤ dim F0(M)+1. In particular, if A is locally noetherian with Alexandroff space ASpec A, then dim M = dim F0(M)+1

Proof. Assuming that dim M = σ for some ordinal number σ, there exists a chain α0 < α1 < · · · < ασ of atoms in ASupp M such that α0 ∈ ASupp Aσ. Consider the ordinal numbers ρ and κ such that σ = ρ + 1 and ρ = κ + 1. We observe that αρ is not maximal so that F0(αρ) ∈ ASupp F0(M). On the other hand, it follows from Proposition 3.5 that F (α0) ∈ ASupp(A/A0)ρ \ ASupp(A/A0)κ GABRIEL-KRULL DIMENSION AND MINIMAL ATOMS IN GROTHENDIECK CATEGORIES 9 and we have a chain of atoms F0(α0) < F0(α1) < · · · < F (αρ) in ASupp F0(M). Therefore dim F0(M)+1 ≥ ρ+1= σ. Now, assume that A is locally noteherian, ASpec A is Alexandroff and dim F0(M)= σ1 for some ordinal number σ1. Then there is a chain of atoms β0 <β1 < · · · <βσ1 in ASupp F0(M) such that β0 ∈ ASupp(A/A0)σ1 \ ASupp(A/A0)σ2 where σ1 = σ2 +1. Then using Lemma 2.12, we deduce that G0(β0) < G0(β1) < · · · < G0(βσ1 ) is a chain of atoms in ASupp G0F0(M) \ ASupp A0 ⊆ ASupp M and it follows from Lemma 2.12 and Proposition 3.5 that G0(β0) ∈ G0F0(ASupp Aσ1+1) \ G0F0(ASupp Aσ1 ) = ASupp Aσ1+1 \ ASupp Aσ1 . On the other hand, by virtue of Lemma 2.16, there exists ασ1+1 ∈ ASupp A0 such that G0(βσ1 ) < ασ1+1; and hence σ ≥ σ1 + 1.  The following theorem shows that the dimension of objects is a lower bound for Gabriel-Krull dimension and in the case where ASpec A is Alexandroff, they are the same.

Theorem 3.11. Let M be an object of A such that dim M exists. Then dim M ≤ GK-dim M. In particular, if A is locally noethreian with Alexandroff space ASpec A, then dim M = GK-dim M. Proof. If GK-dim M does not exist, there is nothing to prove. Assume that GK-dim M = σ for some ordinal number σ and hence M ∈ Aσ. If dim M = κ for some ordinal number κ, then by the definition, there exists an atom α ∈ ASupp M such that α ∈ ASupp Aκ \ ASupp Aκ1 where κ = κ1 + 1. But this fact implies that Aκ1 ⊂ Aσ so that σ ≥ κ. Now suppose that A is locally noethreian with Alexandroff space ASpec A. By the argument mentioned in the beginning of this section, A is semi-noetherian and so GK-dim M exists. We proceed by induction on σ. If σ = 0, the result is clear by the first assertion. Suppose that σ > 0 and the result has been proved for all ordinal numbers < σ. If σ = σ1 + 1, according to Corollary 3.6, we have GK-dim F0(M) = σ1. Observe that by the basic properties of categories, A/A0 is a locally noetherian Grothendieck category and by using Lemma 2.15 the topological space ASpec A/A0 is Alexandroff. Thus the induction hypothesis and the previous lemma imply that dim M = dim F0(M) + 1 = GK-dim F0(M) + 1 = GK-dim M.  Example 3.12. We remark that the equality in the above theorem may not hold if ASpec A is not Alexandroff even if A is locally noetherian. To be more precise, if we consider the locally noetherian Grothendieck categoryA = GrModk[x] of garded k[x]-modules, where k is a field and x is an indeterminate with deg x = 1. According to [K2, Example 3.4], dim k[x] = 0 while GK-dim k[x]=1. For any atom α ∈ ASpec A, we define Gabriel-Krull dimension of α, which is the least ordinal number σ such that α ∈ ASupp Aσ. If such an ordinal number exists, we denote it by GK-dim α. We observe that if A is locally noetherian, then every α ∈ ASpec A has Gabriel-Krull dimension. It is straightforward by Proposition 3.5 that if GK-dim α exists, then GK-dim α = GK-dim F0(α)+1.

Proposition 3.13. If α ∈ ASpec A with GK-dim α = σ for some ordinal number σ, then there exists a monoform object M of A with α = M and GK-dim M = σ. Proof. We proceed by induction on σ. If σ = 0, then α is maximal and so there exists a simple object S of A0 such that S = α. By the definition, we have GK-dim S = 0. Now, assume that σ > 0 and the result follows for all ordinal numbers < σ. We notice that GK-dim F0(α) = σ1 where σ = σ1 + 1 and so using the induction hypothesis, there exists a monoform object N in

(A/A0)σ1 such that F0(α) = N and GK-dim N = σ1. It follows from Proposition 3.5 that there exists an object M ∈ Aσ such that N = F0(M) and clearly GK-dim M = σ. On the other hand, according to [K2, Lemma 5.14], G0(N)= G0F0(M) is monoform. We may assume that t0(M)=0 so that M is a subobject of G0F0(M). But this implies that M is a monoform object. 

Given an atom α ∈ ASpec A, we say that dimension of α exists if there is an ordinal number

σ and a chain of atoms α = α0 < α1 < · · · < ασ with α0 ∈ ASupp Aσ \ ASupp Aσ1 where σ = σ1 + 1. If such an ordinal number exists, it is unique by the definition and we denote it by dim α. If σ is a non-negative integer number, we say that α is of finite dimension. In this case 10 NEGAR ALIPOUR AND REZA SAZEEDEH

Lemma 3.3 implies that αi ∈ ASupp Aσ−i for all 0 ≤ i ≤ σ. It should be noticed that dim α does not exists for any atom α ∈ ASpec A. For example, in the previous example, α = k[x] is an atom of ASpec GrModk[x] and dim α does not exists as α is not represented by a simple object in GRModk[x]. It is clear by definition that for any object M, if dim M exists, then dim M = sup{dim α| α ∈ ASupp M such that dim α exists}. For an atom α, the following lemma specifies the relation between dim α and GK-dim α if they exist. Lemma 3.14. Let α ∈ ASpec A be an atom such that dim α exist. Then dim α ≤ GK-dim α. Proof. Assume that GK-dim α = σ and dim α = κ for some ordinal numbers σ and κ. Then by the definition α ∈ ASupp Aκ \ ASupp Aκ1 where κ = κ1 + 1. But this fact implies that Aκ1 ⊂ Aσ so that σ ≥ κ. 

In the following proposition we show that if ASpec A is an Alexandroff space, then the dimension of any atom exists. Proposition 3.15. If A is locally noetherian with the Alexandroff space ASpec A, then dim α exists for any α ∈ ASpec A and dim α = GK-dim α. In particular, dim α = dim F0(α)+1. Proof. Let GK-dim α = σ. We proceed by induction on σ. If σ = 0, there is nothing to prove as dim α = GK-dim α = 0. If σ = 1, the atom α is not maximal, and so according to Lemma 2.16, there is a maximal atom α1 ∈ ASupp A0 such that α < α1. Thus it follows from Lemma 3.14 that dim α = 1. Assume that the result has been proved for all ordinal numbers < σ. According to Lemma 2.15 the topological space ASpec A/A0 is Alexandroff and since GK-dim F0(α) = σ1 where σ = σ1 + 1, the induction hypothesis implies that dim F0(α) exists and so there exists a chain of atoms F0(α) = β0 < β1 < · · · < βσ1 such that F0(α) = β0 ∈ ASupp(A/A0)σ1 \

ASupp(A/A0)σ2 where σ1 = σ1 + 1. Using Proposition 3.5 and Lemma 2.16, there exists a maximal atom ασ in ASpec A such that α = G0(β0) < G0(β1) < · · · < G0(βn−1) < αn is a chain of atoms with α = G(β0) ∈ ASupp Aσ \ ASupp Aσ1 . Therefore, dim α = σ. The secomd assertion is straightforward. 

An analogous result of Proposition 3.13 holds for the dimension of an atom. Lemma 3.16. Let A be locally noetherian and α ∈ ASpec A with dim α = σ for some ordinal number σ. Then there exists a noetherian monoform object H of A such that α = H and dim H = GK-dim H = σ.

Proof. By the definition, α ∈ ASupp Aσ and since A is locally noetherian, there exists a noetherian monoform object H ∈ Aσ such that α = H. Again, since A is locally noetherian, dim H exists by using Lemma 3.9. Thus the definition and Theorem 3.11 imply that σ ≤ dim H ≤ GK-dim H ≤ σ; and hence dim H = σ. 

4. Critical objects and Alexandroff topological spaces We start this section with definition of critical objects. Definition 4.1. Given an ordinal number σ ≥ 0, we recall from [MR or GW] that an object M of A is called σ-critical provided GK-dim M = σ while GK-dim M/N < σ for all nonzero subobjects N of M. An object M is called critical if it is σ-critical for some ordinal number σ.

It is clear that any critical object is monoform. We show that the functor F0 preserves critical objects.

Proposition 4.2. Let M be a σ-critical object. Then F0(M) is σ1-critical where σ = σ1 +1. GABRIEL-KRULL DIMENSION AND MINIMAL ATOMS IN GROTHENDIECK CATEGORIES 11

Proof. Given a nonzero subobject X of F0(M), it follows from [Po, Chap 4. Corollary 3.10] that there exists a nonzero subobject N of M such that F0(N) = X and by Corollary 3.6 we have GK-dim F0(M) = σ1. Since M is σ-critical, GK-dim M/N ≤ σ1 and hence Corollary 3.6 implies that GK-dim F0(M)/X = GK-dim F0(M/N) ≤ σ2 where σ1 = σ2 +1. Thus F0(M) is σ1-critical. 

Lemma 4.3. Let σ be an ordinal number with σ = σ1 +1 and let M be an object of A. If Fσ1 (M) is simple, then M/tσ1 (M) is σ-critical. ∼ Proof. Observe that Fσ1 (M) = Fσ1 (M/tσ1 (M)) and so we may assume that tσ1 (M) = 0. Let

N be a nonzero subobject of M. Then Fσ1 (N) is nonzero and since Fσ1 (M) is simple, we have

Fσ1 (M/N) = 0 and hence GK-dim M/N < σ. On the other hand, by the definition and the fact that Fσ1 (M) is simple, we have GK-dim M = σ and the exact sequence 0 → N → M → M/N → 0 implies that GK-dim N = GK-dim M = σ. 

Lemma 4.4. Let M be a noetherian object of A with GK-dim M = σ for some ordinal number

σ. Then there are σ-critical objects H1,...,Hn such that AAss(M/tσ1 (M)) ⊆{H1,..., Hn} where σ = σ1 +1.

Proof. Since Fσ1 (M)= Fσ1 (M/tσ1 (M)), we may assume that tσ1 (M) = 0. There is a composition ′ ′ ′ ′ ′ series 0 = M0 ⊂ M1 ⊂···⊂ Mn = Fσ1 (M) such that Mi /Mi−1 is simple for each i. By virtue of Lemma 4.3 and [Po, Chap 4. Corollary 3.10], there is a chain of subobjects of M as0= M0 ⊂ M1 ⊂ ′ ··· ⊂ Mn = M such that Fσ1 (Mi) = Mi and Hi = (Mi/Mi−1)/tσ1 (Mi/Mi−1) is σ-critical with

αi = (Mi/Mi−1)/tσ1 (Mi/Mi−1) for each i. Therefore AAss(M/tσ1 (M)) ⊆ S AAss(Mi/Mi−1). For i any α ∈ AAss(M/tσ1 (M)) there exists a monoform subobject H of M/tσ1 (M) such that α = H.

Since tσ1 (H) = 0, we have α ∈ ASupp Aσ \ ASupp Aσ1 . On the other hand, for each i, we have an exact sequence 0 → tσ1 (Mi/Mi−1) → Mi/Mi−1 → (Mi/Mi−1)/tσ1 (Mi/Mi−1) → 0 so that

AAss(Mi/Mi−1) ⊆ AAss tσ1 (Mi/Mi−1) S AAss((Mi/Mi−1)/tσ1 (Mi/Mi−1)). Hence the previous  arguments imply that AAss(M/tσ1 (M)) ⊆{α1,...,αn}.

In the following theorem, we show that the associated atoms of a noetherian object can be obtained by the critical objects. In particular, if A is locally noetherian, this holds for any object of A. Theorem 4.5. Let M be a noetherian object of A. Then for any α ∈ AAss M, there exists a critical subobject H of M such that α = H. Proof. Using Proposition 3.2, the object M has the Gabriel-Krull dimension and assume that GK-dim M = σ. We proceed by induction on σ. If σ = 0, the result is clear. Assume that σ ≥ 1 and the result has been proved for all ordinal numbers < σ. Consider σ = σ1 +1 and the exact sequence 0 → tσ1 (M) → M → M/tσ1 (M) → 0 and so AAss M ⊆ AAss tσ1 (M)∪AAss(M/tσ1 (M)).

If α ∈ AAss tσ1 (M), since GK-dim tσ1 (M) ≤ σ1, by the induction hypothesis, there exist an ordinal number µ ≤ σ1 and a µ-critical subobject H of tσ1 (M) such that α = H. If α ∈ AAss(M/tσ1 (M)), using Lemma 4.4 and the fact that any nonzero subobject of a critical object is critical the result follows.  In the locally noetherian categories, any object contains a critical subobject.

Lemma 4.6. Let A be a locally noetherian category. Then any object M ∈ A has a critical subobject. Proof. In a locally noetherian category, any object contains a noetherian object and so the proof is the same as in [Pa, Proposition 3.5] or [GW, Theorem 3.19].  12 NEGAR ALIPOUR AND REZA SAZEEDEH

Proposition 4.7. Let A be locally noetherian and α ∈ ASpec A with dim α = σ for some ordinal number σ. Then there exists a noetherian σ-critical object H in A such that H = α and dim H = GK-dim H = σ. Proof. According to Lemma 3.16, there exists a noetherian monoform object M in A such that

α = M and σ = dim M = GK-dim M. Given σ = σ1 + 1, if tσ1 (M) 6= 0, since α = tσ1 (M),

Theorem 3.11 implies that GK-dim tσ1 (M) ≥ dim tσ1 (M) ≥ σ which is a contradiction. Thus tσ1 (M) = 0. On the other hand, since GK-dim M = σ, the object Fσ1 (M) has finite length and so analogous to the proof of Lemma 4.4, there exists a chain

0= M0 ⊂ H = M1 ⊂···⊂ Mt = M of subobjects of M such that H is σ-critical by Lemma 4.3. Therefore σ ≤ dim H ≤ dim M = σ so that dim H = σ 

Lemma 4.8. If σ is an ordinal number and M is a σ-critical object with α = M, then ASupp M \

ASupp Aσ1 = {α} where σ = σ1 +1. Proof. Let α 6= β ∈ ASupp M. Then there exists a nonzero subobject K of M such that β ∈

AAss M/K (β∈ / AAss M as M is a monoform object). By the definition we have M/K ∈ Aσ1 and  hence β ∈ ASupp Aσ1 .

We are ready to bring one of the main results of this paper which gets a characterization for those locally noetherian categories A which ASpec A are Alexandroff. Theorem 4.9. Let A be locally noetherian. Then ASpec A is Alexandroff if and only if for any non maximal atom α ∈ ASpec A, there exists an atom β ∈ ASpec A such that α<β and GK-dim α = GK-dim β +1. Proof. Assume that ASpec A is Alexandroff and α ∈ ASpec A such that GK-dim α = σ ≥ 1. We proceed by induction on σ. If σ = 1, the result follows by Lemma 2.16. Assume that σ ≥ 2 and the result has been proved for all ordinal numbers < σ. Consider σ = σ1 + 1 and σ1 = σ2 + 1. Since

α∈ / ASupp Aσ1 , Fσ2 (α) is not maximal in A/Aσ2 and since by the basic properties of categories and

Lemma 2.15 the quotient category A/Aσ2 is locally noetherian and ASpec A/Aσ2 is Alexandroff, using Lemma 2.16, there exists β ∈ ASupp Aσ1 \ ASupp Aσ2 such that Fσ2 (α) < Fσ2 (β). It now follows from Lemma 2.10 and Lemma 2.12 that α<β. To prove the converse, using Lemma 2.14, it suffices to show that Λ(α) is open for all α ∈ ASpec A. Fix an arbitrary α ∈ ASpec A, since A is locally noetherian, GK-dim α exist and so assume that GK-dim α = σ. We proceed by induction on σ. The case σ = 1, by the assumption, Λ(α) contains some elements other than α. Given α 6= β ∈ Λ(α), it follows from Lemma 3.3 that β is maximal and so there exists a simple object S such that S = β and ASupp S = {β} ⊆ Λ(α). As GK-dim α = 1 and A is locally noetherian, there exists a noetherian monoform object H ∈ A1 such that α = H and using Lemma 4.6 we may assume that H is 1-critical. Now, according to Lemma 4.8 we have ASupp H \ ASupp A0 = {α} and hence if α 6= β ∈ ASupp H is an arbitrary atom, it is maximal and it contains a minimal atom γ of H (i.e. a minimal atom in ASupp H under ≤) which Lemma 4.8 implies that γ = α. Therefore ASupp H ⊆ Λ(α). Assume that σ > 1 and the result has been proved for all ordinal numbers < σ. We observe that GK-dim F0(α)= σ1 where σ = σ1 + 1. Furthermore, for any non maximal atom F0(γ) ∈ ASupp A/A0, we have γ ∈ Aρ for some ordinal number ρ ≥ 2 and so using the assumption there exists β ∈ ASupp Aρ1 such that ρ = ρ1 + 1 and γ<β and also GK-dim γ = GK-dim β + 1. Thus F0(γ) < F0(β) by Lemma 2.11 and GK-dim F0(γ) = GK-dim F0(β) + 1. Now, using the induction hypothesis, Λ(F0(α)) is an open subset of ASpec A/A0. We now show that Λ(α) is an open subset of ASpec A. Given β ∈ Λ(α), if β is maximal, then there exists a simple object S such that ASupp S = {β}⊆ Λ(α). If β is not maximal, there is a noteherian monoform object M of A such that M = β and F0(ASupp M \ ASupp A0) = ASupp F0(M) ⊆ Λ(F0(α)); and hence it follows from Lemma 2.10 and Lemma 2.13 that ASupp M \ ASupp A0 ⊆ Λ(α). Now, if γ ∈ ASupp M is a GABRIEL-KRULL DIMENSION AND MINIMAL ATOMS IN GROTHENDIECK CATEGORIES 13 maximal atom, using [K2, Proposition 4.7], there exists a minimal atom µ of ASupp M such that µ<γ and so µ ∈ ASupp M \ ASupp A0 ⊆ Λ(α) so that α<γ. 

Corollary 4.10. Let A be locally noetherian. Then ASpec A is Alexandroff if and only if dim α exists and GK-dim α = dim α for any α ∈ ASpec A. Proof. It is straightforward by using Proposition 3.15 and Theorem 4.9. 

For any object M of A, the atomical dimension of M, denoted by AdimM, is the largest ordinal number σ such that α0 < α1 < · · · < ασ is a chain of atoms in ASupp M. In the following result, we establish a relationship between this new dimension and the previous dimension. Proposition 4.11. For any object M of A, we have dim M ≤ AdimM. In particular, if A is locally noetherian and ASpec A is Alexandroff, we have AdimM = dim M. Proof. The inequality is straightforward by the definition. To prove the equality, we proceed by induction on σ = dim M. If σ = 0, then it follows from Theorem 3.11 that ASupp M contains only maximal atoms; and hence Adim M = 0. Assume that σ > 0 and the result follows for all ordinal numbers smaller than σ. According to Lemma 3.10, dim F0(M) = σ1 where σ = σ1 +1 and so using the induction hypothesis AadimF0(M) = σ1. If AdimM = ρ and α0 < · · · < αρ is a chain of atoms of ASupp M, it follows from Lemma 2.16 that αρ ∈ ASupp A0. Considering ρ = ρ1 + 1,  F (α0) < · · · < F (αρ1 ) is a chain of atoms of ASupp F0(M) so that ρ1 ≤ σ1. Let σ be an ordinal number and M be an object of A. We say that M is σ-atomic critical provided that dim M = σ and dim M/K <σ for all nonzero subobjects K of M. It is clear to see that any σ-atomic critical is monoform and its nonzero subobjects are σ-atomic critical too.

Corollary 4.12. If α is an atom in ASpec A such that dim α = σ for some ordinal number σ. Then there exists an σ-atomic critical and σ-critical object H in A such that H = α. Proof. According to Proposition 4.7, there exists an σ-critical object H in A with H = α and dim H = GK-dim H = σ. For any nonzero subobject K of H, using Theorem 3.11, we have dim H/K ≤ GK-dim H/K <σ. Therefore H is σ-atomic critical. 

5. Minimal atoms of a noteherian object Given an object M of A, an atom α ∈ ASupp M is called minimal if it is minimal in ASupp M under ≤. We denote by AMin M, the set of all minimal atoms of M. We start this section with a result about the minimal atoms of a noetherian object. Proposition 5.1. Let M be a noetherian object with GK-dim M = σ for some ordinal number σ.

Then ASupp M \ ASupp Aσ1 is a finite set contained in AMin M where σ = σ1 +1.

Proof. As ASupp M\ASupp Aσ1 = ASupp M/tσ1 (M)\ASupp Aσ1 , we have AMin M\ASupp Aσ1 =

AMin M/tσ1 (M) \ ASupp Aσ1 . On the other hand, since GK-dim M = σ and M is noether- ian, Fσ1 (M) = Fσ1 (M/tσ1 (M)) has finite length so that GK-dim M/tσ1 (M) = σ and so we may assume that tσ1 (M) = 0. If we apply the same proof as Lemma 4.4, it follows from Lemma 4.8 that there exists a filtration 0 = M0 ⊂ M1 ⊂ ··· ⊂ Mt = M such that

ASupp M \ ASupp Aσ1 = S ASupp(Mi/Mi−1) \ ASupp Aσ1 = {α1,...,αt}. If αi ∈/ AMin M, i then there exists some β ∈ ASupp M such that β < αi and it follows from Lemma 3.3 that  β ∈ ASupp Aσ1 . This forces αi ∈ ASupp Aσ1 which is a contradiction. We now give the first main theorem of this section which provides a sufficient condition for finiteness of the number of minimal atoms of a noetherian objects.

Theorem 5.2. Let M be a noetherian object of A. If Λ(α) is an open subset of ASpec A for any α ∈ AMin M, then AMin M is a finite set. 14 NEGAR ALIPOUR AND REZA SAZEEDEH

Proof. Set W (α)= {β ∈ ASpec A| α<β}. It is straightforward to show that W (α)= Λ(α) \ {α}; and hence W (α) is an open subset of ASpec A. Consider Φ = ∪α∈AMin M W (α), the localizing subcategory X = ASupp−1(Φ) and the canonical functor F : A → A/X . It follows from [K2, Lemma 5.16] that ASupp F (M) = F (AMin M). We notice that for any α ∈ AMin M, we have Λ(α) ∩ (ASpec A\ Φ)= {α}; and hence using Lemma 2.13, Λ(F (α)) = {F (α)} is an open subset of ASpec A so that F (α) is a maximal atom of ASpec A/X by using [Sa, Proposition 3.2]. According to [Po, Chap 5, Lemma 8.3], the object F (M) is noetherian; and hence F (M) has a composition series 0 = N0 ⊂ N1 ⊂ ··· ⊂ Nn = F (M) such that Ni/Ni−1 = Si is simple for each i. Thus F (AMin M) = ASupp F (M) = {S1,..., Sn}. Now, Lemma 2.10 implies that AMin M is a finite set as AMin M ⊆ ASpec A\ ASupp X .  We have the following lemma about the minimal atoms of a noetherian object.

Lemma 5.3. Let M be a noetherian object of A and α ∈ AMin(M). Then AAss(M/tα(M)) = {α}.

Proof. Since α ∈ AMin(M), the object Mα = (M/tα(M))α has finite length and so we may assume ′ ′ ′ that tα(M) = 0. Then there is a composition series 0 = L0 ⊂ L1 ⊂···⊂ Ln = Mα of Mα and ′ using [K3, Propostion 2.8 and Lemma 2.10], there exist subobjects Li of M such that (Li)α = Li and we have a chain 0 = L0 ⊂ L1 ⊂ ··· ⊂ Ln = M in which for each i, Li/Li−1 = Hi is a monoform object with Hi = α. For each i, the exact sequence 0 → Li−1 → Li → Hi → 0 implies that AAss Li ⊆ AAss Li−1 ∪{α} so that we deduce that AAss M = {α}. 

Let M be an object of A. We define a subset Λ(M) of ASpec A as Λ(M) = {α ∈ ASpec A| tα(M)=0}. Lemma 5.4. If M is an object of A and N is a subobject of M, then Λ(M) ⊆ Λ(N). In particular, if N is a nonzero essential subobject of M, then Λ(N)= Λ(M). Proof. The first assertion is straightforward by the definition. To prove the second, if α ∈ Λ(N), we have 0 = tα(N)= tα(M) ∩ N which implies that tα(M)=0.  Remark 5.5. If A is locally noetherian and H is any monoform object of A with α = H, then for any γ ∈ AMin H with γ 6= α we have γ∈ / Λ(H). Indeed, tγ (H) 6= 0, because if tγ(H) = 0, without loss of generality we may assume that H is noetherian and so by Lemma 5.3, α = γ which is a contradiction. We now have the following lemma.

Lemma 5.6. Let H be a monoform object with α = H. Then Λ(H)= Λ(α).

Proof. We observe that tα(H) = 0 and so α ∈ Λ(H). For any β ∈ Λ(α), since α ≤ β, we have X (β) ⊆ X (α) so that tβ ≤ tα. Therefore tβ(H) = 0 so that β ∈ Λ(H). Conversely assume that ′ ′ ′ β ∈ Λ(H). For any monoform object H with H = α, there exists a nonzero subobject H1 of H which is isomorphism to a subobject of H. Since tβ(H) = 0, we have tβ(H1) = 0 and since H1 ′ ′ ′ is essential subobject of H , we have tβ(H ) = 0 so that β ∈ ASupp H . It now follows from [K2, Proposition 4.2] that α ≤ β. 

Proposition 5.7. Let M be an object of A. Then Λ(M) = Tα∈AAss M Λ(α). In particular, if α ∈ AMin M ∩ Λ(M) then AAss M = {α} and Λ(M)= Λ(α). Proof. For any α ∈ AAss M, there exists a monoform subobject H of M such that H = α. Then using Lemma 5.4 and Lemma 5.6, we have Λ(M) ⊆ Λ(α). Conversely assume that β ∈ ASpec A such that α ≤ β for all α ∈ AAss M. If tβ(M) 6= 0, there exists α ∈ AAss(tβ(M)) and hence α ≤ β. Since ASupp tβ(M) is open, we deduce that β ∈ ASupp tβ(M) which is a contradiction. The second claim is straightforward by the first part.  GABRIEL-KRULL DIMENSION AND MINIMAL ATOMS IN GROTHENDIECK CATEGORIES 15

The proposition obtains the following immediate corollary.

Corollary 5.8. Let M be an object of A. Then Λ(M) = ASupp M if and only if AAss(M) = AMin M has only one element. In the rest of this section we assume that A is a right . At first we recall the classical Krull dimension of right A-modules [GW]. Definition 5.9. In order to recall Krull dimension for right A-modules, we define by transfinite induction, classes Kσ of modules, for all ordinal numbers σ. Let K−1 be the class containing precisely of the zero module. Consider an ordinal number σ ≥ 0 and suppose that Kβ has been defined for all ordinals β < α. We define Kα, the class of those modules M such that, for every (countable) descending chain M0 ≥ M1 ≥ . . . of submodules of M, we have Mi/Mi+1 ∈ Sβ<α Kβ for all but finitely many indices i. The smallest such α such that M ∈ Kα is the Krull dimension of M, denoted by K.dimM and we say that K.dimM exists.

The following lemma shows that the Gabriel-Krull dimension of modules is a lower bound for the classical Krull dimension as defined above. Lemma 5.10. Let M be a right A-module. Then GK-dim M ≤ K-dim M. In particular, if M is noetherian, we have GK-dim M = K-dim M. Proof. We proceed by induction on K-dim M = σ. If σ = 0, then M is artinian and so GK-dim M = 0. Suppose that the result has been proved for all values < α. If GK-dim M  α, we have M/∈ Aσ and so Fβ(M) does not have finite length where α = β+1. Then there exists an unstable descending ′ ′ chain M0 ⊇ M1 . . . of submodules of Fβ(M). According to [Po, Chap 4, Corollary 3.10], there ′ exists a descending chain M0 ⊇ M1 . . . of submodules of M such that Fβ (Mi)= Mi for each i and since Fβ (Mi/Mi+1) 6= 0 for infinitely many indices i, we have Mi/Mi+1 ∈/ Kβ for infinitely many indices i which is a contradiction. A similar proof works for the second assertion. 

We recall that a right noetherian ring A is called fully right bounded if for every prime ideal p, the ring A/p has the property that every essential right ideal contains a nonzero two sided ideal. We show that if A is a fully right bounded ring, then ASpec Mod-A is Alexandroff where Mod-A denotes the category of right A-modules. At first, we recall the compressible objects which have a central role in our studies. Definition 5.11. We recall from [Sm] that a nonzero object M of A is called compressible if each nonzero subobject L of M has some subobject isomorphic to M.

In the fully right bounded rings, irreducible prime ideals are closely related to the compressible modules. Proposition 5.12. Let A be a fully right bounded ring and let p be a prime ideal of A. Then the following conditions are equivalent. (1) p is an irreducible right ideal. (2) A/p is compressible. (3) A/p is monoform. Proof. (1)⇒(2). If p is an irreducible right ideal, then every nonzero submodule of A/p is essential. Given a nonzero submodule K of A/p, since Ass(K)= {p}, there exists a nonzero element x ∈ K such that Ann(xA)= p. Observe that p ⊆ Ann(x). If p 6= Ann(x), since A is fully right bounded, there exists a two-sided ideal b such that p ( b ⊂ Ann(x). But this implies that b ⊂ Ann(xA)= p which is impossible. Thus p = Ann(x); and hence xA =∼ A/p. (2)⇒(3). Assume that A/p is compressible. Then using [K3, Proposition 2.12], the module A/p is monoform. (3)⇒(1). Since A/p is monoform, any nonzero submodule is essential. Thus p is an irreducible right ideal.  16 NEGAR ALIPOUR AND REZA SAZEEDEH

For any ring A, the atom spectrum ASpec Mod-A is denoted by ASpec A. Now, we have the following proposition.

Lemma 5.13. Let A be a fully right bounded ring. Then for any α ∈ ASpec A, there exists a compressible monoform right A-module H such that H = α. Proof. Assume that α ∈ ASpec A is an atom and M is a monoform right A-module such that α = M. Since A is right noetherian, it follows from [GW, Lemma 15.3] that Krull dimension of A exists and so by virtue of [Sm, Proposition 26.5.10], the module M contains a compressible monoform submodule H such that α = H. 

Proposition 5.14. If A is a fully right bounded ring and M is a right A-module, then Λ(M) is an open subset of ASpec A. In particular, ASpec A is an Alexandroff topological space. Proof. Let α ∈ Λ(M). Then according to Lemma 5.13, there exists a compressible module H such ′ that α = H. Therefore TH′=α ASupp H = ASupp H = Λ(α) by [SaS, Proposition 2.3]. For any β ∈ ASupp H, we have α ≤ β and hence Xβ ⊆ Xα which implies that tβ ≤ tα. Thus β ∈ Λ(M). The second claim follows by the first part and Lemma 2.14 and Lemma 5.6. 

As applications of Theorem 5.2, we have the following corollaries.

Corollary 5.15. Let A be a fully right bounded ring and M be a noetherian right A-module. Then AMin M is a finite subset of ASpec A. Proof. The result follows from Proposition 5.14 and Theorem 5.2. 

The following example due to Gooderal [Go] shows that if A is not a fully right bounded ring, then Corollary 5.15 may not hold even for a cyclic module. An analogous example has been given by Musson [M]. Example 5.16. Let k be an algebraically close field of characteristic zero and let B = k[[t]] be the formal power series ring over k in an indeterminate t. Define a k-linear derivation δ on S ∞ n ∞ n according to the rule δ(Σn=0ant )= Σn=0nant . Now, assume that A = B[θ] is the formal linear differential operator ring (the Ore extension) over (B,δ). Thus additively, A is the abelian of all polynomials over B in an indeterminate θ, with a multiplication given by θb = bθ+δ(b) for all b ∈ B. Since B is noetherian, using [R, Theo`reme 2, p.65], the ring A is right and left noetherian and there is a B-isomorphism B = A/θA. In view of [Go], the nonzero right A-submodules of B form a strictly descending chain B>tB>t2B >... and B is a critical right A-module of Krull dimension one and so all factors tnB/tn+1B have Krull dimension zero. Also none of these submodules can embed in any strictly smaller submodule; and hence none of these submodule is compressible. It therefore follows from [GR, Theorem 8.6, Corollary 8.7] that that A is not a fully right bounded ring. Since k is algebraically close field, the maximal two-sided ideals are precisely ∼ mλ = (θ − λ)k[θ]+ tA with A/Mλ = k for all λ ∈ k. Furthermore, for each n ≥ 0, we have n n+1 an isomorphism t B/t B =∼ A/mn which are pairwise non-isomorphic simple right A-modules. n Moreover, one can easily show that ASupp t B = {B}∪{A/mi| i ≥ n} for every n ≥ 0; and hence n {B} = Tn≥0 ASupp t B. It now follows from [K2, Proposition 4.4] that B is maximal under ≤ in ASpec A so that AMin B = {B}∪{A/mn| n ≥ 0}. We also observe that ASpec A is not Alexandroff as {B} is not an open subset of ASpec A.

Corollary 5.17. Let A be locally noetherian such that ASpec A is Alexandroff or let A have a notherian projective generator U such that End(U) is a fully right bounded ring. Then for any noetherian object M, AMin M is a finite set. GABRIEL-KRULL DIMENSION AND MINIMAL ATOMS IN GROTHENDIECK CATEGORIES 17

Proof. Given a noetherian object M, if ASpec A is Alexandroff space, then according to Lemma 2.16, Λ(α) = T ASupp H is an open subset of ASpec A; and hence using Theo- H∈α rem 5.2, AMinM is a finite set. Assume that U is a notherian projective generator of A and A = HomA(U,U). According to [St, Chap X, Example 2], the full and faithful functor T (−) = HomA(U, −) : A → Mod-A establishes an equivalence between A and Mod-A, the cate- gory of right A-modules. According to [Po, Chap 5, Lemma 8.3], A is a right noetherian ring and T (M) is a notherian right A-module. It follows from Corollary 5.15 that AMin T (M) is a finite set, say AMin T (M)= {α1,...,αn}. If a : Mod-A → A is the left adjoint functor of T , then according to Lemma 2.11 and Lemma 2.12, we have AMin M = {a(αi)|1 ≤ i ≤ n}.  The following example shows that the above result on finiteness of the number of minimal atoms of a noteherain object of a Grothendieck category A may not hold in a more general case even if A is locally noetherian. Example 5.18. ([Pa, Example 4.7], [K2, Example 3.4]) It should be noted that the set of minimal atom of a Grothendieck category is not finite when A does not have a notherian generator. To be more precise, let A = GrModk[x] be the category of garded k[x] modules, where k is a field and x is a indeterminate with deg x = 1. We notice that A is a locally noetherian Grothendieck category. i i+1 For each i ∈ Z, the object Si = x k[x]/x k[x] is 0-critical; and hence Si is a minimal atom of A for each i ∈ Z. Furthermore, the set of minimal atom of a notherian object is not finite in general even if A is locally noetherian. If we consider the noetherian k[x]-module M = k[x], then it is easy to see that AMin M = ASupp M = {Sj | j ≤ 0}∪{M}. References

[G] P. Gabriel, Des catégories abélinnes. Bull. Soc. Math. France 90 (1962), 323-448. [GRe] P. Gabriel and R. Rentschler, Sur la dimension des anneaux et ensembles ordonne´s, C. R. Acad. Sci. Paris 265(1967), 712-715. [GR] Robert Gordon and J. C. Robson, Krull dimension, American Mathematical Society, Providence, R.I., 1973, Memoirs of the American Mathematical Society, No. 133. [Go] K. R. Goodearl, Incompressible critical modules, Comm. Algebra, 8(19)(1980), 1845-1851. [GW] K. R. Goodearl and R. B. Warfield, Jr., An introduction to noncommutative Noetherian rings, second ed., London Mathematical Society Student Texts, vol. 61, Cambridge University Press, Cambridge, 2004. [H] I. Herzog, The Ziegler spectrum of a locally coherent Grothendieck category, Proc. London Math. Soc, (3)74(1997), no 3, 503-558. [K1] R. Kanda, Classification of categorical subspaces of locally noetherian schemes, Doc. Math. 20(2015), 1403-1465. [K2] R. Kanda, Specialization orders on atom spectra of Grothendieck categories, J. Pure and Appl. Algebram 219(2015), 4907-4952. [K3] R. Kanda, Finiteness of the number of minimal atoms in Grothendieck categories, J. Algrbra, 527(2019), 182-195. [Kr] H.Krause, The spectrum of a locally coherent category, J. Pure Appl. Algebra, 114(1997), 259-271. [M] I.M.Musson, Some examples of modules over noetherian rings, Glasgow Math. J, 23(1982), 9-13. [MR] J. C. McConnel and J. C. Robson, Noncommutative noetherian rings, Wiley-Interscience, New York, 1987. [Pa] C. J. Pappacena, The injective spectrum of a noncommutative space, J. Algebra 250 (2002), no. 2, 559– 602. [Po] N. Popoescu, Abelian categories with applications to rings and modules, London Mathematical Society Monographs, No. 3, Academic Press, London-New York, 1973. [R] G. Renault, Alg`ebre non Commutative, Paris(1975), Gauthiers-Villars. [Sa] R. Sazeedeh, Monoform objects and localization theory in abelian categories, J. Homotopy Relat. Struct, 13(2018), 443-460. [SaS] F. Savoji and R. Sazeedeh, Local Cohomology in Grothendieck categoties, J. Algebra. Appl, DOI:101142/S0219498820502229. [Sm] P. F. Smith, Compressible and related modules, Abelian Groups, Rings, Modules, and , 2006, Lecture Notes in Pure and Applied Mathematics, 295-312. [St] B. Stenstrom, Rings of Quotients: An introduction to methods of ring theory, Springer-Verlag 1975. [Sto] H. H. Storrer, On Goldman’s primary decomposition, Lectures on rings and modules (Tulane Univ. Ring and Operator Theory Year, 1970-1971, Vol. I), pp. 617-661, Lecture Notes in Math, Vol 246(1969), Springer, Berlin, 1972. 18 NEGAR ALIPOUR AND REZA SAZEEDEH

Department of Mathematics, Urmia University, P.O.Box: 165, Urmia, Iran Email address: [email protected]

Department of Mathematics, Urmia University, P.O.Box: 165, Urmia, Iran Email address: [email protected]