Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/ia/paper-3/8d/a/ii/solution

For ,
so every element outside has order two.
The element commutes with exactly when
or . Since itself is abelian, is abelian exactly when every satisfies .
Suppose is nonabelian. An element is central exactly when , equivalently . No element is central, because commuting with every would require for every , which would make the whole group abelian. Hence

New to topics? Read the docs here!