El ejercicio 1.3.28 de Topología Algebraica de Hatcher es :
Ejercicio 1.3.28. Demuestre que para una acción del espacio de cobertura de un grupo $G$ en un espacio simplemente conectado $Y$ , $\pi_1(Y/G)$ es isomorfo a $G$ . [Si $Y$ está localmente conectada por un camino, esto es un caso especial de la parte (b) de la Proposición 1.40].
La proposición 1.40 es :
Proposición 1.40. Dada una acción del espacio de cobertura de un grupo $G$ en un espacio $Y$ ,
(a) El mapa de cociente $p : Y \to Y/G$ es un espacio de cobertura normal.
(b) $G$ es el grupo de transformaciones de cubierta del espacio de cobertura si $Y$ está conectado a la ruta.
(c) $G$ es isomorfo a $\pi_1(Y/G)/p_*(\pi_1(Y))$ si $Y$ está conectada a la trayectoria y localmente a la trayectoria.
Creo que el ejercicio 1.3.28 es un caso especial de la parte (c) de la proposición 1.40, no de la (b). Pero no se menciona en la lista de erratas de la página web de Hatcher: http://pi.math.cornell.edu/~hatcher/ . ¿Me equivoco?
