Zur
Überlagerung
-
ist die
Decktransformationsgruppe
gleich der Gruppe der
-ten
komplexen Einheitswurzeln
-

siehe
Fakt.
Dabei wirkt eine Einheitswurzel
durch die Multiplikation
-
als Decktransformation. Die Gesamtzuordnung
-
ist offenbar
injektiv
und ein
Gruppenhomomorphismus.
Bei einer beliebigen Decktransformation
-
ist
eine
-te Einheitswurzel. Daraus folgt
mit
Fakt.