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.

Finite groups, minimal bases and the intersection number

Burness, TC;Garonzi, M;Lucchini, A
2022

Abstract

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.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11577/3454670
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 2
social impact