Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ii/paper-3/17g/c/solution
Past exam of the mathematics course of the University of Cambridge 2017 ii Paper 3 17G c Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-05
Multiplicativity of the determinant gives and , so is a linear character. Its finite image is a cyclic group of roots of unity. If it contains , its order is and the character of a representation maps onto . The kernel of a group homomorphism is the preimage of its identity, so is a normal subgroup of index . The subgroup itself need not have index .
By Cauchy theorem for groups, a group of order has an involution . In the regular representation, left multiplication by is a permutation consisting of disjoint transpositions, so its determinant is when is odd. The preceding argument gives a normal subgroup of index two.
For a nonabelian simple group of order below , Burnside's theorem requires at least three distinct prime factors. An odd order with three factors is at least . An even order with exactly one factor of has a normal subgroup of index . Thus its order must be divisible by and by at least two odd primes. Below the only possibility is , since the next is . Hence .
New to topics? Read the docs here!