Congruence permutability is prime

07/18/2021

∙

by   Gergő Gyenizse, et al.

∙

0

∙

share

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.