English

On the minimal degree and base size of finite primitive groups

Group Theory 2024-11-07 v1

Abstract

Let GG be a finite permutation group acting on Ω\Omega. A base for GG is a subset BΩB \subseteq \Omega such that the pointwise stabilizer G(B)G_{(B)} is the identity. The base size of GG, denoted by b(G)b(G), is the cardinality of the smallest possible base. The minimal degree of GG, denoted by μ(G)\mu(G), is the smallest cardinality of the support of a non trivial element of GG. In this paper, we establish a new upper bound for b(G)b(G) when GG is primitive, and subsequently prove that if GG is a primitive group different from the Mathieu group of degree 2424, then μ(G)b(G)nlogn\mu(G)b(G)\leq n \log n, where nn is the degree of GG. This bound is best possible, up to a multiplicative constant.

Keywords

Cite

@article{arxiv.2411.03469,
  title  = {On the minimal degree and base size of finite primitive groups},
  author = {Fabio Mastrogiacomo},
  journal= {arXiv preprint arXiv:2411.03469},
  year   = {2024}
}

Comments

24 pages