Skip to main content
SpringerLink
Log in

Finite basis problem for 2-testable monoids

  • Research Article
  • Published:
Central European Journal of Mathematics

Abstract

A monoid S 1 obtained by adjoining a unit element to a 2-testable semigroup S is said to be 2-testable. It is shown that a 2-testable monoid S 1 is either inherently non-finitely based or hereditarily finitely based, depending on whether or not the variety generated by the semigroup S contains the Brandt semigroup of order five. Consequently, it is decidable in quadratic time if a finite 2-testable monoid is 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

Similar content being viewed by others

References

  1. Almeida J., Finite Semigroups and Universal Algebra, Series in Algebra, 3, World Scientific, Singapore, 1994

    Google Scholar 

  2. Burris S., Sankappanavar H.P., A Course in Universal Algebra, Grad. Texts in Math., 78, Springer, New York-Heidelberg-Berlin, 1981

    Google Scholar 

  3. Edmunds C.C., On certain finitely based varieties of semigroups, Semigroup Forum, 1977, 15(1), 21–39

    Article  MATH  MathSciNet  Google Scholar 

  4. Edmunds C.C., Varieties generated by semigroups of order four, Semigroup Forum, 1980, 21(1), 67–81

    Article  MATH  MathSciNet  Google Scholar 

  5. Hall T.E., Kublanovskii S.I., Margolis S., Sapir M.V., Trotter P.G., Algorithmic problems for finite groups and finite 0-simple semigroups, J. Pure Appl. Algebra, 1997, 119(1), 75–96

    Article  MATH  MathSciNet  Google Scholar 

  6. Lee E.W.H., Identity bases for some non-exact varieties, Semigroup Forum, 2004, 68(3), 445–457

    Article  MATH  MathSciNet  Google Scholar 

  7. Lee E.W.H., Subvarieties of the variety generated by the five-element Brandt semigroup, Internat. J. Algebra Comput., 2006, 16(2), 417–441

    Article  MATH  MathSciNet  Google Scholar 

  8. Lee E.W.H., On identity bases of exclusion varieties for monoids, Comm. Algebra, 2007, 35(7), 2275–2280

    Article  MATH  MathSciNet  Google Scholar 

  9. Lee E.W.H., Combinatorial Rees-Sushkevich varieties are finitely based, Internat. J. Algebra Comput., 2008, 18(5), 957–978

    Article  MATH  MathSciNet  Google Scholar 

  10. Lee E.W.H., On the variety generated by some monoid of order five, Acta Sci. Math. (Szeged), 2008, 74(3–4), 509–537

    MATH  MathSciNet  Google Scholar 

  11. Lee E.W.H., Hereditarily finitely based monoids of extensive transformations, Algebra Universalis, 2009, 61(1), 31–58

    Article  MATH  MathSciNet  Google Scholar 

  12. Lee E.W.H., Combinatorial Rees-Sushkevich varieties that are Cross, finitely generated, or small, Bull. Aust. Math. Soc., 2010, 81(1), 64–84

    Article  MATH  MathSciNet  Google Scholar 

  13. Lee E.W.H., Varieties generated by 2-testable monoids (submitted)

  14. Lee E.W.H., Li J.R., Minimal non-finitely based monoids (submitted)

  15. Lee E.W.H., Volkov M.V., On the structure of the lattice of combinatorial Rees-Sushkevich varieties, In: Semigroups and Formal Languages, Lisboa, 2005, World Scientific, Singapore, 2007, 164–187

    Google Scholar 

  16. Lee E.W.H., Volkov M.V., Limit varieties generated by completely 0-simple semigroups, Internat. J. Algebra Comput. (in press)

  17. Luo Y.F., Zhang W.T., On the variety generated by all semigroups of order three (submitted)

  18. Perkins P., Bases for equational theories of semigroups, J. Algebra, 1969, 11(2), 298–314

    Article  MATH  MathSciNet  Google Scholar 

  19. Sapir M.V., Problems of Burnside type and the finite basis property in varieties of semigroups, Math. USSR, Izv., 1988, 30(2), 295–314

    Article  MathSciNet  Google Scholar 

  20. Shevrin L.N., Volkov M.V., Identities of semigroups, Soviet Math. (Iz. VUZ), 1985, 29(11), 1–64

    MATH  MathSciNet  Google Scholar 

  21. Torlopova N.G., Varieties of quasi-orthodox semigroups, Acta Sci. Math. (Szeged), 1984, 47(3–4), 297–301 (in Russian)

    MATH  MathSciNet  Google Scholar 

  22. Trahtman A.N., The finite basis question for semigroups of order less than six, Semigroup Forum, 1983, 27(1), 387–389

    Article  MATH  MathSciNet  Google Scholar 

  23. Trahtman A.N., Some finite infinitely basable semigroups, Ural. Gos. Univ. Mat. Zap., 1987, 14(2), 128–131 (in Russian)

    MathSciNet  Google Scholar 

  24. Trahtman A.N., Identities of a five-element 0-simple semigroup, Semigroup Forum, 1994, 48(3), 385–387

    Article  MathSciNet  Google Scholar 

  25. Trahtman A.N., Identities of locally testable semigroups, Comm. Algebra, 1999, 27(11), 5405–5412

    Article  MATH  MathSciNet  Google Scholar 

  26. Volkov M.V., The finite basis question for varieties of semigroups, Math. Notes, 1989, 45(3), 187–194

    MATH  Google Scholar 

  27. Volkov M.V., The finite basis problem for finite semigroups, Sci. Math. Jpn., 2001, 53(1), 171–199

    MATH  MathSciNet  Google Scholar 

  28. Zhang W.T., Some Studies on Varieties Generated by Finite Semigroups and Their Subvarieties Lattices, PhD thesis, Lanzhou University, Gansu, China, 2009 (in Chinese)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Simon Fraser University, British Columbia, Canada

    Edmond W. H. Lee

Authors
  1. Edmond W. H. Lee
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Edmond W. H. Lee.

About this article

Cite this article

Lee, E.W.H. Finite basis problem for 2-testable monoids. centr.eur.j.math. 9, 1–22 (2011). https://doi.org/10.2478/s11533-010-0080-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.2478/s11533-010-0080-x

MSC

Keywords

Search

Navigation