Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/iii/paper-4/1/v/solution
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 4 1 v Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
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 givesPart (iv) makes surjective onto , so for every . This would be the trivial character, contrary to the hypothesis. Therefore no nonidentity stabilizes , andThe argument uses both abelianness, to make multiplicative, and the fixed-point-free commutator bijection.
New to topics? Read the docs here!