Congruence Normal Covers of Finitely Generated Lattice Varieties
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})\).
- Obituary: R. Alan Day
- Generalizing semidistributivity
- Congruence normality: The characterization of the doubling class of convex sets
- A counterexample to the finite height conjecture
- Alan Day's doubling construction
- An approach to lattice varieties of finite height
- scientific article; zbMATH DE number 18495 (Why is no real title available?)
- Lattice varieties covering \(V(L_ 1)\)
- Doubling convex sets in lattices: Characterizations and recognition algorithms
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)