从今天开始，我们的代数对象将携带两个运算：一个加法、一个乘法。整数 $\mathbb{Z}$、多项式 $k[x]$、$n\times n$ 矩阵——这些读者从中学就熟悉的"数系"，第一次被装入一个统一的公理化框架，叫做环（Ring）。
环论是代数几何的语言根基：仿射代数簇本质上就是某个交换环的"几何影子"，Spec $R$ 这一构造直接把环变成空间。本章先把规则手册立起来——下一章 理想与商环就将开启"代数 ↔ 几何"的字典。
"环 = 一个阿贝尔群 + 一个相容的乘法。仅此而已。所有的奇迹都从这条朴素的合并中生长出来。"
1. 环的公理化定义
环（Ring，含单位元 $1$）
一个环是一个三元组 $(R, +, \cdot)$，其中 $R$ 是集合，$+$ 和 $\cdot$ 是 $R$ 上的二元运算，满足三组公理：
(A) 加法构成阿贝尔群 $(R, +)$：
- 结合律：$(a+b)+c = a+(b+c)$。
- 单位元：存在 $0\in R$，使 $a + 0 = a$。
- 逆元：每个 $a$ 有 $-a$，$a + (-a) = 0$。
- 交换律：$a + b = b + a$。
(M) 乘法构成幺半群 $(R, \cdot)$：
- 结合律：$(a\cdot b)\cdot c = a\cdot (b\cdot c)$。
- 单位元：存在 $1\in R$，使 $1\cdot a = a\cdot 1 = a$。
(D) 分配律（把加法与乘法粘合起来）：
- 左分配：$a\cdot (b + c) = a\cdot b + a\cdot c$。
- 右分配：$(a + b)\cdot c = a\cdot c + b\cdot c$。
约定 $1\ne 0$（否则 $R = \{0\}$ 退化为零环）。本课程中"环"默认含单位元。
从公理推出的常用恒等式
- $0\cdot a = a\cdot 0 = 0$（"零乘任何元素都是零"）。
- $(-1)\cdot a = -a$。
- $(-a)\cdot b = -(a\cdot b) = a\cdot (-b)$。
这些都不需额外公理，分配律 + 加法群结构就足以推出。
图解 1：环 = 阿贝尔群 + 幺半群 + 分配律
2. 一条贵族血统：交换环 → 整环 → 域
交换环（Commutative Ring）
若乘法也满足交换律 $ab = ba$，则 $R$ 称为交换环。
例：$\mathbb{Z}, \mathbb{Q}, \mathbb{R}, \mathbb{Z}/n\mathbb{Z}, k[x_1,\ldots,x_n]$。
反例：$M_2(\mathbb{R})$（$2\times 2$ 实矩阵）——一般有 $AB\ne BA$，非交换。
零因子（Zero Divisor）与整环（Integral Domain）
交换环 $R$ 中，非零元素 $a$ 称为零因子，若存在非零 $b$ 使 $ab = 0$。
一个整环是没有非零零因子的交换环（即 $ab = 0\Rightarrow a = 0$ 或 $b = 0$）。
直觉：整环中"消去律"成立：$ac = bc, c\ne 0\Rightarrow a = b$。
域（Field）
一个域是每个非零元都可逆的交换环：对每个 $a\ne 0$，存在 $a^{-1}\in R$ 使 $aa^{-1} = 1$。
等价地：$(R\setminus\{0\}, \cdot)$ 自身就是一个阿贝尔群（叫做乘法群 $R^\times$）。
例：$\mathbb{Q}, \mathbb{R}, \mathbb{C}, \mathbb{F}_p = \mathbb{Z}/p\mathbb{Z}$（$p$ 素数）。
域 ⇒ 整环
设 $F$ 是域，$ab = 0$。若 $a\ne 0$，乘以 $a^{-1}$ 得 $b = 0$。所以域必无零因子，是整环。反向不成立：$\mathbb{Z}$ 是整环但非域（$2$ 没有逆）。
图解 2：环的层级关系
3. 环的范例库
例 1：经典的"五大金刚"
- $\mathbb{Z}$：整数环，整环但非域。它是所有"数论"问题的家。
- $\mathbb{Z}/n\mathbb{Z}$：模 $n$ 同余类环。$n$ 是素数时是域 $\mathbb{F}_p$，否则有零因子。
- $k[x]$（系数在域 $k$ 上的一元多项式）：整环，PID（主理想整环），但不是域。
- $M_n(k)$（$n\times n$ 矩阵）：非交换环（$n\ge 2$），$AB\ne BA$。
- $\mathbb{Z}[i] = \{a+bi : a,b\in\mathbb{Z}\}$：高斯整数，整环，甚至是欧氏整环（可做带余除法）。
图解 3：常见环的属性对比
4. 生活实例：时钟代数 $\mathbb{Z}/6\mathbb{Z}$ 与零因子
想象一只6 小时制的时钟（时针只走 $0,1,2,3,4,5$）。"加法"和"乘法"都按模 $6$ 运算——这就是 $\mathbb{Z}/6\mathbb{Z}$。
$\mathbb{Z}/6\mathbb{Z}$ 中的"妖怪"
注意：在普通整数里，$2\cdot 3 = 6\ne 0$。但在 $\mathbb{Z}/6\mathbb{Z}$ 中：
$$ 2\cdot 3 \equiv 6 \equiv 0 \pmod{6}. $$
于是 $2$ 和 $3$ 都是非零元素，乘起来却等于零——这就是零因子。
后果：消去律失效。$2\cdot 3 = 2\cdot 0$ 但 $3\ne 0$。在 $\mathbb{Z}/6\mathbb{Z}$ 里，"两边除以 $2$" 是非法操作。
对比 $\mathbb{Z}/5\mathbb{Z}$（$5$ 素）：里面没有零因子，是域 $\mathbb{F}_5$。
5. 练习
练习 1（验证环公理）
设 $R = \mathbb{Z}\times\mathbb{Z}$，分量相加分量相乘。证明 $R$ 是交换环，但不是整环。
提示
$(1,0)\cdot (0,1) = (0,0)$，故 $(1,0), (0,1)$ 都是零因子。其它公理逐条验证。
练习 2（$\mathbb{Z}/n\mathbb{Z}$ 是域）
证明：$\mathbb{Z}/n\mathbb{Z}$ 是域 $\iff$ $n$ 是素数。
提示
⇐：若 $n = p$ 素，对 $1\le a\le p-1$，$\gcd(a,p) = 1$，由裴蜀定理存在 $s,t$
使 $sa + tp = 1$，即 $sa\equiv 1\pmod p$，$s$ 是逆。
⇒：若 $n = ab$ 合数（$1
练习 3（高斯整数）
在 $\mathbb{Z}[i]$ 中，$2 = (1+i)(1-i)$。问：$2$ 是否仍可视为"素元"？$1+i$ 和 $1-i$ 是否"本质不同"？
提示
在 $\mathbb{Z}[i]$ 里 $2$ 不再素（被分解）。$1-i = -i(1+i)$，两者只差一个单位（$-i$），故是关联的（同一素元乘以单位）。
练习 4（矩阵环的零因子）
在 $M_2(\mathbb{R})$ 中找两个非零矩阵 $A, B$ 使 $AB = 0$ 但 $BA\ne 0$。这说明非交换环里的零因子需"分左右"。
提示
取 $A = \begin{pmatrix}0&1\\0&0\end{pmatrix}, B = \begin{pmatrix}0&1\\0&0\end{pmatrix}$：$AB = 0$，但 $BA = \begin{pmatrix}0&1\\0&0\end{pmatrix}\cdot\begin{pmatrix}0&1\\0&0\end{pmatrix} = 0$，重新选：$A = \begin{pmatrix}1&0\\0&0\end{pmatrix}, B = \begin{pmatrix}0&0\\1&0\end{pmatrix}$，则 $AB = 0$，$BA = \begin{pmatrix}0&0\\1&0\end{pmatrix}\ne 0$。
练习 5（域的特征）
定义域 $F$ 的特征为使 $\underbrace{1+1+\cdots+1}_{n\text{ 个}} = 0$ 的最小 $n$（若无则定义为 $0$）。证明：域的特征是 $0$ 或素数。
提示
若特征为合数 $n = ab$（$1