Torsion-freeness problem for matrix groups

Ruiwen Dong, Emmanuel Rauzy

We establish three results on decision problems for finitely generated matrix groups, based on fiber products: $\bullet$ The torsion-freeness problem is undecidable for subgroups o…