A note on congruences of semilattices with sectionally finite height. (Q471164)

The authors consider correspondence between congruences of semilattices and certain special subsets of their universes in this paper. For an algebra \(A\) and a given subset \(F\subseteq A\), it is known that the largest congruence of \(A\) compatible with \(F\) exists, which is called Leibniz congruence and denoted by \(\Omega^AF\). This notion gives rise to a map \(\Omega^A\colon\mathcal P(A)\to\mathrm{Con}(A)\), called Leibniz operator. For a meet semilattice \(A\), it is said to have sectionally finite height when each principal downset of \(A\) has finite height. They define a notion of ``rainbow'' for a semilattice with sectionally finite length as follows: \(\mathcal R(A)=\{a\in A\mid\mathcal H(a)=2n+1,\text{ for some }n\in N\}\), where \(\mathcal H(a)=\max\{|L|\mid L\text{ is a chain of}\downarrow a\}\). They show that Leibniz operator induces a bijection between the set of congruences of a semilattice with sectionally finite height and certain special subsets of its universe as the following theorem: Theorem 4.2. If \(A\) is a semilattice with sectionally finite height, then \(\Omega^A\colon\text{Cl}(A)\to\text{Con}(A)\) is a bijection, where \(\text{Cl}(A)=\{F\subseteq A\mid F\text{ is a cloud}\}\) and \(F\) is called ``cloud'' when \(F/\Omega^AF=\mathcal R(A/\Omega^AF)\). Moreover, they solve an open problem whether, given an arbitrary semilattice \(A\), there is a subset \(F\subseteq A\) such that \(\Omega^AF=\Delta_A\), for the case of semilattices with sectionally finite height in: Theorem 3.5. If \(A\) is a semilattice with sectionally finite height, then \(\Omega^A\mathcal R(A)=\Delta_A\).