Abstract: An algebra $a$ is uniform if for each $\theta \in \Con a$, every two classes of $\theta $ have the same cardinality. It was shown by W. Taylor that coherent varieties need not be uniform (and vice versa). We show that every coherent variety having transferable congruences is uniform.
Keywords: uniformity, regularity, permutability, coherency, transferable congruences, Mal'cev condition.
Classification (MSC2000): 08A30, 08B05
Full text of the article: