切换深浅主题
五次方程证明框架笔记
把五次方程、根式塔与群的可解性串起来。
阅读方式
网站按章阅读;整篇可下载为离线 HTML、PDF 或 Markdown。公开下载版已移除原始对话链接。
第三版 · 2026-10-06。保留前两版正文,在第 11 章末尾加入我的整体理解、必要条件与限制映射两次用途的对照,第 1 章增加简短导航。先看框架,再沿着框架读完整证明。HTML 是主要阅读文件,Markdown 是配套源文件。
原始材料:《五次方程伽罗瓦群推导》分享对话。本篇覆盖其中七轮数学问答,编号 A01—A07;另收录本聊天三轮追问及一段整体理解,编号 B01—B04。按逻辑依赖重排并重写解释,原问题保留在对应位置;补充的证明与校正明确标出。
我已经学过群、域、分裂域、单位根和可解群,但在最后一步仍觉得几套构造没有接上:一边是由五个根和五个系数得到的域扩张,一边是从系数开始逐步开根的域塔。这份笔记的目标,是看清它们为什么必须联系到同一个分裂域的同一个 Galois 群。
全文固定特征零。所有有限代数扩张放在同一个代数闭包中讨论;通用模型中的不定元先构造有理函数域,再取系数域的代数闭包。域的包含用 ,允许某一步没有真正扩大;重复层可删去。
两种阅读方式
先掌握框架:第 1 章 → 第 4 章 → 第 6 章章首 → 第 8 章 → 第 11 章。逐步核对证明:按第 1—12 章顺序阅读。每章先交代任务,再给结论、证明和回到主线的连接。
章节目录
- 对象与符号速查
- 第 1 章:两条路线,在同一个群上相遇
- 第 2 章:通用五次方程,为什么仍是系数域到分裂域
- 第 3 章:把根式表达式逐步翻译成域塔
- 第 4 章:分裂域的位置,是中间域而不必是列出的层
- 第 5 章:补单位根,单个根式层才有阿贝尔群
- 第 6 章:逐层补共轭,构造对原基础域 Galois 的大域
- 第 7 章:域塔怎样变成可解群的正规列
- 第 8 章:限制映射,把大群的可解性传给分裂域
- 第 9 章:不相邻层可以吗?先检查使用条件
- 第 10 章:为什么 S₅ 不可解,完整补上群论障碍
- 第 11 章:把所有桥梁合起来,完成反证
- 第 12 章:复习地图、原问题索引与校正记录