Skip to main content
SpringerLink
Log in

The determination of subvarieties of certain congruence-distributive varieties

  • Published:
algebra universalis Aims and scope Submit manuscript

Abstract

This note concerns the problem of determining equational bases for the subvarieties of a congruence-distributive variety generated by a finite algebra. It describes a procedure, based on the duality for finite distributive lattices, which converts a local solution to this problem into a global one. For many varieties of distributive-lattice-ordered algebras a local solution of the required form can be obtained from a natural duality in which identities are very conveniently encoded.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Adams, M. E.,Principal congruences in de Morgan algebras, Proc. Edinburgh Math. Soc.30 (1987), 415–421.

    Google Scholar 

  2. Adams, M. E. andPriestley, H. A.,Equational bases for varieties of Ockham algebras, Algebra Universalis (to appear).

  3. Baker, K. A.,Equational axioms for classes of lattices, Bull. Amer. Math. Soc.77 (1971), 97–102.

    Google Scholar 

  4. Baker, K. A.,Primitive satisfaction and equational problems for lattices and other algebras, Trans. Amer. Math. Soc.190 (1974), 125–150.

    Google Scholar 

  5. Baker, K. A.,Equational axioms for classes of Heyting algebras, Algebra Universalis6 (1976), 105–120.

    Google Scholar 

  6. Baker, K. A.,Finite equational bases for finite algebras in a congruence-distributive variety, Adv. in Math.24 (1977), 207–243.

    Google Scholar 

  7. Berman, J.,Distributive lattices with an additional unary equation, Aequationes Math.16 (1977), 165–171.

    Google Scholar 

  8. Berman, J. andKöhler, P.,Finite distributive lattices and finite partially ordered sets, Mitt. Math. Sem. Giessen121 (1976), 103–124.

    Google Scholar 

  9. Blok, W. andPigozzi, D.,On the structure of varieties with equationally definable principal congruences, Algebra Universalis15 (1982), 195–227.

    Google Scholar 

  10. Blyth, T. S., Noor, A. S. A. andVarlet, J. C.,Ockham algebras with de Morgan skeletons, J. Algebra117 (1988), 165–178.

    Google Scholar 

  11. Blyth, T. S., Noor, A. S. A. andVarlet, J. C.,Equational bases for subvarieties of double MS-algebras, Glasgow Math. J.31 (1989), 1–16.

    Google Scholar 

  12. Blyth, T. S. andVarlet, J. C.,Subvarieties of the class of MS-algebras, Proc. Roy. Soc. Edinburgh Sect. A95 (1983), 157–169.

    Google Scholar 

  13. Burris, S. andSankappanavar, H. P.,A course in universal algebra, Springer-Verlag, New York, Heidelberg, Berlin, 1981.

    Google Scholar 

  14. de Carvalho, J. V.,The subvariety K20 of Ockham algebras, Bull. Soc. Roy. Sci. Liège53 (1984), 393–400.

    Google Scholar 

  15. Cornish, W. H.,Antimorphic action. Categories of algebraic structures with involutions or antiendomorphisms, R&E Research and Exposition in Mathematics,12, Heldermann Verlag, Berlin, 1986.

    Google Scholar 

  16. Davey, B. A.,On the lattice of subvarieties, Houston J. Math.5 (1979), 183–192.

    Google Scholar 

  17. Davey, B. A. andPriestley, H. A.,Generalised piggyback dualities and applications to Ockham algebras, Houston J. Math.13 (1987), 151–197.

    Google Scholar 

  18. Davey, B. A. andPriestley, H. A.,Introduction to lattices and order, Cambridge University Press, Cambridge, 1989.

    Google Scholar 

  19. Jónsson, B.,Algebras whose congruence lattices are distributive, Math. Scand.21 (1967), 110–121.

    Google Scholar 

  20. Priestley, H. A.,Natural dualities for varieties of distributive-lattice-ordered algebras, preprint.

  21. Priestley, H. A. andWard, M. P.,A multipurpose backtracking algorithm, J. Symbolic Computation (to appear).

  22. Ramalho, M.,Alguns aspectos das álgebras de Ockham, Actas das XV Jornados Luso-Espanholas de Matemática, Évora, 1990 (to appear).

  23. Sankappanavar, H. P.,Distrivutive lattices with a dual endomorphism, Zeitschr. f. Math. Logik und Grundlagen d. Math.31 (1985), 385–392.

    Google Scholar 

  24. Sequeira, M.,Varieties of Ockham algebras satisfying x ≤ f4(x), Portugal. Math.45 (1988), 369–391.

    Google Scholar 

  25. Urquhart, A.,Lattices with a dual homomorphic operation, Studia Logica38 (1979), 201–209.

    Google Scholar 

  26. Wille, R.,Finite distributive lattices as concept lattices, Atti Inc. Logica Matematica (Siena)2 (1985), 635–648.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mathematical Institute, 24-29 St Giles, OX1 3LB, Oxford, England

    H. A. Priestley

Authors
  1. H. A. Priestley
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Dedicated to Bjarni Jonsson on his 70th birthday

Rights and permissions

Reprints and permissions

About this article

Cite this article

Priestley, H.A. The determination of subvarieties of certain congruence-distributive varieties. Algebra Universalis 32, 44–62 (1994). https://doi.org/10.1007/BF01190816

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01190816

Keywords

Search

Navigation