恩斯特·爱德华·库默尔（Ernst Eduard Kummer）

代数数论的奠基人：他用「理想数」拯救了唯一分解，用「正则素数」攻克了费马大定理的一大片疆域；从中学教师到柏林校长，他培养了克罗内克、康托尔、施瓦茨，把柏林推向世界数学的中心。

一、生平与时代背景

恩斯特·爱德华·库默尔于 1810 年 1 月 29 日生于勃兰登堡的索劳（Sorau，今波兰热雷，Żary），当时属普鲁士。父亲卡尔·戈特黑尔夫·库默尔（Carl Gotthelf Kummer）是一名医生，但在恩斯特三岁时（1813 年）便去世，恩斯特与长兄由母亲抚养长大。他先接受私人辅导，九岁进入索劳的文理中学（Gymnasium）。1828 年，库默尔进入哈雷大学，初衷是攻读新教神学——所幸为哲学打基础的数学课程把他引向了数学：讲师 H. F. 谢克（Heinrich Scherk）激发了他的兴趣，数学很快成为他的主修（尽管他仍视其为通往哲学之路）。

1831 年，库默尔因一篇谢克命题的数学征文获奖，同年取得中学教师资格，并凭借获奖论文获授博士学位（论文《De cosinuum et sinuum potestatibus secundum cosinus et sinus arcuum multiplicium evolvendis》于 1832 年发表）。1831—1832 学年他在母校索劳文理中学试教一年，随后被派往利格尼茨（Liegnitz，今波兰莱格尼察）的文理中学任教，一教就是十年。

这十年间，他在利格尼茨教数学与物理（有时也兼教别的科目），自己仍坚持研究。1836 年他在《克雷尔杂志》（Crelle's Journal）发表超几何级数论文，寄给雅可比，由此与雅可比、狄利克雷建立通信；两位大家很快意识到他具备最高水平的数学潜力。1839 年，仍是中学教师的库默尔经狄利克雷推荐入选柏林科学院。1842 年，在雅可比与狄利克雷的鼎力支持下，他被任命为布雷斯劳（Breslau，今波兰弗罗茨瓦夫）大学正教授，并从此时转向数论研究。1840 年他娶狄利克雷妻子的堂妹、作曲家门德尔松的堂妹奥蒂莉·门德尔松（Ottilie Mendelssohn）为妻；1848 年奥蒂莉去世后不久，他续娶其母系堂妹贝塔·考尔（Bertha Cauer），共育有 13 个子女，其中女儿玛丽嫁给了数学家施瓦茨（Hermann Schwarz）。

1848 年欧洲革命期间，库默尔持强烈的右翼政治立场，支持君主立宪、反对共和。1855 年，狄利克雷离开柏林接任哥廷根的高斯讲席，推荐库默尔补缺；库默尔随即上演了一场漂亮的政治运作：他想把魏尔斯特拉斯召到柏林做同事，又意识到魏尔斯特拉斯是布雷斯劳空缺讲席的有力竞争者，于是反过来向布雷斯劳推荐自己的学生约阿希姆施塔尔（Joachimsthal）。一切按计划进行：1855 年克罗内克已到柏林，1856 年魏尔斯特拉斯也到任，柏林一跃成为世界数学中心。1861 年，库默尔与魏尔斯特拉斯在柏林创办了德国第一个纯数学研讨班（Seminar）。

在柏林，库默尔教学声望极高，课堂最多时坐 250 人；Biermann 写道，他的授课"清晰、生动，还富于人格魅力与幽默感"，并关心学生的经济困难。但他从未写过教科书，只发表讲稿与论文。他在科学院与大学担任要职：1863—1878 年任科学院数学—物理部秘书，1857—1858、1865—1866 年两度任院长，1868—1869 年任校长。他带出了大批博士，包括巴赫曼、康托尔、杜布瓦-雷蒙、戈尔丹、舍恩弗利斯、施瓦茨等。1883 年他以"记忆力衰退"为由退休（但除他本人外没人察觉），1890 年完全退出教学与数学研究，1893 年 5 月 14 日卒于柏林，享年 83 岁。

库默尔、魏尔斯特拉斯、克罗内克这"柏林三巨头"密切合作了二十年，但 1875 年前后魏尔斯特拉斯与克罗内克交恶；库默尔继续与克罗内克保持友谊，这给他与魏尔斯特拉斯的关系蒙上阴影。

二、学术生涯年表

三、核心成果（逐条技术解析）

1. 「理想数」与分圆域的唯一分解（1843 起）——代数数论的起点

问题背景：在试图证明费马大定理时，数学家自然地把 $x^n+y^n=z^n$ 写成 $x^n+y^n=\prod_{k=0}^{n-1}(x+\zeta_n^k y)$（$\zeta_n$ 为 $n$ 次本原单位根），在分圆整数环 $\mathbb Z[\zeta_n]$ 中分解。人们默认像普通整数那样每个元素可唯一分解为素元——这一默认是错的。事实上高斯已注意到虚二次域中唯一分解可能失效，但分圆域的失败是致命的：拉梅（Lamé）1847 年向巴黎科学院宣称的"费马大定理证明"就栽在这个错误假设上（刘维尔当场指出）。

关键思想：库默尔 1843 年意识到，$\mathbb Z[\zeta_\lambda]$（$\lambda$ 为素数）中唯一分解一般不成立，于是引入「理想复数」（ideale complexe Zahlen）——理想数——来恢复唯一分解：把那些"缺失的因子"作为理想素因子添加进来，使得每个（真或理想的）分圆整数都能唯一分解为理想素因子之积。一个经典的反例：在 $\mathbb Z[\sqrt{-5}]$ 中 $6=2\cdot 3=(1+\sqrt{-5})(1-\sqrt{-5})$ 是两种本质不同的分解；库默尔的理想数把 $2,3,1\pm\sqrt{-5}$ 进一步拆成理想素因子，分解便重新唯一。

精确影响：库默尔的理想数后来被戴德金抽象为环中的理想（ideal）概念（这一术语即沿用库默尔），整个交换代数与代数数论由此生长出来。需要注意：库默尔本人的方法比"理想"更接近后来的 $p$ 进方法（显式地用同余与局部因子构造），他的算法化处理与戴德金的集合论公理化路径风格迥异，但数学内容等价。

与前人关系：高斯研究了二次型与二次域的类数，但未触及分圆域的非唯一分解；库默尔是第一个系统处理高次分圆域算术的人。他的工作直接启发了戴德金的理想论与克罗内克的除子（divisor）理论。

局限性：库默尔只处理了分圆域（源于费马问题的具体需要），未抽象到一般代数数域；一般理想论的完全抽象化留给了戴德金。

2. 正则素数与费马大定理（1850）

问题背景：在库默尔之前，费马大定理 $x^n+y^n=z^n$ 仅对 $n=3,4,5,7,14$ 等零散指数被证明（欧拉 $n=3$、费马 $n=4$、狄利克雷/勒让德 $n=5$、拉梅 $n=7$、狄利克雷 $n=14$），缺乏统一方法。

关键思想：利用理想数恢复分圆域唯一分解后，库默尔 1850 年证明了一个宏大的结果：费马大定理对所有正则素数成立。素数 $p$ 称为正则的，如果 $p$ 不整除 $p$ 次分圆域 $\mathbb Q(\zeta_p)$ 的类数 $h_p$（即分圆整数环经理想数补全后，理想类群的大小）。库默尔给出了可计算的判别准则：

素数 $p$ 为正则素数，当且仅当 $p$ 不整除伯努利数 $B_2,B_4,\dots,B_{p-3}$ 中任何一个的分子。

（伯努利数由 $\frac{t}{e^t-1}=\sum_{k=0}^\infty B_k\frac{t^k}{k!}$ 定义。）

精确表述（库默尔 1850 年定理）：若 $p$ 为正则素数，则方程 $x^p+y^p=z^p$ 无非零整数解。

结果威力：库默尔算出 100 以内的素数中，除了 37、59、67 之外全是正则素数；他又用补充判别法处理了这三个不规则素数，从而证明了费马大定理对所有小于 100 的素指数成立——这是自费马提出以来两百多年间最大的一次推进，此后近一个半世纪里所有进一步工作都建立在他的方法之上。

与前人关系：狄利克雷 1846 年证明的代数数域单位定理是关键工具之一；库默尔把类数、单位与伯努利数深刻联系起来。

局限性：库默尔的证明只覆盖正则素数（虽补充处理了部分不规则素数）。不规则素数是否有无穷多个仍属未解决问题（仅知正则素数占素数的比例约 60.6%，属猜想）。直到 1995 年怀尔斯（Wiles）用模形式与伽罗瓦表示的现代方法才完全证明费马大定理，但其思想源头可追溯至库默尔。

3. 库默尔曲面（1864）——代数几何的经典模型

问题背景：哈密顿曾研究过二次线丛（quadratic line complex）的射线系；库默尔把这类问题代数化处理。

关键思想：库默尔 1864 年发现了以他命名的四次曲面——库默尔曲面。它可由一个二维阿贝尔簇（亏格 2 曲线的雅可比簇）对合 ${1,-1}$ 取商得到（这是早期的轨形/ orbifold 例子）。曲面具有 16 个孤立的圆锥二重点（来自雅可比簇的 16 个 2-挠点）和 16 个奇异切平面（每个切平面在 6 个节点处相切），二者构成著名的 (16₆) 库默尔构型：每个节点在 6 个切平面上，每个切平面过 6 个节点。

与前人关系：是 19 世纪代数曲面理论中被研究得最透彻的对象之一，后经赫德森（R. W. H. T. Hudson，1905）系统整理为专著《Kummer's Quartic Surface》。

影响：库默尔曲面是代数几何、奇点理论与弦论紧化中反复出现的基本模型。

4. 超几何级数与单值群（1830 年代起）

问题背景：高斯已研究超几何级数，但它作为微分方程解的全局结构尚未厘清。

关键思想：库默尔扩展了高斯关于超几何级数的工作，首次计算了这些级数的单值群（monodromy group）——即解沿复平面上闭路径解析延拓后所经历的线性变换群。他还系统整理了超几何函数之间的邻接关系（contiguity relations）与库默尔的 24 种解的表示；并研究了汇合型超几何函数（Kummer 函数 $M(a,b,z)$）及其变换公式。这些结果对微分方程理论极为有用。

与前人关系：高斯的超几何级数研究的延续；为后来黎曼（P 函数）与富克斯（Fuchs）的线性微分方程理论开辟了道路。

5. 其他贡献：库默尔扩张、类域论源头、弹道学

• 库默尔扩张（Kummer extension）：在已含 $n$ 次本原单位根的域中添加一个 $n$ 次根所得的扩张。这是二次扩张的重要推广，与二次型的种理论（对应类群的 2-挠）密切相关，至今仍是类域论的基础构件。
• 库默尔定理（二项式系数的素因子）：给出 $\binom{m+n}{m}$ 中素数 $p$ 的指数等于 $m+n$ 在 $p$ 进制下相加时的进位次数。
• 库默尔同余：关于伯努利数模素数幂的同余式，是 $p$ 进 $L$ 函数的源头之一。
• 库默尔级数变换：加速级数收敛的一种经典技巧。
• 弹道学：作为应用数学家，库默尔曾为德国军官讲授弹道学，研究空气阻力对不同形状物体（特别是炮弹）的作用，1875 年发表相关论文。他还与哈密顿合作研究射线系。

四、代表著作与文献

• 《De cosinuum et sinuum potestatibus secundum cosinus et sinus arcuum multiplicium evolvendis》（1831/1832）：获奖博士论文，发表于 1832 年。
• 《Über die Zerlegung der aus Wurzeln der Einheit gebildeten complexen Zahlen in ihre Primfactoren》（1846，《克雷尔杂志》）：引入理想数、恢复分圆域唯一分解的奠基论文。
• 《Allgemeiner Beweis des Fermatschen Satzes …》（1850，柏林科学院）：证明费马大定理对正则素数成立，含伯努利数判别法。
• 1857 年获巴黎科学院大奖的理想数/费马问题系列工作。
• 关于库默尔四次曲面的论文（1864）。
• 全集：Ernst Eduard Kummer: Collected Papers，两卷，安德烈·韦伊（André Weil）编，Springer-Verlag，1975（卷一：数论；卷二：函数论、几何及杂项）。

五、师承、学派与同时代交往

• 师承：哈雷大学受教于 H. F. 谢克（博士导师）；精神上深受高斯《算术研究》影响。未出国游学，主要靠自学与通信成长。
• 学派归属：19 世纪中叶德国数论学派的核心，柏林数学黄金时代的支柱（与狄利克雷、魏尔斯特拉斯、克罗内克共同构成柏林学派）。
• 同时代交往：
• 卡尔·古斯塔夫·雅可比：1836 年因论文通信结交，是库默尔的早期伯乐与密友，为其大学职位奔走。
• 约翰·彼得·狄利克雷：推荐他入选柏林科学院（1839）、促成布雷斯劳教授任命；库默尔娶了狄利克雷妻子的堂妹。1855 年库默尔接任狄利克雷的柏林讲席。
• 利奥波德·克罗内克：利格尼茨时期的中学生，后来成为柏林同事与密友；库默尔在魏尔斯特拉斯—克罗内克交恶后站在克罗内克一边。
• 卡尔·魏尔斯特拉斯：1856 年被库默尔运作召至柏林，二人于 1861 年合办纯数学研讨班；1875 年后因克罗内克关系疏远。
• 学生：克罗内克、约阿希姆施塔尔（中学时期）；博士学生包括康托尔、施瓦茨、戈尔丹、巴赫曼、杜布瓦-雷蒙、舍恩弗利斯、弗罗贝尼乌斯、富克斯、基灵、克内泽尔、默滕斯等。女婿为施瓦茨（娶其女玛丽）。
• 对手/摩擦：与克罗内克一样对康托尔集合论持保留态度；数学政见偏保守。

六、争议、公案与历史评价

• 拉梅"费马大定理证明"事件（1847）：拉梅在巴黎科学院宣称的证明依赖分圆整数唯一分解，被刘维尔当场指出该假设不成立；库默尔当时已发现唯一分解失效并引入理想数，成为这一公案中正确的一方。这一事件突显了库默尔工作的关键意义。
• "理想"归属：术语"ideal"由库默尔首创（"理想数"），但现代抽象的环理想概念由戴德金建立；学界通常归功于库默尔的概念原创与戴德金的抽象化，二者共享。
• 退休原因：1883 年库默尔自称记忆力衰退而退休，但"除他本人外无人察觉"——可能是一种主动的体面退场，而非真实健康危机。
• 历史评价：库默尔被视为 19 世纪最深刻的数论家之一，代数数论的真正开创者。他把费马大定理从零散特例推进到系统理论，其思想经由戴德金、希尔伯特、类域论直至怀尔斯的最终证明一脉相承。外尔（Weil）亲自编辑他的全集，足见其在现代数论家心中的地位。他同时是优秀的教师与学术组织家，把柏林建设成世界数学中心。

七、身后影响与学术谱系

• 代数数论：理想数 → 戴德金理想 → 希尔伯特类域论 → 现代代数数论与朗兰兹纲领；库默尔扩张是类域论的基本对象，库默尔同余是 $p$ 进 $L$ 函数的源头。
• 费马大定理：正则素数方法主导费马问题研究逾百年，直至怀尔斯 1995 年的最终证明仍可视为这一传统的现代延续。
• 交换代数："理想"概念催生了诺特环、戴德金环等核心结构，是现代代数几何与数论的语言基础。
• 代数几何：库默尔曲面至今是奇点理论、模空间与弦论中的基本模型；其单值群研究影响了微分方程与代数几何的交叉。
• 分析：超几何级数的邻接关系与单值群影响了特殊函数理论。
• 应用：弹道学研究影响了军事应用数学。
• 命名遗存：库默尔曲面、库默尔构型、库默尔扩张、库默尔理论、库默尔函数、库默尔级数、库默尔变换、库默尔同余、库默尔定理（二项式系数）、库默尔和、库默尔簇、库默尔—范迪维尔猜想、小行星 25628 Kummer。
• 教育传承：培养了克罗内克（数论）、康托尔（集合论）、施瓦茨（分析）、戈尔丹（不变量论）、富克斯（微分方程）等，柏林学派经他们延续至 20 世纪。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Ernst Eduard Kummer：圣安德鲁斯大学权威传记，本档案主要史实出处。
• Dictionary of Scientific Biography — Kummer (PDF, MacTutor 托管)：科学史权威传记条目（K. R. Biermann 撰写）。
• Wikipedia: Ernst Kummer：生平与著作交叉核对。
• Wikipedia: Ideal number：理想数概念的历史。
• Wikipedia: Regular prime：正则素数的定义、伯努利判别法与费马大定理。
• Wikipedia: Kummer surface：库默尔曲面的几何与 16₆ 构型。
• Wikipedia: Kummer theory：库默尔扩张与类域论的关系。
• Wikipedia: Fermat's Last Theorem：库默尔正则素数工作在费马问题史中的位置。
• Encyclopædia Britannica — Ernst Eduard Kummer：权威百科条目。
• Heinz Klaus Strick 传记（MacTutor 托管 PDF）：通俗传记，补充生平细节。