Deck transformation
= Deck transformation
{wiki}
A deck transformation of a covering $p:\widetilde X\to X$ is a homeomorphism $g:\widetilde X\to\widetilde X$ satisfying $p\circ g=p$. Every double covering has a canonical nonidentity deck transformation that exchanges the two points in each fibre.