Free semigroups of power series

Wade Hindes

In the authors' words

Given power series $f_{1}, \dots, f_{r} \in z^{2} K [[z]]$ over a field of characteristic zero, we show that the semigroup $⟨ f_{1}, \dots, f_{r} ⟩$ generated by the $f$ 's under composition is free of rank $r$ whenever the multiplicative semigroup $\langlelc (f_{1}), \dots, l c (f_{r})⟩$ in $K^{\times}$ is free commutative of rank $r$ ; here $l c (f)$ denotes the first nonzero coefficient of $f$ . To do this, we associate an affine linear transformation to every $F \in ⟨ f_{1}, \dots, f_{r} ⟩$ and then apply a ping-pong lemma. In particular, combining this with work of Pappalardi, Sha, Shparlinski, and Stewart, it follows that most semigroups of polynomials over a number field $K$ are free, and we make this statement precise through a counting argument.

Main resultThe abstract does not state a limitation.

Free semigroups of power series

In the authors' words

More on Algebra & number theory that day

Asymptotic completions of preordered semirings

The Robust Thompson's Conjecture for Alternating Groups

A Proof of the Second brick-Brauer-Thrall Conjecture for E-infinite algebras

Symmetry and solvability: Galois groups of equivariant enumerative problems

Irreducible rootless unimodular lattices generated by vectors of norm 3

A Proof of the Second brick-Brauer-Thrall Conjecture for $E$ -infinite algebras

Irreducible rootless unimodular lattices generated by vectors of norm $3$