Gruppe der Decktransformationen

Für eine Überlagerung p: C → X ist die Decktransformationengruppe (oder Gruppe der Überlagerungsautomorphismen) die Gruppe der Homöomorphismen g: C → C mit p ∘ g = p. Die Verknüpfung ist Komposition. Elemente permutieren die Fasern und erhalten die Überlagerungsstruktur.