On the nilpotency class of finite groups with a Frobenius group of automorphisms (Q2313393)

Let \(FH\) be a metacyclic Frobenius group, with kernel \(F\) and complement \(H\), acting by automorphisms on a finite group \(G\) in such a way that \(C_{G}(F)=1\) and \(C_{G}(H)\) is nilpotent. It is known that \(G\) is nilpotent and its nilpotency class can be bounded in terms of \(|H|\) and the nilpotency class of \(C_{G}(H)\). The main goal of the paper under review is to show that the bound of the nilpotency class of \(G\) essentially depends on the order of \(H\). To do this, the author builds a family \(\mathfrak{G}\) of finite nilpotent groups of unbounded nilpotency class. For every positive integer \(k\) she proves that there is a prime \(p=p(k)\), a \(G \in \mathfrak{G}\) of class \(k\) and a metacyclic Frobenius group \(FH \simeq C_{p} \rtimes C_{p-1}\) which acts on \(G\) so that \(C_{G}(F)\) is trivial and \(C_{G}(H)\) is abelian.