Variety Membership Problem for Two Classes of Non-Finitely Based Semigroups
Edmond W. H. Lee · Wuhan University Journal of Natural Sciences · 2018
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.