Solvable groups defined by redundant cyclic presentations
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.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.08863
curl -X POST /api/v1/records/arxiv/2609.08863/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.08863/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'