🔢 mathematics

Adolf Hurwitz and the Fundamental Theorem of Galois Theorie: The Königsberg Lectures of 1890-1891

本文基于苏黎世联邦理工学院图书馆保存的柯尼斯堡大学 1890-1891 年冬季学期阿道夫·Hurwitz 的讲座笔记，在历史语境中分析并重构了他以置换语言表述和证明伽罗瓦理论基本定理的详细论证过程。

原作者： Math Dicker

发布于 2026-04-20

📖 1 分钟阅读🧠 深度阅读

原作者： Math Dicker

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

这篇文章讲述了一个关于数学历史、教学传承和天才思想的精彩故事。为了让你轻松理解，我们可以把这篇论文想象成一次“穿越时空的数学寻宝之旅”。

🗺️ 故事背景：寻找失落的宝藏

想象一下，19 世纪有一位名叫埃瓦里斯特·伽罗瓦（Évariste Galois）的年轻天才。他在 20 岁出头就英年早逝（死于决斗），但他留下了一份极其深奥、像天书一样的数学手稿（《Memoire》）。这份手稿里藏着解决“五次方程”难题的钥匙，也就是著名的伽罗瓦理论。

但是，这份手稿太难懂了，就像一本用加密语言写成的藏宝图，几百年来，很多数学家都试图解读它，但往往一头雾水。

🕵️‍♂️ 主角登场：阿道夫·Hurwitz 的“翻译”

故事的主角是阿道夫·Hurwitz（阿道夫·胡尔维茨），一位在 19 世纪末和 20 世纪初非常杰出的数学教授。

这篇文章发现了一个惊人的秘密：Hurwitz 在 1890 年到 1891 年，在德国柯尼斯堡大学（Königsberg）给学生上课时，并没有照搬那些复杂的现代教科书，而是直接回到了伽罗瓦的原著。

他就像一位高明的翻译官，把伽罗瓦那晦涩难懂的“加密手稿”，重新整理成了一堂清晰、流畅的数学课。他保留了伽罗瓦原本那种“置换”（就像交换位置）的思维方式，而不是后来流行的那种更抽象的“群论”语言。

📚 核心发现：两本笔记的相遇

这篇论文的作者（Math Dicker）做了一件很酷的事情：他找到了 Hurwitz 留下的两样宝贝，并把它们拼在了一起：

柯尼斯堡的课堂笔记（1890 年）：这是 Hurwitz 当年给学生讲课的原始记录，非常详细，就像一本“操作说明书”。
Hurwitz 的私人日记（1909 年）：19 年后，Hurwitz 在苏黎世大学教书时，又翻出了当年的笔记，并在日记里重新推导了一遍那个最核心的定理。

作者把这两份材料放在一起，就像把“地图”和“指南针”拼在了一起，完美地还原了 Hurwitz 是如何一步步证明那个著名的“伽罗瓦基本定理”的。

🔑 核心定理：用“换座位”来解方程

为了让你明白这个定理在说什么，我们可以打个比方：

想象有 4 个朋友（代表方程的 4 个根 $x_1, x_2, x_3, x_4$ ）坐在一张桌子上。

伽罗瓦理论的核心是：如果你能随意交换这些朋友的位置（比如把 1 号和 2 号互换），有些关于他们的“秘密公式”（比如他们的和、积）是不会变的。
Hurwitz 的贡献在于：他设计了一套**“解码器”**。

Hurwitz 的“解码器”是这样工作的：

他给这 4 个朋友分配了不同的“权重”（就像给每个人发不同面值的钞票），然后算出一个总和 $V$ 。
神奇的是，只要这 4 个人的排列顺序不同，这个总和 $V$ 就完全不同。
关键点来了：Hurwitz 证明了，只要你知道了这个总和 $V$ 是多少，你就可以像倒推魔术一样，通过一套数学公式，把原来的 4 个朋友（ $x_1, x_2, x_3, x_4$ ）重新找回来！

这就像什么？
就像你有一堆乱序的乐高积木（方程的根）。Hurwitz 发明了一种特殊的胶水（那个线性组合 $V$ ），只要把积木粘在一起变成一个大块（ $V$ ），你不仅能知道积木的总数，还能通过特定的拆解方法，把每一块积木原来的形状和位置都完美地复原出来。

🌉 为什么这篇文章很重要？

它是连接过去和现在的桥梁：它让我们看到，现代数学中那些抽象的“域”和“群”的概念，其实最早就是像 Hurwitz 这样，通过具体的“换座位”和“算数”一步步推导出来的。
它展示了大师的教学艺术：Hurwitz 没有把数学变得枯燥，而是用一种非常直观、甚至有点“手工感”的方式，把伽罗瓦那个天才的火花传递给了学生。
它让“天书”变得可读：通过 Hurwitz 的笔记，我们终于能看懂伽罗瓦当年到底在说什么了。

🎓 总结

这篇论文就像是一次**“数学考古”**。作者挖出了 Hurwitz 尘封的笔记，告诉我们：

“看，这就是当年 Hurwitz 老师是如何把伽罗瓦那个天才的、像迷宫一样的思想，变成一条清晰、优雅、甚至有点美丽的数学小路的。”

这不仅是对历史的回顾，更是对**“如何把复杂的数学教得简单易懂”**这一艺术的高度赞扬。Hurwitz 证明了，即使是最深奥的理论，只要找到正确的切入点（比如他用的“置换”视角），也能变得清晰可见。

这是一份关于马修·迪克（Math Dicker）所著论文《阿道夫·Hurwitz 与伽罗瓦理论基本定理：1890–1891 年柯尼斯堡讲座》的详细技术总结。

1. 研究背景与问题 (Problem)

核心问题：如何使埃瓦里斯特·伽罗瓦（Évariste Galois）那篇晦涩难懂、难以直接阅读的原始论文《关于方程根式可解性的条件》（Mémoire sur les conditions de résolubilité des équations par radicaux）对现代读者和数学史研究者更加易于理解？
具体切入点：伽罗瓦理论的基本定理（Fundamental Theorem of Galois Theory）建立了域扩张与置换群之间的对应关系。然而，伽罗瓦原始的表述方式（基于“有理域”和置换）与现代基于“域”（Field）和“群”的公理化表述存在差异。
研究动机：阿道夫·Hurwitz（1859–1919）是 19 世纪末 20 世纪初杰出的数学家。他在 1890–1891 年于柯尼斯堡大学（Albertina University）讲授《代数方程理论》时，完全遵循 19 世纪的置换理论传统，直接阐释了伽罗瓦的原始思想。本文旨在通过分析 Hurwitz 的讲义手稿和数学日记，重构并展示他如何清晰地证明伽罗瓦理论的基本定理，从而架起伽罗瓦原始思想与现代理论之间的桥梁。

2. 方法论 (Methodology)

史料分析：
- 主要依据：Hurwitz 在柯尼斯堡（1890–1891）的讲座手稿（现藏于苏黎世联邦理工学院图书馆，编号 Hs 582:66）。
- 辅助材料：Hurwitz 的《数学日记》第 23 号（Hs 582:23），特别是 1909 年 7 月 1 日关于伽罗瓦理论主要定理的笔记。
- 对比研究：将 Hurwitz 的柯尼斯堡讲座与他在苏黎世（1909 年）的讲座进行对比，发现后者虽然简化了伽罗瓦部分，但日记中的笔记是对前者核心证明的提炼。
数学重构：
- 作者基于 Hurwitz 的日记笔记，在具体的数学情境下（以 $f(x) \in \mathbb{Q}[x]$ 为例，设其分裂域为 $L$ ）重构了证明过程。
- 保留了 Hurwitz 使用的经典语言（置换、有理函数、有理域），而非直接转换为现代抽象代数语言，以还原历史原貌。
- 通过引入辅助引理（Auxiliary Lemma）和构造特定的多项式，详细推导了从“根”到“置换”再到“有理域”的对应关系。

3. 关键贡献与核心内容 (Key Contributions & Content)

本文的核心在于详细展示了 Hurwitz 证明伽罗瓦基本定理的逻辑链条，主要包含以下步骤：

A. 构造 Lagrange 预解式与置换对应

设 $f(x)$ 有 4 个不同根 $x_1, x_2, x_3, x_4$ 。
根据伽罗瓦引理 II，存在自然数 $n_i$ 使得线性组合 $V = \sum n_i x_i$ 在 $S_4$ 作用下产生 24 个互不相同的值 $V_1, \dots, V_{24}$ 。
定义多项式 $F(v) = \prod (v - V_i)$ ，其系数是有理函数。
通过隐函数求导，证明每个根 $x_k$ 都可以表示为 $V_i$ 的有理函数： $x_k = R_k(V_i)$ 。这意味着分裂域 $L$ 可以由单个元素 $V_1$ 生成（即 $L = \mathbb{Q}(V_1)$ ）。

B. 定义伽罗瓦群 $G$

考虑 $F(v)$ 在域 $R$ （包含 $f(x)$ 系数）上的不可约因子 $G(v)$ ，其根为 $V_1, \dots, V_m$ 。
定义置换集合 $G = \{S_1, \dots, S_m\}$ ，其中 $S_i$ 将 $(x_1, \dots, x_4)$ 映射为 $(R_1(V_i), \dots, R_4(V_i))$ 。
Hurwitz 证明了 $G$ 是一个群（通过证明置换的复合仍在集合中）。

C. 基本定理的四个性质证明

Hurwitz 证明了有理域 $R$ 与置换群 $G$ 之间存在一一对应关系，具体表现为以下四点：

不变性：若一个有理函数 $\phi(x_1, \dots, x_4)$ 在 $G$ 的所有置换下保持不变，则其值属于 $R$ 。
逆命题：若一个有理函数的值属于 $R$ ，则该函数在 $G$ 的所有置换下保持不变。
群结构：上述定义的置换集合 $G$ 确实构成一个群。
唯一性：一个置换 $S$ 属于 $G$ 当且仅当它保持 $R$ 中所有有理函数不变。

D. 辅助引理的作用

Hurwitz 使用了一个关键引理：若 $\phi(x_1, \dots, x_n) = \Phi(V_1)$ ，则 $\phi$ 在置换 $S_i$ 作用下的值为 $\Phi(V_i)$ 。这一引理利用 $G(v)$ 的不可约性，将根的置换转化为预解式 $V$ 的置换，从而简化了证明。

4. 结果 (Results)

证明了基本定理：Hurwitz 成功地在置换理论的框架下，严格证明了伽罗瓦理论的基本定理，即子域与子群之间的一一对应关系（ $L^G = R$ 且 $G = \text{Gal}(L/R)$ ）。
揭示了 Hurwitz 的教学风格：Hurwitz 的证明虽然基于 19 世纪的符号系统（未使用现代“域”的抽象定义，而是使用“有理域”概念），但其逻辑极其清晰、优雅且严谨。他通过具体的构造（如 $V_i$ 和 $R_k$ 函数）将抽象的对应关系具体化。
历史定位：确认了 Hurwitz 在 1909 年重新审视并记录其 1890 年柯尼斯堡讲座内容的事实，表明他始终致力于将伽罗瓦的原始思想清晰化。

5. 意义 (Significance)

历史桥梁作用：这篇文章揭示了 Hurwitz 的讲座是连接伽罗瓦原始晦涩思想与现代公理化伽罗瓦理论的重要桥梁。Hurwitz 没有完全抛弃伽罗瓦的“置换”视角，而是将其系统化，使其比原始文献更易读，同时比后来的抽象代数表述更具直观性。
教育价值：Hurwitz 的处理方式展示了如何通过具体的代数构造（如预解式）来理解抽象的群论概念。这对于理解伽罗瓦理论的起源和本质具有极高的教学价值。
文献价值：文章首次系统整理并分析了 Hurwitz 在 ETH 苏黎世图书馆保存的珍贵手稿和日记，填补了关于 Hurwitz 如何讲授伽罗瓦理论的历史空白。
数学美学：Hurwitz 的证明被评价为“微妙、简洁且优雅”（subtle, concise, and elegant），展示了经典代数在处理高次方程问题时的深刻洞察力。

总结：
Math Dicker 的这篇文章不仅是对一份历史手稿的整理，更是一次深刻的数学重构。它表明，通过 Hurwitz 的视角，伽罗瓦理论的核心——即对称性（置换群）与可解性（有理域）之间的深刻联系——可以被清晰地呈现出来，无需完全依赖现代抽象代数的术语，从而让读者能够直接触达伽罗瓦思想的精髓。