We give a combinatorial proof that congruence permutability is prime in the lattice of interpretability types of varieties. Thereby, we settle a 1984 conjecture of Garcia and Taylor.
翻译：我们给出了一组证据,证明一致性的可互换性在可解释性种类的宽度中是最重要的。 因此,我们解决了1984年加西亚和泰勒的猜测。
相关内容
Arxiv
0+阅读 · 2021年9月16日
Arxiv
3+阅读 · 2018年9月15日
Arxiv
4+阅读 · 2018年2月19日
相关VIP内容
相关资讯
相关论文
Arxiv
0+阅读 · 2021年9月16日
Arxiv
3+阅读 · 2018年9月15日
Arxiv
4+阅读 · 2018年2月19日
微信扫码咨询专知VIP会员