The lattice of congruence lattices of algebras on a finite set

Danica Jakubíková-Studenovská, Reinhard Pöschel, Sándor Radeleczki

The congruence lattices of all algebras defined on a fixed finite set $A$ ordered by inclusion form a finite atomistic lattice $\mathcal{E}$. We describe the atoms and coatoms. Each…