Intereting Posts

Is $\mathbb R / \langle x^2+1 \rangle = \mathbb R / \langle x^2+2 \rangle$?
Prove by contradiction that every integer greater than 11 is a sum of two composite numbers
What is the remainder when $40!$ is divided by $1763$?
Explanation of the Fibonacci sequence appearing in the result of 1 divided by 89?
Why does the “zig-zag comb” weakly deformation retract onto a point?
Good Book On Combinatorics
What is the chance that an $n$-gon whose vertices lie randomly on a circle's circumference covers a majority of the circle's area?
Flux through a paraboloid.
Subway & Graphs
Groups of order 36
Name for matrices with orthogonal (not necessarily orthonormal) rows
Integrating $\int\frac{x^3}{\sqrt{9-x^2}}dx$ via trig substitution
Groups of order $n^2$ that have no subgroup of order $n$
Prove that the kernel of a homomorphism is a principal ideal. (Artin, Exercise 9.13)
Is this sum related to the Gregory's limit?

Using the construction $R_n = K[t^\frac1n]$, $L_n = \text{Quot}(R_n)$ and $P = \bigcup_{n\in \mathbb{N}}L_N$ one automatically gets that the Puiseux series are a field. Nevertheless they are also an algebraically closed field if $K$ is an algebraically closed field. Why is that?

- Elementary geometry from a higher perspective
- What is the best way to self-study GAP?
- Which non-Abelian finite groups contain the two specific centralizers? - part II
- For which $d<0$ is $\mathbb Z$ an Euclidean Domain?
- If D is an Integral Domain and has finite characteristic p, prove p is prime.
- Properties of automorphism group of $G={Z_5}\times Z_{25}$
- Do there exist groups whose elements of finite order do not form a subgroup?
- In a ring $(A,+, \cdot)$ if $aba = a$ then $bab = b$ and all non zero elements in $A$ are invertible.
- $\mathbb R\oplus \mathbb R$ is an Integral Domain or a Division Ring?
- Use Nakayama's Lemma to show that $I$ is principal, generated by an idempotent.

The proof of the Newton-Puiseux theorem is a relatively straightforward application of Hensel’s Lemma. Below is an excerpt from Abhyankar: *Algebraic Geometry for Scientists and Engineers*. One can read the full two-page proof in Google Books. Abhyankar is a master in this area and a gifted teacher, so I highly recommend reading his expositions. In particular, see also his beautiful exposition Historical ramblings in algebraic geometry and related algebra, which won both a Lester R. Ford award and a Chauvenet prize.

Note that Newton’s method and related successive approximation schemes are essentially special cases of a generalized form of Hensel’s Lemma. See my 1996.10.15 sci.math post for references. One can also generalize some of these ideas to certain functional and differential equations, for example see my $\rm\:TaylorSolve\:$ command in $\rm\:Macsyma\:.$

The Puiseux field over $K$ is algebraically closed iff $K$ is algebraically closed *of characteristic zero*.

A proof of this result using the structure theory of extensions of local fields can be found as Theorem 15 in these notes. Briefly, the idea is that we have to consider unamified, tamely ramified and wildly ramified extensions in order to get from a complete valued field to its algebraic closure. Say we start with the Laurent series field $K((t))$. Then the residue field is $K$, which is algebraically closed, so there are no proper unramified extensions. Then we come to totally tamely ramified extensions — which are obtained by taking $n$th roots of uniformizers — and the Kummer theory comes out especially nicely here (Theorem 11): it turns out that we get precisely to the Puiseux series field $\bigcup_n K((t^{\frac{1}{n}}))$. Now in general (and in particular, in positive characteristic!) we would still have to contend with the wildly ramified extensions. But here the residue characteristic is zero, so by definition there are no wildly ramified extensions. So we’ve made it all the way to the algebraic closure.

[Other answers are also possible. Perhaps someone will provide one…]

As Pete Clark pointed out, you need $K$ to be of characteristic zero for this to be valid. To say that the Puiseux series are an algebraically closed field is to say that if $f(x,y) = \sum_{i=0}^n P_i(x)y^i$ is a polynomial whose coefficients are fractional Puiseux series $P_i(x) = \sum_{j = 0}^{\infty} a_{ij} x^{j \over N}$, with $P_n(x) = 1$, then one has a factorization

$$f(x,y) = \prod_{i=1}^n (y – Q_i(x))\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,(*)$$

Here the “roots” $Q_i(x)$ are also fractional Puiseux series over $K$, possibly with a larger $N$.

The reason this is true is as follows. Newton’s original method for finding Puiseux series for polynomials over ${\mathbb R}$ works over arbitrary $K$ of characteristic zero, in the sense that it produces a fractional Puiseux series $Q_1(x)$ such that $f(x,y)$ factors into $(y – Q_1(x))g(x,y)$ where now $g(x,y)$ is of the form $\sum_{i=0}^{n-1} R_i(x)y^i$ where the $R_i(x)$ are fractional Puiseux series. (If you think about it, there’s a natural way to multiply $y – Q_1(x)$ and $g(x,y)$ together so this is well-defined.)

And it doesn’t work just for polynomials, it works for all $f(x,y)$ of the above form $\sum_{i=0}^n P_i(x)y^i$ as well; $f(x,y)$ doesn’t have to be a polynomial, and the presence of fractional powers don’t play any major role since one is effectively just replacing the variable $x$ by the variable $x^{1 \over N}$ for some large $N$.

Once you have $f(x,y) = (y – Q_1(x))g(x,y)$ you can then apply the procedure to $g(x,y)$ repeatedly until you have the factorization $(*)$.

- What is the opposite category of $\operatorname{Top}$?
- 4 points in 3-d space (one known and three unknown)
- Every monoidal category is strictly equivalent to a strict monoidal category.
- Vakil 14.2.E: $L\approx O_X(div(s))$ for s a rational section.
- What is “Approximation Theory”?
- Odd and even numbers in Pascal's triangle-Sierpinski's triangle
- Why is the eigenvector of a covariance matrix equal to a principal component?
- Proof that Epicycloids are Algebraic Curves?
- The value of a Dirichlet $L$-function (and its derivative) at $s=0$
- Example of a first-countable non-$T_1$ compact topological space which is not sequentially compact?
- Automorphism in the special linear algebra $\mathfrak{sl}_2(F)$
- Solution to General Linear SDE
- Full flag $Fl_{\mathbb C}(3)$
- Rank of an interesting matrix
- Dual of a vector space