{"id":"arxiv/2607.24189","url":"https://arxiv.org/abs/2607.24189","tags":["math.GR"],"score":0,"title":"The Diophantine problem in the Baumslag-Gersten group","domain":"math.GR","source":"arxiv","authors":["Robert D. Gray","Alex Levine"],"reviews":0,"subject":"math.GR","summary":"We show that, for every positive prime number $p$, the Baumslag-Gersten group $G_p = \\langle a, t \\mid (tat^{-1}) a(tat^{-1})^{-1} = a^p \\rangle$ has an undecidable Diophantine problem. This gives the first known examples of one-relator groups with undecidable Diophantine problems. Furthermore we apply this to show that the one-relator group $G_p \\ast \\mathbb{Z}$ has an undecidable single equation problem.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-27","reactions":{}}