Taylor's Modularity Conjecture and Related Problems for Idempotent Varieties

Abstrakt

We provide a partial result on Taylor's modularity conjecture, and several related problems. Namely, we show that the interpretability join of two idempotent varieties that are not congruence modular is not congruence modular either, and we prove an analog for idempotent varieties with a cube term.

Also, similar results are proved for linear varieties and the properties of congruence modularity, having a cube term, congruence n-permutability for a fixed n, and satisfying a non-trivial congruence identity.

Klíčová slova

• Mal'cev condition
• Interpretability
• Congruence modularity
• Cube term