Pith. sign in

REVIEW

Base sizes of primitive groups: bounds with explicit constants

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1802.06972 v1 pith:SSRPTE7C submitted 2018-02-20 math.GR

Base sizes of primitive groups: bounds with explicit constants

classification math.GR
keywords primitivebasegrouppermutationdegreegroupssizealternating
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

We show that the minimal base size $b(G)$ of a finite primitive permutation group $G$ of degree $n$ is at most $2 (\log |G|/\log n) + 24$. This bound is asymptotically best possible since there exists a sequence of primitive permutation groups $G$ of degrees $n$ such that $b(G) = \lfloor 2 (\log |G|/\log n) \rceil - 2$ and $b(G)$ is unbounded. As a corollary we show that a primitive permutation group of degree $n$ that does not contain the alternating group $\mathrm{Alt}(n)$ has a base of size at most $\max\{\sqrt{n} , \ 25\}$.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.