Proving infinite index for a subgroup of matrices.

We show how tools from computational group theory can be used to prove that a subgroup of matrices has infinite index.