1 ガロア理論の概要
1.1 目的と基本的な見方
1.1.1 対称性と群の対応
ガロア理論は、多項式の解を生む対象となる体の拡大に注目し、その拡大の中で解たちが入れ替わる仕方を「対称性」として捉える。具体的には、拡大体からそれ自身への同型（自己同型）を考え、その集まりが群の構造を持つことにより、対称性が抽象代数として整理される。
多項式の係数が属する体を固定すると、解は分解体の中に集められる。そこで起きる「置換」に相当する操作は、解同士の整合を保ちながら体の演算も保存する変換として形式化される。この変換全体が群として集約される点が、対称性と群の対応を与える本質である。
1.1.2 可解性（根号での表現）との関係
代数方程式の「解けるかどうか」は、しばしば根号と基本演算（加減乗除）を用いて解を表せるか、という問いとして扱われる。ガロア理論はこの問いを、対応する群がある性質を満たすかどうかに言い換える枠組みを提供する。
根号での表現は、一般に有限回の「素朴な拡大」を積み重ねることで得られる。ガロア理論では、素朴な拡大の各段が群の中でどのような階層（剰余の構造）として現れるかを追跡し、最終的に得られる群がその階層に適合するかを判定可能にする。したがって、根号による可解性は「群の可解性」へと翻訳される。
1.2 基本概念の導入
1.2.1 体と体の拡大
体（field）とは、加法・乗法に関する逆元が整備された代数系である。ガロア理論では、基礎となる係数の体を \(K\) とし、多項式の解を包含するためにより大きな体 \(L\) を構成する。このとき \(L\) は \(K\) を含み、さらに \(L\) の要素は \(K\) から見て追加的な情報を持つため、拡大（extension）と呼ばれる。
拡大の大きさは、\(K\)-線形独立な基底の数、すなわち次数 \([L:K]\) で測られる。次数は群の濃度や剰余構造と結びつき、代数的な複雑さを定量化する役目を担う。
1.2.2 多項式の分解と根
多項式 \(f(x)\in K[x]\) に対し、その根は必ずしも基礎体 \(K\) の中に存在しない。そこで、根がすべて現れる体を探す。これが分解の観点であり、目的は \(f\) がその新しい体上で一次因子の積として因数分解できる状態を作ることである。
分解の結果は、根の集合やそれらの関係（どの根がどの式で表現できるか）を体としてまとめ上げることに等しい。従って「根の置き換え」は、その体の構造を保ったまま行える自己同型として現れやすい。
1.2.3 自己同型（対称変換）
体 \(L\) の自己同型とは、\(L\) から \(L\) への写像であって、加法と乗法を保存し、かつ逆写像もまた同じ形式を満たすものを指す。ガロア理論では、さらに「基礎体 \(K\) を固定する」自己同型を中心に扱う。これは、係数が属する側での値を変えずに、解の側だけを入れ替える操作に対応する。
自己同型は合成可能であり、恒等写像も存在するため、これらは群を成す。多項式の解の対称性は、この群の元として整理されるため、解析の全体像が統一される。
2 ガロア群と正規性
2.1 分解体とその役割
2.1.1 分解体の定義
多項式 \(f(x)\in K[x]\) がすべての根を \(L\) の中に持ち、かつ \(f\) が \(L\) 上で線形因子の積に分解できるとき、\(L\) は \(f\) の分解体と呼ばれる。分解体は「最小限に必要なだけ根を含む」体として定義されることが多く、最終的な対称性はこの体上で観察される。
分解体を導入する目的は、根同士の関係を一つの場にまとめ、自己同型の全体を定義可能にすることにある。根がどのように相互に置換されるかは、分解体上の変換により一意に表現される。
2.1.2 分解体の一意性（同型を除いて）
分解体は選び方によって見かけが変わる場合があるが、同型の意味では本質が同じである。つまり、異なる分解体を構成しても、基礎体を保つ同型で対応づけられるなら、対称性の情報は同じとみなせる。
この「同型を除けば一意」という性質により、分解体の具体的な構成手順に依存せず、群の特徴づけが数学的に安定して定まる。したがって後続のガロア群の定義が、恣意性の少ない形で可能になる。
2.2 ガロア群の定義
2.2.1 ガロア群としての自己同型全体
基礎体 \(K\) を含む分解体 \(L\) に対して、\(K\) を固定する \(L\) の自己同型全体を集めたものがガロア群である。これらの写像は体の演算を保存し、さらに \(K\) の各元を変えないため、係数の側の構造は保持される。
ガロア群が持つ群構造は、分解体の内部で「根のどのような入れ替えが許されるか」を数学化する。したがって、群の元の振る舞いを調べることが、可解性や拡大の階層構造を読み取る鍵になる。
2.2.2 作用の具体例
ガロア群の作用は、分解体内の根（あるいはその生成元）に対して具体的に追跡できる。ある自己同型が特定の根を別の根へ写すと、同型はその関係を保ちながら他の根の置き換えも決める。
この作用の記述は、一般に「根の集合への置換」の形で理解される。もちろん、重根や多項式の特性によって細かな扱いは変わるが、基本的には「対称性の許容範囲」が群として表現される点が共通する。
2.3 正規拡大とガロア拡大
2.3.1 正規性の考え方
拡大 \(L/K\) が正規であるとは、対応する自己同型の振る舞いが拡大全体を十分に反映し、同型の部分的な情報が拡大の構造と整合することを意味する。ここでは、群論的な正規性（共役と部分群の振る舞い）に相当する性格が、体の側の性質として現れると捉えると理解しやすい。
正規性は、ガロア理論が持つ「群と体の対応」を滑らかに機能させるための要件になっている。正規拡大では、ガロア群の作用が拡大の全体に対して体系的な対応を作りやすい。
2.3.2 ガロア拡大の判定条件
ガロア拡大は、分解体の文脈で頻出し、一般には「分離性」と「正規性」を満たす拡大として特徴づけられる。判定の実務では、分解可能性に加えて、同型の数やその作用がどの程度豊富であるか、あるいは最小多項式のふるまいがどうかを調べる。
結果として、ガロア拡大においては、ガロア群の位相（群としての性質）と拡大の構造（体の取り扱い）が最も密接に一致する。よって、可解性や中間体の分類に進む前段として、正規性の有無は中心的な位置を占める。
3 ガロア対応（基本定理）
3.1 部分群と中間体の対応
3.1.1 中間体の定義
拡大 \(L/K\) の中間体とは、\(K \subseteq M \subseteq L\) を満たす体 \(M\) を指す。中間体は、拡大を途中で切り分けたときの「中間段階」を意味し、どのように拡大が組み立てられているかを知るための観測点となる。
多項式の解に関する計算では、必要な情報がどの程度まで上がってきているかを中間体の言葉で整理できる。従って、分類問題は中間体の集合を理解することに帰着する。
3.1.2 部分群との対応の仕組み
ガロア群 \(G\) に対し、部分群 \(H\subseteq G\) を考えると、その部分群が固定する要素全体が中間体を与える。逆に、中間体 \(M\) が定まると、\(M\) 上で固定される自己同型の集まりが部分群として得られる。
この相互写像は、正規ガロア拡大の状況では互いに逆対応になる。結果として、体の側の中間構造と群の側の部分構造が、同じ組み合わせ規則で対応づけられる。これがガロア対応の中心的メカニズムである。
3.2 対応の性質
3.2.1 包含関係の反映
部分群の包含関係と中間体の包含関係は、一般に逆向きになる。すなわち、固定が強くなる（より多くの同型を動かせなくなる）ほど、固定される体は大きくなる傾向がある。この反相性により、群の階層を追うことで体の階層が読み取れる。
この性質は、単に対応を定義するだけでなく、包含関係の検証を通じて整合的な情報が得られることを意味する。解析手順としても、どちらの側から攻めるかを選びやすくなる。
3.2.2 正規部分群と正規拡大
部分群 \(H\) がガロア群 \(G\) の正規部分群である場合、中間体の対応先は「正規拡大」の性格を持つ。逆に、中間体側の正規性は部分群の正規性と結びつくため、階層構造の性質が対応で移し替えられる。
この関係は、商群や同型類の扱いにも波及する。正規性が満たされる場面では、追加の商構造が形成され、それが次節の指数や次数の公式と結びついて、計算可能性を押し上げる。
3.3 指数・次数との関係
3.3.1 群の濃度と体拡大の次数
ガロア拡大においては、ガロア群の元の個数（位数）が拡大の次数 \([L:K]\) に等しくなる。さらに中間体 \(M\) に対応する部分群を用いると、各段の指数が次数として反映される。
この一致は、抽象的な群の計数と体の線形独立の数え上げが同じになることを表す。したがって、群論的な情報量は体論的な情報量にそのまま翻訳され、数値としての検証が可能になる。
3.3.2 商群と拡大の振る舞い
中間体が正規に対応する状況では、商群が次の層の振る舞いを表す。具体的には、部分群の正規性があるとき、商群はある拡大（中間段から上への部分）の対称性として理解できる。
その結果、群の構造を段階的に分解することで、拡大の段階構成を追える。可解性の判定で用いられる「階層的に単純な段へ分けられるか」という考え方は、この商群の見通しの良さによって実務化される。
4 応用：方程式の可解性と構成
4.1 根号による可解性
4.1.1 可解群の定義と直観
可解群とは、導来列（あるいは類似する段階分解）をたどることで最終的に自明な部分に到達できる群を指す。ここでの直観は、群が内部において「複雑さを減らしていける」ことにある。
ガロア理論では、この群の可解性が、多項式方程式の根号による可解性と整合する。つまり、対称性の層が根号の層として再現可能であるかどうかが、可解群という性質で判定される。
4.1.2 可解性の判定手順
判定の手順は概ね次の流れになる。まず対象多項式の分解体を考え、対応するガロア群を特定する。次に、その群が可解群かどうかを群論的に調べる。可解群であれば根号による解の表現が可能であり、そうでなければ一般には不可能となる。
実際には、群そのものを直接計算する代わりに、判定に必要な群の情報だけを抽出する工夫が行われる。たとえば置換表現や既知の群クラスに基づく分類を用いると、手計算の負担が軽減される。
4.2 具体的な計算方針
4.2.1 合成群・巡回群の利用
ガロア群が合成可能な構造（合成列）を持つとき、各段の可解性が全体へ反映される。特に、巡回群は基礎的で扱いやすいため、巡回成分の積として現れるようなケースでは、根号表現の可能性を読み取りやすい。
計算では、群の段階分解に対応する体の段階拡大を組み立てる視点が重要になる。合成群としての理解は、体拡大の積み重ねに対応して、構成可能性を支える。
4.2.2 表現の簡約化と実務的計算
解の具体的な形を求める段では、群の作用を通じて生成される式の依存関係を整理する必要がある。中間体の選択は計算の簡約化に直結し、適切な段階で見通しの良いパラメータに置き換えることで表現が短くなる。
さらに、対称式の利用により、根の入れ替えに不変な量を優先して計算する方針がよく採られる。これにより、群の対称性に合わせた簡約が可能となり、最終的な構成式へ到達しやすくなる。
4.3 応用の例（代表的な方程式）
4.3.1 二次・三次・四次の位置づけ
二次方程式は比較的単純な対称性で表され、根号による解法が古典的に確立している。三次方程式も同様に根号で解けることが知られており、対応するガロア群が可解群の範囲に収まるため、原理的な整合が取れる。
四次方程式では、より豊富な中間体と対称性の階層が現れるが、それでもガロア理論の枠組みの下で根号解が構成できる。この三段階は、可解群と根号可解性の対応がどのように具体化するかを示す代表例として位置づけられる。
4.3.2 導出される結論の読み取り方
具体例から得られる結論は、「解の存在形式」が群の性質で決まる、という読み取りに集約される。つまり、計算で直接解式を作ることに加え、背後の対称性から根号表現の可否を予測できる点が価値となる。
また、同じ多項式でも分解体や中間体の取り方により計算の見通しが変わる。ガロア対応は、その差を単に技術上の都合ではなく、群の部分構造と体の中間段階の対応として理解可能にする。これにより、結論の根拠が体系的に説明される。