On Huppert's $ρ$-$σ$ conjecture for primes in the orders of elements

Abstract

Let $G$ be a finite group, let $ρ(G)$ denote the number of distinct prime divisors of $|G|$, and let $σ(G)$ be the maximal number of distinct prime divisors of the order of an element of $G$. Let $ρ(n)=\max\{ρ(G) \mid G \text{ solvable}, σ(G)=n\}$. We prove that $ρ(n)\le 4n-1+π(2n)$ for all $n$, and, with the help of a computer, that $ρ(n)\le 9n/2$ for all $n\le 16$. In particular, $ρ(n)\le\lfloor 9n/2\rfloor+2$ and $ρ(n)\le (101/22)n$ for all $n$, and $ρ(n)\le 9n/2$ for all $n\ge 58$. This improves the bound $ρ(n)\le (17/3)n$ due to Yang, and it shows that the bound $ρ(n)\le 5n$ stated by Bellotti, Keller and Trudgian holds, although its original proof contains a gap. Moreover, we show that $ρ(n)\ge 3n$ for all $n\ge 4$, which proves one half of a conjecture of the second author stating that $ρ(n)=3n$ for $n\ge 4$. We also derive a consequence for character codegrees and, conditionally, for arbitrary finite groups. The proofs of the main results do not rely on the classification of finite simple groups.