No label defined (Q4944760)

All the algebras considered in this paper have a constant, denoted by \(0\), which is either a nullary operation or a nullary term. An algebra \(\mathcal A\) is \(n\)-permutable at \(0\) if for every \(\Theta,\Phi\in \text{Con} {\mathcal A}\), \([0]_{\Theta\circ\Phi\circ\Theta\dots}=[0]_{\Phi\circ\Theta\circ\Phi\dots}\), where there are \(n\) factors on each side. It is distributive at \(0\) if \([0]_{\Theta\cap(\Phi\cup\Psi)}=[0]_{(\Theta\cap\Phi)\cup(\Theta\cap\Psi)}\). A variety \(\mathcal V\) has the corresponding property if every algebra \({\mathcal A} \in{\mathcal V}\) has that property. A variety \(\mathcal V\) has weakly parallel classes if for every \({\mathcal A},{\mathcal B}\in {\mathcal V}\) and each \(\Theta\in \text{ Con} {\mathcal A}\times{\mathcal B}\) and for every \(x,y\in A\) and \(z,v\in B\), \(\langle [0,z],[0,v]\rangle\in \Theta \Longrightarrow \langle [y,z],[y,v]\rangle\in \Theta\) and \(\langle [x,0],[y,0]\rangle\in \Theta \Longrightarrow \langle [x,v],[y,v]\rangle\in \Theta\). Mal'tsev conditions are given for varieties satisfying various combinations of these conditions, namely: (1) \(3\)-permutable at \(0\); {}(2) \(n\)-permutable at \(0\) and distributive at \(0\); {}(3) weakly parallel classes; {}(4) weakly parallel classes, subject to congruence permutability. Some concrete examples of appropriate Mal'tsev terms are given.