Revisiting the representation theorem of finite distributive lattices with principal congruences. A proof-by-picture approach

DOI10.7151/DMGAA.1375MaRDI QIDQ4959489zbMATH OpenOpenAlexFDO

Authors G. Grätzer, Harry Lakser

Publication date 13 September 2021

Published in Discussiones Mathematicae - General Algebra and Applications (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2104.13835

zbMATH Keywords

principal congruence finite distributive lattice

Mathematics Subject Classification ID

Lattice ideals, congruence relations (06B10) Semimodular lattices, geometric lattices (06C10) Structure and representation theory of distributive lattices (06D05)

Abstract: 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"atzer 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.

Recommendations

• Congruence Lattices of Finite Semimodular Lattices
• scientific article; zbMATH DE number 2243109
• A short proof of the congruence representation theorem of rectangular lattices.
• Representing homomorphisms of distributive lattices as restrictions of congruences of rectangular lattices
• scientific article; zbMATH DE number 572137

Cited in

(12)

• Some combinatorial aspects of congruence lattice representations
• A note on ``Small representations of finite distributive lattices as congruence lattices
• Characterizing fully principal congruence representable distributive lattices
• The fundamental theorem of finite semidistributive lattices
• A short proof of the congruence representation theorem of rectangular lattices.
• The congruences of a finite lattice. A ``proof-by-picture approach
• Congruence Lattices of Finite Semimodular Lattices
• Representing homomorphisms of distributive lattices as restrictions of congruences of rectangular lattices
• Characterizing representability by principal congruences for finite distributive lattices with a join-irreducible unit element
• On the set of principal congruences in a distributive congruence lattice of an algebra
• On the representations of finite distributive lattices
• The congruences of a finite lattice. A ``proof-by-picture approach

This page was built for publication: Revisiting the representation theorem of finite distributive lattices with principal congruences. A proof-by-picture approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4959489)