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.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2010
- DOI:
- 10.48550/arXiv.1008.2425
- arXiv:
- arXiv:1008.2425
- Bibcode:
- 2010arXiv1008.2425V
- Keywords:
-
- Mathematics - Group Theory;
- Computer Science - Computational Complexity;
- 20M07;
- 68Q17
- E-Print:
- 16 pages, 3 figures