On base sizes for almost simple primitive groups

2018/03/29 by Burness, Timothy C. · 1 citation
#FOS: Mathematics #Group Theory (math.GR)

paper · doi:10.48550/arxiv.1803.10955

Abstract

Let G \leqslant \rm Sym(Ω) be a finite almost simple primitive permutation group, with socle G₀ and point stabilizer H. A subset of Ω is a base for G if its pointwise stabilizer is trivial; the base size of G, denoted b(G), is the minimal size of a base. We say that G is standard if G₀ = A_n and Ω is an orbit of subsets or partitions of \1, …, n\, or if G₀ is a classical group and Ω is an orbit of subspaces (or pairs of subspaces) of the natural module for G₀. The base size of a standard group can be arbitrarily large, in general, whereas the situation for non-standard groups is rather more restricted. Indeed, we have b(G) \leqslant 7 for every non-standard group G, with equality if and only if G is the Mathieu group \rm M₂₄ in its natural action on 24 points. In this paper, we extend this result by classifying the non-standard groups with b(G)=6. The main tools include recent work on bases for actions of simple algebraic groups, together with probabilistic methods and improved fixed point ratio estimates for exceptional groups of Lie type.

Cited by

• Large maximal subgroups of almost simple classical groups

Related

• Base sizes of primitive permutation groups
• On base sizes for primitive groups of product type
• On base sizes for algebraic groups
• Greedy base sizes for sporadic simple groups
• On a generalisation of Cameron's base size conjecture