模论 — 从高中数学到代数几何

模（module）是环上的"向量空间"。当标量从域 $k$ 换成一般环 $R$ 时，线性代数的很多定理不再成立（比如不是每个模都有基），但新的丰富结构涌现出来。在代数几何中，模对应于概形上的层——它们是"带参数的向量空间"的代数化身。

"向量空间是域上的模，阿贝尔群是 $\mathbb{Z}$ 上的模。模论把两者统一在一个框架下。"

1. 模的定义

$R$-模（Module over $R$） 设 $R$ 是交换环。一个 $R$-模（$R$-module）是一个阿贝尔群 $(M, +)$ 配上标量乘法 $R\times M\to M$，$(r, m)\mapsto rm$，满足对所有 $r, s\in R$，$m, n\in M$： $r(m+n) = rm + rn$（分配律 I） $(r+s)m = rm + sm$（分配律 II） $(rs)m = r(sm)$（结合律） $1\cdot m = m$（幺元作用） 与向量空间的定义形式完全一致——唯一差别是标量来自环 $R$ 而非域 $k$。

例 1：模统一了很多已知结构 $k$-模 = 向量空间：$k$ 是域时，$k$-模就是线性代数中的向量空间。 $\mathbb{Z}$-模 = 阿贝尔群：任何阿贝尔群自然有 $\mathbb{Z}$-作用（$n\cdot g = g+g+\cdots+g$）。 理想是 $R$-模：理想 $I\subseteq R$ 自然是 $R$-子模。 $R$ 本身是 $R$-模：自由模的最简情形。 $R/I$ 是 $R$-模：商模的基本例子。 $k[x]$-模 = 向量空间 + 一个线性算子：$x$ 的作用 = 线性变换 $T$。

自由模（Free Module） $R$-模 $M$ 称为自由的，若存在集合 $\{e_i\}_{i\in I}\subset M$ 使得每个 $m\in M$ 都能唯一表示为 $$ m = \sum_{i\in I} r_i e_i,\qquad r_i\in R,\text{ 仅有限多个非零}. $$ 即 $M\cong R^{(I)} := \bigoplus_{i\in I} R$。当 $I$ 有限，$|I|=n$ 时，$M\cong R^n$。 与向量空间的对比：向量空间总是自由的（有基），但一般的 $R$-模不一定有基！例如 $\mathbb{Z}/2\mathbb{Z}$ 作为 $\mathbb{Z}$-模就不是自由的。

模同态（Module Homomorphism） $R$-模 $M, N$ 之间的映射 $f: M\to N$ 称为 $R$-模同态，若 $$ f(m_1+m_2) = f(m_1)+f(m_2),\quad f(rm) = rf(m),\qquad \forall r\in R,\; m,m_1,m_2\in M. $$

短正合列（Short Exact Sequence of Modules） $R$-模的序列 $$ 0 \longrightarrow M' \xrightarrow{\;f\;} M \xrightarrow{\;g\;} M'' \longrightarrow 0 $$ 称为短正合列（SES），若 $f$ 单射、$g$ 满射、$\mathrm{Im}(f) = \ker(g)$。 意义：$M$ 由子模 $M'\cong f(M')$ 和商模 $M'' \cong M/f(M')$ "拼成"（但不一定直和分裂！）。

张量积（Tensor Product） 给定 $R$-模 $M, N$，张量积 $M\otimes_R N$ 是满足以下泛性质的 $R$-模： 存在$R$-双线性映射 $\otimes: M\times N\to M\otimes_R N$，$(m,n)\mapsto m\otimes n$，使得对任何 $R$-双线性映射 $\varphi: M\times N\to P$，存在唯一的 $R$-模同态 $\bar\varphi: M\otimes_R N\to P$ 使得 $\bar\varphi(m\otimes n) = \varphi(m,n)$。 换言之：$M\otimes_R N$ 把"双线性"变成"线性"。

例 2：张量积计算 $R^m\otimes_R R^n \cong R^{mn}$（自由模的张量积）。 $M\otimes_R R \cong M$（$R$ 是张量积的"单位"）。 $\mathbb{Z}/m\mathbb{Z}\otimes_\mathbb{Z}\mathbb{Z}/n\mathbb{Z}\cong\mathbb{Z}/\gcd(m,n)\mathbb{Z}$。 $\mathbb{Q}\otimes_\mathbb{Z}\mathbb{Z}/n\mathbb{Z} = 0$（有理数"杀死"所有有限群）。

Nakayama 引理（Nakayama's Lemma） 设 $R$ 是局部环，极大理想 $\mathfrak{m}$，$M$ 是有限生成 $R$-模。若 $\mathfrak{m}M = M$，则 $M = 0$。 等价形式：$M$ 的生成元个数 = $\dim_{R/\mathfrak{m}}(M/\mathfrak{m}M)$（即模的最小生成元数等于"模约化到剩余域后的维数"）。 直觉：这就像说"如果一栋楼的每一层都能被'极大理想'吸收，那这栋楼根本不存在"。Nakayama 引理是交换代数中"从局部信息推全局结论"的关键工具。

例 3：Nakayama 引理的应用 设 $R = k[[x]]$（形式幂级数环），$\mathfrak{m} = (x)$，$M$ 有限生成。若 $m_1,\ldots,m_n$ 的像在 $M/xM$ 中生成这个 $k$-向量空间，则 $m_1,\ldots,m_n$ 就在 $M$ 中生成 $M$。这是 Nakayama 引理的直接推论——"模约化后的生成元可以提升回去"。

练习 1（模的基本性质） 证明：$\mathbb{Z}/n\mathbb{Z}$ 作为 $\mathbb{Z}$-模不是自由模（$n\ge 2$）。 提示 若有基 $\{e_i\}$，则 $\mathbb{Z}/n\mathbb{Z}\cong\mathbb{Z}^{(I)}$，但左边有限（$n$ 个元素），右边若 $I\ne\varnothing$ 则无穷，矛盾。

练习 2（张量积计算） 计算 $\mathbb{Z}/4\mathbb{Z}\otimes_\mathbb{Z}\mathbb{Z}/6\mathbb{Z}$。 提示 $\mathbb{Z}/m\otimes\mathbb{Z}/n\cong\mathbb{Z}/\gcd(m,n)$。所以答案是 $\mathbb{Z}/2\mathbb{Z}$。

练习 3（正合列与张量积） 给出 $0\to\mathbb{Z}\xrightarrow{\times 2}\mathbb{Z}\to\mathbb{Z}/2\to 0$ 对 $\mathbb{Z}/2$ 做张量积后不再正合的例子，说明张量积一般只是右正合函子。 提示 张量 $\mathbb{Z}/2$ 后得到 $\mathbb{Z}/2\xrightarrow{\times 2 = 0}\mathbb{Z}/2\to\mathbb{Z}/2\to 0$。左边的映射变成零映射，不再是单射！

练习 4（Nakayama 引理应用） 设 $(R, \mathfrak{m})$ 是局部环，$M$ 有限生成 $R$-模，$N\subseteq M$ 子模。若 $M = N + \mathfrak{m}M$，证明 $M = N$。

练习 5（自由模的秩） 证明：若 $R^m\cong R^n$（$R$ 是交换环，非零），则 $m = n$。提示：对极大理想 $\mathfrak{m}$ 做商。