跳转到内容
← 返回数学家
现代抽象代数16 分钟阅读

诺特

Emmy Noether

德国/美国·18821935
抽象代数诺特定理环论对称性守恒律

生平

艾米·诺特(Emmy Noether,1882—1935)是德国数学家,抽象代数的奠基人之一,被誉为"数学史上最重要的女性数学家"。她出生于德国埃尔朗根,父亲马克斯·诺特(Max Noether)是著名的代数几何学家。诺特在埃尔朗根长大,1900年通过了法语和英语教师资格考试。1903年,她进入埃尔朗根大学学习数学——当时大学对女性学生有严格限制。1904年,埃尔朗根大学正式允许女性入学,诺特于1907年获得博士学位,论文题目是关于不变量理论的。

博士毕业后,诺特在埃尔朗根大学无偿工作了七年——女性在当时的德国大学不能担任正式教职。1915年,希尔伯特和克莱因邀请她到哥廷根大学工作。当哲学系反对任命女性教授时,希尔伯特说:"我不明白候选人的性别为什么成了反对的理由。毕竟,这里是大学,不是澡堂。"诺特在哥廷根以希尔伯特的名义授课,直到1919年才获得讲师资格(Habilitation)。1922年,她成为非正式教授(nicht beamteter außerordentlicher Professor),但从未获得正式教授职位。

在哥廷根的18年(1915—1933)中,诺特完成了她最重要的工作——诺特定理(1918年)、环论和理想论的公理化、非交换代数的发展。

1933年,纳粹上台后,诺特因犹太血统被解除了教职。她移居美国,在宾夕法尼亚州布林莫尔学院担任教授。1935年4月14日,她因手术并发症去世,享年53岁。

爱因斯坦在《纽约时报》上发表了悼文:"诺特小姐是自女性开始接受高等教育以来所产生的最重要的创造性数学天才。"

核心贡献

诺特定理

诺特最著名的贡献是诺特定理(Noether's theorem,1918年)——将对称性与守恒律联系起来的深刻定理。

定理:对于物理系统的每一个连续对称性,都存在一个对应的守恒律。

形式化表述:设拉格朗日量 L(q,q˙,t)L(q, \dot{q}, t) 在变换 qq+ϵδqq \to q + \epsilon \delta q 下不变,则存在守恒量:

Q=Lq˙δq=常数Q = \frac{\partial L}{\partial \dot{q}} \cdot \delta q = \text{常数}

具体例子: - 时间平移对称性能量守恒:物理定律不随时间改变,因此能量守恒 - 空间平移对称性动量守恒:物理定律不随位置改变,因此动量守恒 - 旋转对称性角动量守恒:物理定律不随方向改变,因此角动量守恒 - 规范对称性电荷守恒:电磁理论中的规范不变性导致电荷守恒

诺特定理是理论物理学的基石。爱因斯坦的广义相对论、粒子物理的标准模型、凝聚态物理中的对称性破缺理论——都建立在诺特定理的基础上。许多物理学家把它视为数学与物理学之间最深刻的桥梁之一:它把"对称性"这一几何概念与"守恒律"这一物理事实精确地等同了起来。

抽象代数的奠基

诺特彻底改变了代数学的研究方式——从具体的方程求解转向抽象的代数结构。

环论:诺特发展了环(ring)的抽象理论。环是一个配备加法和乘法运算的代数结构,满足: 1. $(R, +)$ 是阿贝尔群 2. (R,)(R, \cdot) 是半群(满足结合律) 3. 乘法对加法满足分配律

诺特引入了诺特环的概念——每个理想都有限生成的环。多项式环 k[x1,x2,,xn]k[x_1, x_2, \ldots, x_n] 是诺特环(希尔伯特基定理)。

理想论:诺特系统发展了理想(ideal)的理论。理想是环的特殊子集,在加法和乘法下封闭。她的工作建立了代数数论和代数几何的现代基础。

模论:诺特引入了(module)的概念——环上的"向量空间"。模论成为同调代数的核心。

第二诺特定理与规范对称性

诺特在1918年同时发表了两个定理,通常被称为诺特第一定理诺特第二定理。前者(连续对称性→守恒律)广为人知,但第二定理同样深刻,却鲜有人提及。

诺特第二定理:若拉格朗日量在无限维对称群(即依赖任意函数的变换)下不变,则场方程之间存在恒等关系(称为"Bianchi恒等式"的推广)。

第二定理的最重要应用是广义相对论:爱因斯坦场方程的10个方程中,有4个是恒等式——正是因为广义相对论的拉格朗日量在无限维的微分同胚群下不变。这就解释了为什么广义相对论的初始值问题有"规范自由度"——你可以在不改变物理的情况下重新选择坐标系。诺特第二定理也是现代规范场论的基础:电磁场的规范不变性(AμAμ+μΛA_\mu \to A_\mu + \partial_\mu \Lambda)导致电荷守恒(第一定理),同时导致麦克斯韦方程的相容性(第二定理,即 μFμν=0\partial^\mu F_{\mu\nu} = 0 的恒等式)。

1918年诺特发表这一工作时,爱因斯坦立即意识到其深刻性。同年5月,他在读到诺特一篇关于不变式的相关论文后写信给希尔伯特:"昨天收到诺特小姐一篇关于不变式的非常有趣的论文。我很佩服竟能从如此一般的视角理解这些问题。哥廷根的老前辈们要是能从她那里学到一两手,也不会有什么坏处。"

非交换代数

诺特在非交换代数方面也做出了重要贡献。她研究了: - 非交换环的理想结构 - 超复数系(hypercomplex systems)的分类 - 群表示论中的模

她的工作将代数学从计算技巧转变为结构理论。她的学生范德瓦尔登(B. L. van der Waerden)后来说:"诺特思想的核心是结构——她总是问'这个对象的结构是什么',而不是'如何计算它'。"

拓扑学贡献

诺特在拓扑学方面也有重要贡献。她建议使用同调群而非贝蒂数来研究拓扑空间——这一建议导致了代数拓扑学的重大进展。庞加莱最初使用贝蒂数(betti numbers)来描述拓扑空间的性质。诺特指出,同调群(homology groups)包含更多信息——不仅包括贝蒂数(同调群的秩),还包括挠系数(torsion coefficients)。这一洞见后来被埃伦伯格(Samuel Eilenberg)和麦克莱恩(Saunders Mac Lane)发展为范畴论,成为现代代数拓扑的语言基础。

历史背景

诺特生活在德国历史上最动荡的时期。她经历了第一次世界大战、魏玛共和国和纳粹上台。作为犹太女性,她面临双重歧视——直到1919年才获得讲师资格,直到1933年被纳粹解职。

值得注意的是,诺特的处境与大约一个世纪前的索菲·热尔曼形成了鲜明的历史对比:热尔曼在1816年赢得了巴黎科学院的奖项,但既无法进入科学院,也无法获得任何正式职位;诺特在1919年终于获得了讲师资格,但直到去世都没有获得正式教授职位。两人的命运相隔百年,说明数学制度对女性的接纳是一个极其缓慢的过程。

在数学方面,20世纪初是抽象化的时代。诺特的代数学研究体现了这一趋势——她将具体的方程求解问题抽象为一般的代数结构问题。她的学生范德瓦尔登(B.L. van der Waerden)在《近世代数》中系统整理了诺特的思想,使抽象代数成为数学教育的标准内容。

布林莫尔的最后两年

1933年移居美国后,诺特在宾夕法尼亚州布林莫尔学院(Bryn Mawr College,一所顶级的女子文理学院)担任教授。她同时在普林斯顿高等研究所做周期性演讲,与外尔(Hermann Weyl)、维布伦(Oswald Veblen)等当时世界最优秀的数学家交流。

在美国的这两年,诺特的精神状态据多位同事描述是"出奇地平静和乐观"——她对离开德国并不感到特别痛苦,更多地把它当作一次新的冒险。她教了几位美国女学生抽象代数,并开始了新的研究。

1935年4月,她接受了卵巢囊肿手术。手术后不久,她出现并发症,4月14日去世,享年53岁。

外尔在追悼会上说了一句流传至今的话:"在数学史上,几乎没有哪个人——不管男女——能够像她那样对本学科的塑造产生过如此深远的影响。"爱因斯坦在《纽约时报》的讣告中写道(1935年5月1日):"在当今最有能力的数学家看来,诺特小姐是自女性开始接受高等教育以来所产生的最重要的创造性数学天才。"(In the judgment of the most competent living mathematicians, Fräulein Noether was the most significant creative mathematical genius thus far produced since the higher education of women began.)这封讣告是爱因斯坦生平极少数为他人撰写的悼文之一。

思想遗产

诺特的影响深远而持久:

  1. 诺特定理(第一定理):将对称性与守恒律联系起来,成为理论物理学的基石;第二定理揭示了规范对称性与场方程恒等式之间的关系
  2. 抽象代数:环论、理想论和模论成为现代代数学的基础,直接影响了代数几何的发展
  3. 结构观点:从具体计算转向抽象结构,改变了代数学的研究方式;这种方法论后来被格罗滕迪克推向了极致
  4. 女性科学家的先驱:在制度性排斥中坚持卓越研究,为后来的女性数学家树立了榜样
  5. 数学教育的影响:通过范德瓦尔登的《近世代数》,诺特的思想传播到全世界,成为20世纪代数学教育的标准内容

诺特被称为"抽象代数之母",她的工作影响了20世纪所有主要的代数学家。

与其他数学家的关系

  • 希尔伯特:诺特在哥廷根的庇护者和支持者;希尔伯特的形式主义纲领与诺特的抽象代数方法有深刻的内在联系
  • 伽罗瓦:诺特的群论研究继承了伽罗瓦的传统,并将其推向公理化的高度
  • 格罗滕迪克:诺特的结构观点和诺特环理论深刻影响了格罗滕迪克的概形理论
  • 爱因斯坦:诺特定理为广义相对论的数学结构提供了关键工具;两人在普林斯顿有直接的学术交流
  • 范德瓦尔登:诺特最重要的学生,他的《近世代数》将诺特的思想系统化并传播到全世界
  • 阿廷:诺特在代数数论方面的重要合作者,共同推动了类域论(class field theory)的发展

诺特环与代数几何

诺特环的概念是代数几何的基础。一个交换环 $R$ 是诺特环,当且仅当它满足以下等价条件之一:

  1. 升链条件$R$ 中的理想升链 I1I2I_1 \subseteq I_2 \subseteq \cdots 最终稳定
  2. 有限生成条件$R$ 的每个理想都是有限生成的
  3. 希尔伯特基定理的推论:若 $R$ 是诺特环,则多项式环 $R[x]$ 也是诺特环

这保证了 k[x1,x2,,xn]k[x_1, x_2, \ldots, x_n]$k$ 为域)是诺特环——这是代数几何中仿射簇的坐标环。诺特条件确保了代数几何对象具有"有限性"——不会出现无限复杂的空间。格罗滕迪克后来将诺特环的概念推广到诺特概形,建立了现代代数几何的基础。可以说,没有诺特的环论,就没有后来的韦伊猜想证明和费马大定理的证明。

诺特的同调代数遗产

诺特对同调代数的影响通过她的学生和合作者传播。她建议用同调群代替贝蒂数来研究拓扑空间——这一思想直接催生了同调代数这门学科。设 C:Cn+1n+1CnnCn1C_\bullet: \cdots \to C_{n+1} \xrightarrow{\partial_{n+1}} C_n \xrightarrow{\partial_n} C_{n-1} \to \cdots 是一个链复形,同调群定义为:

Hn(C)=kern/imn+1H_n(C_\bullet) = \ker \partial_n / \text{im}\, \partial_{n+1}

诺特的洞见是:同调群不仅包含了贝蒂数(bn=rankHnb_n = \text{rank}\, H_n)的信息,还包含了挠系数(HnH_n 的挠子群)的信息。这一观点被埃伦伯格和麦克莱恩进一步抽象为范畴论语言,成为现代代数拓扑和代数几何的标准工具。

跨域连接

  • :她把"理想的升链必然终止"提炼成一条公理,此后一大类定理不必再逐个构造,只需验证这条有限性条件。推论是:抽象在这里换来的是可迁移性——同一条论证同时覆盖多项式环与代数整数环,省下的是重复劳动而非严格性。
  • 规范对称的代价:局域对称给出的不是守恒律,而是场方程之间的恒等式,方程从此不再彼此独立。推论是:规范理论的真实自由度少于表面上的分量数,必须先剔除冗余才能做量子化——这正是规范场论技术困难的根源。
  • 算法为什么会停:符号计算里的消元与化简之所以保证终止,靠的正是升链条件:每一步都真正缩小了某个不可能无限下降的量。推论是:在不满足这条有限性的结构上,同样的算法没有终止保证,跑不完是数学问题而非实现问题。
  • 制度排斥的代价:她长期无法取得正式的教职与讲课资格。推论是:把研究能力与建制身份捆绑的制度,代价并不落在个人身上,而是整个领域晚了若干年才拿到本可以更早通用的工具。
  • 学派如何形成:抽象代数的传播主要不靠论文而靠讲课与学生,一套新语言必须被一群人反复使用才会真正稳定下来。推论是:以论文数量衡量这类工作会系统性低估其影响,因为影响体现在后人默认使用的词汇里,而那一部分从来不会被写进引用列表。

参考文献

  1. Emmy Noether, Gesammelte Abhandlungen (全集, 1983).
  2. Auguste Dick, Emmy Noether 1882–1935, Birkhäuser, 1981(标准传记,德文原版,有英文译本).
  3. Yvette Kosmann-Schwarzbach, The Noether Theorems: Invariance and Conservation Laws in the Twentieth Century, Springer, 2011(专门讨论诺特两个定理的历史和数学意义,英译本).
  4. Constance Reid, Courant in Göttingen and New York, Springer, 1976(包含大量哥廷根数学圈子的历史细节).

延伸阅读

  1. 梁宗巨, 《数学历史典故》, 辽宁教育出版社, 1992.

「我的方法其实非常简单:把一切抽象掉,只留下结构本身。」——艾米·诺特(转述自范德瓦尔登的回忆)