一般化された二項定理によれば のマクローリン展開は\begin{align}
(1+t)^{\frac{1}{2}}=\sum_{k=0}^\infty \binom{\frac{1}{2}}{k}t^k,~~~\left|t\right|<1
\end{align}で与えられます。ここで は一般化された二項係数 \begin{align}
\binom{\frac{1}{2}}{k}=\cfrac{\cfrac{1}{2} \left( \cfrac{1}{2}-1 \right)\left( \cfrac{1}{2}-2 \right)\cdots \left( \cfrac{1}{2}-k+1 \right)}{k!}
\end{align}です。
Wikipedia 二項定理 ニュートンの一般化された二項定理
calculus - Taylor series of $\sqrt{1+x}$ using sigma notation - Mathematics Stack Exchange
具体的に初めの方の項を計算してみると\begin{align}
\sqrt{1+t}=1+\cfrac{1}{2}t-\cfrac{1}{8}t^2+\cfrac{1}{16}t^3-\cfrac{5}{128}t^4+\cfrac{7}{256}t^5+\cdots
\end{align}となります。
今回はあえてヘンゼルの補題を使って正標数の体 上のベキ級数環での
の計算をしてみます。
そして最後に の既約性(因数分解できるかどうか)について考えてみます。
と ![\mathbb{K}[[t]]](https://chart.apis.google.com/chart?cht=tx&chl=%20%5Cmathbb%7BK%7D%5B%5Bt%5D%5D)
ユークリッド整域の典型的な例として,有理整数環 と体
上の多項式環
] があります。
どちらもユークリッド除算と呼ばれる「割り算」ができ,ユークリッドの互除法により最大公約元の計算ができます。 は「数論的」な環で,
は「幾何的」な環です。
前回の記事紹介した数論的な環である 進整数環
に対応する幾何的な環が体上の形式冪級数環
です。これは収束を考えない形式的な無限和からなる環です。和や積も形式的に定義できますが,桁の繰り上がりがない分,計算は よりも分かりやすいです。
一般的に幾何学的な環の方が数論的な環よりも分かりやすい構造をしています。
例えば の素イデアル全体がどうなっているかは整数論における究極的な大問題ですが,
] の素イデアル全体は
と簡単にかけます。
と
はどちらも完備離散付値環と呼ばれる環です。
に対しても,
と同様にヘンゼルの補題が成り立ちます。
ヘンゼルの補題とニュートン法
でのヘンゼルの補題を書いておきましょう。
で
を考えることは,
では
を代入することに対応します。やはり幾何的な環の方が話は簡単です。
の体
における根
が
の
における根
に持ち上がるという定理です。この持ち上がった根
はニュートン法で計算することができます。
を以下を満たすように帰納的に定めます。 ただし
は
による微分
を表しています。
\begin{align}
x_1(t)&\equiv \alpha \mod t\\
x_{k+1}(t)&\equiv x_k(t) -\cfrac{f_t(x_k(t))}{f_t'(x_k(t))} \mod t^{2^k}
\end{align}このとき, は収束し,
とすると,これは
を満たし,任意の
に対して
となります。
における
の
乗根
体 を有理数体
または有限体
(
:素数) とします。
で,
となるものは存在するでしょうか?
そのような は
に関する多項式
の根になるので,ヘンゼルの補題を使って見つけることができます。
まず, は根
を持ちます。また,
は
または
が
を満たす体のときは
になりません。よって,ヘンゼルの補題により,次の系が得られます。
特に ,
のときは
を満たす
が存在します。この
のことを
で表すことにしましょう。
ちなみに のときは,このような
は存在しません。
の2乗は
となり,
をどう上手く定めても
にはなりません。
の具体的な形
ニュートン法を用いて を
の場合に具体的に計算した結果は以下のようになります.
のとき:\begin{align}\small 1+2t+t^{2}+t^{3}+2t^{4}+t^{5}+t^{9}+2t^{10}+t^{11}+t^{12}+2t^{13}+t^{14}+\cdots\end{align}
のとき:\begin{align}\small
1+3t+3t^{2}+t^{3}+2t^{5}+t^{6}+t^{7}+2t^{8}+t^{10}+3t^{11}+3t^{12}+t^{13}+\cdots\end{align} のとき:\begin{align}\small 1+4t+6t^{2}+4t^{3}+t^{4}+3t^{7}+5t^{8}+4t^{9}+5t^{10}+3t^{11}+3t^{14}+5t^{15}+\cdots\end{align}
のとき:\begin{align}\small
1+6t+4t^{2}+9t^{3}+4t^{4}+6t^{5}+t^{6}+5t^{11}+8t^{12}+9t^{13}+t^{14}+9t^{15}+\cdots\end{align} のとき:\begin{align}\small 1+7t+8t^{2}+9t^{3}+9t^{4}+8t^{5}+7t^{6}+t^{7}+6t^{13}+3t^{14}+9t^{15}+\cdots\end{align}これらは
の各係数を
で計算したものと一致しています。
の既約性
] は多項式としては既約ですが,ベキ級数としては因数分解できます。
\begin{align}
x^3+x^2-y^2&=x^2(1+x)-y^2=(x\sqrt{1+x})^2-y^2=(x\sqrt{1+x}+y)(x\sqrt{1+x}-y)\\
&=\left(\sum_{k=0}^\infty \binom{\frac{1}{2}}{k}x^{k+1} +y\right)\left(\sum_{k=0}^\infty \binom{\frac{1}{2}}{k}x^{k+1} -y\right)
\end{align}この意味は のグラフを描いてみると分かります。
のグラフは全体としては一本の繋がった曲線です。
しかし,原点の近くだけの範囲で考えると は2本の曲線
と
が交差したものになってります。
] も多項式としては既約ですが,
のときはベキ級数としては因数分解できます。
のときは,
ななので,
と変数変換すると
となり,これはベキ級数としても既約なので,
はベキ級数としても既約になります。