View PDF HTML (experimental)

Abstract:Let $G\leqslant {\rm Sym}(\Omega)$ be a finite transitive permutation group with point stabiliser $H$. A base for $G$ is a subset of $\Omega$ whose pointwise stabiliser is trivial, and the minimal cardinality of a base is called the base size of $G$, denoted by $b(G, \Omega)$. Equivalently, $b(G, \Omega)$ is the minimal positive integer $k$ such that $G$ has a regular orbit on the Cartesian product $\Omega^k$. A well-known conjecture of Cameron from the 1990s asserts that if $G$ is an almost simple primitive group and $H$ is a so-called non-standard subgroup, then $b(G, \Omega) \leqslant 7$, with equality if and only if $G$ is the Mathieu group ${\rm M}_{24}$ in its natural action of degree $24$. This conjecture was settled in a series of papers by Burness et al. (2007-11).
In this paper, we complete the proof of a natural generalisation of Cameron's conjecture. Our main result states that if $G$ is an almost simple group and $H_1, \ldots, H_k$ are any non-standard maximal subgroups of $G$ with $k \geqslant 7$, then $G$ has a regular orbit on $G/H_1 \times \cdots \times G/H_k$, noting that Cameron's original conjecture corresponds to the special case where the $H_i$ are pairwise conjugate subgroups. In addition, we show that the same conclusion holds with $k = 6$, unless $G = {\rm M}_{24}$ and each $H_i$ is isomorphic to ${\rm M}_{23}$. For example, this means that if $G$ is a simple exceptional group of Lie type and $H_1, \ldots, H_6$ are proper subgroups of $G$, then there exist elements $g_i \in G$ such that $\bigcap_i H_i^{g_i} = 1$. By applying recent work in a joint paper with Burness, we may assume $G$ is a group of Lie type and our proof uses probabilistic methods based on fixed point ratio estimates.

Submission history

From: Marina Anagnostopoulou-Merkouri [view email]
[v1] Tue, 11 Nov 2025 19:13:32 UTC (65 KB)
[v2] Thu, 13 Nov 2025 10:37:06 UTC (65 KB)
[v3] Thu, 22 Jan 2026 14:59:30 UTC (69 KB)
[v4] Thu, 25 Jun 2026 17:12:10 UTC (74 KB)