Congruence modularity at 0 (Q647314)

Given a variety \({\mathcal V}\) with a constant \(0\) in its type and a lattice identity \(p\leq q\), we say that \(p\leq q\) holds for congruences in \({\mathcal V}\) at \(0\) if the \(p\)-block of \(0\) is included in the \(q\)-block of \(0\) for all substitutions of congruences of \({\mathcal V}\)-algebras for the variables of \(p\) and \(q\). The main result of this paper is a Mal'tsev-type characterization of varieties that are modular at \(0\). The proof is based on the same ideas as A. Day's classical characterization of congruence modularity.