整数里能做的约分，换到模 6 的运算里就可能失效：2⋅1=2⋅4，却不能推出 1=4。再看两组各有 16 个元素的群，一个能靠同一个元素反复相加走遍全部，另一个最多走四步便回到起点。它们差在哪里，不能只靠数元素回答。
这门课从这些算得出来、又容易算错的地方讲起。我会跟你一起看清楚，一条熟悉的计算规则究竟用了什么条件；条件变了，应当改用什么工具。环里的理想、模里的关系、域里的根，并不是互不相干的术语。它们都在记录：哪些变化被允许，哪些差别必须保留下来。
开始之前
你需要熟悉群、子群、同态、陪集和正规子群，也要能使用向量空间的基、维数与矩阵运算。整数整除、最大公因数和 Bézout 等式会经常出现。如果这些内容还有些生疏，可以边读边补；但遇到“商对象”时，最好能自己说明两个代表为什么属于同一类，而不只是记住符号的写法。
不需要提前学过 Galois 理论。多项式不可约性、扩张次数和固定域都会在课程里展开。前半部分看起来离解方程很远，到了后面，你会发现它们恰好为“一个根能被送到哪里”准备了语言。
从计算走进结构
环和商环部分会保留具体的余数计算。你会看到，4x=2 在模 12 时无解，而 4x=0 有四个解；区别来自乘法映射的像和核，并不是分别背两条解题规则。讨论唯一分解时，我们也会换到一个真的失去唯一分解的环，把反例中的每个因子逐一检查。
模这一段可能最需要放慢。把向量空间的标量域换成环之后，生成元未必是基，非零标量也未必能约掉。关系矩阵会把这种差别变得具体：你可以移动整数格点、改变关系的生成方式，观察商模留下哪些周期。Smith 标准形的每一步都要能还原，最后才有理由从对角数读出结构。
域扩张部分从添入平方根、立方根开始。两个根号不一定带来两次扩张，四元素域也不是整数模 4。等这些计算熟悉了，再让自同构去移动根，Galois 群就有了可观察的对象。课程末尾会把子群和中间域对照起来，解释为什么正 17 边形可以尺规构造，倍立方却不行。
遇到证明卡住的时候
别急着把整段证明再读一遍。可以把卡住的那一步单独写下来，问它用了什么：这里为什么能消去，这个逆元还在原来的环里吗，这个多项式是否真的不可约？很多困难就藏在这些很短的转换中。
实验也按这个方式使用。做整数矩阵操作前，写出你打算怎样把它还原；看有限域的轨道时，分清自己在“乘以一个元素”还是“取 Frobenius 幂”。预测与结果不一致时，回到正文核对条件。图和交互能帮助你看见现象，完整的理由仍留在讲解与证明里。
后面的 Galois 对应和尺规判据会认真证明。根式可解性则作为继续学习的接口：这里会说明它与可解群的准确关系，也会区分“没有通用五次根式公式”和“某个五次方程没有解”这两种说法，不要求你在这一册完成整个根式可解定理的证明。