Character Quotients for Coprime Acting Groups

Let the finite group A be acting on a finite group G with (|A|,|G|)=1. Let be the semidirect product of A and G. Let be acharacter of irreducible after restriction to G. In a previouspaper by Brian Hartley and the author, we proved that the restrictionof to S belongs to the set C(S) obtained by running over all that arise in this manner, by assuming, in addition, that Gis a product of extraspecial groups. This was proved in general,assuming only some condition on the Green functions of groupsof Lie type that is not as yet fully verified. In the presentpaper, we define the map Q(): SC by Q()(s)=|C_G(s)|/(s). We provethat Q()C(S) under the same hypotheses. In particular, the characterquotient Q() is an ordinary character.