Suppose first that is the Frobenius kernel. An element fixes a point in the Frobenius action. If , then maps that point to another point fixed by . Since has only one fixed point and acts regularly, . Thus
No nonidentity conjugacy class of can be fixed by such a . If the class of were fixed, for some , so would centralize , a contradiction. Conjugation by consequently fixes just the identity class. By Brauer's permutation lemma it fixes just one irreducible character, necessarily .
For every nonprincipal , its inertia group of a character is therefore . Since is normal, the restriction of the induced character is the sum of its conjugates, counted over :
Frobenius reciprocity and character orthogonality give
An actual character of norm one is irreducible. Every nonprincipal irreducible character of therefore induces irreducibly to .

Articles by others on the same topic (0)

There are currently no matching articles.