Dual Krull dimension and quotient finite dimensionality (Q1764829): Difference between revisions

The lattices \(L\) to be considered in the paper under review are modular upper continuous. \(L\) is called quotient finite dimensional (QFD) if it has no interval \([x,1]\) containing an infinite independent subset. Equivalently, for each \(x\) in \(L\) there is an element \(s\) small in \([0,x]\) such that \([x,s]\) is QFD (Prop. 1.27). The main result concerns a characterization of the dual Krull dimension. \(L\) has dual Krull dimension (\(\leq \alpha\)) if and only if it is (1) QFD and if (2) for each meet-irreducible element \(x\) the interval \([x,1]\) has Krull dimension (\(\leq \alpha\)) (Thm. 1.22). In order to work with a more restricted version of (2) the following concepts are introduced. An element \(x\) of a poset \(P\) is called colocal if \(\{y \in P\mid x<y\}\) has a least element. If \(P\) is a complete lattice this means that \(x\) is completely meet-irreducible. In particular, a module is subdirectly irreducible if and only if \(0\) is colocal in the lattice of submodules. The poset is called rich in colocals if each of its intervals \([a,b]\) contains an element colocal in \([a,b]\). Now, (2) can be replaced by the same condition for colocal elements together with the hypothesis that \(L\) be rich in colocals. The proofs are based on a systematic study of these concepts in the more general framework of posets \(P\), including the codepth, i.e, the least ordinal not embedding into \(P\). \(L\) is QFD if for each \(x\) in \(L\) there is an element \(s\) small in \([0,x]\) such that \([x,s]\) is QFD (Prop. 1.27). It follows that \(L\) has dual Krull dimension \(\leq \alpha\) if and only if one can choose the \(s\) such that \([s,x]\) has dual Krull dimension \(\leq \alpha\) (Thm. 1.28). In the second part of the paper, considering lattices of closed right submodules, these results are interpreted as results about torsion theories of modules. Moreover, right Noetherians are characterized by QFD, ACC for colocals, and the assumption that the filter of the theory has a basis of finitely generated right ideals. Finally, using the Gabriel-Popescu Theorem, the above results are converted into results about Grothendieck categories having a finitely generated generator. The lattice \(L\) to be considered is the lattice of subobjects of a given object.