23/01/13 21:00:42.20 FpegOxNI.net
１．いかなる有限群も対称群の部分群である
２．また一般にｎ次方程式で、
そのＱ上のガロア群がｎ次対称群となるもの
が存在する
３．ガロア群がGとなるF上のガロア拡大体Kがあるとして
Gの任意の部分群Hについて、以下の性質を満たす
FとKの中間体Ｍが存在する
「KがＭ上のガロア拡大体となり、そのガロア群がHとなる」
（ガロア理論の基本定理！）
４．１，２，３により、任意の有限群Ｇについて、
ＱとＫの中間体Ｆで、ＫがＦ上のガロア拡大体となり
Ｇがそのガロア群になるようなものが存在する！
５．なお、３でHがGの正規部分群である必要はない
HがGの正規部分群である場合にさらに言えることは以下の通り
「MがFのガロア拡大体となり、そのガロア群がG/Hとなる」