Finite groups, minimal bases and the intersection number

Let G be a finite group and recall that the Frattini subgroup Frat(G) is the intersection of all the maximal subgroups of G. In this paper, we investigate the intersection number of G, denoted alpha(G), which is the minimal number of maximal subgroups whose intersection coincides with Frat(G). In earlier work, we studied alpha(G) in the special case where G is simple and here we extend the analysis to almost simple groups. In particular, we prove that alpha(G) <= 4 for every almost simple group G, which is best possible. We also establish new results on the intersection number of arbitrary finite groups, obtaining upper bounds that are defined in terms of the chief factors of the group. Finally, for almost simple groups G we present best possible bounds on a related invariant beta(G), which we call the base number of G. In this setting, beta(G) is the minimal base size of G as we range over all faithful primitive actions of the group and we prove that the bound beta(G) <= 4 is optimal. Along the way, we study bases for the primitive action of the symmetric group S-ab on the set of partitions of [1, ab] into a parts of size a >= b, determining the exact base size for a b. This extends earlier work of Benbenishty, Cohen and Niemeyer.

Let (Formula presented.) be a finite group and recall that the Frattini subgroup (Formula presented.) is the intersection of all the maximal subgroups of (Formula presented.). In this paper, we investigate the intersection number of (Formula presented.), denoted (Formula presented.), which is the minimal number of maximal subgroups whose intersection coincides with (Formula presented.). In earlier work, we studied (Formula presented.) in the special case where (Formula presented.) is simple and here we extend the analysis to almost simple groups. In particular, we prove that (Formula presented.) for every almost simple group (Formula presented.), which is best possible. We also establish new results on the intersection number of arbitrary finite groups, obtaining upper bounds that are defined in terms of the chief factors of the group. Finally, for almost simple groups (Formula presented.) we present best possible bounds on a related invariant (Formula presented.), which we call the ba...