FALL 2002 #1, FALL 1996 #1, SPRING 1996 #1
Suppose G/Z(G) is cyclic. Write Z = Z(G). Let xZ be a generator for G/Z. Pick elements a and b in G.
Then aZ = xnZ and bZ = xmZ for some integers n and m.
Thus, a = xnz1 and b = xmz2 for some elements z1 and z2 in Z. So
ab = (xnz1)(xmz2)
= xn(xmz1)z2
= xm((xnz1)z2)
= (xmz2)(xnz1)
= ba.
Hence G is abelian.
Note that G/Z(G) is never a nontrivial cyclic group. If G/Z(G) is cyclic then, as we have shown, G is abelian and so G = Z(G).