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 ScienceWISE logo

Mathematics > Group Theory

Title: On relational complexity and base size of finite primitive groups

Abstract: In this paper we show that if $G$ is a primitive subgroup of $S_{n}$ that is not large base, then any irredundant base for $G$ has size at most $5 \log n$. This is the first logarithmic bound on the size of an irredundant base for such groups, and is best possible up to a small constant. As a corollary, the relational complexity of $G$ is at most $5 \log n+1$, and the maximal size of a minimal base and the height are both at most $5 \log n.$ Furthermore, we deduce that a base for $G$ of size at most $5 \log n$ can be computed in polynomial time.
Subjects: Group Theory (math.GR)
MSC classes: 20B15, 20B25, 20E32, 20-08
Cite as: arXiv:2107.14208 [math.GR]
  (or arXiv:2107.14208v1 [math.GR] for this version)

Submission history

From: Veronica Kelsey [view email]
[v1] Thu, 29 Jul 2021 17:47:10 GMT (18kb)

Link back to: arXiv, form interface, contact.