Skip to main content
Log in

Lyndon's groupoid isnot inherently nonfinitely based

algebra universalis Aims and scope Submit manuscript

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

Access this article

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

Instant access to the full article PDF.

Institutional subscriptions

References

  • Baker, K. [1977]Finite equational bases for finite algebras in congruence distributive equational classes. Advances in Math.24, 207–243.

    Google Scholar 

  • Baker, K., McNulty, G. andWerner, H. [1987]The finitely based varieties of graph algebras. Acta Scient. Math. (Szeged)51, 3–15.

    Google Scholar 

  • Baker, K., McNulty, G. andWerner, H. [1989]Shift automorphism methods for inherently nonfinitely based varieties of algebras. Czech. J. Math.39, 53–69.

    Google Scholar 

  • Bryant, R. [1982]The laws of finite pointed groups. Bull. London Math. Soc.14, 119–123.

    Google Scholar 

  • Freese R. andMcKenzie R. [1987]Commutator Theory for Congruence Modular Varieties. London Mathematical Society Lecture Note Series, vol. 125. Cambridge University Press, Cambridge, 227pp.

    Google Scholar 

  • Jezek, J. [1985]Nonfinitely based three-element idempotent groupoids. Algebra Universalis20, 292–301.

    Google Scholar 

  • Kruse, R. [1973]Identities satisfied in a finite ring. J. Algebra26, 298–318.

    Google Scholar 

  • L'vov, I. V. [1973]Varieties of associative rings, I. Algebra i Logika12, 269–297; II, 667–688.

    Google Scholar 

  • Lyndon, R. [1951]Identities in two-valued calculi. Trans. Amer. Math. Soc.71, 457–465.

    Google Scholar 

  • Lyndon, R. [1954]Identities infinite algebras. Proc. Amer. Math. Soc.5, 8–9.

    Google Scholar 

  • McKenzie, R. [1970]Equational bases for lattice theories. Math. Scand.27, 24–38.

    Google Scholar 

  • McKenzie, R. [1987]Finite equational basis for congruence modular algebras. Algebra Universalis24, 224–250.

    Google Scholar 

  • McNulty, G. [1985]How to construct finite algebras which are not finitely based, in: S. Comer (ed.)Universal Algebra and Lattice Theory. Lecture Notes in Mathematics, vol. 1149. Springer-Verlag, Berlin, pp. 167–174.

    Google Scholar 

  • McNulty, G. andShallon, C. [1983]Inherently nonfinitely based finite algebras, in: R. Freese and O. Garcia (eds.)Universal Algebra and Lattice Theory. Lecture Notes in Mathematics, vol. 1004. Springer-Verlag, Berlin, pp. 205–231.

    Google Scholar 

  • Murskii, V. L. [1965]The existence in three valued logic of a closed class without a finite complete system of identities. Dokl. Akad. Nauk SSSR163, 815–818.

    Google Scholar 

  • Murskii, V. L. [1975]The existence of a finite basis and some other properties of “almost all” finite algebras. Problemy Kibernet.30, 43–56.

    Google Scholar 

  • MurskiI, V. L. [1979]Concerning the number of k-element algebras with one binary operation which have no finite basis of identities. Problemy Kibernet.35, 5–27.

    Google Scholar 

  • Dates, S. andPowell M. B. [1965]Identical relations infinite groups. J. Algebra1, 11–39.

    Google Scholar 

  • Oates-MacDonald, S. andVaughan-Lee, M. [1978]Varieties that make one Cross. J. Austral. Math. Soc. Ser. (A)26, 368–382.

    Google Scholar 

  • Park, R. [1980]A four element algebra whose identities are not finitely based. Algebra Universalis 11, 255–260.

    Google Scholar 

  • Perkins, P. [1968]Bases for equational theories of semigroups. J. Algebra11, 293–314.

    Google Scholar 

  • Perkins, P. [1984]Basis questions for general algebra. Algebra Universalis19, 16–23.

    Google Scholar 

  • Polin, S. V. [1976]On the identities of finite algebras. Sib. Mat. J.17, 1356–1366.

    Google Scholar 

  • Post, E. [1941]The Two-Valued Iterative Systems of Mathematical Logic. Annals of Mathematical Studies, No. 5. Princeton University Press, Princeton, NJ.

    Google Scholar 

  • Sapir, M. B. [1987]Problems of Burnside type and the finite basis property in varieties of semigroups. Izv. Akad. Nauk SSSR51; English Translation, Math. USSR Izverstiya30, 295–314.

  • Shallon, C. [1979]Nonfinitely Based Algebras Derived from Lattices. Ph.D. Thesis. University of California, Los Angeles, CA.

    Google Scholar 

  • Vaughan-Lee, M. [1979]Laws infinite loops. Algebra Universalis9, 269–280.

    Google Scholar 

  • Vaughan-Lee, M. [1983]Nilpotence in permutable varieties, (R. Freese and O. Garcia (eds.)Universal Algebra and Lattice Theory. Lecture Notes in Mathematics, vol. 1004. Springer-Verlag, Berlin, pp. 293–308.

    Google Scholar 

  • Visin, V. [1963]Identical transformations in four place logic. Soviet Math. Dokl.4, 724–726.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Additional information

The second author is grateful for the support of the Alexander von Humboldt Stiftung.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bajusz, T., McNulty, G. & Szendrei, Á. Lyndon's groupoid isnot inherently nonfinitely based. Algebra Universalis 27, 254–260 (1990). https://doi.org/10.1007/BF01182458

Download citation

  • Received:

  • Revised:

  • Issue Date:

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

Navigation