Israel Journal of Mathematics

, Volume 92, Issue 1–3, pp 317–331 | Cite as

Quasi-identities of finite semigroups and symbolic dynamics



An algebra is inherently non-finitely (Q-)based if it is not a member of any locally finite (quasi-)variety, whose (quasi-)identities are finitely based. We prove that no finite semigroup is inherently non-finitely Q-based. This is in marked contrast to the case of varieties, where there are many inherently non-finitely based finite semigroups which have all been described by the second author.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [CP] A. Clifford and G. Preston,Algebraic Theory of Semigroups, Vols. 1 and 2, American Mathematical Society, Providence, R.I., 1961 and 1967.MATHGoogle Scholar
  2. [Cohn] P. M. Cohn,Universal Algebra, Harper and Row, New York, 1965.MATHGoogle Scholar
  3. [Fur] H. Furstenberg,Poincaré recurrence and number theory, Bulletin of the American Mathematical Society5 (1981), 211–234.MATHMathSciNetGoogle Scholar
  4. [Kad1] I. Kaďourek,On varieties of combinatorial inverse semigroups I, Semigroup Forum43 (1991), 305–330.CrossRefMathSciNetGoogle Scholar
  5. [Kad2] I. Kaďourek,On varieties of combinatorial inverse semigroups II, Semigroup Forum44 (1992), 53–78.CrossRefMathSciNetGoogle Scholar
  6. [Klei1] E. I. Kleiman,On basis of identities of Brandt semigroups, Semigroup Forum13 (1977), 209–218.MATHCrossRefMathSciNetGoogle Scholar
  7. [Klei2] E. I. Kleiman,On bases of identities of inverse semigroup varieties, Siberian Mathematical Journal, 204 (1979), 760–777.MathSciNetGoogle Scholar
  8. [L] E. S. Ljapin,Semigroups, Translations of the American Mathematical Society, Vol. 3, AMS, Providence, R.I., 1963.Google Scholar
  9. [LV] Aldo de Luca and Stefano Varricchio,Combinatorial properties of uniformly recurrent words and an application to semigroups, International Journal of Algebra and Computation2 (1991), 227–245.Google Scholar
  10. [LW] John Lawrence and Ross Willard,On finitely based groups and nonfinitely based quasivaarieties, Journal of Algebra, to appear.Google Scholar
  11. [Malcev] A. I. Mal’cev,Algebraic Systems, Grundlehren der Mathematischen Wissenschaften, Vol. 192, Springer-Verlag, New York, 1973.MATHGoogle Scholar
  12. [McKenzie] R. McKenzie,A new product of algebras and a type reduction theorem, Algebra Universalis18 (1984), 29–69.MATHCrossRefMathSciNetGoogle Scholar
  13. [Meakin] J. Meakin,Invitation to inverse semigroups, to appearGoogle Scholar
  14. [McNSh] G. McNulty and C. Shallon,Inherently nonfinitely based finite algebras, Lecture Notes in Mathematics1004, Springer-Verlag, Berlin, 1983, pp. 206–231.Google Scholar
  15. [Mursky] V. L. Mursky,On the number of k-element algebras with one binary operation without finite bases of identities, Problemy Kibernetiki35 (1979), 5–27.Google Scholar
  16. [Neumann] H. Neumann,Varieties of Groups, Springer-Verlag, New York, 1967.MATHGoogle Scholar
  17. [Olsh] A. Yu. Ol’shanskii,Conditional identities of finite groups, Sibirskii Matematicheskii Zhurnal15 (1974), 1409–1413 (Russian; English translation see Siberian Mathematical Journal15 (1975) 1000–1003).Google Scholar
  18. [Perk1] P. Perkins,Bases for equational theories of semigroups, Journal of Algebra11 (1969), 293–314.CrossRefMathSciNetGoogle Scholar
  19. [Perk2] P. Perkins,Basic questions for general algebras, Algebra Universalis19 (1984), 16–23.MATHCrossRefMathSciNetGoogle Scholar
  20. [Petr] M. Petrich,Inverse Semigroups, Wiley, New York, 1984.MATHGoogle Scholar
  21. [Pigozzi] D. Pigozzi,Finite basis theorem for relatively congruence-distributive quasi-varieties, Transactions of the American Mathematical Society310 (1988), 499–533.MATHCrossRefMathSciNetGoogle Scholar
  22. [Rautenberg] W. Rautenberg,2-Element matrices, Studia Logica40 (1981), 315–353.MATHCrossRefMathSciNetGoogle Scholar
  23. [Sap1] M. V. Sapir,On the quasivarieties generated by finite semigroups, Semigroup Forum20 (1980), 73–88.MATHCrossRefMathSciNetGoogle Scholar
  24. [Sap2] M. V. Sapir,Quasivarieties of semigroups, PhD thesis, Moscow Ped. In-t, 1983, pp. 1–140 (Russian).Google Scholar
  25. [Sap3] M. V. Sapir,Burnside-type problems and finitely based semigroup varieties, Izvestiya AN SSSR, Ser. Mat.2, 51 (1987), 319–340.Google Scholar
  26. [Sap4] M. V. Sapir,Inherently non-finitely based finite semigroups, Matematicheskii Sbornik133 (1987), 154–166.Google Scholar
  27. [Sap5] M. V. Sapir,Identities of finite inverse semigroups, International Journal of Algebra and Computation3 (1993), 115–124.MATHCrossRefMathSciNetGoogle Scholar
  28. [ShV] L. N. Shevrin and M. V. Volkov,Identities of semigroups, Izvestiya vuzov. Matematika11 (1985), 3–47.MathSciNetGoogle Scholar
  29. [Ufn] V. A. Ufnarovsky,Combinatorial and asymptotic methods in algebra, inCurrent Problems in Mathematics, Fundamental Directions, VINITI, Moscow, 1990.Google Scholar
  30. [Zimin] A. I. Zimin,Blocking sets of terms, Matematicheskii Sbornik119 (1982), 363–375.MathSciNetGoogle Scholar

Copyright information

© Hebrew University 1995

Authors and Affiliations

  1. 1.Department of Computer Science and Engineering Center for Communication and Information SciencesUniversity of Nebraska-LincolnLincolnUSA
  2. 2.Department of Mathematics and Statistics Center for Communication and Information SciencesUniversity of Nebraska-LincolnLincolnUSA

Personalised recommendations