paper

Proving infinite index for a subgroup of matrices

arXiv:2110.04359

Abstract

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