Emmy Noether · 1882–1935
抽象代数之母——她让对称成为守恒的源头
埃米·诺特生于埃尔朗根，父亲马克斯·诺特也是那里的数学教授。当时德国大学不收女生，她只能以旁听身份坐进教室，得系里每位教授逐个点头。1907 年她以一篇不变量论的论文拿到博士学位，那是戈尔丹式的算式演算，她后来毫不留情地称之为「垃圾」。
1915 年希尔伯特与克莱因把她请到哥廷根。学部以性别为由拒绝授予她任教资格，希尔伯特在评议会上反问：这里是大学，不是澡堂。此后四年她挂在希尔伯特名下讲课，不拿薪水。也正是在那里，她为广义相对论中悬而未决的能量守恒问题给出了答案——一条把对称与守恒锁死在一起的定理；随后又把代数从「算什么」改造成「是什么结构」。1933 年纳粹以犹太血统为由撤销她的教职，她在自家客厅继续给学生讲课，之后流亡美国，两年后病逝，五十三岁。
父亲马克斯·诺特是当地的数学教授；那时德国大学只允许女性旁听。
导师是「不变量之王」戈尔丹。她后来把这篇满是算式的论文称作「垃圾」。
希尔伯特与克莱因力荐；学部以性别为由拒授任教资格，她挂在希尔伯特名下无薪讲课四年。
诺特定理：作用量的每一种连续对称，恰对应一个守恒量。广义相对论的能量之谜就此解开。
提出理想的升链条件。「诺特环」由此得名，代数的重心从计算转向结构。
因犹太血统失去教职，她把课堂搬进自家客厅，随后流亡美国布林茅尔学院。
术后并发症去世，年五十三。爱因斯坦在《纽约时报》撰文送别。
绝大多数展品都可以亲手把玩——这是本馆的立馆之本；少数以叙述为主的，做成故事展签。
每一条连续对称，都换来一个守恒量。
牛顿的轨道模拟器让行星沿椭圆运行，却没说清角动量为什么恒定。诺特给出了根：只要势场绕中心旋转不变，角动量就必然守恒；把这份对称拧歪，守恒立刻失效。对称与守恒不是两件互相印证的事，而是同一件事的两种说法——今天整个粒子物理都建在这句话上。
拧动势场的对称性，看角动量如何随之失守，而能量岿然不动
势场是 V = ½r²(1 + ε·cos3θ)。ε = 0 时它绕中心转任意角度都不变，角动量（深色线） 纹丝不动；把 ε 拧大，等高线被捏成三瓣，连续旋转对称随之消失，角动量立刻开始晃。 而 V 自始至终不显含时间——时间平移对称没有被动过，所以能量（金色线）无论如何都是平的。 诺特定理说的正是这件事：不是「对称的系统往往守恒」，而是每一条连续对称精确地换来一个守恒量。
所有让图形保持原样的操作，本身就是一个结构。
旋转、翻转一个正多边形，做完还是它自己。诺特那一代人意识到，真正值得研究的不是图形，而是这些操作彼此复合的规律：它们封闭、可逆、有单位元——这就是群。把注意力从对象移到结构上，是抽象代数的起手式。
不再问「怎么算」，而是问「这个结构还能一直长下去吗」。
戈尔丹当年用几十页算式才啃下不变量的有限性。1921 年诺特换了个问法：若理想的升链必然在有限步后停住，那类结论几乎立刻就成立。这个条件如今被直接冠以她的名字——代数几何里每碰到一个环，第一句话往往就是「设它是诺特环」。
别数洞有几个，去看这些洞组成的群。
庞加莱把「洞」数成一串贝蒂数。诺特在哥廷根的讨论班上反复对霍普夫和亚历山德罗夫说：那些数字背后是群。一旦同调从数字变成群，拓扑问题就能被代数机器碾过去——代数拓扑由此有了引擎。
他的工作没有留在十八世纪——每条链的终点，都是你今天正在使用的东西。
「我的方法其实是工作方法与思考方法，所以它们才会无名无姓地渗进每一个角落。」
—— 1931 年 11 月 12 日致哈塞的信
「这些东西，德德金早就写过了。」
—— 外尔《埃米·诺特》悼词，1935；据载是她惯常的口头禅