1: \begin{abstract}

2: We show how tools from computational group theory can be used to prove that

3: a subgroup of matrices has infinite index.

4: \end{abstract}

5: