-
arXiv:1008.2425 [pdf, ps, other]
A minimal nonfinitely based semigroup whose variety is polynomially recognizable
Abstract: 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.
Submitted 14 August, 2010; originally announced August 2010.
Comments: 16 pages, 3 figures
MSC Class: 20M07; 68Q17
Journal ref: J. Math. Sci. 177 (2011), 847-859