Puiseux's theorem for generalized power series field (Q2785917)

A generalized power series field over a field \(K\) is the field \(K((G))\), the collection of all series over \(K\) with exponents indexed by an ordered abelian group \(G\) and multiplication in \(K((G))\) is effected by the group operation of \(G\). In this note the author gives an elementary proof of Puiseux's theorem when \(K\) is algebraically closed. He shows that if \(f(Y)\) in \(K((G))[Y]\) is a polynomial in \(Y\) whose degree is not divisible by the characteristic of \(K\) which is assumed to be algebraically closed, then there exists a natural number \(m\) and a series \(y\) in \(K((G))\) such that \(f^{(m)}(y)=0\) where if \(f=\sum a_\alpha T^\alpha\), then \(f^{(m)}=\sum a_\alpha T^{m\alpha}\) and if \(g(Y)=\sum_ig_iY^i\) then \(g^m(Y)=\sum_ig_i^{(m)}Y^i\). -- Several interesting corollaries are proved:NEWLINENEWLINENEWLINE(i) if \(K\) is algebraically closed then so is \(K((G))\),NEWLINENEWLINENEWLINE(ii) \(K\) is algebraically closed in \(K((G))\),NEWLINENEWLINENEWLINE(iii) for all polynomials \(f(Y)\) in \(K((G))[Y]\), the \(y\) occurring in Puiseux's theorem is in \(M((G))\) where \(M\) is a finite extension of \(K\) (here the characteristic of \(K\) is assumed to be \(0\)), andNEWLINENEWLINENEWLINE(iv) if \(G\) is divisible, then \(\bigcup M((G))\) is an algebraic closure of \(K((G))\), where \(M\) runs through the finite extensions of \(K\) in its algebraic closure \(\overline K\).NEWLINENEWLINEFor the entire collection see [Zbl 0855.00015].