Past exam of the mathematics course of the University of Cambridge 2018 ii Paper 3 19I iv Solution Created 2026-09-24 Updated 2026-10-03
Let with primes and nonabelian. The Sylow theorems give and , so and the Sylow -subgroup is normal. Also and . If , both Sylow subgroups are normal and is their abelian direct product, a contradiction. Hence , and
Because is abelian, the commutator subgroup lies in . It is nontrivial because is nonabelian, and is prime, so . Thereforeand has exactly linear characters.
Every nonlinear irreducible degree divides . Its square is at most , so the only possibility is degree . If there are such characters, the sum of squares of irreducible degrees givesThe number of irreducible characters equals the number of conjugacy classes, soThese are the irreducible characters of a nonabelian group of order p q.