Congruence modularity implies cyclic terms for finite algebras

DOI10.1007/s00012-009-0025-zzbMath1189.08003OpenAlexW1976656137MaRDI QIDQ1047112

Ralph McKenzie, Miklós Maróti, Todd Niven, Marcin Kozik, Libor Barto

Publication date: 4 January 2010

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: http://real.mtak.hu/4596/1/1116616.pdf

zbMATH Keywords

congruence modularityMal'tsev conditioncyclic termweak near-unanimity

Mathematics Subject Classification ID

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

Related Items (4)

Cyclic terms for \(\text{SD}_{\vee}\) varieties revisited ⋮ Smooth digraphs modulo primitive positive constructability and cyclic loop conditions ⋮ Random models of idempotent linear Maltsev conditions. I. Idemprimality ⋮ Mal'tsev condition satisfaction problems for conditions which imply edge terms

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Existence theorems for weakly symmetric operations
• CD(4) has bounded width
• Geometrical methods in congruence modular algebras
• The CSP Dichotomy Holds for Digraphs with No Sources and No Sinks (A Positive Answer to a Conjecture of Bang-Jensen and Hell)
• The structure of finite algebras
• The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
• On tractability and congruence distributivity

This page was built for publication: Congruence modularity implies cyclic terms for finite algebras