{"id":"arxiv/2609.31582","url":"https://arxiv.org/abs/2609.31582","tags":["math.NT"],"score":0,"title":"Free semigroups of power series","domain":"math.NT","source":"arxiv","authors":["Wade Hindes"],"reviews":0,"subject":"math.NT","summary":"Given power series $f_1,\\dots,f_r\\in z^2K[[z]]$ over a field $K$, we show that the semigroup $\\langle f_1,\\dots,f_r\\rangle$ generated by the $f$'s under composition is free of rank $r$ whenever the multiplicative semigroup $\\langle\\mathrm{lc}(f_1),\\dots,\\mathrm{lc}(f_r)\\rangle$ in $K^\\times$ is free commutative of rank $r$; here $\\mathrm{lc}(f)$ denotes the first nonzero coefficient of $f$. To do this, we associate an affine linear transformation to every $F\\in\\langle f_1,\\dots,f_r\\rangle$ and then apply a ping-pong lemma. In particular, combining this with work of Pappalardi, Sha,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-25","reactions":{}}