Covering-space subgroup and deck-group quotient

For a connected regular covering corresponding to $H\le {\pi }_1(X,x_0)$, the subgroup $H$ is normal andThe quotient acts on a fibre by endpoints of lifted loops, and regularity makes this action transitive with kernel $H$.