On the lattice of conatural classes of linear modular lattices (Q6076966): Difference between revisions

In previous works, the authors have studied the big lattice of preradicals in \(\mathcal{L}_{\mathcal{M}}\) (the category of all complete modular lattices) as well as the big lattice of natural classes in \(\mathcal{L}_{\mathcal{M}}\), and in this paper the big lattice of conatural classes in \(\mathcal{L}_{\mathcal{M}}\) are introduced and studied. After giving some preliminary concepts and definitions about the category \(\mathcal{L}_{\mathcal{M}}\), Section 3 extends to \(\mathcal{L}_{\mathcal{M}}\) the concept of cohereditary classes of \(R\)-modules for a ring \(R\), and shows that one obtains a strongly pseudocomplemented big lattice. In Sect. 4 the lattice-theoretic counterpart of \(R\)-conat (the lattice of conatural classes) is given and the extension of some fundamental results to the category \(\mathcal{L}_{\mathcal{M}}\) are proved. Finally some results on closure properties are proved. Here are some samples of results. Denote by \(\mathcal{L}_{\mathcal{M}}\)-quot the big lattice of all non-empty cohereditary classes of modular complete lattices. {Theorem 3.12}. Let \(\mathcal{C}\in \mathcal{L}_{\mathcal{M}}\)-quot. Then \[ C^{\perp \twoheadrightarrow} = \{L\in \mathcal{L}_{\mathcal{M}}\mid \forall a\in L,a\neq 1_{L}, \text{ the quotient interval }(1_{L}/a)\notin C\}, \] is a strong pseudocomplement in \(\mathcal{L}_{\mathcal{M}}\)-quot of \( \mathcal{C}\). {Corollary 3.13}. \(\mathcal{L}_{\mathcal{M}}\)-quot is a strongly pseudocomplemented big lattice. Denote by \(\mathcal{L}_{\mathcal{M}}\)-conat the skeleton of \(\mathcal{L}_{ \mathcal{M}}\)-quot. The elements of \(\mathcal{L}_{\mathcal{M}}\)-conat will be called conatural classes. {Theorem 4.4.} Let \(\mathcal{C}\) be a class in \(\mathcal{L}_{\mathcal{M}}\). Then the following conditions are equivalent: \begin{itemize} \item[(i)] \(\mathcal{C}\in \mathcal{L}_{\mathcal{M}}\)-conat, \item[(ii)] \(\mathcal{C}\) satisfies (CN) [see Definition 4.2], \item[(iii)] \(\mathcal{C}\in \mathcal{L}_{\mathcal{M}}\)-quot and \(\mathcal{C}=(\mathcal{C}^{\perp \twoheadrightarrow })^{\perp \twoheadrightarrow }\). \end{itemize} {Theorem 4.15}. \(\mathcal{L}_{\mathcal{M}}\)-conat is a boolean big lattice. {Proposition 4.18}. Let \(\mathcal{C}\) be a conatural class in \(\mathcal{L}_{\mathcal{M}}\). Then \(\mathcal{C}\) is closed under superfluous epimorphisms. {Proposition 4.21}. Any conatural class is closed under independent joins over distributive complete lattices. {Proposition 4.22}. Any conatural class \(\mathcal{C}\) in \(\mathcal{L}_{\mathcal{M}}\) is closed under joins over noetherian lattices in \(\mathcal{L}_{\mathcal{M}}\). {Proposition 4.25}. Let \(\mathcal{C}\) be a conatural class in \(\mathcal{L}_{\mathcal{M}}\). Then, \(\mathcal{C}\) is closed under joins of atoms over the class of upper semicontinuous lattices in \(\mathcal{L}_{\mathcal{M}}\).