ガロア理論
ガロア理論（ガロアりろん、Galois theory）
フランスの数学者ガロアが提起した方法論で、体（たい）の性質を有限群に関連させて調べる理論。n次の方程式は重根を重複して数えればn個の複素数解をもつ。これはガウスによって証明された代数学の基本定理である。二次、三次、四次の方程式は、とくに、係数とn乗根(n＝2, 3, 4)を用いて解くことができる。しかるに五次以上の方程式は、たとえばxn－a＝0といった特殊なものを除けば、係数とn乗根だけでは解くことができない。これが有名なアーベルの定理である。アーベルが19世紀初頭にこれを得たのに引き続いて、ガロアは、根の間の置換のなす群を研究することによって、べき根によって方程式が解けるかどうかを群の問題に転化する原理を確立した。これがガロアの理論である。一見、アーベルの定理によって代数学は研究すべき対象を失ったかに思えたが、実際には古典代数学の幕引きが行われたのであり、以後、群、体などの代数的構造を研究する新しい代数学が誕生した。
Qでもって有理数体を表す。f(x)を有理係数のn次既約多項式とする。方程式f(x)＝0の解のすべてをQに添加した体をKとする。体Kの自己同形の全体Gは群をなし、その位数はnである。このGをKのQ上のガロア群と称する。Gの部分群とKの部分体とが一定の方法で1対1に対応するというのがガロアの基本定理である。こうして、体の問題が群の問題に転化される。とくにf(x)=0の解が係数とべき根を用いて表されるためには、G(0)＝G, G(n+1)＝［G(n),G(n)］（ここに［G(n),G(n)］はGの交換子群である）とするとき、あるnに対してG(n)が単位元のみからなる群となることが必要十分条件である。このような条件を満たす群を可解群という。すなわち、ガロア群が可解群であることがべき根で解ける条件である。