Publication at Faculty of Mathematics and Physics |
2018
Abstract
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.