 Deck transformation group as a monodromy centralizer

For a connected covering, restriction to one fibre identifies the deck transformation group with the centralizer in the fibre's symmetric group of the monodromy action of a covering space. A deck transformation commutes with every lifted loop, and every commuting fibre permutation extends uniquely over the covering by path lifting.