阿廷不动域定理

阿廷定理是使伽罗瓦理论立于坚实地基之上的沉默主力。它断言：一个域的有限对称群从不浪费——它把域恰好按自身的大小缩减，不多也不少。正是这个量化的事实，把群与域之间松散的配对变成了精确、可逆的对应。

精确地说：若 L 是一个域，G 是 L 的有限自同构群，不动域为 K = L^G，则 L/K 是有限伽罗瓦扩张，次数 [L : K] 等于阶 |G|，且全自同构群 Gal(L/K) 恰为 G。阿廷用一个干净的线性代数论证证明了这一点：他证明 G 的诸元素作为 L 上的函数线性无关（特征标的无关性），由此把 [L : K] 自上方以 |G| 界定，再从下方与之吻合。

其战略价值在于：它让你能从群而非从多项式出发构造伽罗瓦扩张——任取一个有限自同构群，其不动域自动成为一个基域，L 在其上以恰好那个群是伽罗瓦的。这是基本定理的逆向，也是为何伽罗瓦群的每个子群确实都对适当的 F 形如 Gal(L/F)——没有阿廷定理，伽罗瓦对应可能无法满射到子群上。