Join-semilattices with two-dimensional congruence amalgamation

Friedrich Wehrung. "Join-semilattices with two-dimensional congruence amalgamation." Colloquium Mathematicae 93.2 (2002): 209-235. <http://eudml.org/doc/284643>.

@article{FriedrichWehrung2002,
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 ≤ Y (i.e. x ≤ y for all ⟨x,y⟩ ∈ X × Y), there exists z ∈ S such that X ≤ z ≤ Y, and (2) for every subset Z of S and all a, b ∈ S, if a ≤ b ∨ z for all z ∈ Z, then there exists c ∈ S such that a ≤ b ∨ c and c ≤ Z. By restricting this definition to subsets X, Y, and Z of less than κ elements, for an infinite cardinal κ, we obtain the definition of a conditionally κ-co-Brouwerian ⟨∨,0⟩-semilattice. We prove that for every conditionally co-Brouwerian lattice S and every partial lattice P, every ⟨∨,0⟩-homomorphism $φ: Con_\{c\} P → S$ can be lifted to a lattice homomorphism f: P → L for some relatively complemented lattice L. Here, $Con_\{c\} 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 these consequences, for every infinite regular cardinal κ and every conditionally κ-co-Brouwerian S of size κ, there exists a relatively complemented lattice L with zero such that $Con_\{c\}L ≅ S$.},
author = {Friedrich Wehrung},
journal = {Colloquium Mathematicae},
keywords = {congruence; amalgamation; pushout; pullback; co-Brouwerian semilattice; join-semilattice; lattice homomorphism; relatively complemented lattice},
language = {eng},
number = {2},
pages = {209-235},
title = {Join-semilattices with two-dimensional congruence amalgamation},
url = {http://eudml.org/doc/284643},
volume = {93},
year = {2002},
}

TY - JOUR
AU - Friedrich Wehrung
TI - Join-semilattices with two-dimensional congruence amalgamation
JO - Colloquium Mathematicae
PY - 2002
VL - 93
IS - 2
SP - 209
EP - 235
AB - 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 ≤ Y (i.e. x ≤ y for all ⟨x,y⟩ ∈ X × Y), there exists z ∈ S such that X ≤ z ≤ Y, and (2) for every subset Z of S and all a, b ∈ S, if a ≤ b ∨ z for all z ∈ Z, then there exists c ∈ S such that a ≤ b ∨ c and c ≤ Z. By restricting this definition to subsets X, Y, and Z of less than κ elements, for an infinite cardinal κ, we obtain the definition of a conditionally κ-co-Brouwerian ⟨∨,0⟩-semilattice. We prove that for every conditionally co-Brouwerian lattice S and every partial lattice P, every ⟨∨,0⟩-homomorphism $φ: Con_{c} P → S$ can be lifted to a lattice homomorphism f: P → L for some relatively complemented lattice L. Here, $Con_{c} 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 these consequences, for every infinite regular cardinal κ and every conditionally κ-co-Brouwerian S of size κ, there exists a relatively complemented lattice L with zero such that $Con_{c}L ≅ S$.
LA - eng
KW - congruence; amalgamation; pushout; pullback; co-Brouwerian semilattice; join-semilattice; lattice homomorphism; relatively complemented lattice
UR - http://eudml.org/doc/284643
ER -