Über den
Rückzug
erhält man eine lineare Abbildung
-
und dazu die duale Abbildung
-
Unter dieser Abbildung wird die Auswertung
zu einem stetigen Weg
auf die Abbildung
abgebildet. Dies stimmt nach
Fakt
mit der Abbildung
überein. Dies bedeutet insgesamt, dass unter der dualen Abbildung das Periodengitter von
auf das Periodengitter von
abgebildet wird. Dies induziert einen Gruppenhomomorphismus
-
Da er von einer linearen Abbildung herrührt, ist er holomorph.