Congruence permutability is prime
Combinatorics
2021-07-20 v1 Discrete Mathematics
Abstract
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.
Cite
@article{arxiv.2107.08456,
title = {Congruence permutability is prime},
author = {Gergő Gyenizse and Miklós Maróti and László Zádori},
journal= {arXiv preprint arXiv:2107.08456},
year = {2021}
}