Monodromy group of a covering (source code)

= Monodromy group of a covering
{wiki=Monodromy}

For a covering $p:X\to Y$ and base point $y$, lifting loops based at $y$ permutes the fibre $p^{-1}(y)$. The image of
$$
\pi_1(Y,y)\longrightarrow\operatorname{Sym}(p^{-1}(y))
$$
is the monodromy group.