Let $G$ be the reflection group of a regular, 4-dimensional, hyperbolic honeycomb. I would like to find a family $H\_i < G$ of finite-index, torsion-free subgroups of $G$, so that I can represent the quotients $G/H\_i$ in some computer algebra system like GAP or Magma.


I already tried to do this by defining $G$ as a finitely-presented group in Magma and using its "LowIndexNormalSubgroup"-method. However, the index becomes too large for Magma to handle.


A different approach I came up with is using a faithful representation of $G$ in some $PSL\_m(\mathbb{Z}[ \xi\_1,...,\xi\_n ])$ and then factoring out a family of suitable family of ideals of $\mathbb{Z}[ \xi\_1,...,\xi\_n ]$. This has been done for 2D in


Mennicke J. Eine Bemerkung über Fuchssche Gruppen. Inventiones mathematicae. 1967 Aug 1;2(4):301-5.


Given that I am far from being an expert in this subject I would like to know whether someone here could help by pointing me in the right direction.



Torsion-free, normal subgroups of certain Coxeter groups
There has been quite a bit of activity in "[abstract regular polytopes](https://en.wikipedia.org/wiki/Abstract_polytope)", i.e. certain kinds of quotients of Coxeter groups with string diagram. See e.g. the book by P.McMullen and E.Schulte "Abstract regular polytopes", CUP, 2002. 
One way to construct such examples is to factor out an invariant sublattice (of finite index) in the natural reflection representation of your group. Indeed, there are constructions giving you finite examples, already often it suffices to work in something like (citing from memory) $SL\_4(\mathbb{Z}[\sqrt{2}])$.


