{"id":"arxiv/2609.10281","url":"https://arxiv.org/abs/2609.10281","tags":["math.GR","math.LO"],"score":0,"title":"Finite presentations of metabelian groups: effective enumeration via Laurent relations","domain":"math.GR","source":"arxiv","authors":["Achyuth Jayadevan"],"reviews":0,"subject":"math.GR","summary":"For an ordinary finite presentation $P=\\langle x_1,\\ldots,x_n\\mid R\\rangle$, put $G(P)=F_n/\\langle\\langle R\\rangle\\rangle$. We construct a primitive-recursive predicate $V$ with $G(P)''=1 \\Longleftrightarrow \\exists c\\in\\mathbb{N}: V(P,c)=1$. Thus finite presentations of metabelian groups are recursively enumerable, answering Kourovka Problem 17.124. An effective form of the Bieri-Strebel covering construction, using signed Laurent relations and rational separation, gives a family of finitely presented metabelian groups cofinal under epimorphisms. Products of conjugates of defining relators…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-09","reactions":{}}