Deck transformation

Let \(p\colon \tilde X\to X\) be a covering space. A deck transformation of \(p\) is a homeomorphism \(f\colon\tilde X\to\tilde X\) with \(p\circ f = p\). The deck transformations of \(p\) form a group \(\Deck(p)\) under composition.