Distributive congruence lattices of congruence-permutable algebras

Pavel Ruzicka, Jiri Tuma, Friedrich Wehrung

We prove that every distributive algebraic lattice with at most $\aleph \_1$ compact elements is isomorphic to the normal subgroup lattice of some group and to the submodule lattice…