Number of Sylow subgroups in finite groups (Q721704)

The authors denote by \(\nu_p(G)\) the number of Sylow \(p\)-subgroups of \(G\). It holds that \(\nu_p(H)\leq \nu_p(G)\) for \(h\leq G\), however \(\nu_p(H)\) does not divide \(\nu_p(G)\) in general. Let \(\mathrm{DivSyl}(p)\) for a finite group \(G\) stand for the property that \(\nu_p(H)\) divides \(\nu_p(G)\) for every subgroup \(H\) of \(G\). In this paper, the main result is the following: Theorem 1.1 (paraphrased). Suppose \(G\) does not satisfy \(\mathrm{DivSyl}(p)\). Then there exists a nonabelian composition factor of \(G\) not satisfying \(\mathrm{DivSyl}(p)\). Theorem 1.1 is an extension to a theorem of \textit{G. Navarro} [Proc. Am. Math. Soc. 131, No. 10, 3019--3020 (2003; Zbl 1030.20010)], he showed Theorem 1.1 to be true for \(p\)-solvable groups \(G\). In order to prove Theorem 1.1, the authors formulate and prove several lemmas and theorems, most of them being rather detailed but useful in their own account. The paper is an enrichment to the vast already known properties of Sylow structures in a finite group.