Skip to main content
SpringerLink
Log in

Varieties of Regular Pseudocomplemented de Morgan Algebras

  • Published:
Order Aims and scope Submit manuscript

Abstract

In this paper, we investigate the varieties Mn and Kn of regular pseudocomplemented de Morgan and Kleene algebras of range n, respectively. Priestley duality as it applies to pseudocomplemented de Morgan algebras is used. We characterise the dual spaces of the simple (equivalently, subdirectly irreducible) algebras in Mn and explicitly describe the dual spaces of the simple algebras in M1 and K1. We show that the variety M1 is locally finite, but this property does not extend to Mn or even Kn for n =?2. We also show that the lattice of subvarieties of K1 is an ? +?1 chain and the cardinality of the lattice of subvarieties of either K2 or M1 is 2?. A description of the lattice of subvarieties of M1 is given.

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., Sankappanavar, H.P., Vaz de Carvalho, J.: Regular double p-algebras. Math. Slovaca 69, 15–34 (2019)

    Article  MathSciNet  Google Scholar 

  2. Balbes, R., Dwinger, P.: Distributive Lattices. University of Missouri Press, Columbia (1974)

    MATH  Google Scholar 

  3. Beazer, R.: The determination congruence on double p-algebras. Algebra Universalis 6, 121–129 (1976)

    Article  MathSciNet  Google Scholar 

  4. Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Springer, New York (1981)

    Book  Google Scholar 

  5. Cornish, W.H., Fowler, P.R.: Coproducts of De Morgan algebras. Bull. Austral. Math. Soc. 16, 1–13 (1977)

    Article  MathSciNet  Google Scholar 

  6. Cornish, W.H., Fowler, P.R.: Coproducts of Kleene algebras. J. Austral. Math. Soc. Ser. A 27, 209–220 (1979)

    Article  MathSciNet  Google Scholar 

  7. Denecke, K.: Functional completeness in pseudocomplemented De Morgan algebras. Beitr. Algebra Geom. 24, 135–150 (1987)

    MathSciNet  MATH  Google Scholar 

  8. Gaitán, H.: Free algebras in certain varieties of distributive pseudocomplemented De Morgan algebras. Math. Log. Quart. 44, 553–567 (1998)

    Article  MathSciNet  Google Scholar 

  9. Guzmán, F., Squier, C.: Subdirectly irreducible and free Kleene-Stone algebras. Algebra Universalis 31, 266–273 (1994)

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  11. Kalman, J.A.: Lattices with involution. Trans. Amer. Math. Soc. 87, 485–491 (1958)

    Article  MathSciNet  Google Scholar 

  12. Koubek, V., Sichler, J.: Categorical universality of regular double p-algebras. Glasgow Math. J. 32, 329–340 (1990)

    Article  MathSciNet  Google Scholar 

  13. Katrinák, T.: The structure of distributive double p-algebras. Regularity and congruences. Algebra Universalis 3, 238–246 (1973)

    Article  MathSciNet  Google Scholar 

  14. Mal’cev, A.: Algebraicheskie Systemi [in Russian], Nauka Press, Moscow, 1970. English Translation: Algebraic Systems. Academie, Berlin (1973)

    Google Scholar 

  15. McKenzie, R.N., McNulty, G.F., Taylor, W.F.: Algebras, Lattices Varieties, vol. 1. Wadsworth & Brooks/Cole, California (1987)

    MATH  Google Scholar 

  16. Priestley, H.A.: Representation of distributive lattices by means of ordered Stone spaces. Bull. London Math. Soc. 2, 186–190 (1970)

    Article  MathSciNet  Google Scholar 

  17. Priestley, H.A.: The construction of spaces dual to pseudocomplemented distributive lattices. Quart. J. Math. Oxford Ser. (2) 26, 215–228 (1975)

    Article  MathSciNet  Google Scholar 

  18. Priestley, H.A.: Ordered Sets and Duality for Distributive Lattices, Orders: Description and Roles (L’Arbresle, 1982), vol. 99, pp 39–60. North-Holland Math Stud., North-Holland (1984)

    Google Scholar 

  19. Ribenboim, P.: Characterization of the sup-complement in a distributive lattice with last element. Summa Brasil. Math. 2, 43–49 (1949)

    MathSciNet  MATH  Google Scholar 

  20. Romanowska, A.: Subdirectly irreducible pseudocomplemented De Morgan algebras. Algebra Universalis 12, 70–75 (1981)

    Article  MathSciNet  Google Scholar 

  21. Sankappanavar, H.P.: Pseudocomplemented Ockham and De Morgan algebras. Z. Math. Logik Grundlag. Math. 32, 385–394 (1986)

    Article  MathSciNet  Google Scholar 

  22. Sankappanavar, H.P.: Principal congruences of pseudocomplemented De Morgan algebras. Z. Math. Logik Grundlag. Math. 33, 3–11 (1987)

    Article  MathSciNet  Google Scholar 

  23. Sankappanavar, H.P.: Heyting algebras with a dual lattice endomorphism. Z. Math. Logik Grundlag. Math. 33, 565–573 (1987)

    Article  MathSciNet  Google Scholar 

  24. Sankappanavar, H.P., Vaz de Carvalho, J.: Congruence properties of pseudocomplemented De Morgan algebras. Math. Log. Quart. 60, 425–436 (2014)

    Article  MathSciNet  Google Scholar 

  25. Taylor, C.J.: Algebras of incidence structures: representations of regular double p-algebras. Algebra Universalis 76, 479–491 (2016)

    Article  MathSciNet  Google Scholar 

  26. Varlet, J: Algèbres de Lukasiewicz trivalentes. Bull. Soc. Roy. Sci. Liè,ge 36, 399–408 (1968)

    MATH  Google Scholar 

  27. Varlet, J.: A regular variety of type <?2, 2, 1, 1, 0, 0 >. Algebra Universalis 2, 218–223 (1972)

    Article  MathSciNet  Google Scholar 

  28. Wang, X.P., Wang, L.B.: The lattices of kernel ideals in pseudocomplemented De Morgan algebras. Order 34, 23–35 (2017)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgments

This work was partially supported by the Fundação para a Ciência e Tecnologia (Portuguese Foundation for Science and Technology) through the projects UID/MAT/00297/2013 and UID/MAT/00297/2019 (Centro de Matemática e Aplicações).

Author information

Authors and Affiliations

  1. Department of Mathematics, State University of New York, New Paltz, NY, 12561, USA

    M. E. Adams & H. P. Sankappanavar

  2. Centro de Matemática e Aplicações, Departamento de Matemática, Faculdade de Ciências e Tecnologia, Universidade NOVA de Lisboa, 2829-516, Caparica, Portugal

    Júlia Vaz de Carvalho

Authors
  1. M. E. Adams
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. H. P. Sankappanavar
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Júlia Vaz de Carvalho
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to H. P. Sankappanavar.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Adams, M.E., Sankappanavar, H.P. & de Carvalho, J.V. Varieties of Regular Pseudocomplemented de Morgan Algebras. Order 37, 529–557 (2020). https://doi.org/10.1007/s11083-019-09518-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11083-019-09518-y

Keywords

Mathematics Subject Classification (2010)

Search

Navigation