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.