请求提供Dennis与Farb版中山引理的简洁直接证明

嘿，我完全懂你这种感受——环理论基础薄弱的时候，课本上的证明真的容易让人摸不着头脑。我给你一个用行列式技巧的直接证明，用到的都是你大概率已经接触过的基础概念，逻辑也很顺畅：

首先再明确一遍我们要证的命题：

Lemma 2.1.1 (Nakayama's Lemma)：若$M$是有限生成$R$-模，且满足$J(R)M = M$，则$M = 0$。
注：这里$J(R)$是环$R$的雅各布森根，即$R$中所有极大理想的交集。

证明步骤： #

• 利用有限生成性设定生成元
  因为$M$是有限生成$R$-模，所以存在一组生成元$m_1, m_2, ..., m_n$，也就是说$M$中任意元素都能写成$r_1m_1 + r_2m_2 + ... + r_nm_n$（$r_i \in R$）的形式。

• 根据$J(R)M = M$写出生成元的表达式
  既然$J(R)M = M$，每个生成元$m_i$都能表示成$J(R)$中元素与$M$中元素的线性组合。具体来说，对每个$i$有：
  $$m_i = \sum_{j=1}^n a_{ij}m_j$$
  其中$a_{ij} \in J(R)$。

• 整理为线性方程组形式
  把上面的式子移项，得到：
  $$\sum_{j=1}^n (\delta_{ij} - a_{ij})m_j = 0$$
  这里$\delta_{ij}$是克罗内克函数（$i=j$时为1，否则为0）。写成矩阵形式就是：
  $$A \cdot \begin{pmatrix} m_1 \ m_2 \ \vdots \ m_n \end{pmatrix} = \begin{pmatrix} 0 \ 0 \ \vdots \ 0 \end{pmatrix}$$
  矩阵$A$的第$(i,j)$项是$\delta_{ij} - a_{ij}$。

• 用行列式构造可逆元
  计算$A$的行列式$\det(A)$，展开后可以写成$1 - b$的形式，其中$b \in J(R)$——因为所有$a_{ij}$都在$J(R)$里，而雅各布森根是理想，除了主对角线的1相乘得到的1之外，其他展开项都是$J(R)$中元素的乘积，自然也属于$J(R)$，这些项的和就是$b$。

  根据线性代数的伴随矩阵性质，$A \cdot \text{adj}(A) = \det(A) \cdot I_n$（$\text{adj}(A)$是$A$的伴随矩阵，$I_n$是$n$阶单位矩阵）。把这个式子和我们的线性方程组结合，两边左乘$\text{adj}(A)$，就能得到：
  $$\det(A) \cdot m_i = 0$$
  对所有$i=1,2,...,n$都成立。

• 利用雅各布森根的性质推出结论
  雅各布森根有个核心性质：若$x \in J(R)$，则$1 - x$是$R$中的可逆元。这个性质的证明也很直观：假设$1 - x$不可逆，那它必然属于某个极大理想$M$，但$x \in J(R) \subseteq M$，这样$1 = (1 - x) + x \in M$，这和极大理想的定义矛盾，所以$1 - x$一定可逆。

  回到我们的情况，$\det(A) = 1 - b$（$b \in J(R)$）是可逆元，设它的逆元为$c \in R$，那么对每个生成元$m_i$，有$m_i = c \cdot (1 - b) \cdot m_i = c \cdot 0 = 0$。所有生成元都是0，那整个模$M$自然就是0模了。

这样整个证明就完成了，每一步都紧扣基础概念，没有绕弯子，应该比课本里的反证法更容易消化～

备注：内容来源于stack exchange，提问作者Greg Nisbet