Zu 1.:
Sei G/Z zyklisch und n : =∣G/Z∣. Dann gibt es ein g∈G mit
G/Z={Z,gZ,g2Z,⋯,gn−1Z}.
Seien nun a,b∈G, dann gibt es r,s∈N, so dass
a∈grZ,b∈gsZ, also
∃za,zb∈Z mit a=grza und b=gszb. Folglich
ab=grzagszb=grgszazb=, da z∗ im Zentrum
gr+szbza=gsgrzbza=gszbgrza=ba.
Also ist G abelsch.