Abstract:A generating set for a finite group $G$ is said to be minimal if no proper subset generates $G$, and $m(G)$ denotes the maximal size of a minimal generating set for $G$. We prove a conjecture of Lucchini, Moscatiello and Spiga by showing that there exist $a,b > 0$ such that any finite group $G$ satisfies $m(G) \leq a \cdot \delta(G)^b$, for $\delta(G) = \sum_{\text{$p$ prime}} m(G_p)$ where $G_p$ is a Sylow $p$-subgroup of $G$. To do this, we first bound $m(G)$ for all almost simple groups of Lie type (until now, no nontrivial bounds were known except for groups of rank $1$ or $2$). In particular, we prove that there exist $a,b > 0$ such that any finite simple group $G$ of Lie type of rank $r$ over the field $\mathbb{F}_{p^f}$ satisfies $r + \omega(f) \leq m(G) \leq a(r + \omega(f))^b$, where $\omega(f)$ denotes the number of distinct prime divisors of $f$. In the process, we confirm a conjecture of Gill and Liebeck that there exist $a,b > 0$ such that a minimal base for a faithful primitive action of an almost simple group of Lie type of rank $r$ over $\mathbb{F}_{p^f}$ has size at most $ar^b + \omega(f)$.

Finite simple groups with two maximal subgroups of coprime orders

On 2-maximal subgroups of finite groups

Second Maximal Invariant Subgroups and Solubility of Finite Groups

A Note on Maximal Subgroups and Conjugacy Classes of Finite Groups

An Example of a Relatively Maximal Nonpronormal Subgroup of Odd Order in a Finite Simple Group

Finite Groups with a Given Number of Conjugacy Classes of Non-nilpotent Maximal Subgroups

Finite Groups in Which Every 3-Maximal Subgroup Commutes with All Maximal Subgroups

On the solvability of a finite group by the sum of subgroup orders

Finite Non-solvable Groups with a Small Number of Conjugacy Classes of Non-trivial Cyclic Subgroups

Finite groups whose maximal subgroups have only soluble proper subgroups

p-Nilpotent maximal subgroups in finite groups

Critical maximal subgroups and conjugacy of supplements in finite soluble groups

Finite Groups in Which the $\X$-Maximal Subgroups Are Conjugate

Examples of Nonpronormal Relatively Maximal Subgroups of Finite Simple Groups

Finite Groups in Which the Number of Classes of Non-nilpotent Proper Subgroups of the Same Order is Given

A note on maximal subgroups of σ-soluble groups

The maximal size of a minimal generating set

On the odd order subgroups of solvable linear groups

The Maximal Subgroups of the Exceptional Groups $F_4(q)$, $E_6(q)$ and ${}^2E_6(q)$ and Related Almost Simple Groups

Maximal subgroups and chief factors of certain generalized soluble groups.

A Note on Conjugate Maximal Subgroups