正合列的简单练习

1. 公式
   观察依据

   幻灯片文字：“设 R 是一个交换环。”

R

模块所定义其上的交换环。

交换环

1. 公式
   观察依据

   正合列图示在（2.3.a）中将 X 用作左端模，在（2.3.b）中用作第一个模。

X

出现在所展示的正合列左端的一个 R-模。

R-模

1. 公式
   观察依据

   正合列图示将 Z 用作中间模。

Z

出现在所展示的正合列中间位置的一个 R-模。

R-模

1. 公式
   观察依据

   正合列图示在（2.3.a）中将 Y 用作右端模，在（2.3.b）中用作余核的目标模。

Y

出现在所展示的正合列右端的一个 R-模。

R-模

1. 公式
   观察依据

   两个展示的正合序列中的箭头标签：$X \xrightarrow{i} Z$。

i

正合序列中从 X 到 Z 的模同态。

R-线性映射 i: $X \to Z$

1. 公式
   观察依据

   两个展示的正合序列中的箭头标签：$Z \xrightarrow{p} Y$。

p

正合序列中从 Z 到 Y 的模同态。

R-线性映射 p: $Z \to Y$

1. 公式
   观察依据

   幻灯片与手写笔记中使用 ker(p)、ker(i) 和 ker f。

$\ker$

同态的核，写作被映到零的所有元素构成的集合。

定义域的子模／子群

1. 公式
   观察依据

   手写证明中使用 im 0、im i 和 im f。

$\operatorname{im}$

同态的像，写作该映射所取到的所有值构成的集合。

陪域的子模／子群

1. 公式
   观察依据

   幻灯片文字在（2.3.b）部分指出“我们有 coker(i) $\cong Y$”

$\operatorname{coker}$

同态的余核，即上域对像的商

商模／商群

1. 公式
   观察依据

   幻灯片与手写方程中均用 $\cong$ 表示同构

$\cong$

代数对象之间的同构关系

模／群上的二元关系

1. 公式
   观察依据

   手写笔记：$A \xrightarrow{f} B$ 且 $A/\ker f \cong \operatorname{im} f$

2. 声音
   观察依据

   主讲人说：“若我们有一个从 A 到 B 的映射 f，则第一同构定理告诉你，A 模去 f 的核同构于 f 的像。”

f:A\to B

用于陈述第一同构定理的一般同态

从 A 到 B 的同态

1. 公式
   观察依据

   手写板书反复将 $X$ 用作序列中的左模$X \xrightarrow{i} Z \xrightarrow{p} Y \to 0$。

X

显示的正合序列左侧出现的一个$R$-模。

$R$-模

1. 声音
   观察依据

   主讲人说：“请记住，正合序列意味着像等于核”，随后写下 im i = ker j

2. 公式
   观察依据

   手写方程：im i = ker j

1. 幻灯片序列使用映射 i 和 p，而说话人短暂提到了 j；所指的条件是中间项处的正合性。

视频指出，正合序列意味着一个映射的像等于下一个映射的核。在所展示的三项序列中，这一条件被应用于进入和离开中间对象的两个映射。

1. 这些映射必须能按顺序复合。

2. 该等式在中间对象内部成立。

1. 声音
   观察依据

   说话人说：“第一同构定理告诉你，A 模去 f 的核同构于 f 的像。”

2. 公式
   观察依据

   手写方程：$A/\ker f \cong \operatorname{im} f$。

对于从 A 到 B 的同态 f，定义域模去 f 的核所得的商同构于 f 的像。

1. f 是一个同态。

2. 该商由正规子群或子模 $\ker f$ 构成。

1. 正合性条件

1. 公式
   观察依据

   幻灯片文字：“给定 R-模的正合序列 $0 \longrightarrow X \xrightarrow{i} Z \xrightarrow{p} Y$，我们有 $\ker(p) \cong X$。”

幻灯片第2.3.a)部分断言：若$0 \to X \xrightarrow{i} Z \xrightarrow{p} Y$ 是正合列，则 p 的核同构于 X。

1. R 是一个交换环。

2. X、Z、Y 是 R-模。

3. 所展示的序列是正合的。

1. 正合性条件
2. 第一同构定理

1. 公式
   观察依据

   幻灯片文字：“给定 R-模的正合列 $X \xrightarrow{i} Z \xrightarrow{p} Y \longrightarrow 0$，我们有 $\operatorname{coker}(i) \cong Y$。”

1. 这一第二条陈述的证明未在所提供的150-第二片段中展开。

幻灯片第2.3.b)部分断言：若 $X \xrightarrow{i} Z \xrightarrow{p} Y \to 0$ 是正合列，则 i 的余核同构于 Y。

1. R 是一个交换环。

2. X、Z、Y 是 R-模。

3. 所展示的序列是正合的。

1. 正合性条件

1. 公式
   观察依据

   手写黑板上也写出$X \xrightarrow{i} Z \xrightarrow{p} Y \to 0$作为证明的设定。

该片段处理一个形如 $R$-模的正合序列$X \xrightarrow{i} Z \xrightarrow{p} Y \to 0$。正合性意味着在每个内部对象处，入射态射的像等于出射态射的核；末端 $\to 0$ 用于后续得出 $p$ 是满射。

1. 这些对象是$R$-模。

2. 该序列被假定为正合的。

1. 公式
   观察依据

   黑板上写下 $\operatorname{coker} f = B/\operatorname{im} A$ 在一个一般箭头旁 $A \xrightarrow{f} B$。

对于同态$f:A\to B$，其余核定义为余域对定义域像的商模。本片段中，该定义被特别引入以解释陈述$\operatorname{coker}(i)\simeq Y$。

1. $f:A\to B$是$R$-模之间的同态。

2. $\operatorname{im} A$表示像子模$\operatorname{im} f\subseteq B$。

1. f:A\to B
2. $\operatorname{coker}$

1. 声音
   观察依据

   说话人在推导结果时，口头读出这些商模同构关系。

该证明两次应用标准同构定理：一次作用于$i$，另一次作用于$p$。每个映射都在其定义域关于其核的商模与它的像之间诱导出一个同构。

1. $h:M\to N$是$R$-模之间的同态。

1. $\operatorname{im}$
2. $\ker$
3. $\simeq$

1. 公式
   观察依据

   该板书将$Z/\ker p \simeq \operatorname{im} p$升级为$Z/\ker p \simeq \operatorname{im} p = Y$。

由于所显示的序列以$Y\to 0$结尾，故在$Y$处的正合性给出$\operatorname{im} p = \ker(Y\to 0)=Y$。该片段利用此关系，在商同构中将$\operatorname{im} p$替换为$Y$。

1. 序列$X \xrightarrow{i} Z \xrightarrow{p} Y \to 0$是正合的。

1. 以$0$结尾的正合序列
2. p

1. 声音
   观察依据

   说话人说：“这正是余核 i，对吧？根据定义。”

2. 公式
   观察依据

   手写方程“Coker $i = Z$ / im i”

模同态$i: X \to Z$的余核是余域$Z$对$i$的像所构成的商模，记作$\operatorname{coker}(i) = Z / \operatorname{im}(i)$。

1. $i$是一个模同态

1. 公式
   观察依据

   手写推导过程，显示$X / \ker i \cong \operatorname{im} i$和$Z / \ker p \cong \operatorname{im} p$

对于一个模同态$f: A \to B$，其定义域对$f$的核所作的商模同构于$f$的像，即$A / \ker(f) \cong \operatorname{im}(f)$。

1. $f$是一个模同态

1. 公式
   观察依据

   括号内补充说明：“（此外，这些同构在正合序列的态射意义下是自然的。）”

1. 本片段未定义‘自然性’，也未证明这一附加断言。

命题（2.3.a）与（2.3.b）中的同构在正合序列的态射意义下是自然的。

1. 幻灯片中引理的假设条件成立。

2. 考虑正合序列之间的态射。

针对引理中所述的同构，以及正合序列之间的态射。

1. 声音
   观察依据

   主讲人说：“若你不熟悉交换环，可将对象替换为阿贝尔群或向量空间。”

2. 公式
   观察依据

   幻灯片文字上方手写红色批注为“阿贝尔群”。

1. 主讲人在本片段中未明确写出该结论在范畴论中的精确表述。

若不涉及交换环，本习题可将R-模替换为阿贝尔群或向量空间来理解。

1. 读者不熟悉或不愿采用交换环模的设定。

针对所展示的习题陈述。

1. 声音
   观察依据

   主讲人将目标重新表述为：证明$i$的余核与$Y$同构。

若$X \xrightarrow{i} Z \xrightarrow{p} Y \to 0$是$R$-模的正合序列，则$\operatorname{coker}(i)\cong Y$。

1. $R$是一个交换环。

2. $X \xrightarrow{i} Z \xrightarrow{p} Y \to 0$是$R$-模的正合序列。

对任意交换环$R$以及任意具有所示形式的$R$-模正合序列。

1. 声音
   观察依据

   主讲人说：“由此我们得到像 I 等于 P 的核。”

在正合序列$X \xrightarrow{i} Z \xrightarrow{p} Y \to 0$中，有$\operatorname{im} i = \ker p$。

1. 序列$X \xrightarrow{i} Z \xrightarrow{p} Y \to 0$是正合的。

本片段中给出的正合序列。

1. 公式
   观察依据

   黑板上写下 $\operatorname{im} p = Y$ 在 $Z/\ker p \simeq \operatorname{im} p$ 之后。

由$X \xrightarrow{i} Z \xrightarrow{p} Y \to 0$的正合性可知，映射$p:Z\to Y$是满射的，等价地，$\operatorname{im} p=Y$。

1. 序列$X \xrightarrow{i} Z \xrightarrow{p} Y \to 0$是正合的。

本片段中给出的正合序列。

1. 公式
   观察依据

   印刷文字“（2.3.a）给定R-模的正合列$0 \to X \to Z \to Y$，我们有ker(p) ≅ X。”

给定R-模的正合列$0 \to X \xrightarrow{i} Z \xrightarrow{p} Y$，我们有$\ker(p) \cong X$。

1. 序列$0 \to X \xrightarrow{i} Z \xrightarrow{p} Y$是正合的。

对任意交换环R以及R-模X、Z、Y。

1. 公式
   观察依据

   印刷文字“（2.3.b）给定R-模的正合列$X \to Z \to Y \to 0$，我们有coker(i) ≅ Y。”

给定R-模的正合列$X \xrightarrow{i} Z \xrightarrow{p} Y \to 0$，我们有$\operatorname{coker}(i) \cong Y$。

1. 序列$X \xrightarrow{i} Z \xrightarrow{p} Y \to 0$是正合的。

对所有交换环 R 及 R-模 X、Z、Y。

1. 声音
   观察依据

   主讲人说：“我们来看第一个”，然后写出证明步骤。

2. 公式
   观察依据

   手写证明包含 im 0 = ker i，X/ker $i \cong$ im i，im i = ker p，以及 $X \cong$ ker p。

1. 手写符号中 im 后的字母在某些帧中视觉上模糊，但音频和最终代入确认该符号为 i。

1. 公式

   $$\operatorname{im} 0=\ker i$$
   解释

   由序列 $0\to X\xrightarrow{i}Z\xrightarrow{p}Y$ 在 X 处的正合性，零映射到 X 的像等于 i 的核。

   步骤依据

   视频中陈述的正合序列定义：在每个中间对象处，像等于核。

   视频直接表达
2. 公式

   $$X/\ker i\cong \operatorname{im} i$$
   解释

   对映射 i:X\to Z 应用第一同构定理。

   步骤依据

   视频明确回顾了映射 f 满足 $A/\ker f\cong \operatorname{im} f$。

   视频直接表达
3. 公式

   $$\operatorname{im} i=\ker p$$
   解释

   由 Z 处的正合性，i 的像等于 p 的核。

   步骤依据

   视频中陈述的正合序列定义。

   视频直接表达
4. 公式

   $$X/\ker i\cong \ker p$$
   解释

   将 $\operatorname{im} i=\ker p$ 代入同构式 $X/\ker i\cong \operatorname{im} i$。

   步骤依据

   利用前面两个已展示的等式，对同构关系进行传递性/替换操作。

   依据视频推导
5. 公式

   $$\ker i=0$$
   解释

   由于 $\operatorname{im}0=0$ 且 $\operatorname{im}0=\ker i$，故 i 的核是零子模。

   步骤依据

   零映射的像为零，结合第一个正合性等式。

   依据视频推导
6. 公式

   $$X\cong \ker p$$
   解释

   在 $X/\ker i\cong \ker p$ 中，将 $\ker i$ 替换为 0；对 X 作关于 0 的商模得到 X。

   步骤依据

   对零子模取商模自然同构于原模，再结合前述同构关系。

   依据视频推导

所展示的证明确立了：对正合序列 $0\to X\xrightarrow{i}Z\xrightarrow{p}Y$，有 $\ker(p)\cong X$。

1. 公式
   观察依据

   黑板依次写出$\operatorname{im} i=\ker p$、$X/\ker i\simeq \operatorname{im} i$、$Z/\ker p\simeq \operatorname{im} p$、$\operatorname{im} p=Y$和$Z/\operatorname{im} i\simeq Y$。

1. 最后说出的句子在开头“而 I 的核是……”后中断，因此除已显示结论外，本片段中无法还原任何进一步的表述。

1. 公式

   $$\operatorname{im} i = \ker p$$
   解释

   从序列中间项 $Z$ 的正合性出发 $X \xrightarrow{i} Z \xrightarrow{p} Y \to 0$。

   步骤依据

   在$Z$处正合的定义。

   视频直接表达
2. 公式

   $$Z/\ker p \simeq \operatorname{im} p$$
   解释

   对映射$p:Z\to Y$应用同构定理。

   步骤依据

   模同态的第一同构定理。

   视频直接表达
3. 公式

   $$\operatorname{im} p = Y$$
   解释

   利用正合序列的末端部分$Y\to 0$，将$p$的像识别为整个$Y$。

   步骤依据

   在$Y$处正合；等价地，$p$是满射。

   视频直接表达
4. 公式

   $$Z/\ker p \simeq Y$$
   解释

   将$\operatorname{im} p=Y$代入前一个商模同构式中。

   步骤依据

   在同构陈述中用相等者替换相等者。

   依据视频推导
5. 公式

   $$Z/\operatorname{im} i \simeq Y$$
   解释

   利用第一个正合性关系，在分母中将$\ker p$替换为$\operatorname{im} i$。

   步骤依据

   由$\operatorname{im} i=\ker p$可知，子模$\ker p$与$\operatorname{im} i$完全相同，因此对它们作商所得的商模也相同。

   视频直接表达
6. 公式

   $$\operatorname{coker}(i) \simeq Y$$
   解释

   根据本片段先前给出的定义，将$Z/\operatorname{im} i$识别为$i$的余核。

   步骤依据

   将定义$\operatorname{coker} f = B/\operatorname{im} f$应用于$f=i:X\to Z$。

   依据视频推导

该片段通过串联正合性、同构定理与余核的定义，推导出$\operatorname{coker}(i)\simeq Y$，从而证明了所展示的引理。

1. 声音
   观察依据

   讲话者在构建论证时提到了这一关系。

1. 这一侧边关系被写出并提及，但最终通向$\operatorname{coker}(i)\simeq Y$的证明路径实际上并不需要$X/\ker i\simeq \operatorname{im} i$；它仅作为同构定理的一个辅助实例而存在。

1. 公式

   $$X/\ker i \simeq \operatorname{im} i$$
   解释

   对映射$i:X\to Z$应用同构定理。

   步骤依据

   模同态的第一同构定理。

   视频直接表达

映射$i$在$X/\ker i$到$\operatorname{im} i$之间诱导一个同构；这一事实作为主计算的伴随结论写在黑板上。

1. 声音
   观察依据

   主讲人逐步讲解该证明。

2. 公式
   观察依据

   白板上的手写方程。

1. 公式

   $$\operatorname{im}(i) = \ker(p)$$
   解释

   由序列 $X \xrightarrow{i} Z \xrightarrow{p} Y \to 0$ 的正合性，$i$ 的像等于 $p$ 的核。

   步骤依据

   正合序列的定义

   视频直接表达
2. 公式

   $$\operatorname{im}(p) = Y$$
   解释

   由序列在 $Y$ 处的正合性，映射 $p$ 是满射，因此其像为整个 $Y$。

   步骤依据

   正合序列的定义

   视频直接表达
3. 公式

   $$Z / \operatorname{im}(i) \cong Z / \ker(p)$$
   解释

   将 $\operatorname{im}(i) = \ker(p)$ 代入该商式。

   步骤依据

   代入

   依据视频推导
4. 公式

   $$Z / \ker(p) \cong \operatorname{im}(p)$$
   解释

   对映射 $p: Z \to Y$ 应用第一同构定理。

   步骤依据

   第一同构定理

   视频直接表达
5. 公式

   $$\operatorname{im}(p) = Y$$
   解释

   由在$Y$处的正合性。

   步骤依据

   正合序列的定义

   视频直接表达
6. 公式

   $$\operatorname{coker}(i) = Z / \operatorname{im}(i) \cong Y$$
   解释

   将余核的定义与前述同构相结合。

   步骤依据

   同构的传递性

   依据视频推导

对应的式子为：$\operatorname{coker}(i) \cong Y$。

1. 声音
   观察依据

   讲话者使用这一通用例子，提醒听众余核的含义，然后再将其应用于$i$。

陈述同态$f:A\to B$的余核。

1. 一个同态 $f:A\to B$ 的 $R$模。

将$\operatorname{coker} f$表示为一个商模。

1. 公式

   $$\operatorname{coker} f = B/\operatorname{im} A$$
   解释

   取余域 $B$ 并对 $A$ 在 $f$ 下的像取商。

   步骤依据

   视频片段中所述的余核定义。

   视频直接表达

对应的式子为：$\operatorname{coker} f = B/\operatorname{im} A$

该定义随后被应用于$f=i$，以在主证明中将$\operatorname{coker}(i)$与$Z/\operatorname{im} i$等同起来。

1. 图示
   观察依据

   PowerPoint 幻灯片标题为“简单练习2：”，其中展示了引理2.3，含两个正合序列图示，以及结论 $\ker(p)\cong X$ 和 $\operatorname{coker}(i)\cong Y$。

1. 标题“简单练习2：”

2. 引理2.3正文

3. 序列 $0 \to X \xrightarrow{i} Z \xrightarrow{p} Y$

4. 结论：$\ker(p) \cong X$

5. 序列 $X \xrightarrow{i} Z \xrightarrow{p} Y \to 0$

6. 结论：$\operatorname{coker}(i) \cong Y$

7. 括号内的自然性说明

1. 画面从 PowerPoint 编辑界面切换为全屏幻灯片，大约在7秒时。

2. 讲解过程中，在幻灯片上添加了红色批注。

1. 印刷版引理陈述在整个带注释的幻灯片部分中始终保持可见。

该幻灯片呈现了本片段其余部分所讨论并部分证明的两个代数命题。

1. 动画
   观察依据

   红色数字墨水在“交换环”上方书写“阿贝尔群”，对正合序列的部分内容加下划线，圈出 i 和 Y，并写出 $A \xrightarrow{f} B$ 以及 $A/\ker f \cong \operatorname{im} f$。

1. 部分手写笔画视觉上较为粗糙，但配套音频明确指出了所意图表示的符号。

1. 印刷版幻灯片文字

2. 手写“阿贝尔群”

3. 手写精确性注释：im i = ker j

4. 手写第一同构定理注释：$A/\ker f \cong$ im f

1. 注释随讲话者讲解设定而依次出现。

2. 讲话者标出精确序列中涉及的映射与对象。

1. 基础引理陈述在标注过程中未被擦除。

这些注释将印制的引理与证明中所用的两个事实联系起来：精确性与第一同构定理。

1. 动画
   观察依据

   空白白板出现；序列 $0 \to X \xrightarrow{i} Z \xrightarrow{p} Y$ 被重写，随后是证明方程及代入步骤，最终导出 $X \cong \ker p$。

1. 手写速度较快，部分中间符号在孤立帧中视觉上较难分辨，尤其是 i 与 j。

1. 重写的序列 $0 \to X \xrightarrow{i} Z \xrightarrow{p} Y$

2. 方程 im 0 = ker i

3. 方程 X/ker $i \cong$ im i

4. 方程 im i = ker p

5. 最终框出的方程 $X \cong$ ker p

1. 证明逐行展开：从正合性条件出发，经第一同构定理，再通过代入完成。

2. 最终结论在视频片段末尾以方框形式标出。

1. 该证明仅涉及第一个显示的正合序列，不涉及余核陈述。

视觉过程展示了正合性如何将左侧的短正合序列转化为同构式 $\ker(p)\cong X$。

1. 动画
   观察依据

   在短暂展示几页印刷幻灯片后，视频画面定格于一块白色数字黑板，证明过程以红色墨水逐行书写完成。

2. 图示
   观察依据

   核心图表是序列$X \xrightarrow{i} Z \xrightarrow{p} Y \to 0$，其中部分项被圆圈标出，箭头作为注释添加。

1. 正合序列$X \xrightarrow{i} Z \xrightarrow{p} Y \to 0$。

2. 一般性定义$\operatorname{coker} f = B/\operatorname{im} A$。

3. 商表达式$X/\ker i$、$Z/\ker p$和$Z/\operatorname{im} i$。

4. 用圆圈和箭头标记$i$、$p$、$Y$以及末项$0$。

1. 黑板首先展示目标序列及待证命题。

2. 通用的余核定义写在左侧。

3. 证明接着引入$\operatorname{im} i=\ker p$，随后写出商同构关系式。

4. 最后将$Z/\operatorname{im} i\simeq Y$作为结论写出。

1. 底层序列在整个过程中始终保持为$X \xrightarrow{i} Z \xrightarrow{p} Y \to 0$。

2. 所有展示的映射与商结构均属于$R$-模范畴。

视觉演进过程与代数证明一致：先定义目标概念，再提取正合性关系，接着应用同构定理，利用右端的满射性，最后将商重写为余核。

1. 动画
   观察依据

   数字白板，显示打印的幻灯片及手写的红/黑墨水批注。

1. 打印的幻灯片文字

2. 手写公式

3. 箭头

4. 圆圈

1. 手写证明步骤依次出现

2. 圆圈标出特定术语，例如 'i'、'p'、'X'、'Y'。

1. 打印的幻灯片内容保留在背景中可见。

视觉布局将问题陈述（打印部分）与活跃进行的证明推导（手写部分）分离开来。

1. 声音
   观察依据

   说话人说“像等于核”，并写下 im i = ker j；而幻灯片序列中使用的映射是 i 和 p。

2. 公式
   观察依据

   印刷版幻灯片使用映射 p:Z\to Y，而非 j。

有人可能误以为中间项的正合性条件涉及一个名为 j 的映射，因为说话人曾短暂地说出并写下 ker j。

印刷版序列使用映射 p:Z\to Y，后续黑板证明中也写作 im i = ker p；所指的正合性条件应为 $\operatorname{im}(i)=\ker(p)$。

1. 公式
   观察依据

   黑板将先前关于核/像的笔记与新公式$\operatorname{coker} f = B/\operatorname{im} A$进行对比。

人们可能将余核与核混淆，或误以为二者都是定义域的子模。

该片段将余核定义为余域对像的商：对$f:A\to B$与$\operatorname{coker} f = B/\operatorname{im} f$而言，而核则位于定义域内部。

1. 公式
   观察依据

   黑板首先写出$Z/\ker p\simeq \operatorname{im} p$，之后才将$\operatorname{im} p$替换为$Y$。

看起来似乎 $\operatorname{im} p$ 总是等于整个 $Y$，对任意映射 $p:Z\to Y$ 均成立。

在此证明中，等式$\operatorname{im} p=Y$依赖于尾部$Y\to 0$的正合性；若无该假设，$p$未必是满射

1. 公式
   观察依据

   证明从写出正合序列中的 im 0 = ker i 和 im i = ker p 开始。

该证明依赖于正合性的定义，从而得到这两个像-核等式。

1. 公式
   观察依据

   证明在回顾 A/ker f ≅ im f 后，立即写出 X/ker i ≅ im i。

第一同构定理为映射 i 提供了所用的商-像同构。