=========================================================
ガロア理論と代数方程式
=========================================================
ここまでに、色々な定理や概念を考えて来ましたので、随分長い道のりでしたが、いよいよこれが最後の定理です。この後は、二次方程式、三次方程式などを例に取り、実際に定理を使って方程式の可解性を考えますので、定理の証明に疲れている人も、もう少し頑張って下さい。


.. [*] ガロア理論が難しい感じがするのは、方程式の可解性の話題に到達するまでに、非常に多くの定理や補題が必要であり、特に多くの教科書では、最短のコースを取らずに、枝葉の定理も取り上げているため、『定理と証明』というページが長すぎて、初学者が迷子になってくじけやすいことあると思います。しかも、似たような定理が多く、厳密に意味が分かっていないと、細かな部分で混乱しがちです。（一応、この記事の最後に、おさらいとして定理の関係をまとめておきます。）もちろん、それ自体で興味深い定理もありますし、ガロア理論よりもさらに上を目指す人にとっては、ここは単なる通過点ですから、じっくり裾野を広げることも大事だと思いますが、やはり初学者は、さっさと方程式の可解性を勉強して、まずはガロア理論の大枠を感じてみることが必要だと思います。このような観点から、標数が非零の場合などを一切考えずに、ここまで最短で来てしまいました。だいたいの粗筋が分かった人は、もっと本格的な本でしっかり勉強して下さい。



.. admonition:: theorem 

	【ガロアの定理】 $F$ 上の多項式 $f(x)$ と、その最小分解体 $E$ を考えます。方程式 $f(x)=0$ が代数的に解ける（解の公式が存在する）ことの必要十分条件は、 $\cal G \it (E/F)$ が可解群であることです。


体 $F$ 上の方程式 $f(x)$ が代数的に解けるということは、 $f(x)$ の最小分解体 $E$ が $F$ の累開冪拡大になっている、と言い換えることも出来ました。そこで、 $E$ が $F$ の累開冪拡大であることと、 $\cal G \it (E/F)$ が可解群であることが同値であることを証明すればよいことになります。



【 $f(x)=0$ が代数的に解ける⇒ $\cal G \it (E/F)$ が可解群である、ことの証明】

まず、 $F$ を根体とするガロア拡大の列を考えます。


<tex>
F=F_{0} \subset F_{1} \subset F_{2} \subset .... \subset F_{n} 	\tag{1}
</tex>


もし、 $E$ が $F$ の累開冪拡大だとすれば、このようなガロア拡大の列で $E\subset F_{n} $ を満たすものが取れます。 $F_{n}$ は、 $F_{0}$ を含む各 $F_{i}$ のガロア拡大であって、ガロア理論の基本定理により、この体の拡大列に対応して、次のようなガロア群の組成列を考えることが出来ます。


<tex>
\{ e \} = G_{0} \subset G_{1} \subset ... \subset G_{n} = \cal G \it (F_{n}/F_{0})	\tag{2}
</tex>


さらに、 ガロア理論の基本定理_ により、添字が隣り合うガロア群の商群について、次の関係式も分かります。（添え字の関係の反変性を確認してください。）


<tex>
\frac{G_{i}}{G_{i-1}} = \frac{\cal G \it (F_{n}/F_{n-i})}{\cal G \it (F_{n}/F_{n-i+1})} \sim \cal G \it (F_{n-i+1}/F_{n-i})	\tag{3}
</tex>


さらに、 ガロア群と可解群_ の最後に証明した定理を使うと、 $\cal G \it (F_{n-i+1}/F_{n-i})$ は可解群だということが分かります。これより、 $\cal G \it (F_{n}/F_{0})$ は正規部分群の列を持ち、その隣り合う正規部分群の商群が可解群であるので、 $\cal G \it (F_{n}/F_{0})$ 自身も可解群だということが言えます。（ ガロア群と可解群_ 参照。）■




【 $\cal G \it (E/F)$ が可解群である⇒ $f(x)=0$ が代数的に解ける、ことの証明】

逆に、 $\cal G \it (E/F)$ が可解群だとすれば、次のような正規部分群の組成列を考えることが出来ます。

<tex>
\{ e \} = G_{0} \subset G_{1} \subset ... \subset G_{n} = \cal G \it (E/F) 
\tag{4}
</tex>

これに対し、ガロア理論の基本定理を用いれば、群 $G_{n-i}$ の固定体を $F_{i}$ として、次のようなガロア拡大体の列を対応させることが出来るはずです。


<tex>
F= F_{0} \subset F_{1} \subset ... \subset F_{n} = E	\tag{5}
</tex>


ここで、 $\cal G \it (E/F_{i})=G_{n-i}$ という関係が成り立っています。ここでもガロア理論の基本定理を用いれば、式 $(3)$ の逆で、 $F_{i}$ が $F_{i-1}$ のガロア拡大であることを示すことが出来ます。

<tex>
\cal G \it (F_{i}/F_{i-1}) \sim \frac{\cal G \it (E/F_{i-1})}{\cal G \it (E/F_{i})} = \frac{G_{n-i+1}}{G_{n-i}}	\tag{6}
</tex>

ここで、 $\cal G \it (E/F)$ は可解群と仮定しているので、 $\frac{G_{n-i+1}}{G_{n-i}}$ は可換群であり、 $\cal G \it (F_{i}/F_{i-1})$ もまた可換群であることが分かります。 累開冪拡大体とガロア群の関係_ で証明した定理により、このとき $F_{i}$ は $F_{i-1}$ の開冪拡大であり、結局、 $E=F_{n}$ は $F_{0}=F$ の累開冪拡大体であることが分かります。■


この定理によって、代数方程式の可解性を考えるには、ガロア群が可解群になっているかどうかを調べればよいことが分かりました。さっそく、次の記事からは、例を考えて行きます。最終目標は、五次方程式以上に解の公式は存在しないことを示すことです。とりあえず、少し一休みしましょう。フゥ〜。


おさらい
===========================================================
ここまでに出てきた定理や定義を整理して、『方程式が代数的に解ける』という話と、ガロア拡大、ガロア群、可解群といった話がどうつながっているのかをフローチャートにしてみました。（おかしな点があれば、ご指摘ください。m(_ _)m）


.. image:: Joh-GaloisSummary.gif 




.. _累開冪拡大体とガロア群の関係: http://www12.plala.or.jp/ksp/algebra/SuccessiveExtensionGalois/
.. _ガロア理論の基本定理: http://www12.plala.or.jp/ksp/algebra/GaloisFundamentalTheorem/
.. _ガロア群と可解群: http://www12.plala.or.jp/ksp/algebra/Radicals/

@@author:Joh@@
@@accept: 2007-03-03@@
@@category: 代数学@@
@@id: GaloisTheory@@