Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ib/paper-4/2e/solution

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!