1: \begin{abstract}

2:   A (noncommutative) Pólya series over a field $K$ is a formal power series whose nonzero coefficients are contained in a finitely generated subgroup of $K^\times$.

3:   We show that rational Pólya series are unambiguous rational series, proving a 40 year old conjecture of Reutenauer.

4:   The proof combines methods from noncommutative algebra, automata theory, and number theory (specifically, unit equations).

5:   As a corollary, a rational series is a Pólya series if and only if it is Hadamard sub-invertible.

6:   Phrased differently, we show that every weighted finite automaton taking values in a finitely generated subgroup of a field (and zero) is equivalent to an unambiguous weighted finite automaton.

7: \end{abstract}

8: