Grupo de Transformaciones de Recubrimiento
Definición
Para un recubrimiento p: C → X, el grupo de transformaciones de recubrimiento (o grupo de automorfismos del recubrimiento) es el grupo de homeomorfismos g: C → C tales que p ∘ g = p. La operación es la composición de homeomorfismos. Los elementos permutan las fibras y preservan la estructura de recubrimiento.