证明：G/Z(G)为循环群=>G\Z(G)=={a^i*H|i∈z}={H*a^i|i∈z},a∈G,显然群G可交换,故G是交换群.