The lattice of congruence lattices of algebras on a finite set (Q1646601): Difference between revisions

The congruence lattices of all algebras defined on a fixed finite set \(A\) ordered by inclusion form a finite atomistic lattice \(E\). The authors describe the atoms, coatoms and irreducible elements of the lattice \(E\). It is proved that the lattice \(E\) is tolerance-simple, whenever the set \(A\) has at least four elements.