{"id":"arxiv/2608.22397","url":"https://arxiv.org/abs/2608.22397","tags":["math.GR"],"score":0,"title":"Presentations of Lower-Triangular Subgroups of $\\operatorname{Aut}(F_n)$","domain":"math.GR","source":"arxiv","authors":["C. E. Kofinas"],"reviews":0,"subject":"math.GR","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-23","reactions":{}}