诺特 · 抽象之母

先看四样东西，它们看上去毫无共同之处。

第一样，整数。可以加，可以乘；加法可交换，乘法也交换；有零，有相反数。

第二样，时钟上的小时。十二小时制里，十点再过五点是三点：10＋5＝15≡3 (mod 12)。加法照样可交换，照样有零（十二点），照样有相反数（三点加九点回到十二点）。乘法也照做：5×5＝25≡1 (mod 12)。

第三样，多项式。两个多项式相加、相乘，结果还是多项式；零多项式是零，−f 是相反元；分配律成立。

第四样，二阶方阵。可以加，可以乘；有零矩阵，有相反矩阵；分配律也成立。但乘法不交换：两个方阵换个顺序相乘，结果通常不同。

四样东西，四条不同的来路。可它们遵守的规则几乎是同一套，只有「乘法是否交换」这一条不一样。诺特的眼光就在这一句上：如果定理的证明只用那套共同的规则，那么一条定理就同时管住四样东西——不必为时钟写一遍，为多项式再写一遍。

把这套共同规则写成公理，就得到「环」：一个集合 R，配两种运算，满足三条。

一是加法成交换群。加法结合、可交换；有零元 0；每个 a 有相反元 −a。

二是乘法结合。(ab)c＝a(bc)。乘法不要求交换——这一条留了活口，方阵才进得来。

三是分配律。a(b＋c)＝ab＋ac，右边同理。分配律是把两种运算绑在一起的唯一纽带；没有它，加减与乘除各走各的。

由此立刻能证出一条以后天天要用的等式：a·0＝0。证明只用公理：a·0＝a(0＋0)＝a·0＋a·0，两边同加 −(a·0)，得 0＝a·0。这条证明没有用到「a 是什么」，所以对整数、时钟、多项式、方阵一律成立。

再看一个分裂点：ℤ/6 里 2≠0、3≠0，可 2×3＝6≡0。两个非零之积为零，这叫零因子。而 ℤ/5 里不会发生：若 ab≡0，则 5 整除 ab，5 是素数，故 5 整除 a 或 b，即 a≡0 或 b≡0。没有零因子的交换环叫整环。

环里最要紧的子集叫理想。定义只有一句：子集 I 若对加法封闭，且被环里任何元素乘过之后仍留在自己里面（rI⊆I，叫「吸收」），就是理想。

整数里最简单的例子是偶数集 (2)＝{0,±2,±4,…}。偶数加偶数还是偶数；任何整数乘偶数还是偶数——吸收。同理 (6)、(100) 都是理想；而「奇数集」不是：奇数加奇数成了偶数，加法就不封闭。

理想之所以重要，是因为它可以拿来「除」。把 I 里的元素一律看成零，剩下的东西组成一个新环，叫商环 R/I。ℤ/(2) 只有两个元素（偶、奇），就是 ℤ/2；ℤ/(12) 就是时钟。

多项式里同样的戏法更有意思。取 I＝(x²＋1)，在 ℝ[x] 里把它当零，于是 x²＝−1。剩下的东西是「次数不超过一次的实系数多项式」a＋bx，加法照做，乘法照做再化简——这正是复数：x 扮演 i 的角色。复数不是凭空规定的，它是把一个多项式环按一个理想除出来的结果。

这一步是诺特后来全部工作的起点。她发现：与其研究环里的元素，不如研究环里的理想——理想是「可以被当零除掉的那些东西」，而除掉之后剩下什么，才决定这个环的性格。

先看一个最小的例子。f(x)＝ax²＋bx＋c，把 x 平移 t：令 x＝y＋t，整理得

a′＝a，b′＝b＋2at，c′＝at²＋bt＋c。

系数全变了，可有一样东西没变：

b′²−4a′c′＝(b＋2at)²−4a(at²＋bt＋c)＝b²−4ac。

两项乘开，4a²t² 与 4abt 恰好消掉，剩下的正是原来的判别式。所以判别式是平移下的不变量：曲线左右挪，判别式不动。几何上它管的是「与横轴交不交、交几个」，而左右挪当然不改变这件事。

再看伸缩：令 x＝λy，则 a′＝aλ²、b′＝bλ、c′＝c，于是 b′²−4a′c′＝λ²(b²−4ac)。这回不是严格不变，而是乘上一个因子；这类东西叫「相对不变量」，因子 λ 的幂次叫它的「权」。

物理里的「对称」，说的是做某个动作，系统的规律不变。今天把时间整体挪一小时，物理定律不该改变；把整个实验室平移一米，定律也不该改变；转一个角度，同样不改。诺特第一定理说：每一条这样的连续对称，都配一个守恒量。

动作怎么变成量？看一个最简的力学系统：L＝½mẋ²−V(x)，运动方程是 mẍ＝−V′(x)。

平移。若 V 与位置无关（自由粒子），把 x 换成 x＋ε，L 一字不变。对应的守恒量是 p＝mẋ：由 mẍ＝0 立得 ṗ＝0。这就是动量守恒。

时间平移。若 L 不显含时间，把 t 换成 t＋ε 规律不变。对应的量是能量 E＝mẋ²/2＋V，验证一句就完：Ė＝mẋẍ＋V′ẋ＝ẋ(mẍ＋V′)＝0，最后一步用了运动方程。

转动。规律与方向无关时，得到角动量守恒。相位。量子力学里波函数整体乘一个相位不改变任何观测，对应的量是电荷。

一句话记法：不知道的东西守恒——不知道绝对位置，所以动量守恒；不知道绝对时间，所以能量守恒；不知道绝对方向，所以角动量守恒。

第一定理管「整体」的对称：全空间一起平移、一起转。第二定理管「局部」的对称：每一点各换各的。两者给的结论完全不同——局部对称不给新的守恒量，给的是一组恒等式。

电磁学是最好的例子。电场与磁场由「势」算出来：F_μν＝∂_μA_ν−∂_νA_μ。现在给势加上一项梯度：A_μ→A_μ＋∂_μλ，其中 λ 是任意一个随位置变化的函数。代进去，两项的混合偏导相减为零——F_μν 一点没变。这就是「规范对称」：势可以随便调，场不动。

诺特第二定理说：只要作用量在这种「每点各调」下不变，场方程之间就必然存在一条恒等式。电磁场的恒等式是 ∂_ν∂_μF^μν≡0：因为 F 反对称，而偏导可交换，两项正好抵消。

把它与场方程 ∂_μF^μν＝j^ν 并排看，立刻得到 ∂_νj^ν≡0——电荷守恒。注意这条结论的地位：它不是额外假设，而是对称性的账尾。只要理论有这层局部对称，电荷就非守恒不可。

广义相对论的麻烦正是同一件事的另一面：坐标可以逐点任意换，于是能量守恒不能写成「某个量不随时间变」，只能写成一条恒等式。诺特把这个「不对劲」讲清楚了。

条件这样写：环里任取一串理想，只要一个包含一个

I₁⊆I₂⊆I₃⊆…，

那么从某一级起，后面的全都相等，不再变大。这叫升链条件；满足它的环叫诺特环。等价的说法是：任意一族理想里必有一个极大的。

整数满足。整数环的理想都能写成一个数生成：I＝(n)。而 (m)⊆(n) 恰好等价于 n 整除 m。于是升链变成一串正整数 |n₁|≥|n₂|≥…，只能降有限次，必停。

多项式环满足。这是希尔伯特一八九〇年的基定理：R 诺特则 R[x] 诺特。于是 ℤ[x₁,…,x_n] 全是诺特环——这一条让代数几何有了立足点：任何方程组生成的那个「图形」，都可以用有限个多项式描述。

不是所有环都满足。区间 [0,1] 上的连续函数环 C[0,1] 就不满足：取 I_n 为「在 [0,1/n] 上恒为零的函数」全体，则 I₁⊂I₂⊂I₃⊂…，每一步都真的变大，永不停。

有了升链条件，就能动手拆。先看最简单的场合：整数环里 (12) 这个理想，等于 (4) 与 (3) 的交。(3) 是素理想——凡乘积落进去，必有一个因子落进去；(4) 不是素的（2×2 落进去，2 不落进去），但它有一种更弱的性质：只要乘积落进去，就有一个因子的某个幂次落进去。这叫准素理想。

诺特定理（前身是拉斯克一九〇五年的结果）说：诺特环里任何理想，都能写成有限个准素理想的交

I＝Q₁∩Q₂∩…∩Q_r，

并且这堆零件的「根」√Q_i（落进去的元素的某个幂次落进 Q_i 的那些元素全体）是唯一确定的素理想，只与 I 有关，与拆法无关。

多项式里的例子更漂亮。在 k[x,y] 中取 I＝(x²,xy)，则

(x²,xy)＝(x)∩(x²,y)。

右边第一个零件是素理想（几何上是一条直线），第二个是准素理想（几何上是一条直线加上一点「厚度」的毛边）。一个理想，被拆成了一根干净的线，加一小片毛边——这正是代数几何里「重数」的来源。

第三个概念是「模」。它是线性空间的放宽版：一个加群 M，加一个环 R 作用在它上面，满足

r(m＋m′)＝rm＋rm′，(r＋r′)m＝rm＋r′m，(rr′)m＝r(r′m)。

三行公理，几乎与原样照搬线性空间——只是「系数」从数域换成了一个环。于是很多熟悉的结论原封不动地活着：子模、商模、同态、同态基本定理。

为什么值得换？因为换过之后，一大堆看似不同的东西被装进同一个抽屉：阿贝尔群就是 ℤ-模（n 个 m 相加就是 nm）；环的理想就是它自己的子模；一个线性变换作用在一个向量空间上，就把这个空间变成了「k[t]-模」（t 的作用就是那个变换）。

诺特还证明了模版本的升链条件：诺特环上有限生成模的子模也有限生成。这条看着枯燥的结论，日后成了同调代数与代数几何的地基。她做的不是解题，是造抽屉：先把抽屉造成，再让后人在里面找到东西。

一九二九年，她写了《超复数量与表示论》。题目听上去古怪，做的是一件极漂亮的事：把「一个群」变成「一个环」，于是群的问题可以用环的语言处理。

办法很简单：取一个有限群 G，把它的元素当作基，系数取自一个域 k，形式地做线性组合，按群里的乘法相乘。得到的环叫群代数 k[G]。

于是一个「表示」——把每个群元素派给一个矩阵、且保持乘法——恰好等价于一个 k[G]-模。群论里的表示，环论里的模，同一件事的两种说法。诺特式的翻译。

翻过来之后，很多结论自动落地。最著名的一条：只要「特征」不整除群的阶，群代数就分解成若干矩阵代数的直和，

k[G]≅M_n1(k)⊕…⊕M_nr(k)，

每一块对应一个不可约表示。三个元素的循环群在复数上就分成三块，每块一维：三个不可约表示分别是 1, ω, ω²，其中 ω 是三次单位根。这条结论的环论版本由阿尔廷与韦德伯恩给出，而把它放进「模」的框架、并因此变得一目了然的，是诺特。

她一九一五年还有一条小定理，正好把第一幕与第三幕接起来。问法是这样的：让一个有限群 G 作用在多项式环上——比如把 x 与 y 互换——那么被这个作用「按住不动」的多项式有多少？它们能不能用有限个基本的多项式表示出来？

最小的例子：交换 x 与 y。被按住的多项式就是对称多项式，而每一条对称多项式都能写成 e₁＝x＋y 与 e₂＝xy 的多项式。检验一句：x²＋y²＝e₁²−2e₂。

诺特的定理：只要「特征」不整除群的阶，被按住的多项式全体一定能由有限个生成，而且生成元的次数有上界（不超过群的阶）。这叫「不变量环的有限性」。

这条定理的意义在于：它把不变量理论从「逐个算」彻底救了回来。戈尔丹的算法只在少数场合可行；诺特证明的是——不管群怎么作用，基本不变量的清单总是有限的，于是问题从「有没有清单」变成了「怎么把清单算出来」，后者交给计算机。

她晚年反复讲的一个技术叫局部化。想法极朴素：如果只关心某一点附近的事，就把「在别处为零」的东西统统允许拿来当分母。

整数里的例子。ℤ 里只关心「偶不偶」这件事，就允许所有奇数当分母：得到的新环是

ℤ₍₂₎＝{a/b : b 为奇数}。

这个环里，任何偶数分之奇数都有了意义（如 1/2），而分母为偶数的分数仍不许写。它只有一个极大理想：由「分子为偶数」的分数组成。这种「只有一个极大理想」的环叫局部环，意思是可以只管一处。

几何上的对应立刻出来了。一条曲线上的函数环 k[x,y]/I，在点 P 处局部化，就得到「在 P 附近有定义的函数」这个环。曲线在 P 处光滑还是打结、有几重，全在这个局部环里读得出来。

诺特还证明了：诺特环局部化之后仍是诺特环。这句话让「整体」与「局部」可以互相搬运——先在大处搭框架，再逐点检查；这正是后来代数几何的标准工作流。

她留下的那套语言，战后被用来做一件她没来得及做的事：让「环」本身变成一个空间。

办法是把素理想当成点。以整数环为例：ℤ 的素理想是 (2)、(3)、(5)、…（每个素数一个），再加一个 (0)。把这些「点」放在一起，得到的空间记作 Spec ℤ：它像一条把所有素数穿起来的线，最粗的那一点是 (0)，叫做「泛点」。

多项式环也一样。k[x] 的素理想是 (0) 与 (x−a)，后者一个对应一个数 a——正是直线上的点。于是「解方程」与「找素理想」成了一回事。

由此得到一本字典，今天学代数几何的人第一课就要背：环 ↔ 空间；理想 ↔ 子空间；商环 ↔ 限制在子空间上的函数；局部化 ↔ 只看一点附近。这本字典叫「概形」（scheme），一九五〇年代末由格罗滕迪克系统建立。它能把整数与几何放在同一张桌上谈，靠的正是诺特在 1921 年削到最弱的那条前提。

诺特定理在物理学里的地位，用一句话说：它把「守恒」从经验变成推论。在它之前，能量守恒、动量守恒、电荷守恒是三条各自独立的实验事实；在它之后，三条都是对称性的账尾。

二十世纪后半叶，这条思路被反过来用。不是先有理论再找守恒量，而是先指定对称群再写理论。粒子物理的标准模型就是这样搭的：规范群 SU(3)×SU(2)×U(1)，维数 8＋3＋1＝12，正好对应十二种传递相互作用的粒子——八种胶子、三种弱玻色子、一种光子。

对称还管着「什么项可以写进方程」。凡破坏对称的项，一律不许出现；这解释了为什么某些粒子必须有质量、某些必须没有。后来发现中微子有质量，就需要给对称加一层「破缺」的机制——对称不是教条，是可以按实验修改的约束。

再往后还有一步：把对称放到量子层面，有些对称会「坏掉」，叫反常。反常必须精确抵消，理论才自洽——这是一条极硬的筛选条件。二〇一〇年代以后，诺特定理还被搬进机器学习：把对称直接写进网络结构，样本少也能学得稳。

每天用手机时，那套「环」的语言正在替人干活。三个最实在的场合。

其一，公钥密码。取两个素数 p＝61、q＝53，令 n＝3233。在环 ℤ/n 里，可逆的元素个数是 φ(n)＝60×52＝3120。取公开指数 e＝17，解 17d≡1 (mod 3120) 得 d＝2753。要发的数 m＝65，加密 c＝65¹⁷ mod 3233＝2790；解密 2790²⁷⁵³ mod 3233＝65，还原。

其二，分组密码。高级加密标准把每个字节看成一个八位二进制数，在 GF(2⁸) 这个只有 256 个元素的域里做加减乘除——「字节」被当成了一个域的元素，这是彻底的抽象代数。

其三，纠错码。二维码与光盘用的里德—所罗门码，把数据排成 GF(256) 上的多项式，多写几个校验项，就能在污损之后把原多项式「插值」回来。损坏的二维码仍能扫开，靠的是有限域上的插值。