Skip to main content
SpringerLink
Log in

Finitely based congruence varieties

  • Published:
Algebra universalis Aims and scope Submit manuscript

Abstract

We show that for a large class of varieties of algebras, the equational theory of the congruence lattices of the members is not finitely based.

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

Fig. 1
Fig. 2

Similar content being viewed by others

Data availability

Data sharing not applicable to this article as datasets were neither generated nor analyzed.

References

  1. Agliano, P., Bartali, S., Fioravanti, S.: On Freese’s technique. Int. J. Algebra Comput. 33(8), 1599–1616 (2023)

    Article  MathSciNet  Google Scholar 

  2. Artin, E.: Coordinates in affine geometry. Rep. Math. Colloq. 2(2), 15–20 (1940)

    MathSciNet  Google Scholar 

  3. Baker, K., Hales, A.W.: From a lattice to its ideal lattice. Algebra Universalis 4, 250–258 (1974)

    Article  MathSciNet  Google Scholar 

  4. Birkhoff, G.: Lattice theory. In: Rev, R.I. (ed.) Colloquium Publications. American Mathematical Society, Providence (1948)

    Google Scholar 

  5. Crawley, P., Dilworth, R.P.: Algebraic Theory of Lattices. Prentice-Hall, Englewood Cliffs (1973)

    Google Scholar 

  6. Day, A., Freese, R.: A characterization of identities implying congruence modularity. I. Can. J. Math. 32, 1140–1167 (1980)

    Article  MathSciNet  Google Scholar 

  7. Day, A., Pickering, D.: A note on the Arguesian lattice identity. Stud. Sci. Math. Hung. 19(2–4), 303–305 (1984)

    MathSciNet  Google Scholar 

  8. Dedekind, R.: Über die von drei Moduln erzeugte Dualgruppe. Math. Ann. 53, 371–403 (1900)

    Article  MathSciNet  Google Scholar 

  9. Freese, R.: The variety of modular lattices is not generated by its finite members. Trans. Am. Math. Soc. 255, 277–300 (1979)

    Article  MathSciNet  Google Scholar 

  10. Freese, R.: Finitely based modular congruence varieties are distributive. Algebra Universalis 32(1), 104–114 (1994)

    Article  MathSciNet  Google Scholar 

  11. Freese, R., Herrmann, C., Huhn, A.P.: On some identities valid in modular congruence varieties. Algebra Universalis 12(3), 322–334 (1981)

    Article  MathSciNet  Google Scholar 

  12. Freese, R., Ježek, J., Nation, J.B.: Free lattices, Mathematical Surveys and Monographs, vol. 42. American Mathematical Society, Providence (1995)

    Google Scholar 

  13. Freese, R., Jónsson, B.: Congruence modularity implies the Arguesian identity. Algebra Universalis 6(2), 225–228 (1976)

    Article  MathSciNet  Google Scholar 

  14. Freese, R., McKenzie, R.: Commutator Theory for Congruence Modular Varieties, London Mathematical Society Lecture Note Series, vol. 125. Cambridge University Press, Cambridge (1987) Online version http://www.math.hawaii.edu/~ralph/papers.html

  15. Freese, R.S., McKenzie, R.N., McNulty, G.F., Taylor, W.F.: Algebras, Lattices, Varieties. Volume II, Mathematical Surveys and Monographs, vol. 268. American Mathematical Society, Providence (2022)

    Book  Google Scholar 

  16. Freese, R.S., McKenzie, R.N., McNulty, G.F., Taylor, W.F.: Algebras, Lattices, Varieties, Volume III, Mathematical Surveys and Monographs, vol. 269. American Mathematical Society, Providence (2022)

    Book  Google Scholar 

  17. Frink, O.: Complemented modular lattices and projective spaces of infinite dimension. Trans. Am. Math. Soc. 60, 452–467 (1946)

    Article  MathSciNet  Google Scholar 

  18. Haiman, M.: Arguesian lattices which are not type-\(1\). Algebra Universalis 28, 128–137 (1991)

    Article  MathSciNet  Google Scholar 

  19. Herrmann, C., Huhn, A.P.: Zum Begriff der Charakteristik modularer Verbände. Math. Z. 144, 185–194 (1975)

    Article  MathSciNet  Google Scholar 

  20. Herrmann, C., Pickering, D., Roddy, M.: A geometric description of modular lattices. Algebra Universalis 31, 365–396 (1994)

    Article  MathSciNet  Google Scholar 

  21. Herrmann, C., Poguntke, W.: The class of sublattices of normal subgroup lattices is not elementary. Algebra Universalis 4, 280–286 (1974)

    Article  MathSciNet  Google Scholar 

  22. Huhn, A.P.: Schwach distributive Verbände. I. Acta. Sci. Math (Szeged) 33, 297–305 (1972)

    MathSciNet  Google Scholar 

  23. Hutchinson, G., Czédli, G.: A test for identities satisfied in lattices of submodules. Algebra Universalis 8, 269–309 (1978)

    Article  MathSciNet  Google Scholar 

  24. Jónsson, B.: Varieties of lattices: Some open problems. In: Universal Algebra, Colloq. Math. Soc. János Bolyai, vol. 29, pp. 421–436. North-Holland Publishing Co., Amsterdam (1982)

  25. Jónsson, B., Monk, G.S.: Representation of primary arguesian lattices. Pac. J. Math. 30, 95–139 (1969)

    Article  MathSciNet  Google Scholar 

  26. Jónsson, B., Nation, J.B.: Representation of 2-distributive modular lattices of finite length. Acta. Sci. Math (Szeged) 51, 123–128 (1987)

    MathSciNet  Google Scholar 

  27. Kearnes, K.A., Kiss, E.W.: The shape of congruence lattices. Mem. Am. Math. Soc. 222, 1046 (2013)

    MathSciNet  Google Scholar 

  28. Kearnes, K.A., Nation, J.B.: Axiomatizable and nonaxiomatizable congruence prevarieties. Algebra Universalis 59(3–4), 323–335 (2008)

    Article  MathSciNet  Google Scholar 

  29. Kearnes, K.A., Szendrei, Á.: The relationship between two commutators. Int. J. Algebra Comput. 8(4), 497–531 (1998)

    Article  MathSciNet  Google Scholar 

  30. Lipparini, P.: Commutator theory without join-distributivity. Trans. Am. Math. Soc. 346(1), 177–202 (1994)

    Article  MathSciNet  Google Scholar 

  31. Makkai, M., McNulty, G.: Universal Horn axiom systems for lattices of submodules. Algebra Universalis 7, 25–31 (1977)

    Article  MathSciNet  Google Scholar 

  32. McKenzie, R.N., McNulty, G.F., Taylor, W.F.: Algebras, Lattices, Varieties, vol. 1. AMS Chelsea Publishing/American Mathematical Society, Providence (2018). https://doi.org/10.1090/chel/383.H

    Book  Google Scholar 

  33. Nation, J.B.: Varieties whose congruences satisfy lattice identities. California Institute of Technology, Pasadena, California. Ph.D. Thesis (1973)

  34. Pixley, A.F.: A note on hemi-primal algebras. Math. Z. 124(213), 213–214 (1972)

    Article  MathSciNet  Google Scholar 

  35. Sachs, D.: Identities in finite partition lattices. Proc. Am. Math. Soc. 12, 944–945 (1961)

    Article  MathSciNet  Google Scholar 

  36. Wille, R.: Kongruenzklassengeometrien. Lecture Notes in Mathematics, vol. 113. Springer, Berlin (1970)

    Google Scholar 

Download references

Acknowledgements

The authors would like to thank the referee for several excellent suggestions that substantially improved this paper.

Author information

Authors and Affiliations

  1. Department of Mathematics, University of Hawaii, Honolulu, HI,  96822, USA

    Ralph Freese

  2. Department of Mathematics, University of Tor Vergata, Viale della Ricerca Scientivica, 00133, Rome, Italy

    Paolo Lipparini

Authors
  1. Ralph Freese
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Paolo Lipparini
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ralph Freese.

Ethics declarations

Conflict of interest

The authors declare that they have no conflict of interest. The first author belongs to the Editorial Board of Algebra Universalis.

Additional information

Communicated by Presented by K. A. Kearnes.

Dedicated to the memory of George F. McNulty.

Publisher's Note

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

Rights and permissions

Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Freese, R., Lipparini, P. Finitely based congruence varieties. Algebra Univers. 85, 11 (2024). https://doi.org/10.1007/s00012-023-00840-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s00012-023-00840-6

Keywords

Mathematics Subject Classification

Search

Navigation