Congruence Normal Covers of Finitely Generated Lattice Varieties

From MaRDI portal





The doubling of convex subsets of lattices became an important tool in the investigation of lattice-varieties. The authors aim to describe the covers of the form \(V({\mathcal L},{\mathcal K})\) of the variety \(V({\mathcal L})\), for arbitrary finite lattice \({\mathcal L}\), and \(\mathcal K\) is a subdirectly irreducible member of the pseudovariety \(K\) of lattices where \(K\) is closed under doubling. First, they prove some result for congruence distributive varieties in general. Their most important result speaks about the class \(CN\) of congruence normal lattices which happens to be the smallest class of lattices containing the one-element lattice and closed under doubling of convex subsets (and it is a pseudovariety): Theorem 17. Let \(\mathcal L\) be a finite lattice. (1) In the lattice of lattice varieties, \(V({\mathcal L})\) has only finitely many covering varieties of the form \(W=V({\mathcal L,K})\) with \({\mathcal K}\in CN\). (2) For all other varieties \(W\succ V({\mathcal V})\), \(W\cap CN\subseteq V({\mathcal L})\).











This page was built for publication: Congruence Normal Covers of Finitely Generated Lattice Varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4024812)