On the set of principal congruences in a distributive congruence lattice of an algebra

DOI10.14232/ACTASM-017-538-7zbMATH Open1424.06013arXiv1705.10833OpenAlexW2964034992MaRDI QIDQ4615266FDOQ4615266

Authors: Gábor Czédli 

Publication date: 1 February 2019

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

Abstract: Let $Q$ be a subset of a finite distributive lattice $D$. An algebra $A$ represents the inclusion $QsubseteqD$ by principal congruences if the congruence lattice of $A$ is isomorphic to $D$ and the ordered set of principal congruences of $A$ corresponds to $Q$ under this isomorphism. If there is such an algebra for every subset $Q$ containing $0$, $1$, and all join-irreducible elements of $D$, then $D$ is said to be fully (A1)-representable. We prove that every fully (A1)-representable finite distributive lattice is planar and it has at most one join-reducible coatom. Conversely, we prove that every finite planar distributive lattice with at most one join-reducible coatom is fully chain-representable in the sense of a recent paper of G. Gr"atzer. Combining the results of this paper with another paper by the present author, it follows that every fully (A1)-representable finite distributive lattice is "fully representable" even by principal congruences of finite lattices. Finally, we prove that every chain-representable inclusion $QsubseteqD$ can be represented by the principal congruences of a finite (and quite small) algebra.

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

Recommendations

• Characterizing fully principal congruence representable distributive lattices
• Characterizing representability by principal congruences for finite distributive lattices with a join-irreducible unit element
• A constructive approach to the finite congruence lattice representation problem
• scientific article; zbMATH DE number 4120222
• Revisiting the representation theorem of finite distributive lattices with principal congruences. A proof-by-picture approach

zbMATH Keywords

congruence latticedistributive latticeprincipal lattice congruencechain-representability

Mathematics Subject Classification ID

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

Cites Work

• Lattice Theory: Foundation
• The ordered set of principal congruences of a countable lattice.
• The order of principal congruences of a bounded lattice
• Slim semimodular lattices. I. A visual approach
• Planar semimodular lattices: structure and diagrams
• Notes on planar semimodular lattices. I. Construction
• Planar Lattices
• Diagrams and rectangular extensions of planar semimodular lattices
• The congruences of a finite lattice. A ``proof-by-picture approach
• An independence theorem for ordered sets of principal congruences and automorphism groups of bounded lattices
• Representing some families of monotone maps by principal lattice congruences
• Representing a monotone map by principal lattice congruences
• Some preliminary results on the set of principal congruences of a finite lattice
• Characterizing fully principal congruence representable distributive lattices
• Homomorphisms and principal congruences of bounded lattices. III. The independence theorem
• Homomorphisms and principal congruences of bounded lattices. I: Isotone maps of principal congruences
• Homomorphisms and principal congruences of bounded lattices. II. Sketching the proof for sublattices
• Cometic functors and representing order-preserving maps by principal lattice congruences
• Characterizing representability by principal congruences for finite distributive lattices with a join-irreducible unit element

Cited In (5)

• Characterizing representability by principal congruences for finite distributive lattices with a join-irreducible unit element
• Title not available (Why is that?)
• Characterizing fully principal congruence representable distributive lattices
• Principal congruences on distributive double p-algebras
• A reduced free product of distributive lattices. I

This page was built for publication: On the set of principal congruences in a distributive congruence lattice of an algebra

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