ADE/Zweidimensional/Fixpunktfreie Operation/Lokale Fundamentalgruppe/Fakt/Beweis

Beweis

(1). Die zu gehörende lineare Abbildung besitze einen Fixpunkt . Dann ist dies ein Eigenvektor zum Eigenwert . Da nach Fakt diagonalisierbar ist, ist in einer geeigneten Basis

und wegen ist , also ist die Identität.
(2) folgt aus (1) und Fakt, unter Berücksichtigung von Aufgabe und Aufgabe.