に対し,ヘンゼルの補題で の根 が の根に持ち上がるための条件に というものがありました。
この条件は外すことができません。
例として の場合を考えてみましょう。 は 重根 を持ちますが, は既約なので に根は持ちません。
では となる の根からは何も情報が得られないのでしょうか?
再び の場合を考えてみると, にまで範囲を広げると, は 個の根 \begin{align}t^{\frac{1}{n}},~ \zeta_nt^{\frac{1}{n}},~\dots,~ \zeta_n^{n-1}t^{\frac{1}{n}}\end{align}を持ちます (ただし は の原始 乗根)。これらは を代入すると になるので, の 重根 が持ち上がったものと解釈できます。つまりこの例は,重根は には持ち上がらないですが,少し大きくした には持ち上がることを示唆しています。
今回紹介するのは次の定理です。
この定理の系として,次のニュートン・ピュイズーの定理が得られます。
ここで, は の商体をあらわしています。 の元のことをピュイズー級数といいます。
主張の形はちょっと違いますが,この定理のオリジナルの証明は本質的に1676年にニュートンがオルデンブルクに当てた手紙にあるそうです *1。
因数分解バージョンのヘンゼルの補題
ヘンゼルの補題には因数分解が持ち上がることを主張するバージョンもあり,こちらの方を単にヘンゼルの補題と呼ぶこともあります。
] とする。 が \begin{align}f(0,x)=g(x)h(x)\end{align} と因数分解できるとき,] で\begin{align}f(t,x)=g(t,x)h(t,x),~g(0,x)=g(x),~h(0,x)=h(x)\end{align} となるものが存在する。
この定理により, が既約のとき, は既約多項式のベキになっています。特に が代数閉体のときは という形になります。主定理は,この 重根 が 個の 内の根に持ち上がることを主張しています。
主定理の証明
記号は主定理の通りとします。この主定理はいくつか可換環論の有名な定理さえ認めてしまえば比較的簡単に証明することができます。というわけでこの証明はある程度可換環論を学んだ人向けです。
証明:
または なので, は の分離多項式であることに注意する。
剰余環 の整閉包は, の係数体 上のベキ級数環 と同型になる*2。 を自然な埋め込みとする。 をうまく取り直すことで, としてよい*3。 とすると,
となる。この等式の不定元 に,形式的に (ただし , は の原始乗根) を代入することで \begin{align}f(t,\varphi(\zeta_n^it^{\frac{1}{n}}))=0\end{align}を得る。つまり は の の多項式としての根となる。
とおく。体の拡大 のガロワ群は で生成されるが, は で不変なので, となる。よって となり, は の の多項式としての,相異なる 個の根となる。(証明終)
ニュートン・ピュイズーの定理の証明
証明:
とおく。 , とする。 が に根を持つことを示せばよい。
ある が存在して となる。 とおく。適当に の元倍することで で,先頭項が であるとしてよい。 とおくと, で先頭項は となる。主定理により, の既約因子(その次数を とする )の根となる が存在する。よって, は根 を持つ。(証明終)
*1:たぶんこれ Letter from Isaac Newton to Henry Oldenburg, dated 24 October 1676 (Normalized)。 手紙の後半に現在ではニュートン多角形と呼ばれるものの画 (Fig. 2) が出てきます。何が書いてあるかは読めませんが,このあたりで多項式のピュイズー級数根を求めているように見えます。
*2:これは,完備局所環についてのコーエンの構造定理,Krull-秋月の定理,完備局所環の有限拡大で整域なものは完備局所環であること,一次元の正規環は正則であることを用いて証明できます。
*3:重複度が双有理変換で変わらないことと, の可逆元が 乗根を持つことからこのような が取れます。