Some corollaries of Frobenius’ normal 𝑝-complement theorem (Q4252893)

A finite group is said to be minimal nonnilpotent if it is not nilpotent but all its proper subgroups are nilpotent. If \(G\) is a minimal nonnilpotent group, it is known that the order of \(G\) is divisible by exactly two different primes \(p,q\). The commutator subgroup of \(G\) is a Sylow \(q\)-subgroup of \(G\), whereas the Sylow \(p\)-subgroups of \(G\) are cyclic. In this case, \(G\) is denoted by \(S(p,q)\). A finite group \(S\) is called \(B(p,q)\)-group if \(S/\Phi(S)\) is an \(S(p,q)\)-group for some primes \(p,q\) (here \(\Phi(S)\) denotes the Frattini subgroup of \(S\)). The main result of the paper states that the subgroup generated by commutator subgroups of all \(B(p,q)\)-subgroups of a finite group \(G\), where \(p,q\) run over the set of all prime divisors of the order of \(G\), is just the last member of the lower central series of \(G\).