Congruence-preserving extensions of finite lattices to sectionally complemented lattices
George Grätzer, Erika Schmidt · Proceedings of the American Mathematical Society · 1999
In 1962, the authors proved that every finite distributive lattice can be represented as the congruence lattice of a finite sectionally complemented lattice. In 1992, M. Tischendorf verified that every finite lattice has a congruence-preserving extension to an atomistic lattice. In this paper, we bring these two results together. We prove that every finite lattice has a congruence-preserving extension to a finite sectionally complemented lattice .