Skip to content

五次方程证明框架笔记 ​

代数与数论 · v3 · 2026-10-06

把五次方程、根式塔与群的可解性串起来。

离线 HTML · PDF · Markdown

阅读方式

网站按章阅读;整篇可下载为离线 HTML、PDF 或 Markdown。公开下载版已移除原始对话链接。

第三版 · 2026-10-06。保留前两版正文,在第 11 章末尾加入我的整体理解、必要条件与限制映射两次用途的对照,第 1 章增加简短导航。先看框架,再沿着框架读完整证明。HTML 是主要阅读文件,Markdown 是配套源文件。

原始材料:《五次方程伽罗瓦群推导》分享对话。本篇覆盖其中七轮数学问答,编号 A01—A07;另收录本聊天三轮追问及一段整体理解,编号 B01—B04。按逻辑依赖重排并重写解释,原问题保留在对应位置;补充的证明与校正明确标出。

我已经学过群、域、分裂域、单位根和可解群,但在最后一步仍觉得几套构造没有接上:一边是由五个根和五个系数得到的域扩张,一边是从系数开始逐步开根的域塔。这份笔记的目标,是看清它们为什么必须联系到同一个分裂域的同一个 Galois 群。

全文固定特征零。所有有限代数扩张放在同一个代数闭包中讨论;通用模型中的不定元先构造有理函数域,再取系数域的代数闭包。域的包含用 \subseteq,允许某一步没有真正扩大;重复层可删去。

两种阅读方式

先掌握框架:第 1 章 → 第 4 章 → 第 6 章章首 → 第 8 章 → 第 11 章。逐步核对证明:按第 1—12 章顺序阅读。每章先交代任务,再给结论、证明和回到主线的连接。

章节目录 ​

历史版本 ​

查看本主题的版本归档

保留每一次追问,认真走完每一步证明。