 In particular, when n = 2, is an abelian group since for any group element , is of order or , if is of order , then is isomorphic to cyclic group of order , hence abelian.On the other hand, if any non-trivial element in is of order , hence by the conclusion above, then or .We only need to consider the case when , then there is an element of which is not in the center of .