Non-commutative rational power series and algebraic generating functions (Q685305)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Non-commutative rational power series and algebraic generating functions |
scientific article |
Statements
Non-commutative rational power series and algebraic generating functions (English)
0 references
10 March 1994
0 references
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\).
0 references
generating functions
0 references
rational power series
0 references
coefficient
0 references
valuation
0 references
