Congruence permutability is prime

Gergő Gyenizse, Miklós Maróti, László Zádori

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.

Knowledge Graph



Sign up or login to leave a comment