知识地图

本页面以可视化的形式展示教程各章之间的概念依赖关系。

依赖关系总览

┌─────────────────────────────────────────────────────────────┐
│                      现代 Galois 理论                        │
│                     概念依赖关系图                            │
└─────────────────────────────────────────────────────────────┘

    预备知识
    ┌──────┐
    │群·环·│
    │线代  │
    └──┬───┘
       │
    ┌──▼───────────┐         ┌──────────────────┐
    │ 第一章 群论   │         │ 第二章 环与理想   │
    │ 子群·正规子群 │         │ 整环·PID·极大理想 │
    │ 商群·同态     │         │                  │
    └──┬────┬──────┘         └────┬─────────────┘
       │    │                     │
       │    │    ┌────────────────▼───────────┐
       │    │    │ 第三章 多项式环              │
       │    │    │ 不可约·Eisenstein·分裂域     │
       │    └────┼──────────────┬─────────────┘
       │         │              │
       │         │    ┌─────────▼──────────────┐
       │         │    │ 第四章 域扩张            │
       │         │    │ 极小多项式·塔公式        │
       │         │    │ 代数扩张·可分性          │
       │         └────┼──────────┬─────────────┘
       │              │          │
       │    ┌─────────▼──────────▼──────────┐
       │    │ 第五章 域自同构                │
       │    │ Galois 群·正规扩张·固定域       │
       └────┼──────────────┬────────────────┘
            │              │
          ┌─▼──────────────▼──┐
          │ 第六章            │
          │ Galois 基本定理   │◄──── 核心理论
          │ 反序双射·格图     │
          └────┬──────────┬───┘
               │          │
     ┌─────────▼──┐  ┌────▼────────────┐
     │ 第七章     │  │ 第八章          │
     │ 根式可解性 │  │ 应用与展望      │
     │ 五次不可解 │  │ 尺规作图       │
     └────────────┘  │ 有限域·对称多项式│
                     └─────────────────┘

逐层详解

第一层：预备概念

集合与映射线性代数基础逻辑与证明

第二层：代数结构

群 → 子群 → 正规子群 → 商群环 → 整环 → PID → 理想

关键桥梁

群的第一同构定理（第一章）和环的第一同构定理（第二章）是贯穿全书的基本工具。

第三层：多项式与域

不可约多项式 · Eisenstein 判别法极小多项式 · 单扩张结构分裂域 · 存在唯一性

核心构造

单代数扩张的结构定理（定理 4.8）$F(\alpha) \cong F[x]/(\operatorname{irr}(\alpha, F))$ 将多项式环与域扩张直接联系起来——这是通向 Galois 理论的关键一步。

第四层：Galois 理论

Galois 群正规扩张 · 可分扩张Galois 基本定理

第五层：应用

可解群 · 五次方程不可解尺规作图三大问题有限域 · 编码理论对称多项式 · 判别式

关键概念流向

下表总结了每个核心概念首次出现的位置和最重要的应用位置：

概念	首次定义	核心应用
正规子群 / 商群	定义 1.9	Galois 对应 (定理 6.4)
第一同构定理	定理 1.16	单扩张结构 (定理 4.8)
群作用	定义 1.22	自同构的作用 (命题 5.4)
极大理想	定义 2.24	单扩张是域 (定理 4.8)
不可约多项式	定义 3.10	极小多项式 (定义 4.6)
分裂域	定义 3.20	Galois 扩张 (定义 6.1)
极小多项式	定义 4.6	根的可扩张性 (定理 5.7)
Galois 群	定义 5.2	Galois 基本定理 (定理 6.4)
正规扩张	定义 5.10	Galois 扩张 (定义 6.1)
可解群	定义 7.4	Galois 定理 (定理 7.9)

核心定理路线图

以下是教程中最重要的定理，按逻辑顺序排列：

Lagrange 定理 (1.6)          环的第一同构定理 (2.17)
     │                              │
     ▼                              ▼
第一同构定理 (1.16)        PID 中唯一分解 (2.22)
     │                              │
     ▼                              ▼
轨道-稳定子 (1.24)         Eisenstein 判别法 (3.12)
     │                              │
     │                              ▼
     │                     分裂域存在唯一性 (3.22)
     │                              │
     │                              ▼
     │         单扩张结构定理 (4.8) ──────┐
     │              │                    │
     ▼              ▼                    ▼
Artin 引理 (6.5)  根的可扩张性 (5.7)  塔公式 (4.10)
     │              │                    │
     └──────────────┼────────────────────┘
                    ▼
          Galois 基本定理 (6.4)
                    │
                    ▼
        Galois 判别定理 (7.9)
                    │
                    ▼
      Abel-Ruffini 定理 (7.10)

阅读建议

• 线性路径：按第一章到第八章顺序阅读，每一步都建立在前一步的基础上。
• 快速到达 Galois：若已熟悉群论和环论基础，可从第四章开始。
• 应用导向：若对五次方程不可解感兴趣，可先读第七章，遇到不熟悉的概念时回溯查阅。
• 查阅模式：利用上方的"关键概念流向"表，快速定位任何概念的定义和应用位置。