Free semigroups of power series
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,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.31582
curl -X POST /api/v1/records/arxiv/2609.31582/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.31582/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'