{"id":"arxiv/2610.06108","url":"https://arxiv.org/abs/2610.06108","tags":["math.GR","cs.DM"],"score":0,"title":"Subgroup and Submonoid Membership in the lampshuffler of $\\mathbb{Z}$","domain":"math.GR","source":"arxiv","authors":["Corentin Bodart","Ruiwen Dong"],"reviews":0,"subject":"math.GR","summary":"The lampshuffler group of $\\mathbb{Z}$ is the semidirect product $\\operatorname{FSym}(\\mathbb{Z}) \\rtimes \\mathbb{Z}$, which consists of all permutations of $\\mathbb{Z}$ that act as a translation outside a finite set. This infinite permutation group naturally contains as subgroups the wreath products $H \\wr \\mathbb{Z}$ for every finite group $H$. We prove that the Subgroup Membership Problem, and more generally, the Submonoid Membership Problem, are decidable in $\\operatorname{FSym}(\\mathbb{Z}) \\rtimes \\mathbb{Z}$. Our proof reduces Subgroup and Submonoid Membership in…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-05","reactions":{}}