Congruence permutability is prime
Gerg\H{o} Gyenizse, Mikl\'os Mar\'oti, L\'aszl\'o Z\'adori

TL;DR
This paper proves that the property of congruence permutability is prime within the lattice of interpretability types of varieties, confirming a conjecture from 1984.
Contribution
It provides a combinatorial proof establishing the primality of congruence permutability, settling a long-standing conjecture.
Findings
Confirmed that congruence permutability is prime in the lattice of interpretability types.
Provided a combinatorial proof technique for the property.
Settled the 1984 conjecture of Garcia and Taylor.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
