A generalization of Sylow's third theorem (Q1100276)

G is a finite group, H a proper subgroup, D a set of proper non-trivial divisors of \(| G:H|\), and p a prime divisor of \(| G|\). For \(q\geq 1\), let \(N_ q\) be the number of chains \(H=K_ 0<...<K_ q=G\) of subgroups with \(| K_ i:H| \in D\) for \(0<i<q\), \(\mu_ D(H,G)=\sum_{q\geq 1}(-1)^ qN_ q\), and, for the normalizer N(H) of H in G, \(\nu_ D(H,G)=| G:N(H)| \cdot \mu_ D(H,G)\). An element \(d\in D\) is a cone point of D if lcm(d,d')\(\in D\) for all d'\(\in D\). A weak cone point of D is an element \(d\in D\cup \{| G:H| \}\) such that lcm(d,d')\(\in D\cup \{| G:H| \}\) for d'\(\in D\). G is p- perfect mod H if the quotient of G by the normal closure of H admits no non-trivial p-group quotient. Theorem. Let c be the number of powers of p which are cone points of D. Then \(\nu_ D(H,G)\) is divisible by \(p^ c\). If G is p-perfect mod H, then \(\nu_ D(H,G)\) is divisible by \(p^ w\), where w is the number of powers of p which are weak cone points of D. This generalizes various known results: Frobenius' generalization of the third Sylow theorem, an analogous result of Frobenius, and more recent analogues due to Brown and Kratzer-Thévenaz.