Hatcher-Algebraic-Topology · Problem 1.3.18

The Fundamental Group

Mathematics — Graph Theory · covering-spaces

Problem

For a path-connected, locally path-connected, and semilocally simply-connected space XX, call a path-connected covering space X~→X\tilde{X} \to X abelian if it is normal and has abelian deck transformation group. Show that XX has an abelian covering space that is a covering space of every other abelian covering space of XX, and that such a 'universal' abelian covering space is unique up to isomorphism. Describe this covering space explicitly for X=S1∨S1X = S^1 \vee S^1 and X=S1∨S1∨S1X = S^1 \vee S^1 \vee S^1.

Related theory

Browse the problem library