Wiki. “Newton–Puiseux 定理” [Newton--Puiseux定理]
Wiki. “Newton–Puiseux 定理” [Newton--Puiseux定理]
分数次幂级数域 (又称 Puiseux 级数域) $$ K\left<\left<X\right>\right> = \bigcup_{m\in\mathbb{Z}_+}K((X^{1/m})) $$ 是代数闭域. 换言之, 任意多项式 $F \in K[X](X.md)[Y]$ 有分解 $F= \prod (Y-\eta_i)$, 其中 $\eta_i\in K[X^{1/m}](X^{1/m}.md)[Y]$.