13/05/18 09:51:58.27
前スレより
URLﾘﾝｸ(desktop2ch.tv)
431 2013/03/03(日)
ガロア理論とは？
自分の理解を簡単に書いておこう
１．まずガロア分解式（リゾルベント）
V=Aa+Bb+Cc+・・・
a,b,c・・・は、（重根を持たない）で問題の方程式の根、係数A,B,C・・・は根の置換で異なる値をとるように定める（前スレ283）
ｽﾚﾘﾝｸ(math板:283番)
２．ガロア分解式Vにラグランジュ分解式の論法（根の置換）を適用する（ラグランジュ分解式については下記参照）
URLﾘﾝｸ(d.hatena.ne.jp) <[数学]ガロア理論と方程式 | [数学][反復]反復的集合観と公理...>2012-05-27方程式からガロア理論
URLﾘﾝｸ(www5a.biglobe.ne.jp) 伊那 闊歩 方程式の大海にて
３．ガロア分解式を通じて、ガロアは方程式の群を導入する。（ラグランジュ分解式の論法で、具体的な式の変形の工夫はすべて、根の置換によって取る分解式の値の数の問題に移される）
４．方程式の代数的解法とは？：式の係数のべき根と１のべき根とを用いて根を表すこと→式の係数のべき根の添加によって数体を拡大し、方程式の根を添加した数体に到達できるか？
５．ここで、式の係数のべき根の添加によって得られる数体の拡大が問題となる。→式の係数のべき根の添加による数体の拡大とは？→１のべき根添加を前提として、それは巡回拡大となり巡回群で特徴づけられる
６．すなわち、方程式の係数を有理数体として、巡回拡大により方程式の根を添加した数体に到達できるか？という問題に帰着できる
７．方程式の根を添加した数体は、一般の方程式では対称群Snとなる。対称群Snは、n>=5の場合に正規部分群として交代群Anを含み、n>=5の場合にAnは単純群になるので、巡回拡大では一般の方程式は解けないことが分かる
補足
ガロア分解式を使わずに、体の自己同型写像を使って群を導くのが、デデキントやアルティンの流儀で現代数学の主流（上記はガロアの原論文によるものだが、オリジナルな発想を知る上では重要だと思う）
式の係数のべき根の添加が、１のべき根添加を前提として、それは巡回拡大となり巡回群で特徴づけられるということは、ガウスは明確に意識していた。また、アーベルも分かっていた。