Characterizing representability by principal congruences for finite distributive lattices with a join-irreducible unit element

DOI10.14232/ACTASM-017-036-7zbMATH Open1413.06007arXiv2104.14048OpenAlexW2767788697MaRDI QIDQ4615138FDOQ4615138

Authors: G. Grätzer 

Publication date: 1 February 2019

Published in: Acta Scientiarum Mathematicarum (Search for Journal in Brave)

Abstract: For a finite distributive lattice $D$, let us call $QsubseteqD$ emph{principal congruence representable}, if there is a finite lattice $L$ such that the congruence lattice of $L$ is isomorphic to $D$ and the principal congruences of $L$ correspond to $Q$ under this isomorphism. We find a necessary condition for representability by principal congruences and prove that for finite distributive lattices with a join-irreducible unit element this condition is also sufficient.

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

Recommendations

• Characterizing fully principal congruence representable distributive lattices
• On the set of principal congruences in a distributive congruence lattice of an algebra
• Some preliminary results on the set of principal congruences of a finite lattice
• Revisiting the representation theorem of finite distributive lattices with principal congruences. A proof-by-picture approach
• Small Representations of Finite Distributive Lattices as Congruence Lattice

zbMATH Keywords

congruence latticejoin-irreducible congruenceprincipal congruencefinite distributive latticeprincipal congruence representable set

Mathematics Subject Classification ID

Lattice ideals, congruence relations (06B10)

Cited In (4)

• On the set of principal congruences in a distributive congruence lattice of an algebra
• Characterizing fully principal congruence representable distributive lattices
• Some preliminary results on the set of principal congruences of a finite lattice
• Title not available (Why is that?)

This page was built for publication: Characterizing representability by principal congruences for finite distributive lattices with a join-irreducible unit element

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