Proving infinite index for a subgroup of matrices

TL;DR

This paper demonstrates how computational group theory techniques can be applied to establish that a specific subgroup of matrices has infinite index, providing a method for such proofs.

Contribution

It introduces a novel approach using computational group theory to prove infinite index of matrix subgroups.

Findings

Successfully proved infinite index for a specific matrix subgroup

Showed the effectiveness of computational tools in group theory proofs

Provided a framework applicable to similar problems

Abstract

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