Finite groups, minimal bases and the intersection number

• Published in: Transactions of the London Mathematical Society 2022-12, Vol.9 (1), p.20-55
• Main Authors: Burness, Timothy C., Garonzi, Martino, Lucchini, Andrea
• Format: Article
• Language: English
• Subjects: Equality; Group theory; Intersections; Subgroups; Upper bounds
• ISSN: 2052-4986; 2052-4986
• DOI: 10.1112/tlm3.12040

Let G$G$ be a finite group and recall that the Frattini subgroup Frat(G)${\rm Frat}(G)$ is the intersection of all the maximal subgroups of G$G$. In this paper, we investigate the intersection number of G$G$, denoted α(G)$\alpha (G)$, which is the minimal number of maximal subgroups whose intersection coincides with Frat(G)${\rm Frat}(G)$. In earlier work, we studied α(G)$\alpha (G)$ in the special case where G$G$ is simple and here we extend the analysis to almost simple groups. In particular, we prove that α(G)⩽4$\alpha (G) \leqslant 4$ for every almost simple group G$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$G$ we present best possible bounds on a related invariant β(G)$\beta (G)$, which we call the base number of G$G$. In this setting, β(G)$\beta (G)$ is the minimal base size of G$G$ as we range over all faithful primitive actions of the group and we prove that the bound β(G)⩽4$\beta (G) \leqslant 4$ is optimal. Along the way, we study bases for the primitive action of the symmetric group Sab$S_{ab}$ on the set of partitions of [1,ab]$[1,ab]$ into a$a$ parts of size b$b$, determining the exact base size for a⩾b$a \geqslant b$. This extends earlier work of Benbenishty, Cohen and Niemeyer.