有限域：能拿来计算的代数
并非每个域都是无穷的。取整数 模 一个素数 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 的倍数”，支撑着整个数论。把 向量空间 推广为让标量取自环而非域，你就得到一个 模——现代代数的核心对象。
从这里起，道路向四面八方攀升：表示论把群变成矩阵，代数几何研究多项式 理想 刻出的形状，代数数论用伽罗瓦群去攻克像费马大定理那样的方程。你一路追随的那个唯一思想——用一个对象的对称群去取代它本身——已成为整个数学的组织原则之一。