Classification of covering spaces

Builds on Covering space Fundamental group Semilocally simply connected space Path-connected space Locally path-connected space Conjugate subgroup

Statement

Let $X$ be a path-connected, locally path-connected and semilocally simply connected space, and let $x_0 \in X$ . Two pointed covering maps $p_1 \colon (\tilde X_1, \tilde x_1) \to (X, x_0)$ and $p_2 \colon (\tilde X_2, \tilde x_2) \to (X, x_0)$ are isomorphic if there is a homeomorphism $h \colon \tilde X_1 \to \tilde X_2$ with $p_2 \circ h = p_1$ and $h(\tilde x_1) = \tilde x_2$ . Then:

Consider pointed covering maps $p \colon (\tilde X, \tilde x_0) \to (X, x_0)$ with $\tilde X$ path-connected. The rule $p \mapsto p_*\bigl(\pi_1(\tilde X, \tilde x_0)\bigr)$ is a bijection from their isomorphism classes onto the subgroups of the fundamental group $\pi_1(X, x_0)$ .
Consider isomorphisms that need not preserve base points. Then the same rule gives a bijection from isomorphism classes of covering maps with path-connected total space onto the conjugacy classes of subgroups of $\pi_1(X, x_0)$ .

Remarks

The covering that belongs to a subgroup $H$ is built like the universal cover from homotopy classes of paths that start at $x_0$ . Two such classes are identified when the paths end at the same point and differ by a loop whose class lies in $H$ . Injectivity uses the lifting criterion: a map from a path-connected, locally path-connected space lifts through a covering exactly when its image on $\pi_1$ lies in the image of the covering. Changing the base point inside the fibre replaces the subgroup by a conjugate, which explains the second clause. For $X = S^1$ , the subgroups of $\pi_1(S^1) = \Z$ are $n\Z$ with $n \ge 0$ ; they belong to the coverings $z \mapsto z^n$ for $n \ge 1$ and to the universal cover $\R \to S^1$ for $n = 0$ . Without the semilocal condition the trivial subgroup may have no covering: the Hawaiian earring has no simply connected covering space.

Going deeper

For a student

The theorem is the topological analogue of the fundamental theorem of Galois theory, with the universal cover in the role of an algebraic closure. It is used to build coverings with given properties. For example, each subgroup of a free group gives a covering of a graph, and this yields a quick proof that subgroups of free groups are free. Further properties of the correspondence, about deck transformations and normal subgroups, are collected in the Galois correspondence for coverings.

Reading path

To understand this page from the ground up, read these 7 pages in order. The foundations come first.

Show the path as a graph

Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.

no evidence level

Conjugate subgroup concept
Covering space concept
Fundamental group concept
Locally path-connected space concept
Path-connected space concept
Semilocally simply connected space concept
Classification of covering spaces statement

Tag	`YY277RBF8Z`
URI	`m2://YY277RBF8Z`
Kind	statement, theorem
Writing	W0 stub
MSC	57M10, 55R05
Status	This copy of the site has no build data. Run `m2 status YY277RBF8Z`.
About	Covering space, Fundamental group
Uses	Covering space, Fundamental group, Semilocally simply connected space, Path-connected space, Locally path-connected space, Conjugate subgroup
Changed	2 November 2026