COMPUTING LEADING EXPONENTS OF NOETHERIAN POWER SERIES
Let \(k\) be a field of characteristic zero, the author studies the field of noetherian power series, \(k\langle \langle t^{\mathbb{Q}}\rangle \rangle\), which consists of maps \(z: \mathbb{Q}\to k\) whose supports are noetherian (i.e. reverse well-ordered) subsets of \(\mathbb{Q}\), the group of the rational numbers. There is a canonical valuation \({\mathcal L}E:k\langle \langle t^{\mathbb{Q}}\rangle \rangle \to \mathbb{Q}\cup \{-\infty\}\) that sends a nonzero series to the maximum element of its support. Given a nonzero polynomial \(f(x,y)\in k[x,y]\) and a series \(z\in k\langle \langle t^{\mathbb{Q}}\rangle \rangle \) that is transcendental over \(k(t)\), the author constructs a formula for \({\mathcal L}E(f(t,z))\) in terms of the roots of \(f(t,y)\in k(t)[y]\). Using this formula, he finds sufficient conditions for \(\{{\mathcal L}E(f(t,z)): f(x,y)\in k[x,y]^*\}\) to be a well-ordered subset of \(\mathbb{Q}\). In particular, this set is well-ordered in case the support of \(z\) consists solely of positive numbers.
This page was built for publication: COMPUTING LEADING EXPONENTS OF NOETHERIAN POWER SERIES
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4795943)
