阿廷不動域定理

阿廷定理是使伽羅瓦理論立於堅實地基之上的沉默主力。它斷言：一個域的有限對稱群從不浪費——它把域恰好按自身的大小縮減，不多也不少。正是這個量化的事實，把群與域之間鬆散的配對變成了精確、可逆的對應。

精確地說：若 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)——沒有阿廷定理，伽羅瓦對應可能無法滿射到子群上。