提示：数学公式渲染组件（KaTeX）加载失败，公式以源码形式显示，不影响阅读内容。联网后刷新即可正常渲染。
☰本集目录
◎学习目标
- 回顾有单位元的环中可逆元的定义：\(ab=ba=1\) 时称 \(a\) 可逆，逆元唯一记作 \(a^{-1}\)；
- 理解域（field）的精确定义：有单位元且单位元 \(\neq\) 零元的交换环，并且每个非零元都可逆；
- 掌握 \(\mathbb{Z}/p\mathbb{Z}\)（\(p\) 素数）是域这一关键结论，并能与合数情形对比；
- 理解并掌握域的特征（characteristic）的概念：\(\operatorname{char}(F)=0\) 或 \(\operatorname{char}(F)=p\)（\(p\) 为素数），二者必居其一；
- 能够运用特征的概念区分 \(\mathbb{Q},\mathbb{R},\mathbb{C}\)（特征 0）与 \(\mathbb{F}_p\)（特征 \(p\)）这两类完全不同性质的域。
1环与可逆元的回顾 ⏱ 00:00
由 P83 已知：\(\mathbb{Z}/n\mathbb{Z}\) 对规定的加法和乘法构成有单位元的交换环，单位元为 \(\bar{1}\)，零元为 \(\bar{0}\)，且 \(\bar{1}\neq\bar{0}\)（因 \(n\geq 2\)）。
定义 · 可逆元（逆元）
设 \(R\) 为有单位元 \(1\neq 0\) 的环。对 \(a\in R\)，若存在 \(b\in R\) 使得
\[ ab = ba = 1, \]
则称 \(a\) 为可逆元（unit），称 \(b\) 为 \(a\) 的逆元，记作 \(b=a^{-1}\)。可以证明满足此等式的 \(b\) 是唯一的。⏱ 00:59
命题
在有单位元的交换环 \(R\) 中：
- 单位元 \(1\) 和零元 \(0\) 自身均为可逆元（\(1^{-1}=1\)，注意 \(0\) 一般不可逆，除非 \(R=\{0\}\) 但我们排除此情形）；
- 可逆元的乘积仍可逆：若 \(a,b\) 可逆，则 \(ab\) 可逆且 \((ab)^{-1}=b^{-1}a^{-1}\)；
- 在 \(\mathbb{Z}/n\mathbb{Z}\) 中，\(\bar{a}\) 可逆 \(\iff\) \(\gcd(a,n)=1\)。
在 \(\mathbb{Z}/7\mathbb{Z}\) 中：\(\bar{1},\bar{2},\bar{3},\bar{4},\bar{5},\bar{6}\) 全部可逆（因 7 是素数，与 7 互素的数就是 \(1\sim 6\)）。⏱ 01:59
2域（Field）的定义 ⏱ 03:30
定义 · 域
设 \(F\) 是一个环，满足以下条件，则称 \(F\) 为域：
- \(F\) 有单位元 \(1\)，且 \(1\neq 0\)（即 \(F\) 至少含两个元素）；
- \(F\) 是交换环（乘法满足交换律）；
- 每个非零元都是可逆元：对任意 \(a\in F,\ a\neq 0\)，存在 \(a^{-1}\in F\) 使得 \(a\cdot a^{-1}=1\)。
域是比环条件更强的代数结构：不仅要有加法和乘法的完整运算，还要求每个非零元都有乘法逆元，这相当于赋予了"F 上的除法（除以非零元）"的可能性。⏱ 04:34
常见域的实例
- 有理数域 \(\mathbb{Q}\)、实数域 \(\mathbb{R}\)、复数域 \(\mathbb{C}\)：每个非零有理数/实数/复数都有倒数，均为域。
- 模 \(p\) 剩余类域 \(\mathbb{Z}/p\mathbb{Z}=\mathbb{F}_p\)（\(p\) 为素数）：由 P83 定理知其为域，恰含 \(p\) 个元素，称为有限域。
- 不是域的实例：\(\mathbb{Z}/4\mathbb{Z}\)（\(\bar{2}\) 非零但不可逆，\(\bar{2}\cdot\bar{2}=\bar{0}\)）、\(\mathbb{Z}\)（整数环中 \(\bar{2}\) 没有整数逆元）。
记号说明
域用字母 \(F\)（或 \(K\)）表示。本文 P83 的 \(\mathbb{Z}/p\mathbb{Z}\) 记作 \(\mathbb{F}_p\)，称作伽罗瓦域（Galois field），是域论和编码理论中的基本对象。⏱ 06:09
3域的特征（Characteristic）⏱ 09:35
观察两类域的显著差异：
| 域 | 单位元 1 的正整数倍 | 特征 |
|---|---|---|
| \(\mathbb{Q}\) | \(n\cdot 1 = \underbrace{1+\cdots+1}_{n\text{个}} = n \neq 0\)（对所有 \(n\geq 1\)） | 0 |
| \(\mathbb{R}\) | 同上，\(n\cdot 1=n\neq 0\) | 0 |
| \(\mathbb{F}_p=\mathbb{Z}/p\mathbb{Z}\) | \(p\cdot\bar{1}=\bar{p}=\bar{0}\)，但 \(1\leq l<p\) 时 \(l\cdot\bar{1}=\bar{l}\neq\bar{0}\) | \(p\) |
定义 · 域的特征
设 \(F\) 为域，其单位元记为 \(1\)。考虑映射 \(n\mapsto n\cdot 1\)（把正整数 \(n\) 映到 \(1\) 的 \(n\) 倍之和）。分两种情形：
\[ \operatorname{char}(F) = \begin{cases} 0, & \text{若对一切 } n\in\mathbb{Z}_{\geq 1},\ n\cdot 1 \neq 0; \\ p, & \text{若存在最小正整数 } p \text{ 使得 } p\cdot 1 = 0. \end{cases} \]
这里 \(n\cdot 1 := \underbrace{1+1+\cdots+1}_{n\text{个}}\)（加法重复）。
命题
- \(\operatorname{char}(\mathbb{Q})=\operatorname{char}(\mathbb{R})=\operatorname{char}(\mathbb{C})=0\)；
- \(\operatorname{char}(\mathbb{F}_p)=p\)（因为 \(p\cdot\bar{1}=\bar{p}=\bar{0}\)，且 \(1\leq l<p\) 时 \(\bar{l}\neq\bar{0}\)）；
- 特征为 0 的域是无限域（否则单位元反复相加早会回到 0）。
4定理：特征若非零必为素数 ⏱ 15:50
定理
设 \(F\) 是域，若存在正整数 \(N\) 使得 \(N\cdot 1=0\)，则满足此条件的最小正整数必为素数 \(p\)，且 \(\operatorname{char}(F)=p\)。
证明（反证法）
假设：最小的正整数 \(N\) 使得 \(N\cdot 1=0\) 是合数，即 \(N=ab\)，其中 \(1<a,b<N\)。⏱ 16:09
由于 \(a<N\)，由 \(N\) 的"最小性"，\(a\cdot 1\neq 0\)；同理 \(b\cdot 1\neq 0\)。
但在 \(F\) 中计算：
\[ (a\cdot 1)\cdot(b\cdot 1) = (ab)\cdot 1 = N\cdot 1 = 0. \]
（这里用到了环中"正整数倍"的运算法则：\((a\cdot 1)(b\cdot 1)=(ab)\cdot 1\)，可由分配律归纳证明。）⏱ 17:59
于是 \(F\) 中有两个非零元\(a\cdot 1\) 和 \(b\cdot 1\) 相乘得零——它们是零因子。但 \(F\) 是域，域中每个非零元都可逆，而可逆元不可能是零因子（若 \(xy=0\) 且 \(x\) 可逆，则 \(y=x^{-1}xy=x^{-1}\cdot 0=0\)，矛盾）。⏱ 19:30
这与 \(F\) 是域矛盾！因此假设错误，\(N\) 不能是合数，必为素数 \(p\)。证毕。
关键一步合数分解 \(N=ab\) 产生零因子，与域中无非零零因子矛盾。这是证明的核心逻辑。
推论
任何域 \(F\) 的特征只有两种可能：
\[ \operatorname{char}(F) = 0 \quad \text{或} \quad \operatorname{char}(F) = p \ (\text{$p$ 为素数}). \]
这两类域在代数性质上有根本区别：⏱ 22:47
- 特征 0：如 \(\mathbb{Q},\mathbb{R},\mathbb{C}\)；单位元的任意正整数倍均非零；多项式环上"多项式相等"与"多项式函数相等"一致；
- 特征 \(p\)：如 \(\mathbb{F}_p\)；单位元的 \(p\) 倍等于零；在特征 \(p\) 的域上会出现"多项式函数相等但多项式本身不相等"的反常现象（见 P85）。⏱ 23:31
★重点回顾
1
域的定义：有单位元 \(1\neq 0\) 的交换环，且每个非零元可逆。核心条件"每个非零元可逆"将域与一般环区分开。
2
\(\mathbb{F}_p=\mathbb{Z}/p\mathbb{Z}\) 是域（\(p\) 素数），证明用 Bezout 等式：\(\gcd(a,p)=1\Rightarrow ua+vp=1\Rightarrow \bar{u}\bar{a}=\bar{1}\)。
3
域的特征：\(\operatorname{char}(F)=0\)（单位元所有正整数倍非零）或 \(\operatorname{char}(F)=p\)（最小正整数 \(p\) 使 \(p\cdot 1=0\)）。
4
特征必为素数或零的证明：反证法。若最小正整数 \(N\) 是合数 \(N=ab\)，则 \((a\cdot 1)(b\cdot 1)=0\) 产生零因子，与域中无零因子矛盾。
5
两类域的差异：特征 0 的域（\(\mathbb{Q},\mathbb{R},\mathbb{C}\)）中多项式与多项式函数一一对应；特征 \(p\) 的有限域（\(\mathbb{F}_p\)）中可能出现非零多项式诱导零函数的情况。
⚠易错点提醒
常见错误
- 混淆"环"与"域"：环只要求加法和乘法满足若干公理；域额外要求每个非零元可逆。整数环 \(\mathbb{Z}\) 是环但不是域（\(\bar{2}\) 在 \(\mathbb{Z}\) 中无逆元）。
- 误以为合数模剩余类环是域：\(\mathbb{Z}/4\mathbb{Z}\) 中 \(\bar{2}\cdot\bar{2}=\bar{0}\)，\(\bar{2}\) 不可逆，故 \(\mathbb{Z}/4\mathbb{Z}\) 不是域。只有素数模才构成域。
- 特征为零的域不一定是无限域：正确表述是"特征为零 ⇒ 无限域"（逆否命题："有限域 ⇒ 特征为素数"）。但反过来"特征为素数"也可能是无限域（如代数闭包的有限域）。
- 混淆"特征 0"与"特征不存在"：特征 0 是正式的定义，表示不存在正整数 \(n\) 使得 \(n\cdot 1=0\)，并非"没有特征"。
- 忽略域中无零因子：域的判别性条件"无零因子"是证明"特征为素数"的关键，不要遗漏。
✎自测与作业
- 验证 \(\mathbb{Z}/5\mathbb{Z}\) 中每个非零元的逆元：\(\bar{1}^{-1}=?\), \(\bar{2}^{-1}=?\), \(\bar{3}^{-1}=?\), \(\bar{4}^{-1}=?\)，并说明 \(\operatorname{char}(\mathbb{F}_5)=5\)。
- 证明：在域 \(F\) 中，若 \(x\neq 0\) 且 \(xy=0\)，则必有 \(y=0\)。（提示：两边同乘 \(x^{-1}\)。）
- 用反证法完整写出"特征若非零必为素数"的证明（参照本笔记 s4 折叠证明），强调合数分解如何产生零因子。
- 举例说明：在 \(\mathbb{F}_2=\mathbb{Z}/2\mathbb{Z}\) 中，多项式 \(f(x)=x^2+x\) 作为多项式非零，但作为函数对所有 \(x\in\mathbb{F}_2\) 取值均为 0（即诱导零函数）。
- （思考题）证明：若 \(\operatorname{char}(F)=p\)（素数），则对任意 \(a\in F\) 和任意正整数 \(n\)，有 \(n\cdot a = (n\bmod p)\cdot a\)。
- （选做）设 \(F\) 是特征为 \(p\) 的域，证明"Frobenius 自同态" \(\varphi: F\to F,\ \varphi(a)=a^p\) 是域同态（即 \(\varphi(a+b)=(a+b)^p=a^p+b^p\)，\(\varphi(ab)=a^p b^p\)）。
下一集预告
第 P85 集 · 二十：非考试项 — 代数系统，将统一视角地讨论群、环、域等代数结构，引入代数系统的概念，并为下一章进入线性空间理论做铺垫。