Define what it means for a group $G$ to act on a topological space $X$. Prove that, if $G$ acts freely, in a sense that you should specify, then the quotient map $X \rightarrow X / G$ is a covering map and there is a surjective group homomorphism from the fundamental group of $X / G$ to $G$.