Abstract
A condition is found on a congruence modular variety, guaranteeing that the implication AP & RS⇒CEP holds. The condition is in terms of the commutator on congruence lattices. In particular, the implication holds for any congruence distributive variety whose free algebra on four generators is finite.
Similar content being viewed by others
References
C. Bergman,Amalgamation classes of some distributive varieties, Algebra Universalis,20 (1985), 143–166.
S. Burris andH. P. Sankappanavar,A Course in Universal Algebra, Springer-Verlag, New York, 1981.
A. Day,A note on the congruence extension property, Algebra Universalis,1 (1971), 234–235.
R.Freese and R.McKenzie,The commutator, an overview, preprint.
R. Freese andR. McKenzie,Residually small varieties with modular congruence lattices, Trans. Amer. Math. Soc.,264 (1981), 419–430.
H. P. Gumm,An easy way to the commutator in modular varieties, Arch. d. math.,34 (1980), 220–228.
J. Hagemann andC. Herrmann,A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity, Arch. d. Math.,32 (1979), 234–245.
E. Kiss,Injectivity and related concepts in modular varieties I–II, Bull. Australian Math. Soc.,32 (1985), 35–53.
J. Kollár,Injectivity and congruence extension property in congruence distributive equational classes, Algebra Universaiis,10 (1980), 21–26.
R. McKenzie,Narrowness implies uniformity, Algebra Universalis, 15 (1982), 67–85.
W.Taylor,Equational logic, Houston Journal of Mathematics, Survey 1979.
W. Taylor,Residually small varieties, Algebra Universalis,2 (1972) 33–53.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bergman, C. On the relationship of AP, RS and CEP in congruence modular varieties. Algebra Universalis 22, 164–171 (1986). https://doi.org/10.1007/BF01224023
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01224023