Dass (ℤn, +n) eine zylische Gruppe der Ordnung n ist, sollte bekannt sein.
Dass (ℂn, •) eine zylische Gruppe der Ordnung n ist, ergibt sich aus der Tatsache, dass Multiplikation in den komplexen Zahlen die Argumente addiert:
r1eiφ1 · r2eiφ2 = r1r2ei(φ1+φ2).
Sei z = e2πi/n und M := {zk ∈ ℂn | 1≤k≤n}. Dann ist |M| = n und M⊆ℂn.
Sei nun c = eiφ ∈ ℂn. Wegen 1 = cn = (eiφ)n = eiφn ist nφ = 2πm für ein m∈ℕ. Mit diesem m gilt dann φ = m/n·2π. Also ist φ ein ganzzahliges Vielfaches des n-ten Teils von 2π. Die entsprechenen komplexen Zahlen mit Betrag 1 liegen alle in M. Also ist ℂn ⊆ M.
Wegen M⊆ℂn und ℂn ⊆ M ist ℂn = M.