A note on congruences of semilattices with sectionally finite height. (Q471164): Difference between revisions

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\).