Deck transformation group
= Deck transformation group
The deck transformation group consists of all deck transformations under composition. For a connected regular covering corresponding to a normal subgroup $H\triangleleft\pi_1(X)$, it is isomorphic to $\pi_1(X)/H$.