有限體：能拿來計算的代數
並非每個體都是無窮的。取整數 模 一個質數 p：集合 {0, 1, …, p−1} 在模 p 運算下構成一個 有限體，記作 F_p。每個非零元素都有乘法逆元，正因為 p 是質數——這與模算術中消去律成立是同一個原因。
F_5 = {0,1,2,3,4} with arithmetic mod 5.
Multiplicative inverses (solve a·x ≡ 1 mod 5):
1·1 = 1 ≡ 1 → 1⁻¹ = 1
2·3 = 6 ≡ 1 → 2⁻¹ = 3
3·2 = 6 ≡ 1 → 3⁻¹ = 2
4·4 = 16 ≡ 1 → 4⁻¹ = 4
Every nonzero element is invertible ⇒ F_5 is a field.
Fun fact: 2 is a generator — 2,4,3,1 cycles through all nonzero elements.伽羅瓦走得更遠。對每個質數冪 q = pⁿ，恰好存在一個有 q 個元素的有限體，作為 F_p 的 有限體 擴張建成——這些就是 伽羅瓦體 GF(q)。美妙的是，它們的乘法群總是 循環 的：一個 本原元 通過取冪生成所有非零元素，正如 2 在 F_5 中所做的。
代數閉包：再也無處可攀
不斷添加多項式的根，你最終會抵達一個體，在其中 每個 非常數多項式都已分裂——再沒有要添加的根了。這個終極體就是 F 的 代數閉包。對有理數，它是全體代數數之體；對實數，它是複數。
最後那個事實正是 代數基本定理：C 是代數閉的，所以 n 次多項式恰有 n 個複根（按重數計）。複數正是每個代數方程最終找到其全部解的地方。
現代代數的下一步去向
伽羅瓦理論合上了古典故事，卻打開了一扇扇門。放棄 “總能做除法” 的要求，你得到一個 環；那些被稱為 理想 的特殊子對象推廣了 “n 的倍數”，支撐著整個數論。把 向量空間 推廣為讓純量取自環而非體，你就得到一個 模——現代代數的核心對象。
從這裡起，道路向四面八方攀升：表示論把群變成矩陣，代數幾何研究多項式 理想 刻出的形狀，代數數論用伽羅瓦群去攻克像費馬大定理那樣的方程。你一路追隨的那個唯一思想——用一個對象的對稱群去取代它本身——已成為整個數學的組織原則之一。