The subpower membership problem for bands

Markus Steindl

Fix a finite semigroup $S$ and let $a_1,\dots ,a_k,b$ be tuples in a direct power $S^n$. The subpower membership problem (SMP) for $S$ asks whether $b$ can be generated by $a_1,\l…