1: \begin{abstract}

2: \textbf{Keywords:} semigroup, identity, variety, pseudovariety,

3: finite basis property, membership problem, polynomial algorithm

4: \end{abstract}