Frobenius groups of automorphisms and their fixed points

Suppose that a finite group G admits a Frobenius group of automorphisms FH with kernel F and complement H such that the fixed-point subgroup of F is trivial: C-G(F) = 1. In this situation various properties of G are shown to be close to the corresponding properties of C-G(H). By using Clifford's theorem it is proved that the order vertical bar G vertical bar is bounded in terms of vertical bar H vertical bar and vertical bar C-G(H)vertical bar, the rank of G is bounded in terms of vertical bar H vertical bar and the rank of C-G(H), and that G is nilpotent if C-G(H) is nilpotent. Lie ring methods are used for bounding the exponent and the nilpotency class of G in the case of metacyclic FH. The exponent of G is bounded in terms of vertical bar FH vertical bar and the exponent of C-G(H) by using Lazard's Lie algebra associated with the Jennings-Zassenhaus filtration and its connection with powerful subgroups. The nilpotency class of G is bounded in terms of vertical bar H vertical bar and the nilpotency class of C-G(H) by considering Lie rings with a finite cyclic grading satisfying a certain 'selective nilpotency' condition. The latter technique also yields similar results bounding the nilpotency class of Lie rings and algebras with a metacyclic Frobenius group of automorphisms, with corollaries for connected Lie groups and torsion-free locally nilpotent groups with such groups of automorphisms. Examples show that such nilpotency results are no longer true for non-metacyclic Frobenius groups of automorphisms.