Differences
This shows you the differences between two versions of the page.
congruence_modular [2010/08/20 20:05] jipsen created |
congruence_modular [2010/08/20 20:07] (current) jipsen |
||
---|---|---|---|
Line 7: | Line 7: | ||
Congruence modularity holds for many 'classical' varieties such as groups and rings. | Congruence modularity holds for many 'classical' varieties such as groups and rings. | ||
- | A Mal'cev condition (with 4-ary terms) for congruence modularity is given by [(Alan Day, \emph{A characterization of modularity for congruence lattices of algebras.}, | + | A Mal'cev condition (with 4-ary terms) for congruence modularity is given by Alan Day, \emph{A characterization of modularity for congruence lattices of algebras.}, |
- | Canad. Math. Bull., \textbf{12}, 1969, 167-173 [[http://www.ams.org/mathscinet-getitem?mr=40:1317|MRreview]])] | + | Canad. Math. Bull., \textbf{12}, 1969, 167-173 [[http://www.ams.org/mathscinet-getitem?mr=40:1317|MRreview]] |
- | Another Mal'cev condition (with ternary terms) for congruence modularity is given by [(H.-Peter Gumm, \emph{Congruence modularity is permutability composed with distributivity}, | + | Another Mal'cev condition (with ternary terms) for congruence modularity is given by H.-Peter Gumm, \emph{Congruence modularity is permutability composed with distributivity}, |
- | Arch. Math. (Basel), \textbf{36}, 1981, 569-576 [[http://www.ams.org/mathscinet-getitem?mr=82j:08009|MRreview]])] | + | Arch. Math. (Basel), \textbf{36}, 1981, 569-576 [[http://www.ams.org/mathscinet-getitem?mr=82j:08009|MRreview]] |
- | Several further characterizations are given in [(Steven T. Tschantz, \emph{More conditions equivalent to congruence modularity}, | + | Several further characterizations are given by Steven T. Tschantz, \emph{More conditions equivalent to congruence modularity}, |
Universal algebra and lattice theory (Charleston, S.C., 1984), | Universal algebra and lattice theory (Charleston, S.C., 1984), | ||
Lecture Notes in Math. | Lecture Notes in Math. | ||
- | \textbf{1149}, 1985, 270-282, [[http://www.ams.org/mathscinet-getitem?mr=87e:08009|MRreview]])] | + | \textbf{1149}, 1985, 270-282, [[http://www.ams.org/mathscinet-getitem?mr=87e:08009|MRreview]] |
=== Properties that imply congruence modularity === | === Properties that imply congruence modularity === |
Trace: