切换深浅主题
伽罗瓦理论笔记
从置换、域扩张出发,理解方程何时能用根式求解。
阅读方式
网站按章阅读;整篇可下载为离线 HTML、PDF 或 Markdown。公开下载版已移除原始对话链接。
第四版(2026-10-05):保留第二版的完整证明与追问,统一数学排版,并为 HTML 增加公式 LaTeX 复制工具;HTML 为主要阅读文件,Markdown 为配套源文件。
原始材料:《介绍抽象代数》分享对话。正文覆盖其中 92 段数学回答;4 段关于文档工具与使用方式的讨论另留在原材料中。
—
是原回答编号,用于核对覆盖情况,不表示本篇阅读顺序。
我的目标是一步步理解一般五次及以上方程为什么没有根式通解。后面问到的基础问题已移到第一次需要它的位置;“原问题”保留我的实际提问,“补充证明”是本版加入的推导。段落中保留的“你”或“我们”来自原解释,它们不被当作我已经独立完成的思考。
阅读顺序是:置换与群 陪集与商群
同态与可解群
的障碍
域与嵌入
Galois 群与限制映射
根式塔的正规化
一般方程的群
无根式通解。根的重命名、自同构允许的根置换以及一般形式根的任意置换,是不同阶段的概念,正文分别证明它们的联系。
章节目录
- 常用符号速查
- 第 1 章:目标:从问题出发,而不是提前背结论
- 第 2 章:置换与群:循环、复合和换位
- 第 3 章:奇偶性、交错群与子群
- 第 4 章:陪集与 Lagrange 定理
- 第 5 章:正规子群和商群:让陪集乘法没有歧义
- 第 6 章:群同态、核、像和第一同构定理
- 第 7 章:可解群:定义、例子及保持可解的三个引理
- 第 8 章:A₅ 的结构:完整证明五次的群论障碍
- 第 9 章:域、理想、代数元与扩张次数
- 第 10 章:域同态、嵌入、自同构和 Galois 群
- 第 11 章:分裂域、正规性与嵌入的延拓
- 第 12 章:完整例子:三次分裂域的群为什么是 S₃
- 第 13 章:中间域、限制映射和商群公式
- 第 14 章:根式塔:单位根、共轭与正规闭包
- 第 15 章:完整搭桥:根式可解 ⇒ Galois 群可解
- 第 16 章:一般方程的群与 Abel–Ruffini 定理
- 证明依赖与复习检查
- 原对话覆盖索引