All congruence lattice identities implying modularity have Mal'tsev conditions

DOI10.1007/S00012-003-1818-0MaRDI QIDQ2496159zbMATH OpenOpenAlexFDO

Authors Gábor Czédli, Eszter K. Horváth

Publication date 12 July 2006

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-003-1818-0

zbMATH Keywords

congruence identitycongruence latticecongruence modularityMal'tsev condition

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10)

Review text

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.

Recommendations

• scientific article; zbMATH DE number 2064076
• Optimal Mal'tsev conditions for congruence modular varieties
• scientific article; zbMATH DE number 3939410
• Congruence semimodularity and identities
• On congruence distributivity and modularity

Cited in

(11)

• How are diamond identities implied in congruence varieties?
• Optimal Mal'tsev conditions for congruence modular varieties
• scientific article; zbMATH DE number 3904652 (Why is no real title available?)
• scientific article; zbMATH DE number 3939410 (Why is no real title available?)
• scientific article; zbMATH DE number 93744 (Why is no real title available?)
• scientific article; zbMATH DE number 2064076 (Why is no real title available?)
• scientific article; zbMATH DE number 2135243 (Why is no real title available?)
• scientific article; zbMATH DE number 2162136 (Why is no real title available?)
• Congruence modularity at 0
• On congruence distributivity and modularity
• Horn sentences with (W) and weak Mal'cev conditions

This page was built for publication: All congruence lattice identities implying modularity have Mal'tsev conditions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2496159)