Bases of subalgebras of K[[x]] and K[x]

Abstract

Let $f\_1,\dots ,f\_s$ be formal power series (respectively polynomials) in thevariable $x$. We study the semigroup of orders of the formal series inthe algebra $K[[f1,\dots ,f\_s]]\subseteq K[[x]]$ (respectively the semigroup of degrees of polynomials in$K[f\_1,\dots ,f\_s]\subseteq K[x]$). We give procedures to compute thesesemigroups and several applications.

arXiv commentMEGA'2015 (Special Issue), Jun 2016, Trento, Italy