[Home]Congruence modular

HomePage | RecentChanges | Preferences
Showing revision 3
An algebra is congruence modular (or CM for short) if its lattice of congruence relations is modular.

A class of algebras is congruence modular if each of its members is congruence modular.

Congruence modularity holds for many 'classical' varieties such as groups and rings.

Properties that imply congruence modularity

Congruence permutability

Congruence distributivity

Properties implied by congruence modularity

HomePage | RecentChanges | Preferences
This page is read-only | View other revisions | View current revision
Edited March 15, 2003 7:08 pm (diff)
Search: