Deck transformation group as a monodromy centralizer (source code)

= 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.