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

DOI10.14232/ACTASM-017-538-7MaRDI QIDQ4615266zbMATH OpenOpenAlexFDO

Authors Gábor Czédli

Publication date 1 February 2019

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

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

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)

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.

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

Cites work

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

Cited in

(5)

• scientific article; zbMATH DE number 90532 (Why is no real title available?)
• A reduced free product of distributive lattices. I
• Principal congruences on distributive double p-algebras
• Characterizing representability by principal congruences for finite distributive lattices with a join-irreducible unit element
• Characterizing fully principal congruence representable distributive lattices

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)