A Characterization of Idempotent Strong Mal’cev Conditions for Congruence Meet-Semidistributivity in Locally Finite Varieties
Algebra Universalis(2018)
摘要
We prove a characterization of all idempotent, linear, strong Mal’cev conditions in two variables which hold in all locally finite congruence meet-semidistributive varieties. This is an alternative proof to the one previously given by Z. Brady, and has some advantages, some disadvantages, to his approach. Along the way we prove that such a strong Mal’cev condition holds in all locally finite congruence meet-semidistributive varieties iff it is realized in a certain four-element algebra.
更多查看译文
关键词
Mal’cev condition,Congruence meet-semidistributive,Variety,Constraint satisfaction problem,Ramsey theory,Tame congruence theory
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要