{"id":"arxiv/2607.26284","url":"https://arxiv.org/abs/2607.26284","tags":["math.GR"],"score":0,"title":"Stallings foldings for rational subsets of automatic groups","domain":"math.GR","source":"arxiv","authors":["Lucía Asencio-Martín","John R. Britnell","Andrew Duncan","Dominik Francoeur","Sarah Rees"],"reviews":0,"subject":"math.GR","summary":"Let $G$ be an automatic group with associated regular language $L$. We describe a procedure for constructing an automaton which recognises elements of a given submonoid or rational subset $K$ of $G$. This builds on work of Kharlampovich, Miasnikov and Weil, on the case where $K$ is a subgroup of $G$. Our construction succeeds, after sufficiently many iterations, whenever $K$ satisfies a certain convexity property, which we call $L$-proximity. We show how to test whether the construction is complete in the case that $K$ is a submonoid; we have no such test for the general case of a rational…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-28","reactions":{}}