Groups with two Sylow numbers are the product of two nilpotent Hall subgroups. (Q1930876)

For a finite group \(G\) and for every prime number \(p\in\pi(G)\), the set of all prime divisors of \(|G|\), denote by \(\nu_p(G)\) the number of Sylow \(p\)-subgroups of \(G\) and by \(sn(G)=\{\nu_p(G)\mid p\in\pi(G)\}\) the set of Sylow numbers. \textit{J. Zhang} [in J. Algebra 176, No. 1, 111-123 (1995; Zbl 0832.20042)] conjectured that \(|sn(G)|=2\) implies the solvability of \(G\). In this paper the author shows that Zhang's conjecture is true by proving the following stronger result: Theorem A. Let \(G\) be a finite group with \(sn(G)=\{a,b\}\). Then \(G\) is the product of two nilpotent Hall subgroups. In particular, \(G\) is solvable. The proof of this theorem relies on a recent characterization of the existence of nilpotent Hall subgroups in a finite group in terms of Sylow numbers, due to the same author [in J. Algebra 379, 80-84 (2013)].