- 追加された行はこの色です。
- 削除された行はこの色です。
#rst2hooktail_source
==============================================================
四次方程式
==============================================================
二次方程式、三次方程式に引き続き、四次方程式も考えてみます。四次方程式にも解の公式が存在することは、読者のみなさんは御存知だと思いますので、この記事が、方程式が代数的に解ける場合の最後の例となります。ガロア理論を復習しながら、できれば記事を読む前に、自分で解を導けるくらいの勢いで読んで欲しいと思います。中間体が三つも出てきますから、三次方程式と比べて、議論は桁違いに複雑です。
四次方程式
=====================================================
次の形の四次方程式の解を考えます。係数 $p,q,r,s$ は体 $F$ の元とします。
<tex>
f(x)=x^{4} -px^{3} +qx^{2} -rx +s = 0 \tag{1}
</tex>
体 $F$ は $1$ の四乗根を全て含むものとし、 $f(x)$ の最小分解体を $E$ とします。ガロア群 $\cal G \it (E/F)$ は、 $f(x)$ の解 $\alpha _{1},\alpha _{2},\alpha _{3},\alpha _{4}$ を置換する対称群で、 $\cal G \it (E/F) \sim S_{4}$ が言えます。これより、 $[E:F]=|\cal G \rm (E/F)|=|S_{4}|=24$ が分かります。（この辺りの議論は、 二次方程式_ や 三次方程式_ と全く同じです。） $S_{4}$ の正規部分群の組成列としては、次のような列が考えられます。
<tex>
\{ e\} \subset K \subset N \subset A_{4} \subset S_{4} \tag{2}
</tex>
一応、それぞれの群の要素を書き出しておきます。それぞれ正規部分群になっていることを確認して下さい。
<tex>
S_{4} = \{
& e , (1 \ 2), (1 \ 3), (1 \ 4), (2 \ 3) ,(2 \ 4), (3 \ 4), \\
& (1 \ 2)(1 \ 4), (1 \ 2)(3 \ 4), (1 \ 3)(1 \ 4), (1 \ 3)(2 \ 4), (1 \ 3)(3 \ 4), (1 \ 4)(2 \ 3), \\
& (2 \ 3)(1 \ 2), (2 \ 3)(1 \ 3), (2 \ 3)(2 \ 4), (2 \ 3)(3 \ 4), (2 \ 4)(1 \ 4), \\
& (1 \ 2)(1 \ 3)(1 \ 4), (1 \ 2)(2 \ 3 )(3 \ 4), (1 \ 3)(2 \ 3)(3 \ 4), (2 \ 3)(1 \ 2)(2 \ 4) \\
& (2 \ 3)(1 \ 3)(1 \ 4), (2 \ 3)(3 \ 4)(1 \ 4) \}
</tex>
<tex>
A_{4} = \{
& e , (1 \ 2)(1 \ 4), (1 \ 2)(3 \ 4), (1 \ 3)(1 \ 4), (1 \ 3)(2 \ 4), (1 \ 3)(3 \ 4), (1 \ 4)(2 \ 3), \\
& (2 \ 3)(1 \ 2), (2 \ 3)(1 \ 3), (2 \ 3)(2 \ 4), (2 \ 3)(3 \ 4), (2 \ 4)(1 \ 4) \}
</tex>
<tex>
N = \{ e , (1 \ 2)(3 \ 4), (1 \ 3)(2 \ 4), (1 \ 4)(2 \ 3) \}
</tex>
<tex>
K = \{ e , (1 \ 2)(3 \ 4) \}
</tex>
念のため、 $S_{4}$ が可解群であることを確認してみましょう。 $|S_{4}/A_{4}|=2$ より、 $S_{4}/A_{4}$ が可換群であることは明らかでしょう。また、 $A_{4}/N= \{ e , (2 \ 3)(3 \ 4), (2 \ 3)(2 \ 4)\} $ で、これは巡回群ですから、もちろん可換群です。（ちゃんと確認してみましょう。） $N/K = \{ e , (1 \ 3)(2 \ 4)\} $ もちゃんと可換群になっています。これより、 $S_{4}$ は可解群であることが確かめられました。式 $(1)$ の四次方程式は、代数的に解けることが分かったわけですが、このままラグランジェのリゾルベントを定義通り考えるのは大変すぎるので、少し工夫します。いま、これらガロア群の正規部分群に対して、それぞれ固定体となる中間体 $B_{1},B_{2},B_{3}$ を考えることが出来ます。
<tex>
E \supset B_{3} \supset B_{2} \supset B_{1} \supset F \tag{3}
</tex>
ここで、交代群 $A_{4}$ によって、次式で定義される $\Delta$ は不動に保たれ、 $B_{1}=F(\Delta)$ だと考えることが出来ます。
<tex>
\Delta = (\alpha _{1} -\alpha _{2}) (\alpha _{1} -\alpha _{3})(\alpha _{1} -\alpha _{4})(\alpha _{2} -\alpha _{3})(\alpha _{2} -\alpha _{4})(\alpha _{3} -\alpha _{4}) \tag{4}
</tex>
.. [*] 蛇足ですが、 $\Delta ^{2}$ は $S_{4}$ で不動ですので、 $F$ の元だということが分かります。
群 $N$ によって不動に保たれるのは、次のような元です。
<tex>
\theta _{1} = \alpha _{1} \alpha _{2} + \alpha _{3} \alpha _{4} \tag{5-1}
</tex>
<tex>
\theta _{2} = \alpha _{1} \alpha _{3} + \alpha _{2} \alpha _{4} \tag{5-2}
</tex>
<tex>
\theta _{3} = \alpha _{1} \alpha _{4} + \alpha _{2} \alpha _{3} \tag{5-3}
</tex>
群 $N$ の元は $\theta _{1}, \theta _{2} , \theta _{3}$ をそれぞれ不動に保ちますが、 $S_{4}$ の他の元は、 $\theta _{1}, \theta _{2} , \theta _{3}$ をそれぞれ違いに移します。これより、次の関係が分かります。
<tex>
B_{2} = F( \theta _{1}, \theta _{2} , \theta _{3}) \tag{6}
</tex>
この $\theta _{1}, \theta _{2} , \theta _{3}$ を使って、次のような方程式を考えてみましょう。
<tex>
(x-\theta _{1})(x- \theta _{2} )(x- \theta _{3}) = x^{3} -Px^{2} +Qx -R = 0 \tag{7}
</tex>
ただし、式中の係数は次のように置いています。
<tex>
P = \theta _{1}+ \theta _{2} + \theta _{3} = q \tag{8-1}
</tex>
<tex>
Q &= \theta _{1} \theta _{2} + \theta _{2} \theta _{3} + \theta _{3} \theta _{1} \\
&= pr - 4s \tag{8-2}
</tex>
<tex>
R &= \theta _{1}\theta _{2} \theta _{3} \\
&= s(p^{2} -4q) +r^{2} \tag{8-3}
</tex>
右辺二行目の $p,q,r,s$ による表現では、解と係数の関係を使っていますが、詳細な計算は面倒なので省略させて下さい。気になる人は代入してみれば確認できると思います。解と係数の関係は、式 $(9)$ として示しておきます。 三次方程式は解ける_ わけですから、 $\theta _{1}, \theta _{2}, \theta _{3}$ は $P,Q,R$ だけで表すことができ、これは、すなわち $p,q,r,s$ だけで表わすことが出来るということです。
<tex>
p = \alpha _{1} + \alpha _{2} + \alpha _{3} + \alpha _{4} \tag{9-1}
</tex>
<tex>
q &= \alpha _{1}\alpha _{2} + \alpha _{2}\alpha _{4} + \alpha _{2}\alpha _{3} \\ & \ \ \ + \alpha _{1}\alpha _{4} + \alpha _{1}\alpha _{3} + \alpha _{3}\alpha _{4} \tag{9-2}
</tex>
<tex>
r = \alpha _{1}\alpha _{2}\alpha _{4} + \alpha _{1}\alpha _{2}\alpha _{3}
+\alpha _{2}\alpha _{3}\alpha _{4} + \alpha _{1}\alpha _{3}\alpha _{4}
\tag{9-3}
</tex>
<tex>
s = \alpha _{1}\alpha _{2}\alpha _{3}\alpha _{4} \tag{9-4}
</tex>
方程式 $(7)$ の解は $B_{2}$ の解ですが、 $S_{4}$ によって式 $(7)$ は不動に保たれます。そこで、 $B_{2}$ は、 $F$ 上の方程式 $(7)$ の最小分解体だと考えることが出来ます。式 $(7)$ を *三次分解方程式* と呼び、 フェラーリの方法_ の途中で考えるものです。式 $(1)$ の解を表わすのに $\Delta$ を直接使わず、 $\theta _{1},\theta _{2}, \theta _{3}$ を使うことになります。さて、ここで次式のように $\xi _{1}, \xi_{2},\xi _{3}$ を定義します。
<tex>
\xi _{1} &= \alpha _{1} + \alpha _{2} - \alpha _{3} -\alpha _{4} \\
&= 2(\alpha _{1} + \alpha _{2}) - p \tag{10-1}
</tex>
<tex>
\xi _{2} &= \alpha _{1} - \alpha _{2} + \alpha _{3} -\alpha _{4} \\
&= 2(\alpha _{1} + \alpha _{3}) - p \tag{10-2}
</tex>
<tex>
\xi _{3} &= \alpha _{1} - \alpha _{2} - \alpha _{3} +\alpha _{4} \\
&= 2(\alpha _{1} + \alpha _{4}) - p \tag{10-3}
</tex>
この $\xi _{1}, \xi_{2},\xi _{3}$ と式 $(9-1)$ によって、式 $(1)$ の解 $\alpha _{1}, \alpha _{2}, \alpha _{3}, \alpha _{4}$ は次のように表わすことが出来ます。
<tex>
\alpha _{1} = \frac{1}{4}(p + \xi _{1} + \xi _{2} + \xi _{3}) \tag{11-1}
</tex>
<tex>
\alpha _{2} = \frac{1}{4}(p + \xi _{1} - \xi _{2} - \xi _{3}) \tag{11-2}
</tex>
<tex>
\alpha _{3} = \frac{1}{4}(p - \xi _{1} + \xi _{2} - \xi _{3}) \tag{11-3}
</tex>
<tex>
\alpha _{4} = \frac{1}{4}(p - \xi _{1} - \xi _{2} + \xi _{3}) \tag{11-4}
</tex>
あとは $\xi _{1}, \xi_{2},\xi _{3}$ を $p,q,r,s$ で表わせれば良いわけですが、解と係数の関係を使うと、次のような関係が分かります。（細かい計算は省略します。省略ばかりでスミマセン。）
<tex>
\xi _{1}^{2} =p^{2} - 4q +4\theta _{1} \tag{12-1}
</tex>
<tex>
\xi _{2}^{2} =p^{2} - 4q +4\theta _{2} \tag{12-2}
</tex>
<tex>
\xi _{3}^{2} =p^{2} - 4q +4\theta _{3} \tag{12-3}
</tex>
式 $(12)$ の平方根を取り、既出の三次分解方程式の解 $\theta _{1}, \theta _{2}, \theta _{3}$ を代入すれば、確かに $\xi _{1},\xi _{2}, \xi _{3}$ は $p,q,r,s$ だけで表わせるという道筋が見えます。あとは、代入するだけです。これ以上の計算は骨折りなので、ここで終わりにさせてください。(・＿・)
.. [*] 群 $N$ の元は、 $\xi _{1}, \xi_{2},\xi _{3}$ は符号を $\pm$ と変えます。つまり、二乗すれば群 $N$ の元によって $\xi _{1}^{2}, \xi_{2}^{2},\xi _{3}^{2}$ の符号は変わらないので、 $\xi _{1}^{2}, \xi_{2}^{2},\xi _{3}^{2}$ は $B_{2}$ の元だということが分かります。
.. _三次方程式は解ける: http://www12.plala.or.jp/ksp/algebra/CubicEquation/
.. _
.. _二次方程式: http://www12.plala.or.jp/ksp/algebra/QuadraicEq/
.. _三次方程式: http://www12.plala.or.jp/ksp/algebra/CubicEq/
.. _フェラーリの方法: http://www12.plala.or.jp/ksp/algebra/Ferrari/
@@author:Joh@@
@@accept: @@
@@accept: 2007-03-03@@
@@category: 代数学@@
@@id: QuarticEq@@
記事ソース/四次方程式 のバックアップの現在との差分(No.1)
