A minimal nonfinitely based semigroup whose variety is polynomially recognizable

Mikhail V. Volkov, Svetlana V. Goldberg, Stanislav I. Kublanovsky

We exhibit a 6-element semigroup that has no finite identity basis but nevertheless generates a variety whose finite membership problem admits a polynomial algorithm.