Coherence of diagonal subalgebras and factorable congruences (Q690103)

The author shows that there is a certain kind of coherence which is equivalent to congruence permutability and congruence regularity on quasivarieties. A subalgebra \({\mathcal B}\) of an algebra \({\mathcal A}\) is coherent with a congruence \(\alpha\in \text{Con } {\mathcal A}\), if \([b]\alpha \subseteq B\) for some \(b\in B\) implies that \([x]\alpha \subseteq B\) for all \(x\in B\). A diagonal subalgebra \({\mathcal S}\) of \({\mathcal A}\times {\mathcal A}\) contains the diagonal \(\omega= \{\langle a,a\rangle\); \(a\in A\}\). Congruences on \({\mathcal A}\times {\mathcal A}\) are called factorable if they are of the form \(\alpha\times \beta\) (\(\alpha,\beta\in \text{Con } {\mathcal A}\)). Via two local version of Geiger's theorem and a local version of Werner's theorem one obtains: (a) The coherence of diagonal symmetric subalgebras of the square with factorable congruences of an algebra \({\mathcal A}\) implies that \({\mathcal A}\) has permutable and regular congruences. (b) The coherence with factorable congruences on \({\mathcal A}\times {\mathcal A}\) of a diagonal subalgebra \({\mathcal S}\) of the square \({\mathcal A}\times {\mathcal A}\) of a congruence regular algebra \({\mathcal A}\) follows from the fact that \({\mathcal S}\) has permutable congruences. So one obtains that for a quasivariety \(Q\) the following conditions are equivalent: (1) The coherence with factorable congruences on \({\mathcal A}\times {\mathcal A}\), \({\mathcal A}\in Q\), of diagonal subalgebras of \({\mathcal A}\times {\mathcal A}\). (2) The coherence with factorable congruences on \({\mathcal A}\times {\mathcal A}\), \({\mathcal A}\in Q\), of diagonal symmetric subalgebras of \({\mathcal A}\times {\mathcal A}\). (3) \(Q\) is congruence permutable and congruence regular.