No label defined (Q4210656)

Let \({\mathbf A}= (A;F)\) be an algebra and 0 a fixed element of \(A\), then \({\mathbf A}\) is called modular (resp. strongly modular) at 0 if \(\theta\subseteq \varphi\) (resp. \([0]\theta \subseteq [0]\varphi)\) implies \([0] \varphi\cap (\psi\vee \theta)= [0] (\varphi\cap \psi)\vee\theta\), for all congruences \(\theta\), \(\varphi\), \(\psi\) on \({\mathbf A}\). In a former paper by \textit{I. Chajda} [``A localization of some congruence conditions in varieties with nullary operations'', Ann. Univ. Sci. Budap. Rolando Eőtvős, Sect. Math. 30, 17-23 (1987; Zbl 0636.08004)], permutability at 0 and 3-permutability at 0 were defined, and \textit{H.-P. Gumm} [Geometrical methods in congruence modular algebras, Mem. Am. Math. Soc. 286 (1983; Zbl 0547.08006)] considered two other important congruence properties of algebras: the Shifting Lemma and the Shifting Principle. In the present paper, connections of modularity (resp. strong modularity) at 0 with permutability at 0, 3-permutability at 0, the Shifting Lemma at 0 and the Shifting Principle at 0 are shown. In particular, the following results are proved: If \({\mathbf A}\) is permutable at 0, then \({\mathbf A}\) is strongly modular at 0. If \({\mathbf A}\) is 3-permutable at 0, then \({\mathbf A}\) is modular at 0. If \({\mathbf A}\) is modular at 0, then the Shifting Lemma at 0 holds in \({\mathbf A}\). If \({\mathbf A}\) satisfies the Shifting Principle at 0, then \({\mathbf A}\) is modular at 0. Furthermore, a necessary term condition for congruence modularity at 0 is given.