关于蛇引理的技术问询：含幺交换环上R-模交换正合列问题

嘿，我来帮你把这个蛇引理中态射$a$的存在性问题掰明白哈！先把问题场景再明确下：

给定含幺交换环$R$，我们有如下交换的$R$-模正合列图表：
$$
\begin{array}{ccccccccc}
0 & \rightarrow & M'& \xrightarrow{f} & M& \xrightarrow{q} & M''& \rightarrow& 0\
& & & & \downarrow{b}& & \downarrow{c}& & \
0 & \rightarrow & N'& \xrightarrow{f'} & N& \xrightarrow{q'} & N''& \rightarrow& 0\
\end{array}
$$
我们要证明：存在唯一的$R$-模同态$a:M'\rightarrow N'$，使得左方块交换，也就是满足$f'\circ a = b\circ f$。

从元素构造的角度一步步推导 #

这个思路最直观，适合刚接触模论的同学：

1. 取$M'$中任意元素$x$，分析$b(f(x))$的位置
   因为上方正合列左端是正合的，所以$f$是单射（$\ker f = 0$），$f(x)$是$M$中的元素。根据图表的交换性，$q'\circ b = c\circ q$，我们计算$q'(b(f(x)))$：
   $$q'(b(f(x))) = c(q(f(x)))$$
   而上方正合列里$\text{im}f = \ker q$，所以$q(f(x)) = 0$，进而$c(q(f(x))) = c(0) = 0$，这说明$b(f(x)) \in \ker q'$。

2. 利用下方正合列的正合性找对应元素
   下方正合列左端是正合的，所以$\ker q' = \text{im}f'$，而且$f'$是单射（$\ker f' = 0$），这意味着$\text{im}f'$和$N'$是同构的。既然$b(f(x))$在$\ker q'$里，那必然存在唯一的$y \in N'$，使得$f'(y) = b(f(x))$。

3. 定义态射$a$并验证它是$R$-模同态
   我们直接把$a(x)$定义为这个唯一的$y$，也就是$a(x) = y$，自然满足$f'(a(x)) = b(f(x))$。接下来验证它符合模同态的要求：

   • 加法保持：对任意$x_1, x_2 \in M'$，有
     $$f'(a(x_1+x_2)) = b(f(x_1+x_2)) = b(f(x_1)+f(x_2)) = b(f(x_1)) + b(f(x_2)) = f'(a(x_1)) + f'(a(x_2)) = f'(a(x_1)+a(x_2))$$
     因为$f'$是单射，所以$a(x_1+x_2) = a(x_1)+a(x_2)$。
   • 数乘保持：对任意$r \in R$，有
     $$f'(a(rx)) = b(f(rx)) = b(rf(x)) = rb(f(x)) = rf'(a(x)) = f'(ra(x))$$
     同样因为$f'$是单射，所以$a(rx) = ra(x)$。

这样我们就构造出了满足条件的$R$-模同态$a$，而且从构造过程能看出来，这个$a$是唯一的——毕竟$f'$是单射，每个$b(f(x))$对应的$y$只有一个。

用范畴泛性质的视角再理解一遍 #

如果你接触过范畴论，这个问题可以用核的泛性质来解释：

• 上方正合列中，$M'$是态射$f: M' \rightarrow M$的核（左端正合的等价说法）。
• 态射$b\circ f: M' \rightarrow N$满足$q'\circ(b\circ f) = (q'\circ b)\circ f = (c\circ q)\circ f = c\circ(q\circ f) = c\circ0 = 0$，这说明$b\circ f$可以通过$\ker q'$分解。
• 而下方正合列中，$\ker q'$就是$N'$（因为$f'$是$N'$到$\ker q'$的同构），根据核的泛性质，必然存在唯一的态射$a: M' \rightarrow N'$，使得$f'\circ a = b\circ f$。

这个抽象视角和元素构造的本质是一致的，只是把元素层面的操作换成了范畴里的态射性质描述。

内容的提问来源于stack exchange，提问作者user52991