The pairwise distributive law of semilattice congruences

TL;DR

This paper investigates the structure of the congruence lattice in semilattices, revealing a specific distributive property involving principal congruences and their interactions.

Contribution

It establishes a novel pairwise distributive law for congruences in semilattices, extending understanding of their lattice-theoretic properties.

Findings

Proves the pairwise distributive law for semilattice congruences.

Shows the law holds for possibly infinite families of congruences.

Provides a new perspective on the structure of the congruence lattice.

Abstract

We show that the congruence lattice of a semilattice satsifies a form of distributivity relative to principal congruences of the form $ \Theta_{t \odot s, s}$. Particularly, we establish that semilattice congruences obey the ``pairwise distributive law": \[ (\cap_{i \in w} \Omega_{i}) \vee \Theta_{t \odot s, s} = \cap_{k,r \in w} \big( (\Omega_{k} \cap \Omega_{r}) \vee \Theta_{t \odot s, s} \big) \] for any family of congruences $\{ \Omega_{i} : i\in w \}$, with $w$ a possibly infinite set.