Action of a Frobenius-like group with kernel having central derived subgroup (Q2828349)

Suppose a finite group \(FH\) is similar to a Frobenius group in that \(F\) is a non-trivial nilpotent normal subgroup, \(F \cap H = 1\), and for every \(h \in H\) with \(h \neq 1\) we have \([h,F] = F\). Assume furthermore that \(|FH|\) is odd, \([F',H] = 1\), and that \(F'\) has a maximal subgroup that is cyclic of prime power order. Suppose that \(FH\) acts on a finite group \(G\) whose order is coprime to \(2|FH|\) in such a way that \(C_G(F) = 1\). Let \(n\) be the nilpotent length of \(G\), and assume that \(F\) acts Frobeniusly on \(G/F_{n - 1}(G)\). The authors prove that then the nilpotent length of \(C_G(H)\) is also \(n\). In fact, the authors prove a more general result where the hypotheses that \(FH\) and \(G\) be of odd order are relaxed, and some more complicated exclusions replace them. The results follow from a representation theory result which analyzes the kernels of two closely related modules.