{"id":"arxiv/2601.12112","url":"https://arxiv.org/abs/2601.12112","tags":["math.GR"],"score":0,"title":"One-variable equations over the lamplighter group","domain":"math.GR","source":"arxiv","authors":["Alexander Ushakov","Yankun Wang"],"reviews":0,"subject":"math.GR","summary":"We study one-variable equations over the lamplighter group $L_2=\\MZ_2 \\wr \\MZ$. While the decidability of arbitrary equations over $L_2$ remains open, we prove that the Diophantine problem for single equations in one variable is decidable. Our approach reduces the problem to a divisibility question for families of parametric Laurent polynomials over $\\MZ_2$, whose exponents depend linearly on an integer parameter. To analyze this divisibility problem, we introduce a symbolic division procedure for associated bivariate polynomials and derive explicit bounds on the parameter from the structure…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-17","reactions":{}}