Differences

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

congruence_distributive [2010/08/20 20:00]
jipsen
congruence_distributive [2010/08/20 20:01] (current)
jipsen
Line 1: Line 1:
-=====Congruence distributive=====+=====Congruence distributivity=====
An algebra is \emph{congruence distributive} (or CD for short) if its lattice of congruence relations is a [[distributive lattices|distributive lattice]]. An algebra is \emph{congruence distributive} (or CD for short) if its lattice of congruence relations is a [[distributive lattices|distributive lattice]].