# Differences

This shows you the differences between two versions of the page.

— |
congruence_uniform [2010/08/20 20:16] (current) jipsen created |
||
---|---|---|---|

Line 1: | Line 1: | ||

+ | =====Congruence uniformity===== | ||

+ | |||

+ | An algebra is \emph{congruence uniform} if for all congruence relations $\theta$ of the algebra it holds that | ||

+ | all congruence classes of $\theta$ have the same cardinality. | ||

+ | |||

+ | A class of algebras is \emph{congruence uniform} if each of its members is congruence uniform. | ||

+ | |||

+ | Congruence uniformity holds for many 'classical' varieties such as groups, rings and vector spaces. | ||

+ | |||

+ | This property can be characterized by a Mal'cev condition ... | ||

Trace: