Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/iii/paper-4/1/v/solution

Because is an abelian group, every is a linear character, hence a homomorphism to . Its inertia group of a character contains , whose inner conjugations act trivially on . Write an arbitrary as with and , using . Conjugation by does not affect , so stabilizes if and only if does.
Suppose stabilizes . Then for every , and its multiplicativity gives
Part (iv) makes surjective onto , so for every . This would be the trivial character, contrary to the hypothesis. Therefore no nonidentity stabilizes , and
The argument uses both abelianness, to make multiplicative, and the fixed-point-free commutator bijection.

New to topics? Read the docs here!