Presentations of Lower-Triangular Subgroups of $\operatorname{Aut}(F_n)$
Let $F_n$ be the free group of rank $n\geq2$ with basis $x_1,\ldots,x_n$. For $1\leq j<i\leq n$, let $d_{i,j}$ and $e_{i,j}$ be the automorphisms of $F_n$ defined by $d_{i,j}(x_i)=x_ix_j$ and $e_{i,j}(x_i)=x_jx_i$, respectively, and fixing the remaining free generators. Write $D_n=\langle d_{i,j}\mid 1\leq j<i\leq n\rangle$ and $A_n^+=\langle d_{i,j},e_{i,j}\mid 1\leq j<i\leq n\rangle$. We prove that $D_n$ admits a presentation on the generators $d_{r+1,r}$, $1\leq r\leq n-1$, with three families of relations given by commutators of weights two, three, and four, respectively. We extend this…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.22397
curl -X POST /api/v1/records/arxiv/2608.22397/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.22397/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'