Modular Lattices
Birkhäuser Boston eBooks · 2007
Corollary 3.9 notes that the congruence lattice of a finite modular lattice is boolean; however, a finite distributive lattice has a representation as the congruence lattice of an infinite modular lattice by Schmidt [106] (see also Schmidt [112].