Endliche Gruppe/Fixpunktfreie Operation/Hausdorffraum und einfach zusammenhängend/Überlagerung und Fundamentalgruppe/Fakt

Fundamentalgruppe bei fixpunktfreien Gruppenoperationen

Es sei eine endliche Gruppe, die auf einem einfach zusammenhängenden Hausdorff-Raum fixpunktfrei operiere.

Dann ist

eine Überlagerung und die Fundamentalgruppe des Bahnenraumes ist gleich .