algebra universalis

, Volume 22, Issue 2–3, pp 164–171 | Cite as

On the relationship of AP, RS and CEP in congruence modular varieties

  • Clifford Bergman
Article
Received:
Accepted:

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.

Keywords

Distributive Variety Free Algebra Congruence Lattice Modular Variety Congruence Modular Variety 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    C. Bergman,Amalgamation classes of some distributive varieties, Algebra Universalis,20 (1985), 143–166.Google Scholar
  2. [2]
    S. Burris andH. P. Sankappanavar,A Course in Universal Algebra, Springer-Verlag, New York, 1981.Google Scholar
  3. [3]
    A. Day,A note on the congruence extension property, Algebra Universalis,1 (1971), 234–235.Google Scholar
  4. [4]
    R.Freese and R.McKenzie,The commutator, an overview, preprint.Google Scholar
  5. [5]
    R. Freese andR. McKenzie,Residually small varieties with modular congruence lattices, Trans. Amer. Math. Soc.,264 (1981), 419–430.Google Scholar
  6. [6]
    H. P. Gumm,An easy way to the commutator in modular varieties, Arch. d. math.,34 (1980), 220–228.Google Scholar
  7. [7]
    J. Hagemann andC. Herrmann,A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity, Arch. d. Math.,32 (1979), 234–245.Google Scholar
  8. [8]
    E. Kiss,Injectivity and related concepts in modular varieties I–II, Bull. Australian Math. Soc.,32 (1985), 35–53.Google Scholar
  9. [9]
    J. Kollár,Injectivity and congruence extension property in congruence distributive equational classes, Algebra Universaiis,10 (1980), 21–26.Google Scholar
  10. [10]
    R. McKenzie,Narrowness implies uniformity, Algebra Universalis, 15 (1982), 67–85.Google Scholar
  11. [11]
    W.Taylor,Equational logic, Houston Journal of Mathematics, Survey 1979.Google Scholar
  12. [12]
    W. Taylor,Residually small varieties, Algebra Universalis,2 (1972) 33–53.Google Scholar

Copyright information

© Birkhäuser Verlag 1986

Authors and Affiliations

  • Clifford Bergman
    • 1
  1. 1.Iowa State UniversityAmesUSA

Personalised recommendations