Consider a covering space . The isomorphisms
are called deck transformations, and they form a group
under composition.
For the covering space projecting a vertical helix onto a circle, the deck transformations are the vertical translations mapping the helix onto itself, so
, where a vertical translate of
“steps” upwards/downwards corresponds to the integer
respectively.