Let G be a finite group and let M be a set of maximal subgroups of G. We say that M is irredundant if the intersection of the subgroups in M is not equal to the intersection of any proper subset. The minimal dimension of G, denoted Mindim(G), is the minimal size of a maximal irredundant set of maximal subgroups of G. This invariant was recently introduced by Garonzi and Lucchini and they computed the minimal dimension of the alternating groups. In this paper, we prove that Mindim(G)⩽3 for all finite simple groups, which is best possible, and we compute the exact value for all non-classical simple groups. We also introduce and study two closely related invariants denoted by α(G) and β(G). Here α(G) (respectively β(G)) is the minimal size of a set of maximal subgroups (respectively, conjugate maximal subgroups) of G whose intersection coincides with the Frattini subgroup of G. Evidently, Mindim(G)⩽α(G)⩽β(G). For a simple group G we show that β(G)⩽4 and β(G)−α(G)⩽1, and both upper bounds are best possible.
On the minimal dimension of a finite simple group
Burness T. C.
;Garonzi M.;Lucchini A.
2020
Abstract
Let G be a finite group and let M be a set of maximal subgroups of G. We say that M is irredundant if the intersection of the subgroups in M is not equal to the intersection of any proper subset. The minimal dimension of G, denoted Mindim(G), is the minimal size of a maximal irredundant set of maximal subgroups of G. This invariant was recently introduced by Garonzi and Lucchini and they computed the minimal dimension of the alternating groups. In this paper, we prove that Mindim(G)⩽3 for all finite simple groups, which is best possible, and we compute the exact value for all non-classical simple groups. We also introduce and study two closely related invariants denoted by α(G) and β(G). Here α(G) (respectively β(G)) is the minimal size of a set of maximal subgroups (respectively, conjugate maximal subgroups) of G whose intersection coincides with the Frattini subgroup of G. Evidently, Mindim(G)⩽α(G)⩽β(G). For a simple group G we show that β(G)⩽4 and β(G)−α(G)⩽1, and both upper bounds are best possible.File | Dimensione | Formato | |
---|---|---|---|
1903.09607.pdf
accesso aperto
Tipologia:
Preprint (submitted version)
Licenza:
Accesso gratuito
Dimensione
313.6 kB
Formato
Adobe PDF
|
313.6 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.