🔢 mathematics

A necessary condition for solvability by radicals

この論文は、トロント大学の「多項式方程式と体」講義（2026 年春）の教材として作成されたもので、ガロア理論に基づいた代数方程式の根号解による可解性に関する必要十分条件のうち、必要条件の証明を扱っています。

原著者： Askold Khovanskii (Department of Mathematics, University of Toronto, Canada)

公開日 2026-04-13

📖 1 分で読めます🧠 じっくり読む

原著者： Askold Khovanskii (Department of Mathematics, University of Toronto, Canada)

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

🍳 料理のレシピと「解ける方程式」

まず、この論文が扱っている問題を料理に例えてみましょう。

方程式 ＝完成した「美味しい料理（例：シチュー）」
解くこと ＝その料理の**「レシピ（作り方）」**を見つけること
解く方法（根号による解法） ＝「ルート（√）」や「累乗」を使った、決まりきった手順で料理を作る方法。

昔の数学者は、「どんな料理（方程式）も、この決まりきった手順（ルート計算）を使えば作れるはずだ」と思っていました。しかし、5 次方程式（ $x^5 + \dots = 0$ のような複雑な式）になると、**「この手順では絶対に作れない料理」**が存在することがわかったのです。

この論文は、**「なぜ作れないのか？」「作れる料理にはどんな条件があるのか？」を、「料理の材料（数）」と「調理場の構造（群論）」**を使って説明しています。

🏰 城の建設と「ガロア群」

論文の核心は、**「ガロア群（Galois Group）」という概念です。これを「城の設計図」や「魔法の鍵」**に例えてみましょう。

1. 城の設計図（ガロア群）

方程式を解くとき、私たちは未知の数（ $x$ ）を見つけようとします。しかし、その数は「ルート」や「累乗」を何回も重ねて作られた「複雑な城」の中に隠されています。

ガロア群 ＝その城の**「構造の複雑さ」**を表す数字の集まりです。
この群が**「単純な構造（可解群）」**であれば、城は「階段を一段ずつ登る」ように順を追って解くことができます。
しかし、もし群の構造が**「ぐちゃぐちゃに絡み合った迷路」**になっていれば、どんなに頑張っても「ルート計算」という単純な階段では登り切れないのです。

2. 論文が言いたいこと（必要条件）

この論文は、**「もしある方程式が『ルート計算』だけで解けるなら、その方程式のガロア群（城の構造）は、必ず『単純な構造』でなければならない」**と証明しています。

逆に言えば、「城の構造が複雑すぎ（非可解）るなら、ルート計算だけで解くのは不可能だ」ということです。

🧱 論文のストーリー：どうやって証明したのか？

論文は、以下の 3 つのステップでこの「城の構造」を分析しています。

ステップ 1：城の階層を作る（正規列）

方程式を解くには、単純な数から始めて、少しずつ複雑な数（ルートなど）を追加していく必要があります。

論文のアイデア：「ルート計算」で解ける方程式は、**「小さな城を積み重ねて、大きな城を作る」**過程と同じです。
1 階（基本の数）→ 2 階（ルートを追加）→ 3 階（さらにルートを追加）… というように、**「階層構造」**を作ります。

ステップ 2：各階層の「魔法の鍵」を調べる

それぞれの階層（ $E_i$ から $E_{i+1}$ へ進むとき）には、その階層を動かす「魔法の鍵（ガロア群）」があります。

重要な発見：ルート計算（ $x^n = a$ ）で新しい数を作る場合、その階層の「魔法の鍵」は**「とても単純で、整然としたもの（可換群）」**になります。
例： $\sqrt{2}$ を足す場合、その操作は「入れ替え」が簡単で、順序を変えても結果が変わらないような、平和な構造をしています。

ステップ 3：全体を繋ぎ合わせる

もし、方程式がルート計算で解けるなら、それは「単純な構造の階層」を何段も積み重ねたものになります。

結論：「単純な構造のブロック」を積み重ねて作られた大きな城（全体のガロア群）も、必ず**「単純な構造（可解群）」**になります。

もし、方程式を解こうとしたときに、その城の構造が「単純なブロックの積み重ね」では説明できないほどぐちゃぐちゃだったなら、**「ルート計算だけで解くことは不可能」**だとわかります。

🎯 まとめ：この論文のメッセージ

この論文は、数学的に厳密な証明を行っていますが、私たちが理解すべきメッセージはシンプルです。

「方程式を『ルート計算』だけで解けるかどうかは、その方程式が持つ『隠された構造（ガロア群）』が、シンプルに積み重ねられる形をしているかどうかで決まる。」

構造がシンプルなら → 解ける！（ルート計算でゴールできる）
構造が複雑すぎると → 解けない！（ルート計算では届かない）

著者は、この「構造の複雑さ」を、**「城の階層」や「魔法の鍵の並び方」**というイメージを使って、数学の専門家だけでなく、誰でもそのロジックを追えるように丁寧に説明しています。

つまり、**「なぜ 5 次方程式は解けないのか？」という疑問への答えは、「その方程式の城の構造が、ルート計算という階段では登れないほど複雑に絡み合っているから」**なのです。

論文要約：根号解可能性のための必要条件

1. 問題の背景と目的

本論文は、トロント大学 MAT401 課程「多項式方程式と体」の講義資料として作成されたもので、代数的方程式が根号（radicals）によって解けるための必要条件をガロア理論に基づいて証明することを目的としています。

核心課題: 多項式方程式 $P(x)=0$ が根号を用いて解ける（解が根号と四則演算で表せる）場合、その方程式のガロア群がどのような性質を持つかを明らかにすること。
前提: 体 $K$ の標数は 0 と仮定する。
位置づけ: 十分条件（線形代数に基づく）は別の資料で扱われるが、本稿では「解ける $\implies$ ガロア群は可解群である」という必要条件の証明に焦点を当てる。

2. 手法と理論的枠組み

著者は、標準的なガロア理論の結果（教科書 [1] に基づく）を基礎とし、以下の論理構成で証明を構築しています。

2.1 基礎となるガロア理論の定理

証明の基盤として、以下の基本的な定理と定義を整理しています。

正規拡大とガロア群: 分離多項式の分裂体 $E$ に対するガロア群 $G(E, K)$ の定義と、その位数が拡大次数 $[E:K]$ に等しいこと（定理 1.3）。
中間体と部分群の対応: 中間体 $B$ に対する部分群 $G_B(E, K)$ の定義。 $B$ が $K$ 上の正規拡大である場合、 $G_B(E, K)$ は $G(E, K)$ の正規部分群となり、商群は $G(B, K)$ に同型である（定理 2.5）。
最小多項式の構成: ガロア群の軌道（orbit）を用いて、任意の元の最小多項式を明示的に構成する（定理 3.2）。

2.2 根号拡大の正規化（Normalization）

根号による解の存在を示すために、単純な「根号の塔（chain of radical extensions）」を扱いやすい「正規化された根号拡大のネスト（nested set of normal radical extensions）」に変換する手法が採用されています。

根号の塔の定義: $K = R_0 \subset R_1 \subset \cdots \subset R_n$ であり、各 $R_i$ は $R_{i-1}$ に $a_i^{k_i} \in R_{i-1}$ となる元 $a_i$ を添加して得られる。
問題点: 一般的な根号の塔 $K \subset R_n$ は正規拡大とは限らず、ガロア群が定義できない。
解決策（定理 7.2）: 任意の根号の塔に対し、以下の条件を満たす「正規化されたネスト」 $K = E_0 \subset E_1 \subset \cdots \subset E_{n+1}$ $K = E_{0} \subset E_{1} \subset \dots \subset E_{n + 1}$ を構成できる。
1. $E_1$ は $x^N - 1$ の分裂体（ $N$ はすべての指数 $k_i$ の最小公倍数）。
2. 各段階 $E_i \subset E_{i+1}$ は、 $E_i$ 上の多項式 $Q_{i-1}(x) = \prod (x^{k_i} - \omega_m)$ の分裂体として得られる（ $\omega_m$ は軌道内の元）。
3. この構成により、各 $E_i$ は $K$ 上の正規拡大となり、ガロア群が定義可能になる。

2.3 ガロア群の構造解析

正規化された拡大の各段階におけるガロア群の性質を分析します。

単位根の添加（補題 8.2）: $x^n - 1$ の分裂体のガロア群は、乗法群 $U(n)$ の部分群と同型であり、**可換（アーベル）**である。
根号の添加（補題 8.3, 8.4）: $K$ が $n$ 乗の単位根をすべて含む場合、 $x^n - a$ や $\prod (x^n - a_i)$ の分裂体のガロア群は、巡回群 $Z_n$ の直和の部分群と同型であり、これも可換である。

3. 主要な結果

定理 9.1（主定理）:
標数 0 の体 $K$ 上の多項式方程式 $P(x)=0$ が根号によって解けるならば、その多項式の分裂体 $E$ に対するガロア群 $G(E, K)$ は**可解群（solvable group）**である。

証明の論理フロー:

方程式が根号解可能であれば、根号の塔 $R_n$ が存在し、分裂体 $E \subset R_n$ となる。
定理 7.2 により、この塔を正規化されたネスト $E_0 \subset E_1 \subset \cdots \subset E_{n+1}$ に変換できる（ $E \subset E_{n+1}$ ）。
このネストにおける各段階 $E_i \subset E_{i+1}$ のガロア群は、補題 8.2 と 8.4 により可換群である。
補題 5.3 と系 5.4 により、可換な商群を持つ群の列（合成列）を持つ群は可解群である。したがって、全体のガロア群 $G(E_{n+1}, K)$ は可解。
$E$ は $E_{n+1}$ の中間体であり、 $E$ は $K$ 上の正規拡大であるため、補題 2.5 により $G(E, K)$ は可解群 $G(E_{n+1}, K)$ の商群となる。
可解群の商群も可解であるため、 $G(E, K)$ は可解群である。

4. 貢献と意義

教育的価値: 大学上級課程（MAT401）向けに、ガロア理論の標準的な結果を体系的に整理し、根号解可能性の必要条件の証明を簡潔かつ厳密に提示している。
技術的厳密性: 単に「根号で解ける」から「ガロア群が可解」へ直接飛ぶのではなく、**「根号の塔」を「正規化されたネスト」に変換する過程（定理 7.2）**を明示的に構成している点が重要である。これにより、非正規な拡大においてもガロア理論を適用できる道筋を示している。
理論的基盤の確立: 根号解可能性の「十分条件」は線形代数に基づく別のアプローチで扱われるが、本稿はガロア理論（群論）のみを用いた「必要条件」の証明を完結させており、ガロア理論の威力を如実に示している。

5. 結論

本論文は、代数的方程式が根号で解けるための必要条件として「ガロア群が可解群であること」を、ガロア理論の基本的な定理と、根号拡大の正規化という巧妙な構成を用いて厳密に証明したものである。この結果は、5 次以上の一般方程式が根号で解けないこと（アーベル・ルフィニの定理）の証明において不可欠なステップとなる。