在这段视频中，模块序列正合意味着什么？

适用条件

• 序列由模块同态组成。
• 正合性在每个内部对象处检查（除非由零指定端点）。

理解与推导

1. 识别序列中的一个中间对象，例如 $X \xrightarrow{i} Z \xrightarrow{p} Y$ 中的 $Z$。
2. 识别进入 $Z$ 的映射，即 $i:X\to Z$。
3. 识别离开 $Z$ 的映射，即 $p:Z\to Y$。
4. 计算进入映射的像，$\operatorname{im}(i)$。
5. 计算离开映射的核，$\ker(p)$。
6. 如果 $\operatorname{im}(i) = \ker(p)$，则序列在 $Z$ 处正合。
7. 视频陈述：“记住正合序列意味着像等于核”。
8. 这个定义被应用于引理 2.3 的两个部分。

例子

视频指出：“在进行任何证明之前，演讲者回顾了所使用的定义：正合性意味着在每个中间对象处，进入映射的像等于离开映射的核。对于显示的序列，相关的等式是 $\operatorname{im}(i)=\ker(p)$。”

容易误解的地方

• 认为正合性意味着映射是同构。
• 混淆像和核。
• 假设正合性仅适用于短正合序列 (0->A->B->C->0)；它适用于任何序列的任何内部对象。

观看对应讲解

继续追问

• 在这段视频中，模块序列正合意味着什么？
• 正合性在引理 2.3 的证明中是如何使用的？
• 左端和右端的正合性有什么区别？