An extension theorem for planar semimodular lattices
George Grätzer, E. T. Schmidt · arXiv (Cornell University) · 2013
We prove that every finite distributive lattice $D$ can be represented as the congruence lattice of a rectangular lattice $K$ in which all congruences are principal. We verify this result in a stronger form as an extension theorem.