按作者与版本查阅
以下按已登记位置排列。出现顺序、原文引用与已登记依赖分别展示；最早位置不代表全书首次定义。
Szekeres · source-snapshot-bc3404156f6e
已登记出处中的最早位置：§2.1 · zh-CN。
已登记作者陈述
- Nakahara 第3章 · 循环群和边界群的子群资格 · 使用。已引入边界同态，尚不把 Br 包含于 Zr 当作这里已证明。
- Nakahara 第3章 · §3.1.1 子群 · 定义入口。Nakahara 本章限于阿贝尔群，运算记 +，单位元记 0；不把本章约定推广到任意群。
- Nakahara 第3章 · 定理3.3 边界群包含于循环群 · 证明。这一步为同调商群提供子群包含关系。
- Szekeres §2.1 · 子群条件 · 定义入口。Szekeres 允许非阿贝尔母群。
- Nakahara 第3章 · 引理3.1 核与像为子群 · 定理入口。Nakahara 本章限于阿贝尔群，运算记 +，单位元记 0；不把本章约定推广到任意群。
- Nakahara 第3章 · 定理3.1 的证明 · 证明。Nakahara 本章限于阿贝尔群，运算记 +，单位元记 0；不把本章约定推广到任意群。
- Nakahara 第3章 · 引理3.3 连续两次取边界为零 · 定理入口。r 链与边界算子按本书有向单形约定。
- Nakahara 第3章 · 定义3.5：同调群及作者的良定义说明 · 定义入口。本章整数系数单纯链；链群为自由阿贝尔群。该路径以群、子群和有向单形知识为已具备背景。 可另行采用实数或模二系数；不将不同系数的定义自动等同。
- Nakahara 第3章 · 定义3.3：循环群是边界同态的核 · 定义入口。本章整数系数单纯链；链群为自由阿贝尔群。该路径以群、子群和有向单形知识为已具备背景。
- Nakahara 第3章 · 定义3.4：边界群是前一边界同态的像 · 定义入口。本章整数系数单纯链；链群为自由阿贝尔群。该路径以群、子群和有向单形知识为已具备背景。
已登记依赖
保持原有来源与审阅状态，不由术语共同出现推断。
- 定理3.1 的证明 → 引理3.1 核与像为子群 · explicit-author-reference
- 循环群和边界群的子群资格 → 引理3.1 核与像为子群 · explicit-author-reference
- 定理3.3 边界群包含于循环群 → 引理3.3 连续两次取边界为零 · explicit-author-reference
- 定义3.5：同调群及作者的良定义说明 → 定理3.3 边界群包含于循环群 · author-transition
- 定义3.5：同调群及作者的良定义说明 → 循环群和边界群的子群资格 · construction-use
- 循环群和边界群的子群资格 → 定义3.3：循环群是边界同态的核 · construction-use
- 循环群和边界群的子群资格 → 定义3.4：边界群是前一边界同态的像 · construction-use