Do we have to prove G is either cyclic or non-cyclic to find out whether it is Abelian? I believe the examples on p178 help with this problem
