No label defined (Q4029101)

Let \(\mathbb{K}\) be a quasivariety and \(A \in \mathbb{K}\). Write \(\text{Con}_ \mathbb{K} A\) for the set of all congruences \(\theta \in \text{Con} A\) such that \(A/ \theta \in \mathbb{K}\). For \(X \subseteq A \times A\), let \(\Theta^ A(X)=\bigcap \{\theta \in \text{Con} A;X \subseteq \theta\}\) and \(\Theta^ A_ \mathbb{K}=\bigcap \{\theta \in \text{Con}_ \mathbb{K} A;X \subseteq \theta\}\). \textit{K. Kearnes} and \textit{R. McKenzie} [Trans. Am. Math. Soc. 331, 465-502 (1992; Zbl 0772.08007)] proved that \(\Theta^ A_ \mathbb{K}\) induces a lattice homomorphism from \(\text{Con} A\) onto \(\text{Con}_ \mathbb{K} A\) provided \(\text{Con}_ \mathbb{K} A\) is a modular lattice. The author proves that for the (special) case of distributive \(\text{Con}_ \mathbb{K} A\) this result follows rather directly from the characterization of quasivarieties with \(\text{Con}_ \mathbb{K} A\) distributive obtained by the author, Dziobiak and Pigozzi \((\text{Con}_ \mathbb{K} A\) is distributive iff for a possibly infinite list \((p_ i\cdot q_ i)\) \((i \in I)\) of terms one has \(\Theta^ A_ \mathbb{K}(a,b) \cap\Theta^ A_ \mathbb{K}(c,d)=\sup_ \mathbb{K} \{\Theta^ A_ \mathbb{K} (p_ i(a,b,c,d,e)=q_ i(a,b,c,d,e);\;i \in I,\;e \in A^ \omega\}\) for all \(a,b,c,d \in A)\).