Hatcher-Algebraic-Topology · Problem 1.3.26

The Fundamental Group

Mathematics — Graph Theory · covering-spaces

Problem

For a covering space p:X~→Xp : \tilde{X} \to X with XX connected, locally path-connected, and semilocally simply-connected, show: ((a)) The components of X~\tilde{X} are in one-to-one correspondence with the orbits of the action of π1(X,x0)\pi_1(X, x_0) on the fiber p−1(x0)p^{-1}(x_0). ((b)) Under the Galois correspondence between connected covering spaces of XX and subgroups of π1(X,x0)\pi_1(X, x_0), the subgroup corresponding to the component of X~\tilde{X} containing a given lift x~0\tilde{x}_0 of x0x_0 is the stabilizer of x~0\tilde{x}_0, the subgroup consisting of elements whose action on the fiber leaves x~0\tilde{x}_0 fixed.

Related theory

Browse the problem library