{"id":"arxiv/2609.15378","url":"https://arxiv.org/abs/2609.15378","tags":["math.GR"],"score":0,"title":"Torsion-freeness problem for matrix groups","domain":"math.GR","source":"arxiv","authors":["Ruiwen Dong","Emmanuel Rauzy"],"reviews":0,"subject":"math.GR","summary":"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 of $\\mathrm{SL}_{4}(\\mathbb{Z})$, $\\bullet$ There exists a finitely generated subgroup $G$ of $\\mathrm{SL}_{4}(\\mathbb{Z})$ with undecidable square root problem, $\\bullet$ No algorithm can, on input a tuple of invertible matrices, output the list of marked finite quotients of the group they generate.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-14","reactions":{}}