Congruence computations in principal arithmetical varieties (Q1623244)

Let $\mathcal V$ be an arithmetical affine complete variety of finite type. The paper extends a result of the authors [Algebra Univers. 55, No. 2--3, 203--212 (2006; Zbl 1110.08002)] saying that then there exists a Pixley term $p(x,y,z)$ such that $\mathcal V$ is a principal principal arithmetical variety with respect to $p(x,y,z)$ (i.e., $\forall \mathbf{A}\in \mathcal{V},\ (z,v)\in \mathrm{Cg}(x,y)\Longleftrightarrow{p(x,y,z)=p(x,y,w)}$). The main findings of the authors are as follows: 1) Let $p(x,y,z)$ be any principal Pixley term for $\mathcal{V}$ and let $m$ be the the majority term with $m(x,y,z)=p(x,p(x,y,z),z)$. Then the meet of principal congruences in algebras of $\mathcal{V}$ is given by the formula $\mathrm{Cg}(a,b)\wedge \mathrm{Cg}(c,d)=\mathrm{Cg}(m(a,b,c),m(a,b,d))$. 2) If the minimal algebra $\mathbf{A}$ generating $\mathcal{V}$ is regular, then there exists a principal Pixley term $p(x,y,z)$ for $\mathcal{V}$ such that the join of principal congruences in algebras of $\mathcal{V}$ is given by the formula $\mathrm{Cg}(a,b)\vee \mathrm{Cg}(c,d)=\mathrm{Cg}(p(a,b,c),p(b,a,d))$. The text contains examples, e.g., the example concerning the Chinese remainder theorem.