CONGRUENCE LIFTING OF DIAGRAMS OF FINITE BOOLEAN SEMILATTICES REQUIRES LARGE CONGRUENCE VARIETIES

DOI10.1142/S0218196706003049MaRDI QIDQ5483454zbMATH OpenOpenAlexFDO

Authors Jiři Tůma, Friedrich Wehrung

Publication date 14 August 2006

Published in International Journal of Algebra and Computation (Search for Journal in Brave)

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

zbMATH Keywords

liftingcongruence latticeBoolean semilattice

Mathematics Subject Classification ID

Semilattices (06A12) Subalgebras, congruence relations (08A30) Lattices of varieties (08B15)

Abstract: We construct a diagram D, indexed by a finite partially ordered set, of finite Boolean semilattices and (v,0,1)-embeddings, with top semilattice $2^4$, such that for any variety V of algebras, if D has a lifting, with respect to the congruence lattice functor, by algebras and homomorphisms in V, then there exists an algebra $U$ in V such that the congruence lattice of $U$ contains, as a 0,1-sublattice, the five-element modular nondistributive lattice $M_3$. In particular, V has an algebra whose congruence lattice is neither join- nor meet-semidistributive. Using earlier work of K.A. Kearnes and A.Szendrei, we also deduce that V has no nontrivial congruence lattice identity. In particular, there is no functor F from finite Boolean semilattices and (v,0,1)-embeddings to lattices and lattice embeddings such that the composition Con F is equivalent to the identity (where Con denotes the congruence lattice functor), thus solving negatively a problem raised by P. Pudlak in 1985 about the existence of a functorial solution of the Congruence Lattice Problem.

Recommendations

• Congruence lifting of semilattice diagrams
• Unsolvable one-dimensional lifting problems for congruence lattices of lattices
• SIMULTANEOUS REPRESENTATIONS OF SEMILATTICES BY LATTICES WITH PERMUTABLE CONGRUENCES
• Lifting retracted diagrams with respect to projectable functors
• On congruence lattices of lattices

Cites work

• A survey of recent results on congruence lattices of lattices.
• Congruence lattices of algebras of fixed similarity type. I
• Congruence lattices of algebras of fixed similarity type. II
• Infinite combinatorial issues raised by lifting problems in universal algebra
• On congruence lattices of lattices
• SIMULTANEOUS REPRESENTATIONS OF SEMILATTICES BY LATTICES WITH PERMUTABLE CONGRUENCES
• The Relationship Between Two Commutators

Cited in

(11)

• Lifting retracted diagrams with respect to projectable functors
• Congruence lifting of semilattice diagrams
• Unsolvable one-dimensional lifting problems for congruence lattices of lattices
• Infinite combinatorial issues raised by lifting problems in universal algebra
• Liftable and unliftable diagrams
• Categories of partial algebras for critical points between varieties of algebras.
• Distributive congruence lattices of congruence-permutable algebras
• Liftings of Diagrams of Semilattices by Diagrams of Dimension Groups
• A solution to Dilworth's congruence lattice problem
• POSET REPRESENTATIONS OF DISTRIBUTIVE SEMILATTICES
• CRITICAL POINTS OF PAIRS OF VARIETIES OF ALGEBRAS

This page was built for publication: CONGRUENCE LIFTING OF DIAGRAMS OF FINITE BOOLEAN SEMILATTICES REQUIRES LARGE CONGRUENCE VARIETIES

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