Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-oxford/2021/prelims/mathematics-i/7/b/iv/solution

If is not Abelian, the contrapositive of ii says that is not a cyclic group. The quotient group is finite because is finite. By iii, every group with fewer than four elements is a cyclic group. Hence
Equivalently, the center of a group satisfies , by the coset count in iii.

New to topics? Read the docs here!