Abstract
The variety membership problem for two classes of non-finitely based semigroups is considered. It is shown that a finite semigroup S belongs to the variety generated by one of these non-finitely based semigroups if and only if S satisfies four certain equations that involve at most 2│S│+1 distinct variables.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Birkhoff G. On the structure of abstract algebras [J]. Proc Cambridge Philos Soc, 1935, 31(4): 433–454.
Bergman C, Slutzki G. Complexity of some problems concerning varieties and quasivarieties of algebras [J]. SIAM J Comput, 2000, 30(2): 359–382.
Kozik M. A 2EXPTIME complete varietal membership problem [J]. SIAM J Comput, 2009, 38(6): 2443–2467.
Jackson M. Flexible Constraint Satisfiability and a Problem in Semigroup Theory[EB/OL].[2017-03-10]. http://arxiv.org/abs/1512.03127
Jackson M, McKenzie R. Interpreting graph colorability in finite semigroups [J]. Internat J Algebra Comput, 2006, 16(1): 119–140.
Lyndon R C. Identities in two-valued calculi [J]. Trans Amer Math Soc, 1951, 71(3): 457–465.
Trahtman A N. The finite basis question for semigroups of order less than six [J]. Semigroup Forum, 1983, 27(1-4): 387–389.
Lee E W H. Finite basis problem for semigroups of order five or less: Generalization and revisitation [J]. Studia Logica, 2013, 101(1): 95–115.
Lee E W H, Li J R. Minimal non-finitely based monoids [J]. Dissertationes Math (Rozprawy Mat), 2011, 475: 3–65.
Lee E W H, Zhang W T. Finite basis problem for semigroups of order six [J]. LMS J Comput Math, 2015, 18(1): 1–129.
Lee E W H, Li J R, Zhang W T. Minimal non-finitely based semigroups [J]. Semigroup Forum, 2012, 85(3): 577–580.
Volkov M V, Goldberg S V, Kublanovsky S I. A minimal nonfinitely based semigroup whose variety is polynomial recognizable [J]. J Math Sci (NY), 2011, 177(6): 847–859.
Lee E W H, Volkov M V. Limit varieties generated by completely 0-simple semigroups [J]. Internat J Algebra Comput, 2011, 21(1-2): 257–294.
Trahtman A N. Identities of a five-element 0-simple semigroup [J]. Semigroup Forum, 1994, 48(3): 385–387.
Volkov M V. The finite basis question for varieties of semigroups [J]. Math Notes, 1989, 45(3): 187–194.
Burris S, Sankappanavar H P. A Course in Universal Algebra [M]. New York: Springer-Verlag, 1981.
Petrich M, Reilly N R. Completely Regular Semigroups [M]. New York: Wiley amp; Sons, 1999.
Lee E W H. On a simpler basis for the pseudovariety EDS [J]. Semigroup Forum, 2007, 75(2): 477–479.
Lee E W H. A class of finite semigroups without irredundant bases of identities [J]. Yokohama Math J, 2015, 61: 1–28.
Lee E W H. Finitely based finite involution semigroups with non-finitely based reducts [J]. Quaest Math, 2016, 39(2): 217–243.
Lee E W H. On a class of completely join prime J-trivial semigroups with unique involution [J]. Algebra Universalis, 2017, 78(2): 131–145.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Lee, E.W.H. Variety Membership Problem for Two Classes of Non-Finitely Based Semigroups. Wuhan Univ. J. Nat. Sci. 23, 323–327 (2018). https://doi.org/10.1007/s11859-018-1329-7
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11859-018-1329-7