On base sizes for almost simple primitive groups

From MaRDI portal




Abstract: Let GleqslantmSym(Omega) be a finite almost simple primitive permutation group, with socle G0 and point stabilizer H. A subset of Omega 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 G0=An and Omega is an orbit of subsets or partitions of 1,ldots,n, or if G0 is a classical group and Omega is an orbit of subspaces (or pairs of subspaces) of the natural module for G0. 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)leqslant7 for every non-standard group G, with equality if and only if G is the Mathieu group mM24 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.



Cites work



Describes a project that uses

Uses Software





This page was built for publication: On base sizes for almost simple primitive groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1799008)