1: \begin{abstract}

2: We present an algorithm to decide whether or not a finitely generated subgroup of the isometry group of a locally finite simplicial tree is both discrete and free. The correctness of this algorithm relies on the following conjecture: every `minimal' $n$-tuple of isometries of a simplicial tree either contains an elliptic element or satisfies the hypotheses of the Ping Pong Lemma. We prove this conjecture for $n=2,3$, and show that it implies a generalisation of Ihara's Theorem.

3: %This implies that a finitely generated subgroup of the isometry group of a locally finite simplicial tree is discrete and free if and only if it contains no elliptic elements.

4: \end{abstract}

5: