Deck transformation group

Summary

The deck transformation group of a covering map $p \colon \tilde X \to X$ is the group of homeomorphisms of $\tilde X$ that commute with $p$. These maps permute the points of each fibre, and they measure the symmetry of the covering. For the universal cover of a reasonable space, the deck transformation group is isomorphic to the fundamental group of the space.