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