 Free group action on a tree

A group acts freely on a tree when only the identity fixes a vertex. The quotient is a graph, the tree is its universal cover, and choosing lifts of a maximal subtree identifies the acting group with the fundamental group of the quotient graph. It is therefore a free group.