你想弄懂什么？

在这段视频中，如果在每个中间对象处，进入映射的像等于离开映射的核，则模块序列是正合的。对于序列 $X \xrightarrow{i} Z \xrightarrow{p} Y$，在 $Z$ 处的正合性意味着 $\operatorname{im}(i) = \ker(p)$。

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

在这段视频中，如果在每个中间对象处，进入映射的像等于离开映射的核，则模块序列是正合的。对于序列 $X \xrightarrow{i} Z \xrightarrow{p} Y$，在 $Z$ 处的正合性意味着 $\operatorname{im}(i) = \ker(p)$。

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