Puiseux's theorem for generalized power series field
type: Item
instance of: scholarly article
zbMATH Open document ID: 0872.13011
author: Ali Benhissi
publication date: 1997-10-15T00:00:00Z
Mathematics Subject Classification ID: 13F25
zbMATH DE Number: 983059
zbMATH Keywords: generalized power series field
zbMATH Keywords: Puiseux's theorem
MaRDI profile type: MaRDI publication profile
title: Puiseux's theorem for generalized power series field
review text: 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].
reviewed by: N. Sankaran
description: scientific article; zbMATH DE number 983059