GABRIEL-KRULL DIMENSION AND MINIMAL ATOMS IN GROTHENDIECK CATEGORIES NEGAR ALIPOUR AND REZA SAZEEDEH Abstract. Let A be a Grothendieck category and let M be an object of A. In this paper, we define a notion dim M via chains of atoms in ASupp M and we show that it is a lower bound of the Gabriel-Krull dimension of M and in the case where ASpec A is an Alexandroff topological space, they are the same. We also show that this dimension establishes a new characterization for those categories A which ASpecA are Alexandroff topological spaces. We study the minimal atoms of a noetherian object and we give a sufficient condition for finiteness of the number of minimal atoms of a noetherian object. Contents 1. Introduction 1 2. Atom spectrum and Alexandroff topological sapces 3 3. Gabriel-Krull dimension of objects 6 4. Critical objects and Alexandroff topological spaces 10 5. Minimal atoms of a noteherian object 13 References 17 1. Introduction The notion of the Krull dimension of a commutative ring, measured on chain of prime ideals has been studied and used for a long time. Gabriel and Rentschler [GRe] defined a notion of the Krull dimension for certain modules over noncommutative rings coinciding with the classical one for finitely generated modules over commutative noetherian rings (cf. [GR, GW, MR]). A similar notion for objects of Grothendieck categories has been introduced by Gabriel [G]. In a rough language, the Gabriel-Krull dimension estimates how much an object is close to semi-artinian objects. More precisely, the objects of Gabriel-Krull dimension zero are those generated by simple objects. As a different approach, Gabriel spectrum [G] of a Grothendieck category is the set of isomor- arXiv:2003.03688v3 [math.CT] 12 Jun 2021 phism class of indecomposable injective objects which can be viewed as a generalization of the spectrum of a commutative ring. This notion has a central role in specifying subcategories of the Grothendieck categories and has been investigated by the other authors [H, Kr] in the different aspects. For an abelian category A, which does not have necessarily enough injective objects, Kanda [K1,K2], has defined the atom spectrum ASpec A consisting of atoms defined by Storerr [St]. To be more precise, ASpec A is the set of equivalence class of monoform objects and Kanda [K2] showed that ASpec A is a partially ordered set together with a specialization order ≤. Also he constructed a topology on ASpec A that the open subsets of ASpec A are in correspondence with specialization closed subsets of SpecA when A is a commutative ring. 2010 Mathematics Subject Classification. 18E15, 18E35. Key words and phrases. Minimal atom; Grothendieck category; Gabriel-Krull dimension; critical object. 1 2 NEGAR ALIPOUR AND REZA SAZEEDEH A topological space 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 Grothendieck category. 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 subcategory 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-Krull dimension 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-module 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 abelian category 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 exact sequence 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 subobject 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}.