FUNDAMENTALNAYA
I PRIKLADNAYA MATEMATIKA

(FUNDAMENTAL AND APPLIED MATHEMATICS)

2010, VOLUME 16, NUMBER 3, PAGES 105-122

**A minimal infinitely based semigroup whose variety is
polynomially recognizable**

M. V. Volkov

S. V. Goldberg

S. I. Kublanovsky

Abstract

View as HTML
View as gif image

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

Location: http://mech.math.msu.su/~fpm/eng/k10/k103/k10304h.htm

Last modified: March 24, 2011