HomePage | RecentChanges | Preferences
No diff available--this is the first major revision.
An algebra is congruence regular if each congruence relation of the algebra is
determined by any one of its congruence classes, i.e. ∀a,b [a]θ = [b]ψ ⇒ θ = ψ.
A class of algebras is congruence regular if each of its members is congruence regular.
Congruence regularity holds for many 'classical' varieties such as groups, rings and vector spaces.
This property can be characterized by a Mal'cev condition ...