Model Theory and Algorithms for One-Relator Groups
We study the elementary theories and algorithmic properties of one-relator groups. We give a first-order sentence characterizing Baumslag-Solitar-freeness in this class. For fixed $|m|>1$, we regularly interpret $\BS(1,m)$ as a definable subgroup in every one-relator group containing it. We uniformly, regularly and injectively interpret integer arithmetic in countable groups of cohomological dimension at most two. We obtain one uniform interpretation for all one-relator groups containing a non-unimodular Baumslag--Solitar subgroup. Every fixed finitely presented group is regularly…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.25305
curl -X POST /api/v1/records/arxiv/2610.25305/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.25305/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'