We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.GR

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Group Theory

Title: The subpower membership problem for bands

Abstract: Fix a finite semigroup $S$ and let $a_1,\ldots,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,\ldots,a_k$. For bands (idempotent semigroups), we provide a dichotomy result: if a band $S$ belongs to a certain quasivariety, then $SMP(S)$ is in P; otherwise it is NP-complete.
Furthermore we determine the greatest variety of bands all of whose finite members induce a tractable SMP. Finally we present the first example of two finite algebras that generate the same variety and have tractable and NP-complete SMPs, respectively.
Subjects: Group Theory (math.GR)
MSC classes: 20M99, 68Q25
Cite as: arXiv:1604.01014 [math.GR]
  (or arXiv:1604.01014v1 [math.GR] for this version)

Submission history

From: Markus Steindl [view email]
[v1] Sat, 2 Apr 2016 20:19:47 GMT (21kb)

Link back to: arXiv, form interface, contact.