Join-semilattices with two-dimensional congruence amalgamation

DOI10.4064/CM93-2-2MaRDI QIDQ4548920zbMATH OpenOpenAlexFDO

Authors Friedrich Wehrung

Publication date 27 August 2002

Published in Colloquium Mathematicum (Search for Journal in Brave)

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

zbMATH Keywords

congruencejoin-semilatticepullbackpushoutamalgamationlattice homomorphismrelatively complemented latticeco-Brouwerian semilattice

Mathematics Subject Classification ID

Lattice ideals, congruence relations (06B10) Semilattices (06A12) Complemented lattices, orthocomplemented lattices and posets (06C15)

Abstract: We say that a (∨,0)-semilattice S is conditionally co-Brouwerian, if (1) for all nonempty subsets X and Y of S such that X $leq$ Y (i.e., x $leq$ y for all (x, y) $in$ X x Y), there exists z $in$ S such that X $leq$ z $leq$ Y, and (2) for every subset Z of S and all a, b $in$ S, if a $leq$ b ∨ z for all z $in$ Z, then there exists c $in$ S such that a $leq$ b ∨ c and c $leq$ Z. By restricting this definition to subsets X, Y, and Z of less than $kappa$ elements, for an infinite cardinal $kappa$, we obtain the definition of a conditionally $kappa$- co-Brouwerian (∨, 0)-semilattice. We prove that for every conditionally co-Brouwerian lattice S and every partial lattice P, every (∨, 0)-homomorphism $phi$: Conc P $o$ S can be lifted to a lattice homomorphism f : P $o$ L, for some relatively complemented lattice L. Here, Conc P denotes the (∨, 0)-semilattice of compact congruences of P. We also prove a two-dimensional version of this result, and we establish partial converses of our results and various of their consequences in terms of congruence lattice representation problems. Among those consequences, for every infinite regular cardinal $kappa$ and every conditionally $kappa$-co-Brouwerian S of size $kappa$, there exists a relatively complemented lattice L with zero such that Conc L is isomorphic to S.

Recommendations

• Unsolvable one-dimensional lifting problems for congruence lattices of lattices
• POSET REPRESENTATIONS OF DISTRIBUTIVE SEMILATTICES
• Forcing extensions of partial lattices
• Congruence lattices of semilattices with operators
• scientific article; zbMATH DE number 3877245

This page was built for publication: Join-semilattices with two-dimensional congruence amalgamation

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