Revisiting the Representation Theorem of Finite Distributive Lattices with Principal Congruences. A Proof-By-Picture Approach
Discussiones Mathematicae. General Algebra and Applications, Tome 41 (2021) no. 2, pp. 411-417

Voir la notice de l'article provenant de la source Library of Science

A classical result of R.P. Dilworth states that every finite distributive lattice D can be represented as the congruence lattice of a finite lattice L. A sharper form was published in G. Grätzer and E.T. Schmidt in 1962, adding the requirement that all congruences in L be principal. Another variant, published in 1998 by the authors and E.T. Schmidt, constructs a planar semimodular lattice L. In this paper, we merge these two results: we construct L as a planar semimodular lattice in which all congruences are principal. This paper relies on the techniques developed by the authors and E.T. Schmidt in the 1998 paper.
Keywords: principal congruence, finite distributive lattice
@article{DMGAA_2021_41_2_a12,
     author = {Gr\"atzer, G. and Lakser, H.},
     title = {Revisiting the {Representation} {Theorem} of {Finite} {Distributive} {Lattices} with {Principal} {Congruences.} {A} {\protect\emph{Proof-By-Picture}} {Approach}},
     journal = {Discussiones Mathematicae. General Algebra and Applications},
     pages = {411--417},
     publisher = {mathdoc},
     volume = {41},
     number = {2},
     year = {2021},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/DMGAA_2021_41_2_a12/}
}
TY  - JOUR
AU  - Grätzer, G.
AU  - Lakser, H.
TI  - Revisiting the Representation Theorem of Finite Distributive Lattices with Principal Congruences. A Proof-By-Picture Approach
JO  - Discussiones Mathematicae. General Algebra and Applications
PY  - 2021
SP  - 411
EP  - 417
VL  - 41
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DMGAA_2021_41_2_a12/
LA  - en
ID  - DMGAA_2021_41_2_a12
ER  - 
%0 Journal Article
%A Grätzer, G.
%A Lakser, H.
%T Revisiting the Representation Theorem of Finite Distributive Lattices with Principal Congruences. A Proof-By-Picture Approach
%J Discussiones Mathematicae. General Algebra and Applications
%D 2021
%P 411-417
%V 41
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DMGAA_2021_41_2_a12/
%G en
%F DMGAA_2021_41_2_a12
Grätzer, G.; Lakser, H. Revisiting the Representation Theorem of Finite Distributive Lattices with Principal Congruences. A Proof-By-Picture Approach. Discussiones Mathematicae. General Algebra and Applications, Tome 41 (2021) no. 2, pp. 411-417. http://geodesic.mathdoc.fr/item/DMGAA_2021_41_2_a12/