[0071]

Eine Gruppe ist genau dann abelsch, wenn zyklisch ist.

( ) trivial.

( ) Sei zyklisch. Dann ist jedes Element von der Form mit . Sei nun mit mit , dann ist

Also ist abelsch. Wir bemerken, dass das Argument auch fuer zentrale Normalteiler funktionert.