本页面提供现代 Galois 理论教程的概念依赖图与学习路线。
第一部分:代数基础 (1-4)
├── 1. 群论基础
├── 2. 环与模
├── 3. 多项式环
└── 4. 域的基本概念
│
▼
第二部分:域的扩张 (5-8)
├── 5. 代数扩张
├── 6. 分裂域
├── 7. 可分扩张
└── 8. 有限域
│
▼
第三部分:Galois 理论核心 (9-12)
├── 9. Galois 群与基本定理
├── 10. Galois 对应详解
├── 11. 根式可解性
└── 12. 尺规作图
│
▼
第四部分:现代视角 (13-16)
├── 13. Galois 上同调入门
├── 14. 代数闭包与绝对 Galois 群
├── 15. 无限 Galois 理论
└── 16. étale 代数与展望| 概念 | 定义位置 | 依赖 |
|---|---|---|
| 群 | 1. 群论基础 | — |
| 子群 | 1. 群论基础 | 群 |
| 正规子群与商群 | 1. 群论基础 | 群、子群 |
| 群作用 | 1. 群论基础 | 群 |
| Sylow 定理 | 1. 群论基础 | 群、子群 |
| 环 | 2. 环与模 | 群 |
| 理想与商环 | 2. 环与模 | 环 |
| PID 与 UFD | 2. 环与模 | 环、理想 |
| 模 | 2. 环与模 | 环 |
| 不可约多项式 | 3. 多项式环 | 环、UFD |
| Gauss 引理 | 3. 多项式环 | 环、UFD |
| 对称多项式 | 3. 多项式环 | 多项式环 |
| 域 | 4. 域的基本概念 | 环 |
| 特征 | 4. 域的基本概念 | 域 |
| 域扩张度数 | 4. 域的基本概念 | 域 |
| 概念 | 定义位置 | 依赖 |
|---|---|---|
| 代数元/超越元 | 5. 代数扩张 | 域扩张 |
| 极小多项式 | 5. 代数扩张 | 代数元 |
| 有限扩张 | 5. 代数扩张 | 域扩张度数 |
| 分裂域 | 6. 分裂域 | 多项式、域扩张 |
| 正规扩张 | 6. 分裂域 | 分裂域 |
| 可分多项式 | 7. 可分扩张 | 多项式 |
| 可分扩张 | 7. 可分扩张 | 代数扩张 |
| 完全域 | 7. 可分扩张 | 可分扩张 |
| Frobenius 自同构 | 8. 有限域 | 有限域 |
| 概念 | 定义位置 | 依赖 |
|---|---|---|
| Galois 扩张 | 9. Galois 群与基本定理 | 正规扩张、可分扩张 |
| Galois 群 | 9. Galois 群与基本定理 | 域自同构 |
| Galois 基本定理 | 9. Galois 群与基本定理 | Galois 扩张 |
| 子群格 | 10. Galois 对应详解 | Galois 对应 |
| 根式扩张 | 11. 根式可解性 | 域扩张 |
| 可解群 | 11. 根式可解性 | 群论 |
| Galois 定理 | 11. 根式可解性 | 根式扩张、可解群 |
| 尺规作图 | 12. 尺规作图 | 域扩张度数 |
| 概念 | 定义位置 | 依赖 |
|---|---|---|
| Hilbert 定理 90 | 13. Galois 上同调入门 | Galois 群 |
| Kummer 理论 | 13. Galois 上同调入门 | Galois 群 |
| 代数闭包 | 14. 代数闭包与绝对 Galois 群 | 代数扩张 |
| 绝对 Galois 群 | 14. 代数闭包与绝对 Galois 群 | 代数闭包 |
| Krull 拓扑 | 15. 无限 Galois 理论 | 绝对 Galois 群 |
| Profinite 群 | 15. 无限 Galois 理论 | 逆极限 |
| étale 代数 | 16. étale 代数与展望 | 可分扩张 |
| 范畴等价 | 16. étale 代数与展望 | étale 代数 |
在入门基础上增加:
在深入基础上增加: