A solution to Dilworth's congruence lattice problem
From MaRDI portal
Publication:2456974
Abstract: We construct a distributive algebraic lattice D that is not isomorphic to the congruence lattice of any lattice. This solves a long-standing open problem, traditionally attributed to R. P. Dilworth, from the forties. The lattice D has compact top element and aleph omega+1 compact elements. Our results extend to all algebras possessing a polynomially definable structure of a join-semilattice with a largest element.
The author constructs an algebraic distributive lattice \(D\) that is not isomorphic to the congruence lattice of any lattice. Thus, he solves an open problem, attributed to R. P. Dilworth, from the forties. The lattice \(D\) has a compact top element and \(\aleph _{\omega + 1}\) compact elements. These results can be extended to any algebra possessing a congruence-compatible structure of a join-semilattice with a largest element.
Recommendations
Cites work
- A survey of recent results on congruence lattices of lattices.
- A uniform refinement property for congruence lattices
- Congruence lattices of algebras of fixed similarity type. I
- Congruence lattices of algebras of fixed similarity type. II
- Congruence lattices of free lattices in non-distributive varieties
- Congruence lattices of locally finite algebras
- CONGRUENCE LIFTING OF DIAGRAMS OF FINITE BOOLEAN SEMILATTICES REQUIRES LARGE CONGRUENCE VARIETIES
- Distributive congruence lattices of congruence-permutable algebras
- Finite lattices and congruences. A survey
- Forcing extensions of partial lattices
- scientific article; zbMATH DE number 3652325 (Why is no real title available?)
- scientific article; zbMATH DE number 3724514 (Why is no real title available?)
- scientific article; zbMATH DE number 3762122 (Why is no real title available?)
- scientific article; zbMATH DE number 3598539 (Why is no real title available?)
- scientific article; zbMATH DE number 1164035 (Why is no real title available?)
- scientific article; zbMATH DE number 4120222 (Why is no real title available?)
- scientific article; zbMATH DE number 4120223 (Why is no real title available?)
- scientific article; zbMATH DE number 3204690 (Why is no real title available?)
- scientific article; zbMATH DE number 3191288 (Why is no real title available?)
- Lattices of two-sided ideals of locally matricial algebras and the \(\Gamma\)-invariant problem
- Non-extendability of semilattice-valued measures on partially ordered sets
- Non-measurability properties of interpolation vector spaces
- On congruence lattices of lattices
- On congruence lattices of lattices
- On the distributivity of a lattice of lattice-congruences
- Representation of algebraic distributive lattices with _1 compact elements as ideal lattices of regular rings
- Representations of distributive semilattices in ideal lattices of various algebraic structures.
- Representations of Lattices by Sets
- Semilattices of finitely generated ideals of exchange rings with finite stable rank
- SIMULTANEOUS REPRESENTATIONS OF SEMILATTICES BY LATTICES WITH PERMUTABLE CONGRUENCES
- Sur une caractérisation des alephs
- The complete dimension theory of partially ordered systems with equivalence and orthogonality
- The Dilworth theorems. Selected papers of Robert P. Dilworth. Edited by Kenneth P. Bogart, Ralph Freese and Joseph P. S. Kung
- The Relationship Between Two Commutators
Cited in
(31)- The Dilworth theorems. Selected papers of Robert P. Dilworth. Edited by Kenneth P. Bogart, Ralph Freese and Joseph P. S. Kung
- Representing an isotone map between two bounded ordered sets by principal lattice congruences
- Complete congruence lattices of two related modular lattices
- A survey of recent results on congruence lattices of lattices.
- Cometic functors and representing order-preserving maps by principal lattice congruences
- On the largest numbers of congruences of finite lattices
- The first omega alephs: from simplices to trees of trees to higher walks
- Categories of partial algebras for critical points between varieties of algebras.
- Critical points between varieties generated by subspace lattices of vector spaces
- The possible values of critical points between strongly congruence-proper varieties of algebras
- Uncountable critical points for congruence lattices
- The ordered set of principal congruences of a countable lattice.
- POSET REPRESENTATIONS OF DISTRIBUTIVE SEMILATTICES
- CRITICAL POINTS OF PAIRS OF VARIETIES OF ALGEBRAS
- The order of principal congruences of a bounded lattice
- scientific article; zbMATH DE number 4053694 (Why is no real title available?)
- A uniform refinement property for congruence lattices
- Infinite combinatorial issues raised by lifting problems in universal algebra
- Representing homomorphisms of distributive lattices as restrictions of congruences of rectangular lattices
- Unsolvable one-dimensional lifting problems for congruence lattices of lattices
- Congruence FD-maximal varieties of algebras
- Representing some families of monotone maps by principal lattice congruences
- Representing a monotone map by principal lattice congruences
- Evaporation schemes in congruence lattices of majority algebras
- A convex combinatorial property of compact sets in the plane and its roots in lattice theory
- Finite distributive lattices are congruence lattices of almost-geometric lattices
- Congruence lifting of semilattice diagrams
- Diagram induced properties of congruence lattices
- Distributive congruence lattices of congruence-permutable algebras
- Non-representable distributive semilattices
- A Nice labelling for tree-like event structures of degree 3
This page was built for publication: A solution to Dilworth's congruence lattice problem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2456974)
