Nakayama 引理

模掉 $\mathfrak{m}$ 相当于只看局部环闭点上的一阶“纤维”。Nakayama 引理保证：对有限生成模，若这条纤维没有遗漏生成方向，那么回到整个局部环也没有遗漏。极大理想中的系数在闭点上为零，无法凭无限次反馈创造一个新的有限生成方向。

有限生成条件使这种直觉可由一个有限矩阵封闭。若 $M=(m_1,\dots ,m_r)$ 且 $IM=M$，可写

令 $A=(a_{ij})$，则 $(E-A)m=0$。用伴随矩阵得到

行列式展开表明 $\det (E-A)=1-a$，其中 $a\in I$。若 $I$ 位于 Jacobson 根中，$1-a$ 是单位，只能有 $M=0$。这就是 determinant trick；它也解释了为何“有限矩阵”对应有限生成假设。

取 $R=k[[t]]$、$\mathfrak{m}=(t)$，以及 $M=R/(t^3)$。商

由 $1$ 的像生成，所以任意提升，例如 $1+t$ 的类，也生成 $M$；确实 $1+t$ 在 $R$ 中是单位。一般地，若一组元素在模 $\mathfrak{m}$ 后给出一组基，它们就是 $M$ 的最小生成组，且

给出最小生成元个数。

有限生成不能省略。令 $R={\mathbb{Z}}_{(p)}$，其极大理想为 $pR$，把 $\mathbb{Q}$ 看作 $R$-模。因为乘以 $p$ 在 $\mathbb{Q}$ 上可逆，

但 $\mathbb{Q}$ 不是有限生成 $R$-模。若删去 Jacobson 根条件也会失败：取 $R=\mathbb{Z}$、$I=(2)$、$M=\mathbb{Z}/3\mathbb{Z}$，乘以 $2$ 在 $M$ 上可逆，所以 $IM=M\ne 0$；而 $(2)$ 并不包含于 $\mathrm{Jac}(\mathbb{Z})=(0)$。

引理也不是说 $M/\mathfrak{m}M=0$ 对任意模都推出 $M=0$；上述 $\mathbb{Q}$ 正是反例。它控制的是有限生成对象，而非所有可能的无限模。

若只知道若干元素在 $M/\mathfrak{m}M$ 中线性无关，也不能单凭 Nakayama 推出其提升在 $M$ 中线性无关；引理直接提升的是“生成”，不是“关系”。要把一组剩余域基提升成自由模的基，还需模本身自由、投射或满足额外秩条件。这个边界在研究最小自由分解时尤其重要。

若 $M$ 是有限生成局部环模，元素 $m_1,\dots ,m_r$ 构成最小生成组，当且仅当它们在 $M/\mathfrak{m}M$ 中的像构成剩余域上的一组基。因此局部模的最小生成元数是内在不变量，不随所选最小生成组变化。若 $f:M\to N$ 是有限生成模之间的同态且

满射，则对余核应用 Nakayama 可知 $f$ 本身满射。

在代数几何中，这一机制把点上的线性代数提升到邻域：向量丛截面是否局部生成、有限模是否为零、微分模需要多少生成元，都可先看剩余域纤维。对完备局部环，Nakayama 还与逐次模 ${\mathfrak{m}}^n$ 提升配合，把有限阶近似组织成真正元素；但完备性属于后续提升步骤，并不是 Nakayama 引理自身的假设。