Congruence modularity at 0 (Q647314)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Congruence modularity at 0 |
scientific article |
Statements
Congruence modularity at 0 (English)
0 references
23 November 2011
0 references
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.
0 references
congruence modularity
0 references
Day terms
0 references
Mal'tsev condition
0 references
congruence lattice
0 references