Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ib/paper-4/2e/solution
Past exam of the mathematics course of the University of Cambridge 2017 ib Paper 4 2E Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-05
Use the class equation for the action of on itself by conjugation:where the sum runs over noncentral conjugacy classes. By Lagrange's theorem, each noncentral class has size a positive power of greater than one. Thus . Since the identity element belongs to the center of a group,For , the possible orders of the center of a group are . Order would make an abelian group. Order would make the quotient group have prime order and hence be a cyclic group. But a cyclic quotient by the center forces to be Abelian: if generates the quotient, any two elements are and with , and their products commute. Both larger orders contradict the hypothesis. Consequently
New to topics? Read the docs here!