围绕《抽象代数（下）：环与域》逐章外延的九册专题读本——每一册把环论的一束光打向一个具体现场：ℤ 与 F[x] 的算术同构、高斯整环、主理想环与唯一分解环、形式幂级数环、阿廷环与诺特环、中国剩余定理、环的局部化、有限环与有限条件、环范畴的自由对象。各册文末均附可直接运行的数值探索脚本，读、算互证。点击「在线阅读」即可在浏览器中直接翻阅 HTML 版，数学式与上下标按 TeX 体例排版。
其 一整数环与域上的一元多项式环
ℤ 与 F[x] 凭什么长得几乎一模一样？带余除法、互素、贝祖恒等式在整数与多项式两个舞台上同步上演——商高的勾股与欧几里得的算法在此相遇。
其 二高斯整环
把整数搬进复平面：范数就是「大小」，带余除法改用最近整点，高斯素数按三类分家——费马两平方和定理在 ℤ[i] 视角下几乎一行证毕。
其 三主理想环与唯一分解环
从欧氏环到主理想环再到唯一分解环的层层包含，及两个反例：ℤ[√−5] 里 6 的两种分解、F[x, y] 里 (x, y) 不是主理想——分解唯一性究竟卡在哪里。
其 四形式幂级数环
把收敛性请出场：R[[x]] 的可逆性只看常数项，理想链只见 (xⁿ)，生成函数在此安家——商环 R[[x]]/(xⁿ) 正意味着「到 n 阶为止」的截断世界。
其 五阿廷环与诺特环
两条链条件把「终止」变成定义：希尔伯特基定理撑起诺特环，阿廷环是有限代数的代数化身，克鲁尔维数把「链能有多长」量化成一门几何。
其 六环论中的中国剩余定理
从《孙子算经》的大衍求一术到幂等元把环切开：同余方程组的相容判据、CRT 的三张面孔（理想版、幂等元版、同态版），并看它在插值与 RSA 上的两班岗。
其 七环的局部化
选一批分母做分式环：局部化是「聚焦」——素理想在此逐一对应，万有性质说明它为何最经济；分式构造家族（商域、分式环、局部环）一张表看清。
其 八有限环与环论中的有限条件
小到可以枚举的世界：阶 p² 的环恰有 11 类（含幺仅 4 类），Wedderburn 小定理、有限整环必为域——单位群与幂等元是有限环的两枚指纹。
其 九环范畴的自由对象
自由对象不是「随便生成」，而是万有性质的精确定义：多项式环正是遗忘函子的左伴随，|Hom(自由, R)| = |R|^|S|——范畴语言在环上的第一次登台。