摘要
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.
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.