Non-commutative rational power series and algebraic generating functions (Q685305)

The following theorem is proved: let \(K\) be a field and \(f(x_ 1,\ldots,x_ k,y_ 1,\ldots,y_ k)\) a rational power series in non- commuting indeterminates. Then any coefficient of \(f(x_ 1,\ldots,x_ k,\;x_ 1^{-1},\ldots,x_ k^{-1})\) converging w.r.t. a given valuation on \(K\) is algebraic over \(K\).