All congruence lattice identities implying modularity have Mal'tsev conditions (Q2496159)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5040229
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | All congruence lattice identities implying modularity have Mal'tsev conditions |
scientific article; zbMATH DE number 5040229 |
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
0.8558025360107422
0 references
0.8227221965789795
0 references
0.79841548204422
0 references
