Fundamental groups of orbit spaces:

Recall that a group is said to act freely if there are no fixed points of the action. That is to say, if $G$ acts on $S$ such that if $g\cdot s = s$ for all $s \in S$ then $g = 1$. We now define a stronger notion when the group acts on a topological space.