艾米·诺特(Amalie Emmy Noether)
「现代代数之母」与理论物理的立法者——她把数学从「计算具体对象」改写成「研究抽象结构」,用一篇《环中的理想论》把环、理想、模的语言注入整个 20 世纪数学;又用一条定理把「对称性」与「守恒律」焊在一起,让每一位物理学家从此离不开她。爱因斯坦说,她是「女性高等教育兴起以来最具创造力的数学天才」。
一、生平与时代背景
阿马利·艾米·诺特 1882 年 3 月 23 日生于德国巴伐利亚州埃尔朗根(Erlangen)。父亲马克斯·诺特(Max Noether)是杰出的代数几何学家、埃尔朗根大学教授;母亲伊达·阿玛利亚·考夫曼(Ida Amalia Kaufmann,1852—1915)出身科隆富裕家庭。父母均为犹太裔——「诺特」并非典型犹太姓氏,其先祖伊利亚斯·塞缪尔(Elias Samuel)1809 年根据巴登宽容敕令采用日耳曼姓氏「Nöther」,家族的铁器批发生意延续了整整一百年,直到 1937 年被纳粹剥夺。马克斯一辈统一写作 Noether(仅在其结婚证上出现 Nöther)。
艾米是四个孩子中的长女,三个弟弟:阿尔弗雷德(Alfred,1883—1918,化学家,1909 年获博士学位)、弗里茨(Fritz,1884—1941,应用数学家,1937 年流亡苏联托木斯克大学任教,1941 年被以「反苏行为」罪名处决,1988 年由苏联最高法院平反)、古斯塔夫·罗伯特(Gustav Robert,1889—1928,自幼体弱、智力障碍,长期在疗养机构度过,早逝)。
艾米童年并不出众:近视、相貌平平但讨人喜欢,有轻微口齿不清,是少数上犹太宗教课的学生之一。1889—1897 年在埃尔朗根的市立女子高等学校(Städtische Höhere Töchter Schule)就读,学德语、英语、法语、算术,学钢琴,热爱跳舞。她最初的志向是当语言教师:1900 年通过巴伐利亚州的英法教师资格考试,成绩「很好」,最弱的环节是课堂教学。
但她并未去任教,而是走上了当时对女性极为艰难的大学数学之路。1900—1902 年她在埃尔朗根大学以「旁听生」身份听课(每位教授须单独许可,她是仅有的两名女旁听生之一),同时继续学语言和历史。1903 年 7 月 14 日她在纽伦堡通过大学入学考试,随即赴哥廷根,1903—04 冬季学期旁听了史瓦西(Karl Schwarzschild)、布卢门塔尔(Otto Blumenthal)、希尔伯特、克莱因和闵可夫斯基的课——仍然只能旁听,不能正式注册。一学期后回埃尔朗根,恰遇学制改革,1904 年 10 月 24 日她得以正式注册入学,专修数学。
1907 年她在保罗·戈尔丹(Paul Gordan)指导下获博士学位,口试于 12 月 13 日(星期五)举行,以 summa cum laude 通过。论文研究三元双二次型的不变量完全系,列出了 331 个协变式,沿用戈尔丹的「构造性」风格。她后来称这篇论文是「一堆公式丛林」(Formelgestrüpp),不承认其代表自己的数学思想。
由于女性不能取得任教资格(Habilitation),她留在埃尔朗根协助残疾的父亲,并独立做研究。1911 年戈尔丹退休,继任的恩斯特·菲舍尔(Ernst Fischer)把她引向希尔伯特式的抽象、算术化观点——诺特后来写道:「我尤其感激菲舍尔先生,是他给了我从算术观点研究抽象代数的决定性冲动,这成为我此后全部工作的主导思想。」这一转向至关重要:戈尔丹虽成就非凡,却「从未公正对待基本概念的发展,连极限的定义都在课上完全回避」(马克斯·诺特语)。
她的声望随论文迅速增长:1908 年当选巴勒莫数学圈(Circolo Matematico di Palermo)会员,1909 年获邀加入德国数学会(DMV)并在萨尔茨堡年会作《论 $n$ 元型的不变量理论》报告,1913 年在维也纳 DMV 会议作《论有理函数域》报告。在埃尔朗根她还「非正式」指导了两名博士生——法尔肯贝格(Hans Falckenberg,1911)和塞德尔曼(Fritz Seidelmann,1916)——他们名义上由她父亲指导。
1915 年,希尔伯特与克莱因因研究广义相对论的数学基础(需要不变量理论专家)邀请她回哥廷根。她一到就解决了两个关键问题:(1)黎曼空间中任意向量场/张量场的所有微分协变量如何获取;(2)洛伦兹群的每个无穷小变换都对应一条守恒定理——后者即「诺特定理」。爱因斯坦在给希尔伯特的信中称赞她「穿透性的数学思维」。但哥廷根哲学系长期拒绝给她授课资格,理由是「不能让女人当讲师」;她只能以希尔伯特的名义登课(如 1916—17 冬季学期目录上写「数学物理讨论班:希尔伯特教授,诺特博士协助,周一 4—6 点,免学费」)。直到 1919 年——一战结束、帝制崩溃——她才终于获得 Privatdozent 资格,1922 年被任命为「非终身」的编外教授(nichtbeamteter außerordentlicher Professor),且不领薪水。
1919 年后她从不变量理论转向理想论与环论,1921 年的《环中的理想论》(Idealtheorie in Ringbereichen)是现代代数的分水岭。1924 年她用五条公理刻画了唯一素理想分解的环(即抽象戴德金整环)。同年,年轻的荷兰数学家范德瓦尔登(B. L. van der Waerden)来哥廷根跟她学习,回阿姆斯特丹后写出两卷本《近世代数学》(Moderne Algebra),其第二卷(1931)绝大部分内容来自诺特的讲义。1927 年起她与阿廷(Emil Artin)、布饶尔(Richard Brauer)、哈塞(Helmut Hasse)合作研究非交换代数,1932 年联名发表《代数理论主定理的证明》,证明了布饶尔—哈塞—诺特定理。
1928 年她在博洛尼亚 ICM 作报告,1932 年在苏黎世 ICM 作全会报告《超复系与交换代数及数论的关系》;同年与阿廷共获阿克曼—托伊布纳纪念奖。她在哥廷根指导了十余名博士生(首位是 1925 年的格雷特·赫尔曼(Grete Hermann);列维茨基(Jakob Levitzki)、费廷(Hans Fitting)等亦出其门下),但早期因规定她不能单独署名指导,常需兰道(Edmund Landau)联署。她还参与编辑《数学年鉴》(Mathematische Annalen),许多成果散见于同事和学生的论文中而非自己署名。
1933 年 4 月纳粹《公务员法》(4 月 7 日)生效,她因犹太血统被哥廷根大学解雇,无退休金。她给哈塞写信说:「这对我比对许多人要轻得多——我至少有一小笔遗产(反正我从来没有资格领退休金),可以先坐下来看看。」1933 年 10 月她乘「不来梅号」赴美,赴布林莫尔学院(Bryn Mawr College)任访问教授(由安娜·约翰逊·佩尔·惠勒(Anna Johnson Pell Wheeler)促成),同时在普林斯顿高等研究院讲课。
1935 年 4 月,医生在她盆腔内发现肿瘤,术前让她卧床两天;手术中发现一枚「大如哈密瓜」的卵巢囊肿,子宫内两枚较小的良性肿瘤为缩短手术未切除。术后前三天恢复正常,4 月 14 日凌晨突然昏迷、体温骤升至约 42℃(108°F),在布林莫尔医院去世,享年 53 岁。一般认为死因为术后感染引发的循环衰竭,也有记载提到脑血管破裂——病理解释的细节史料略有差异。1935 年 5 月 1 日,外尔(Hermann Weyl)在布林莫尔的追悼会上发表了著名的悼词;爱因斯坦则在 5 月 5 日《纽约时报》撰文悼念。
二、学术生涯年表
| 年份 | 事件 |
|---|---|
| 1882 | 3 月 23 日生于德国埃尔朗根,犹太裔数学世家(父马克斯·诺特) |
| 1889—1897 | 就读埃尔朗根市立女子高等学校,学英法德语言与钢琴 |
| 1900 | 通过巴伐利亚英法教师资格考试,成绩「很好」,但未去任教 |
| 1900—1902 | 以旁听生身份在埃尔朗根大学听课(全校仅两名女旁听生之一) |
| 1903 | 7 月 14 日通过纽伦堡大学入学考试;赴哥廷根旁听希尔伯特、克莱因、闵可夫斯基等课 |
| 1904 | 10 月 24 日在埃尔朗根正式注册入学(学制改革后首批女大学生) |
| 1907 | 12 月 13 日获埃尔朗根博士学位(戈尔丹指导,不变量理论,summa cum laude) |
| 1911 | 戈尔丹退休,菲舍尔继任;受菲舍尔影响转向抽象算术化代数 |
| 1915 | 受希尔伯特、克莱因邀请赴哥廷根,研究相对论的不变量基础,证明诺特定理 |
| 1918 | 发表《不变量变分问题》,含诺特定理(第一、第二定理) |
| 1919 | 终获哥廷根授课资格(Privatdozent),此前只能以希尔伯特名义开课 |
| 1921 | 发表《环中的理想论》,建立诺特环与准素分解(拉斯克—诺特定理一般形式) |
| 1922 | 任哥廷根「编外教授」(不领薪水) |
| 1924 | 发表《代数数域中理想论的抽象构造》,公理化戴德金整环;范德瓦尔登来哥廷根随她学习 |
| 1927 | 起与阿廷、布饶尔、哈塞合作研究非交换代数 |
| 1928 | 在博洛尼亚 ICM 作报告 |
| 1932 | 在苏黎世 ICM 作全会报告;与阿廷共获阿克曼—托伊布纳纪念奖 |
| 1933 | 4 月被纳粹解雇;10 月赴美任布林莫尔学院访问教授,并在普林斯顿高等研究院讲课 |
| 1935 | 4 月 14 日卒于美国布林莫尔,享年 53 岁(卵巢囊肿术后感染) |
三、核心成果(逐条技术解析)
1. 诺特定理——对称性与守恒律的对应(1918)
问题背景:1915—1916 年希尔伯特研究广义相对论的能量守恒问题,发现引力论中「能量」的概念与闵可夫斯基时空情形显著不同,需要一个一般框架来判断何时一个变分问题具有守恒律。
关键思想:诺特在《不变量变分问题》(Invariante Variationsprobleme,1918 年发表于哥廷根皇家科学会通报)中证明了两条深刻定理,把拉格朗日作用量的连续对称性与守恒量、可微恒等式联系起来。
精确表述: - 第一诺特定理:若作用量 $S=\int L(t,q,\dot q)\,dt$(或场论中 $S=\int \mathcal L(x^\mu,\phi,\partial_\mu\phi)\,d^4x$)在某个 $r$ 参数连续李群变换下不变,则存在 $r$ 个线性独立的守恒流(守恒量)。例如:时间平移不变性 $\Rightarrow$ 能量守恒;空间平移 $\Rightarrow$ 动量守恒;空间旋转 $\Rightarrow$ 角动量守恒;相位变换 $\Rightarrow$ 电荷守恒。 - 第二诺特定理:若作用量在一个含任意函数的无穷维李群(局部规范变换)下不变,则拉格朗日量的欧拉—拉格朗日方程之间存在恒等式(诺特恒等式)。这正是广义相对论中微分同胚不变性导致能量—动量守恒律难以局部定义的数学根源,也直接孕育了后来的规范场论。
与前人关系:经典力学中具体的守恒律(能量、动量)已知,但从未有人给出「对称性 $\Leftrightarrow$ 守恒律」的一般定理。希尔伯特 1915 年已注意到广义相对论中的特殊情形,诺特给出了完全一般的证明。
意义:这是 20 世纪理论物理最重要的定理之一,从粒子物理标准模型到凝聚态、宇宙学,「找对称、写守恒律」都是标准操作;杨—米尔斯规范理论正是第二定理思想的延续。
2. 诺特环与准素分解——《环中的理想论》(1921)
问题背景:戴德金已在代数整数环中证明了理想的唯一素理想分解;拉斯克(Emanuel Lasker,1905)在多项式环上证明了理想可分解为准素理想的交。但这些结果依赖具体环的结构,缺少抽象统一框架。
关键思想:诺特把「升链条件」(ACC,即任意理想升链 $I_1\subseteq I_2\subseteq\cdots$ 稳定)提升为环的抽象定义——满足 ACC 的交换环今天称为诺特环(Noetherian ring)。她证明:在任何诺特环中,每个理想都可分解为有限个准素理想的交,且孤立准素分支唯一(嵌入分支在弱意义下也唯一)。
精确表述(拉斯克—诺特定理):设 $R$ 是交换诺特环,则每个真理想 $I\subsetneq R$ 有极小准素分解 $I=Q_1\cap\cdots\cap Q_k$,其中每个 $Q_i$ 是 $\mathfrak p_i$-准素的;不同的 $\mathfrak p_i$ 对应的孤立分支是唯一的。
与前人关系:拉斯克只对多项式环证明;诺特去掉了所有具体假设,只保留 ACC。这是把「升链条件」作为公理的第一次成功范例。
意义:这篇论文是现代交换代数的诞生宣言。「诺特的」(Noetherian)从此成为整个代数几何、代数数论、同调代数中无处不在的形容词:诺特环、诺特模、诺特概形……格罗滕迪克的概形论建立在诺特假设之上。
3. 戴德金整环的公理化(1924)
结果:在《代数数域中理想论的抽象构造》(Abstrakter Aufbau der Idealtheorie in algebraischen Zahlkörpern,1924)中,诺特给出了交换环中「每个非零理想唯一分解为素理想之积」的五条等价公理,抽象定义了今天的戴德金整环(Dedekind domain)——此前戴德金的理论只针对代数数域的整数环。她还发展了模论与表示论的抽象观点。
意义:把代数数论从「具体数域」解放为「满足公理的环」,使戴德金整环成为代数几何曲线与代数数论的共同基础;这是公理化方法在代数中最成功的范例之一,深刻影响了扎里斯基(Zariski)、阿廷、格罗滕迪克。
4. 非交换代数与布饶尔—哈塞—诺特定理(1927—1932)
背景:20 世纪 20 年代,有限维结合代数(特别是数域上的中心单代数)的结构是代数与数论的交汇热点。韦德伯恩(Wedderburn)、阿廷已给出半单代数的结构定理,但数域上的中心单代数尚未完全分类。
结果:诺特与阿廷、布饶尔、哈塞合作,1932 年联名发表《代数理论主定理的证明》,证明了布饶尔—哈塞—诺特定理(Brauer–Hasse–Noether theorem):代数数域上的每个中心单代数都是循环代数(cyclic algebra)。等价地,数域的布饶尔群中每个元素都可由循环扩张实现。
意义:这是类域论在非交换代数上的巅峰应用,也是「局部—整体原理」在非交换情形的体现;它解决了 20 年代代数理论中最核心的猜想之一,直接推动了后来中心单代数与上同调理论的发展。诺特在其中引入了「叉积代数」(crossed product algebra)的关键构造。
5. 有限群不变量的有限生成(1915—1916)
背景:希尔伯特第 14 问题问:给定群作用在多项式环上,其不变量环是否有限生成?希尔伯特 1890 年对一般线性群的有限维表示给出肯定回答(基定理),但证明是非构造性的,曾被戈尔丹斥为「神学而非数学」。对有限群,问题仍未解决。
结果:诺特 1916 年在《有限群不变量的有限性定理》中证明:有限群在特征零域上的不变量环有限生成,且生成元的次数不超过群的阶(诺特界)。她给出的证明相对构造性,部分回应了戈尔丹的批评。
局限与后续:诺特界在特征 $p>0$ 时不成立(诺特本人意识到),一般有限群不变量的有限生成在任意特征下直到 1980 年才由德尔坦(Derksen)、希尔伯特第 14 问题的反例由永田(Nagata,1959)给出——说明该问题远比预期复杂。
6. 伽罗瓦理论与「诺特问题」
背景:逆伽罗瓦问题问:哪些有限群可作为某个伽罗瓦扩张的伽罗瓦群?诺特把它归结为一个纯代数的合理性问题。
结果:诺特问题(Noether's problem):设有限群 $G$ 作用在有理函数域 $k(x_1,\dots,x_n)$ 上(置换变量),其固定域 $k(x_1,\dots,x_n)^G$ 是否为 $k$ 的有理扩张(即纯超越扩张)?若是,则 $G$ 可实现为 $k$ 上的伽罗瓦群(在适当条件下)。诺特对许多可解群给出肯定回答。
后续:该问题至今未完全解决;斯旺(Swan,1969)、沃斯克列先斯基(Voskresenskii)等人给出了反例(某些 $p$ 群的固定域非有理),但仍是逆伽罗瓦问题的重要工具。
四、代表著作与文献
- 《不变量变分问题》(Invariante Variationsprobleme,1918,哥廷根皇家科学会通报,数学—物理类):诺特定理(第一、第二定理)原文。
- 《环中的理想论》(Idealtheorie in Ringbereichen,1921,Mathematische Annalen 83):诺特环、准素分解、交换代数的奠基论文。
- 《代数数域中理想论的抽象构造》(Abstrakter Aufbau der Idealtheorie in algebraischen Zahlkörpern,1924,Jahresber. Deutsch. Math.-Verein.):戴德金整环的公理化。
- 《代数理论主定理的证明》(与布饶尔、哈塞联名,Beweis eines Hauptsatzes in der Theorie der Algebren,1932,J. reine angew. Math.):布饶尔—哈塞—诺特定理。
- 《有限群不变量的有限性定理》(Der Endlichkeitssatz der Invarianten endlicher Gruppen,1916,Math. Ann.):有限群不变量有限生成与诺特界。
- 《超复系与交换代数及数论的关系》(1932 苏黎世 ICM 全会报告):非交换代数与数论关系的综述。
- 《诺特全集》(Emmy Noether: Gesammelte Abhandlungen,1983,编者 N. Jacobson,Springer):收齐其全部论文。
- 此外大量成果见诸学生与同事著作:范德瓦尔登《近世代数学》第二卷(1931)、阿廷的讲义等。
五、师承、学派与同时代交往
- 师承:博士导师保罗·戈尔丹(不变量理论,构造性风格);思想上的关键转向来自恩斯特·菲舍尔(抽象算术化);其父马克斯·诺特(代数几何)提供了学术环境与早期指导。
- 希尔伯特:1915 年把她请到哥廷根,为她的授课资格与哲学系长期斗争;有一句广为流传的话据信是希尔伯特在为她辩护时说的:「我看不出候选人的性别何以成为反对她取得授课资格的理由——我们毕竟是大学,不是澡堂。」(此语广为流传,确切出处学界有不同记载。)
- 克莱因:与希尔伯特共同邀请她来哥廷根,支持她的相对论不变量工作。
- 爱因斯坦:1915—1916 年相对论工作的对应者,称赞她的「穿透性数学思维」;1935 年在《纽约时报》发文悼念。
- 外尔:哥廷根同事,后来继任她的精神位置;1935 年致悼词,其著作《典型群》等延续了她的群与表示论传统。
- 范德瓦尔登:1924 年学生;《近世代数学》使她的思想传遍世界。
- 阿廷、布饶尔、哈塞:1927—1932 年非交换代数合作者。
- 学生:格雷特·赫尔曼(1925,首位)、海因里希·格雷尔(1926)、雅各布·列维茨基、汉斯·费廷、马克斯·多伊林(Max Deuring)等十余人;许多学生名义上由兰道联署。
- 学派归属:哥廷根抽象代数学派的奠基人;其思想经范德瓦尔登、阿廷、扎里斯基、格罗滕迪克塑造了整个 20 世纪代数。
六、争议、公案与历史评价
- 戈尔丹「这是神学」与风格之争:希尔伯特 1888 年用非构造性方法证明不变量环有限生成,戈尔丹名言「这不是数学,这是神学」(Das ist keine Mathematik, das ist Theologie!)广为流传(是否为戈尔丹原话学界有存疑,但他确属构造派)。诺特最初做戈尔丹的构造性计算,后转向希尔伯特的抽象方法,1916 年又给出有限群情形相对构造性的证明——她本人在两派之间架桥。
- 漫长的性别歧视:1919 年才获授课资格,1922 年任「编外教授」却不领薪水,直到 1923 年才因代课拿到微薄报酬;哥廷根哲学系(含语言学家、历史学家)长期以性别为由阻挠。她对此始终平静,未激烈抗议。
- 「不署名」与思想传播:她大量成果出现在学生和同事论文中,范德瓦尔登在《近世代数学》第七版才注明「部分基于阿廷与诺特的讲义」。这导致她的贡献在早期传播中有时被低估。
- 政治立场:一战后同情社会民主党、持和平主义立场;1933 年后不问政治,但始终是坚定的和平主义者。外尔回忆 1933 年那个「风暴之夏」,她在被禁止使用教室后把学生请到家里上课,连穿褐衫的学生也欢迎。
- 死因细节:1935 年卵巢囊肿手术后第四天突然去世,一般归因于术后感染/循环衰竭,亦有脑血管破裂一说——具体病理解释史料略有出入,但「术后突发、恢复看似正常后急转直下」是一致记载。
- 历史评价:外尔在悼词中称她为「自妇女高等教育以来最伟大的数学家」;爱因斯坦在《纽约时报》写道她是「女性开始接受高等教育以来所产生的最具创造力的数学天才」。她的结构主义思想重塑了整个现代数学:「数学是研究结构的」这一现代观点,很大程度上始于诺特。
七、身后影响与学术谱系
- 对代数:诺特环、诺特模、诺特概形、戴德金整环公理化、准素分解、叉积代数——这些概念是交换代数、代数几何、代数数论、同调代数的基础词汇。格罗滕迪克的概形论、韦伊猜想的证明都建立在她的框架之上。
- 对物理:诺特定理是理论物理的「宪法」:从经典力学到量子场论、广义相对论、规范场论、粒子物理标准模型,对称性与守恒律的对应都以她的定理为依据。
- 对数学方法论:她示范了「公理化 + 抽象结构」的威力,使代数从「计算具体对象」转向「研究结构之间的态射」,是 20 世纪数学「结构主义」转向的标志人物。
- 对女性数学家:作为史上最伟大的女数学家,她的经历激励了后世女性学者;她在哥廷根指导了众多女学生,去世后布林莫尔设有以她命名的纪念职位。
- 命名遗存:诺特环、诺特模、诺特概形、诺特群、诺特不等式(代数几何)、拉斯克—诺特定理、布饶尔—哈塞—诺特定理、诺特问题、诺特界、诺特规范化定理(Noether normalization,交换代数中的基本定理)、诺特第一/第二定理;月球背面「诺特环形山」;哥廷根与布林莫尔的纪念牌;2015 年(逝世 80 周年)谷歌涂鸦纪念;2019 年德国发行 2 欧元纪念币。
八、延伸阅读与权威来源
- MacTutor 数学史档案:Emmy Noether:圣安德鲁斯大学权威传记,本档案主要史实出处。
- MacTutor: Dictionary of Scientific Biography — Noether, Amalie Emmy:科学传记词典条目(Pesic 等撰)。
- Wikipedia: Emmy Noether:生平、学术分期与身后影响的交叉核对。
- Wikipedia: Noether's theorem:第一、第二诺特定理的精确表述与物理应用。
- Wikipedia: Lasker–Noether theorem:准素分解的历史与陈述。
- Wikipedia: Noetherian ring:诺特环的定义、例子与性质。
- Wikipedia: Brauer–Hasse–Noether theorem:非交换代数主定理。
- Wikipedia: Noether's problem:逆伽罗瓦问题与有理不变域。
- Hermann Weyl, 1935 年布林莫尔追悼词(MacTutor 重印):外尔亲撰悼词,一手评价。
- Auguste Dick, Emmy Noether 1882—1935 (Birkhäuser, 1981):诺特权威传记(本档案若干细节出处)。
- A Refugee Scholar from Nazi Germany: Emmy Noether and Bryn Mawr College:诺特晚年与逝世细节的专门研究。