Centralizers in finite solvable groups (Q6093311)

Denote by \(\pi(G)\) the set of prime divisors of the order of a finite group \(G\). Let \(k^*_G=\max\{\pi(C_G(x))\mid x \notin G\setminus Z(G)\}\) and \(k_G=\max\{\pi(C_G(x))\mid 1\neq x \in G\}.\) The author proves the following results: Theorem A. If \(G\) is a finite non-abelian solvable group, then \(\pi(G)\leq 2k^*_G\), with equality only if \(Z(G)=1.\) Theorem B. If a finite solvable group \(G\) satisfies the equality \(\pi(G)=2k_G\) then \(G\) is a Frobenius or a \(2\)-Frobenius group.