Quasiorder lattices of varieties (Q1652873)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quasiorder lattices of varieties |
scientific article |
Statements
Quasiorder lattices of varieties (English)
0 references
16 July 2018
0 references
The set \(\mathrm{Quo}(A)\) of compatible quasiorders of an algebra \(A\) forms a lattice under inclusion and the congruence lattice \(\mathrm{Con}(A)\) is its sublattice. It is proved that a locally finite variety is congruence distributive (modular) if and only if it is quasiorder distributive (modular). It is shown that the same does not hold for meet semi-distributivity. It is known that locally finite congruence meet semi-distributive varieties are characterized by having no sublattice of the congruence lattice isomorphic to \(M_3\). The authors prove that the same holds for quasiorder lattices of finite algebras in arbitrary congruence meet semi-distributive varieties, but does not hold for infinite algebras even in the variety of semilattices.
0 references
quasiorder
0 references
directed terms
0 references
distributivity
0 references
modularity
0 references
meet semidistributivity
0 references
0 references