{"id":"arxiv/2609.08863","url":"https://arxiv.org/abs/2609.08863","tags":["math.GR"],"score":0,"title":"Solvable groups defined by redundant cyclic presentations","domain":"math.GR","source":"arxiv","authors":["Ihechukwu Chinyere"],"reviews":0,"subject":"math.GR","summary":"We study the two-generator one-relator groups defined by $\\langle x_0,x_1\\mid U(x_0,x_1)U(x_1,x_0)^{-1}\\rangle$, and determine exactly which of them fail to contain a free subgroup of rank $2$. We show that every such group is a solvable Baumslag--Solitar group $BS(1,m)$, and that every integer value $m$ can occur. This disproves a conjecture predicting that only $m\\in \\{-1,0,1\\}$ can occur.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-08","reactions":{}}