All congruence lattice identities implying modularity have Mal'tsev conditions (Q2496159)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | All congruence lattice identities implying modularity have Mal'tsev conditions |
scientific article |
Statements
All congruence lattice identities implying modularity have Mal'tsev conditions (English)
0 references
12 July 2006
0 references
For an arbitrary lattice identity implying congruence modularity, a Mal'tsev condition is given such that the identity holds in congruence lattices of algebras of a variety if and only if the variety satisfies the corresponding Mal'tsev condition. This Mal'tsev condition is formulated by means of Day's condition for congruence modularity and the original identity \(p\leq q\) (stronger than modularity) such that joins in \(p\) and \(q\) are substituted by a certain number of relational products and a Mal'tsev condition for the resulting identity is derived by the standard algorithm of R.\,Wille.
0 references
congruence modularity
0 references
congruence identity
0 references
Mal'tsev condition
0 references
congruence lattice
0 references