循环群（抽象代数）

1. 字幕依据
   观察依据

   幻灯片文字使用了“一个群 G”，随后又写道“设 G 是一个以 × 为运算的群。”

2. 声音
   观察依据

   主讲人说：“我们称一个群 G 是循环群……”，随后又说：“设 G 是任意一个群……”

G

正在讨论的一般群；在乘法定义部分，明确指定其运算为 ×。

群

1. 字幕依据
   观察依据

   幻灯片显示“任取 $x \in G$”，然后构造包含 x 的各次幂的集合。

2. 声音
   观察依据

   主讲人说：“在 G 中任取一个元素 x。”

x

群 G 中选定的一个元素，通过取它的所有整数次幂来生成一个子群。

G 中的一个元素

1. 字幕依据
   观察依据

   幻灯片显示“⟨x⟩ = {..., $x^{-4}$, $x^{-3}$, $x^{-2}$, $x^{-1}$, 1, x, $x^2$, $x^3$, $x^4$, ...}”以及“= 由 x 生成的群”。

2. 声音
   观察依据

   主讲人说：“我们称它为由 x 生成的群，并用尖括号表示。”

$\langle x \rangle$

由 x 生成的子群，即包含 x 的 G 的最小子群。

G 的子群

1. 字幕依据
   观察依据

   符号表示幻灯片显示“乘法记号：×”，定义幻灯片写道：“设 G 是一个以 × 为运算的群。”

2. 声音
   观察依据

   主讲人对比了群的加法记号与乘法记号。

$\times$

乘法记号中所用的群运算符号。

群上的二元运算

1. 字幕依据
   观察依据

   符号表示幻灯片显示“加法记号：+”，加法重述部分开头为：“设 H 是一个以 + 为运算的群。”

2. 声音
   观察依据

   主讲人指出，群常采用加法记号或乘法记号来书写。

+

加法记号中所用的群运算符号。

群上的二元运算

1. 字幕依据
   观察依据

   符号表示幻灯片在乘法记号下列出“单位元：1”，而生成子群列表中包含1。

2. 声音
   观察依据

   主讲人说：“使用乘法记号时，单位元记作1。”

1

乘法记号下的单位元。

以乘法形式书写的群的单位元

1. 字幕依据
   观察依据

   符号表示幻灯片在加法记号下列出“单位元：0”。

2. 声音
   观察依据

   讲师说：“使用加法记号时，单位元记作0。”

0

加法记号下的单位元。

以加法方式书写的群的单位元。

1. 字幕依据
   观察依据

   生成子群列表包含 $x^{-1}$ 以及形如 $x^{-2}$、$x^{-3}$、$x^{-4}$ 的负幂。

2. 声音
   观察依据

   讲师指出，任何包含 x 的子群也必须包含 x 的逆元。

$x^{-1}$

在乘法记号下，群 G 中元素 x 的逆元。

群 G 中的一个元素。

1. 字幕依据
   观察依据

   幻灯片将集合扩展为包含 $x^2$、$x^3$、$x^4$ 以及负幂。

2. 声音
   观察依据

   讲师指出，封闭性迫使集合包含 x 的所有整数次幂以及 x 的逆元的所有整数次幂。

$x^n$

x 的整数次幂，包括正整数次幂、单位元对应的零次幂，以及逆元的整数次幂。

由整数 n 标记的群 G 中的元素。

1. 字幕依据
   观察依据

   加法记号重述幻灯片显示：“设 H 是一个以 + 为运算的群。”

2. 声音
   观察依据

   讲师说：“设 H 是一个群，并在 H 中选取一个元素 y。”

H

在相同定义的加法记号重述中所使用的群。

群

1. 字幕依据
   观察依据

   幻灯片显示：“选取 $y \in H$”以及“由 y 生成的群 = 包含 y 的 H 的最小子群。”

2. 声音
   观察依据

   讲师说：“在 H 中选取一个元素 y。”

y

为用加法记号重述生成概念而选定的 H 中的一个元素。

H 的一个元素

1. 公式
   观察依据

   幻灯片文字：“设 H 是一个以 + 为运算的群。”

2. 声音
   观察依据

   此处给出的是以加法为运算的群 H 的定义。

H

其二元运算以加法形式书写的群。

群

1. 字幕依据
   观察依据

   开场幻灯片文字：“群 G 称为‘循环群’，如果它由单个元素生成：”后接“G = ⟨x⟩”。

2. 声音
   观察依据

   讲师陈述：“我们称群 G 为循环群，如果它可由单个元素生成。”

当整个群等于由某一个元素生成的子群时，该群被称为循环群。视频中先用自然语言陈述这一定义，再写作 G = ⟨x⟩。

1. G 是一个群。

2. 存在 G 中的一个元素 x。

3. 该等式表示 G 的每个元素都属于由 x 生成的子群。

1. 由单个元素生成的子群

1. 字幕依据
   观察依据

   幻灯片序列提问：“包含 x 的 G 的最小子群是什么？”随后显示“⟨x⟩ = {..., $x^{-4}$, $x^{-3}$, $x^{-2}$, $x^{-1}$, 1, x, $x^2$, $x^3$, $x^4$, ...}”，并标注“= 由 x 生成的群”。

2. 声音
   观察依据

   讲师解释道：任何包含 x 的子群都必须包含 $x^{-1}$、单位元以及 x 和 $x^{-1}$ 的所有幂；接着指出，这个集合正是包含 x 的最小子群，称为由 x 生成的群。

对于群 G 中选定的元素 x，由 x 生成的子群是指 G 中包含 x 的最小子群。视频通过从 x 出发，强制加入其逆元、单位元以及为满足封闭性所需的所有整数次幂，来构造该子群。

1. G 是一个以 × 为运算的群。

2. x 属于 G。

3. 屏幕上显示的集合采用乘法记号书写。

1. 群的加法记号与乘法记号

1. 字幕依据
   观察依据

   幻灯片文字列出：“加法记号：+”、“乘法记号：×”、“单位元：0”和“单位元：1”。

2. 声音
   观察依据

   讲师指出，即使群中元素并非数字，群也通常采用加法记号或乘法记号来书写，并明确单位元符号为0和1。

本视频介绍了抽象群的两种标准记号惯例：加法记号用 + 表示运算，用 0 表示单位元；乘法记号用 × 表示运算，用 1 表示单位元。主讲人强调，这些符号仅为形式约定，并不要求群元素必须是实数。

1. 用于抽象群。

2. 记号的选择会改变运算符号与单位元符号，但不会改变群本身的结构。

1. 字幕依据
   观察依据

   幻灯片文字：“设 H 是一个运算为 + 的群”，“取 $y \in H$”，以及“由 y 生成的群 = 包含 y 的 H 的最小子群。”

2. 声音
   观察依据

   主讲人说：“值得花一点时间，用加法记号复述这一定义：设 H 是一个群，并取 H 中的一个元素 y。由 y 生成的群，就是包含 y 的 H 的最小子群。”

1. 生成集合的加法展开仅刚开始，片段结束前尚未列出‘它必须包含 y’之后的后续项。

同一生成思想被重新表述为加法记号下的群 H：对 $y \in H$，由 y 生成的群仍定义为包含 y 的 H 的最小子群。片段在完整列出所有必需元素的加法形式之前即告结束。

1. H 是一个运算为 + 的群。

2. y 属于 H。

1. 由单个元素生成的子群
2. 群的加法记号与乘法记号

1. 公式
   观察依据

   幻灯片显示：“由 y 生成的群 = H 中包含 y 的最小子群。”

2. 公式
   观察依据

   幻灯片显示 ⟨y⟩ = {…, -3y, -2y, -y, 0, y, 2y, 3y, …}。

3. 声音
   观察依据

   主讲人解释道，该生成群包含 y、它的逆元 -y、单位元 0，以及 y 的所有正整数倍与负整数倍。

对于加法群 H 和元素 $y \in H$，由 y 生成的子群是 H 中包含 y 的最小子群。在所示的加法记号下，它由 y 的所有整数倍、0以及这些倍数的逆元组成。

1. H 是以 + 为运算的群

2. y 属于 H

1. 公式
   观察依据

   幻灯片显示：“若 H = ⟨y⟩ 对某个 y 成立，则称 H 为循环群。”

2. 声音
   观察依据

   主讲人说：“若 H 可由某个元素 y 生成，则称 H 为循环群。”

若群 H 中存在至少一个元素 y，使得 H 等于由 y 生成的子群，则称 H 为循环群。

1. H 是一个群

2. 存在 $y \in H$，使得 H 的每个元素都属于 ⟨y⟩

1. 加法群中的生成子群

1. 公式
   观察依据

   幻灯片显示：“群：整数集 ℤ（配备加法运算）”以及“断言：ℤ = ⟨1⟩。”

2. 公式
   观察依据

   幻灯片显示 ⟨1⟩ = {…, −4, −3, −2, −1, 0, 1, 2, 3, 4, …}。

3. 声音
   观察依据

   主讲人总结道：“这涵盖了所有整数。整数构成一个循环群。”

整数的加法群由1生成，因为对1反复进行求和与取逆运算，可得到所有整数——包括正整数、负整数和零。

1. 群运算是整数集 ℤ 上的普通加法

1. 循环群

1. 公式
   观察依据

   幻灯片显示：“群：G = 模 n 整数加法群”，“元素：{0, 1, 2, ..., n-1}”，以及“G 是循环群：G = ⟨1⟩”。

2. 声音
   观察依据

   主讲人指出，模 n 整数构成一个含 n 个元素的有限群，且同样由1生成。

1. 幻灯片未明确说明 n 是正整数，但‘模 n 整数’的标准含义即指 n 为正整数。

模 n 剩余类的加法群恰好包含元素0、1、2、…、n-1，且是循环群，因为1通过重复相加并取模约化可生成所有剩余类。

1. 运算是模 n 加法

2. 剩余类代表元为 {0,1,2,…,n-1}

1. 循环群
2. 加法群中的生成子群

1. 公式
   观察依据

   幻灯片文字：“模 n 整数：ℤ/nℤ”

2. 声音
   观察依据

   主讲人表示，学习商群之后，这种记号的含义就会变得清晰。

1. 本视频片段未在此处定义商群。

在抽象代数中，整数模 n 通常记作 ℤ/nℤ。这是商群记号，但本片段仅引入该符号，其完整解释留待后续学习。

1. 用于表示模〔n〕整数的加法群。

1. 模 n 整数构成一个有限循环群

1. 公式
   观察依据

   幻灯片列出“无限的：ℤ，加法”和“有限的：ℤ/nℤ，加法”。

2. 声音
   观察依据

   主讲人提问是否存在其他循环群，并回答：“不存在，就是这些。这就是全部的循环群。”

1. 本片段通过口头陈述和示例列表给出了分类，但未给出证明。

据讲座所述，每个循环群要么是加法下的无限循环群 ℤ，要么是加法下的某个有限循环群 ℤ/nℤ。

1. 群是在同构意义下考虑的。

2. 所展示的运算是加法。

1. 整数在加法运算下构成一个无限循环群
2. 模 n 整数构成一个有限循环群

1. 图示
   观察依据

   幻灯片标题为“循环群”，分为两类：“无限：$\mathbb{Z}, +$”和“有限：$\mathbb{Z}/n\mathbb{Z}, +$”。

2. 图示
   观察依据

   在“有限”一行下方展示的具体有限例子：“$\mathbb{Z}/2\mathbb{Z}$”、“$\mathbb{Z}/3\mathbb{Z}$”、“$\mathbb{Z}/4\mathbb{Z}$”。

3. 声音
   观察依据

   说话人口头列举例子：“模3、模4的整数，等等。”

本片段通过其基本例子来介绍循环群。无限例子是整数的加法群$\mathbb{Z}$；有限例子是加法下的商群$\mathbb{Z}/n\mathbb{Z}$，由$\mathbb{Z}/2\mathbb{Z}$、$\mathbb{Z}/3\mathbb{Z}$和$\mathbb{Z}/4\mathbb{Z}$加以说明；说话人还提醒观众不要遗漏平凡群。

1. 这些例子以循环群类的成员形式呈现。

2. 有限的例子写作$\mathbb{Z}$对$n\mathbb{Z}$的商群。

1. 图示
   观察依据

   幻灯片添加了“平凡群：$\{e\}$”这一行。

2. 声音
   观察依据

   主讲人说：“哦，别忘了平凡群。”

平凡群被单独挑出，作为一个在列举循环群时不应遗漏的额外例子。屏幕上将其写作仅含单位元的单元素集合。

1. 它与其它循环群例子一同呈现在同一张幻灯片上。

1. 循环群的标准例子

1. 声音
   观察依据

   主讲人指出，任何包含 x 的子群，也必须包含 x 的逆元、必须包含单位元；并且为满足群运算的封闭性，还必须包含 x 的所有幂次以及 x 的逆元的所有幂次。

2. 字幕依据
   观察依据

   幻灯片直观地从 x 出发，逐步构建集合：先得到 $x^{-1}$，再得到 1，最后得到 x 的所有正整数次幂与负整数次幂。

若 G 的一个子群包含 x，则它也必须包含 $x^{-1}$、单位元 1，以及由群运算的封闭性所生成的 x 的所有整数次幂。

1. G 是一个群。

2. $H \le G$ 是 G 的一个子群。

3. x 属于 H。

对 G 的任意子群 H 以及 H 中的任意元素 x。

1. 声音
   观察依据

   讲师说：“x 的所有整数次幂构成的这个集合，是 G 中包含 x 的最小子群。”

2. 字幕依据
   观察依据

   屏幕上显示的集合标注为“= 由 x 生成的群”。

1. 本片段中，视频直接断言该集合的最小性，而未通过显式的交集论证来证明。

x 的所有整数次幂构成的集合，记作 ⟨x⟩，是 G 中包含 x 的最小子群。

1. G 是一个以 × 为运算的群。

2. x 属于 G。

对于固定的群 G 和固定的元素 $x \in G$。

1. 字幕依据
   观察依据

   幻灯片文字：“若 G = ⟨x⟩ 对某个 x 成立，则称 G 为循环群。”

2. 声音
   观察依据

   讲师说：“若 G 中存在一个元素 x，使得 G 等于由 x 生成的群，则称 G 为循环群。”

群 G 是循环群，当且仅当存在某个 $x \in G$，使得 G = ⟨x⟩。

1. G 是一个群。

存在一个元素 $x \in G$，使得 G = ⟨x⟩。

1. 公式
   观察依据

   幻灯片文字：“由 y 生成的子群 = 包含 y 的 H 的最小子群。”

2. 声音
   观察依据

   主讲人描述该生成子群中的元素为 y、-y、0，以及 y 的所有正整数倍与负整数倍。

对于加法群 H 和 $y \in H$，由 y 生成的子群是包含 y 的 H 的最小子群，即 ⟨y⟩ = {…, -3y, -2y, -y, 0, y, 2y, 3y, …}。

1. H 是一个以 + 为运算的群

2. y 属于 H

对每个 $y \in H$

1. 公式
   观察依据

   幻灯片文字：“若 H = ⟨y⟩ 对某个 y 成立，则称 H 为循环群。”

2. 声音
   观察依据

   主讲人说：“若 H 可由某个元素 y 生成，则称 H 为循环群。”

群 H 是循环群，当且仅当存在某个 $y \in H$，使得 H = ⟨y⟩。

1. H 是一个群

存在 $y \in H$

1. 公式
   观察依据

   幻灯片文字：“断言：ℤ = ⟨1⟩”

2. 公式
   观察依据

   幻灯片显示 ⟨1⟩ = {…, −4, −3, −2, −1, 0, 1, 2, 3, 4, …}

3. 声音
   观察依据

   主讲人指出，整数集由数字1生成，且该生成覆盖全部整数

在加法运算下，ℤ = ⟨1⟩，因此 ℤ 是一个循环群

1. 该群是整数集 ℤ，其运算是加法

针对特定生成元1

1. 公式
   观察依据

   幻灯片文字：“群：G = 模 n 整数加法群”，“元素：{0, 1, 2, …, $n-1$}”，以及“G 是循环群：G = ⟨1⟩”

2. 声音
   观察依据

   主讲人指出这是一个含 n 个元素的有限群，且由1生成

1. 屏幕上未说明 n 的确切允许取值

模 n 的整数加法群的元素为 \{0,1,2,$\ldots$,n-1\}，且满足 $G = \langle 1 \rangle$，因此它是阶为 n 的有限循环群。

1. G 是模 n 的整数关于加法构成的群

2. n 是模数

对于模数 n 和生成元 1

1. 公式
   观察依据

   幻灯片列出“无限群：$\mathbb{Z}$，加法”和“有限群：$\mathbb{Z}/n\mathbb{Z}$，加法”。

2. 声音
   观察依据

   讲话者说：“还有别的循环群吗？没有，就这些。这就是循环群的全部分类。”

1. 该片段陈述了分类结论，但未给出证明。

在同构意义下，循环群恰好是加法群 $\mathbb{Z}$（无限循环群）以及加法群 $\mathbb{Z}/n\mathbb{Z}$（有限循环群）。

1. 群在同构意义下进行比较

对任一循环群

1. 图示
   观察依据

   幻灯片标题：“有限生成阿贝尔群基本定理”。

2. 声音
   观察依据

   主讲人：“它说的是：任何有限生成的阿贝尔群，都可以被拆分为有限多个循环群。”

3. 声音
   观察依据

   主讲人：“而每个循环群，要么是整数加法群，要么是模 n 的整数加法群。”

1. 该视频片段未展示分解的具体代数形式，例如未给出明确的直和表达式。

任何满足所述前提条件的阿贝尔群，均可被拆分为有限多个循环群；且每个循环群，均属于讲座所述意义下的$\mathbb{Z}$或$\mathbb{Z}/n\mathbb{Z}$。

1. 该群是阿贝尔群。

2. 该群是有限生成的。

对任意满足所述前提条件的阿贝尔群。

1. 声音
   观察依据

   主讲人：“循环群是有限生成阿贝尔群的基本构成单元。”

循环群是有限生成阿贝尔群的基本构成单元。

1. 该讨论处于有限生成阿贝尔群的语境中，并围绕刚刚提到的定理展开。

该定理在有限生成阿贝尔群这一类群中普遍成立。

1. 声音
   观察依据

   讲师从谜题‘包含 x 的 G 的最小子群是什么？’出发，逐步推理，得出该子群必须包含 $x^{-1}$、1以及 x 的所有幂次。

2. 字幕依据
   观察依据

   幻灯片逐步呈现该集合：先显示 x，再显示 $x^{-1}$，然后显示1，接着是正整数次幂，再是负整数次幂，最后是完整的括号记号 ⟨x⟩。

1. 公式

   $$x$$
   解释

   从子群必须包含的选定元素 x 开始。

   步骤依据

   由设定“任取 $x \in G$”以及题目要求构造一个包含 x 的子群所给出。

   视频直接表达
2. 公式

   $$x^{-1}$$
   解释

   加入 x 的逆元。

   步骤依据

   任何包含 x 的子群也必须包含 x 的逆元。

   视频直接表达
3. 公式

   $$1$$
   解释

   加入单位元。

   步骤依据

   每个子群都必须包含单位元。

   视频直接表达
4. 公式

   $$x^2, x^3, x^4, \ldots$$
   解释

   加入 x 的正整数次幂。

   步骤依据

   子群对群运算的封闭性迫使 x 的重复乘积仍保留在该子群中。

   视频直接表达
5. 公式

   $$x^{-2}, x^{-3}, x^{-4}, \ldots$$
   解释

   加入 x 的逆元的幂。

   步骤依据

   一旦包含 $x^{-1}$，封闭性就迫使 $x^{-1}$ 的所有更高次幂也必须被包含。

   视频直接表达
6. 公式

   $$\langle x \rangle = \{\ldots, x^{-4}, x^{-3}, x^{-2}, x^{-1}, 1, x, x^2, x^3, x^4, \ldots\}$$
   解释

   将所有被强制包含的元素汇集为一个集合，并称其为由 x 生成的群。

   步骤依据

   讲者指出，这个全体整数次幂构成的集合，正是 G 中包含 x 的最小子群。

   视频直接表达

由 x 生成的子群是 x 的所有整数次幂构成的集合，记作 ⟨x⟩。

1. 公式
   观察依据

   幻灯片逐步构建 $\langle 1 \rangle$：从 1 开始，接着是 0、1，然后是 -1、0、1，最后得到全体整数序列。

2. 声音
   观察依据

   主讲人指出，所生成的群必须包含1、单位元0、加法逆元-1，以及1和-1的所有倍数。

1. 公式

   $$1 \in \langle 1 \rangle$$
   解释

   从选定的生成元1出发。

   步骤依据

   根据由单个元素生成的子群的定义，该生成元本身属于所生成的子群。

   视频直接表达
2. 公式

   $$0 \in \langle 1 \rangle$$
   解释

   单位元0也必须存在。

   步骤依据

   任何子群都必须包含其所在群的单位元。

   视频直接表达
3. 公式

   $$-1 \in \langle 1 \rangle$$
   解释

   1的加法逆元必须被包含在内。

   步骤依据

   子群在取逆运算下必须封闭。

   视频直接表达
4. 公式

   $$\ldots, -3, -2, -1, 0, 1, 2, 3, \ldots \subseteq \langle 1 \rangle$$
   解释

   1的所有正倍数和负倍数都被迫进入该子群。

   步骤依据

   在群运算和取逆运算下的封闭性要求该生成元的所有整数倍都必须属于该子群。

   视频直接表达
5. 公式

   $$\langle 1 \rangle = \mathbb{Z}$$
   解释

   这些倍数穷尽了所有整数，因此所生成的子群就是整个群。

   步骤依据

   每个整数都是1的一个整数倍。

   视频直接表达

整数的加法群是循环群，其生成元为1。

1. 公式
   观察依据

   幻灯片列出了同余式：n ≡ 0 (mod n)，$n+1$ ≡ 1 (mod n)，$n+2$ ≡ 2 (mod n)，$n+3$ ≡ 3 (mod n)，-1 ≡ n-1 (mod n)，-2 ≡ n-2 (mod n)。

2. 动画
   观察依据

   箭头将长整数序列映射为重复出现的剩余类序列，花括号标记长度为 n 的块。

3. 声音
   观察依据

   讲述者指出，由1生成的群会自我重复，并不断循环遍历0至 n-1。

1. 公式

   $$\langle 1 \rangle \text{ in } \mathbb{Z}/n\mathbb{Z} \text{ begins as } 0,1,2,\ldots$$
   解释

   在模 n 群内开始列出1的倍数。

   步骤依据

   采用与 ℤ 相同的生成规则，但将结果解释为模 n 的剩余类。

   视频直接表达
2. 公式

   $$n \equiv 0 \pmod{n}$$
   解释

   到达 n 后，数值回到0。

   步骤依据

   模 n 同余将 n 识别为单位剩余类。

   视频直接表达
3. 公式

   $$n+1 \equiv 1 \pmod{n},\; n+2 \equiv 2 \pmod{n},\; n+3 \equiv 3 \pmod{n}$$
   解释

   后续数值重复先前的剩余类1、2、3、……

   步骤依据

   继续加上1的倍数，将使剩余类按循环方式前进。

   视频直接表达
4. 公式

   $$-1 \equiv n-1 \pmod{n},\; -2 \equiv n-2 \pmod{n}$$
   解释

   负倍数也落在相同的剩余类代表元之中。

   步骤依据

   模 n 意义下，负整数由与其等价的正剩余表示。

   视频直接表达
5. 公式

   $$\langle 1 \rangle = \{0,1,2,\ldots,n-1\}$$
   解释

   因此生成的集合恰好构成模 n 的一个完全剩余系。

   步骤依据

   图中显示的箭头与花括号表明了以 n 为周期的周期性重复。

   视频直接表达

模 n 的整数加法群是循环群，由1生成，其元素依次遍历0、1、$\ldots$、n-1。

1. 声音
   观察依据

   主讲人提问：“为什么循环群如此重要？”

2. 声音
   观察依据

   主讲人通过指出‘有限生成阿贝尔群基本定理’来回答这个问题。

3. 声音
   观察依据

   主讲人将该定理解释为：可分解为有限多个循环群的直和。

4. 声音
   观察依据

   主讲人得出结论：循环群是基本构成单元。

1. 公式

   $$$$
   解释

   提出引导性问题：为何应视循环群为重要？

   步骤依据

   该陈述直接出现在第二部分开头的音频中。

   视频直接表达
2. 公式

   $$$$
   解释

   以有限生成阿贝尔群基本定理作为核心原因进行介绍。

   步骤依据

   主讲人明确将循环群的重要性归因于该定理。

   视频直接表达
3. 公式

   $$$$
   解释

   运用该定理的内容：每个有限生成阿贝尔群均可分解为有限个循环群的直和。

   步骤依据

   这是主讲人给出的非正式表述。

   视频直接表达
4. 公式

   $$$$
   解释

   回顾前一张幻灯片中已列出的循环群类型：$\mathbb{Z}$和$\mathbb{Z}/n\mathbb{Z}$，以及此前已指出的平凡群。

   步骤依据

   本片段将该定理与先前对循环群示例的分类联系起来。

   视频直接表达
5. 公式

   $$$$
   解释

   得出结论：循环群是有限生成阿贝尔群的基本构成单元。

   步骤依据

   这是主讲人在陈述分解事实后所作的明确结论。

   视频直接表达

循环群之所以重要，是因为结构定理将有限生成阿贝尔群约化为有限多个循环群部分。

1. 公式
   观察依据

   幻灯片标题：“例”；正文：“群：整数集 $\mathbb{Z}$ 关于加法 +”，“断言：$\mathbb{Z} = \langle 1 \rangle$”。

2. 公式
   观察依据

   幻灯片展示 $\langle 1 \rangle$ = \{$\ldots$, -4, -3, -2, -1, 0, 1, 2, 3, 4, $\ldots$\}，并得出结论：“$\mathbb{Z}$ 是一个循环群。”

3. 声音
   观察依据

   主讲人依次讲解了1、0、-1，以及所有1的倍数和-1的倍数。

证明整数加法群是循环群。

1. 该群是整数集 $\mathbb{Z}$，运算为加法 +

2. 候选生成元是1

证明 $\mathbb{Z} = \langle 1 \rangle$。

1. 公式

   $$\langle 1 \rangle \text{ must contain } 1$$
   解释

   从生成元本身开始。

   步骤依据

   生成子群的定义。

   视频直接表达
2. 公式

   $$\langle 1 \rangle \text{ must contain } 0$$
   解释

   包含单位元。

   步骤依据

   子群必含单位元。

   视频直接表达
3. 公式

   $$\langle 1 \rangle \text{ must contain } -1$$
   解释

   包含1的逆元。

   步骤依据

   子群对取逆运算封闭。

   视频直接表达
4. 公式

   $$\langle 1 \rangle = \{\ldots, -4, -3, -2, -1, 0, 1, 2, 3, 4, \ldots\}$$
   解释

   继续取所有正倍数和负倍数。

   步骤依据

   加法封闭性迫使1的所有整数倍都属于该集合。

   视频直接表达
5. 公式

   $$\mathbb{Z} = \langle 1 \rangle$$
   解释

   这个集合恰好就是全体整数。

   步骤依据

   每个整数都是1的倍数。

   视频直接表达

ℤ 是由1生成的循环群。

所显示的集合 {…, −4, −3, −2, −1, 0, 1, 2, 3, 4, …} 恰好就是 ℤ。

1. 公式
   观察依据

   幻灯片标题：“有限循环群”；文字：“群：G = 模 n 整数加法群”，“元素：\{0, 1, 2, ..., n-1\}”，“G 是循环群：$G = \langle 1 \rangle$”。

2. 公式
   观察依据

   幻灯片列出若干同余式，展示模 n 下的重复现象。

3. 动画
   观察依据

   箭头与大括号表明该序列折叠为长度为 n 的重复块。

4. 声音
   观察依据

   主讲人指出，所生成的群会自我重复，并不断循环遍历 0 至 n-1。

1. 视频未明确说明 n 须满足的额外限制，仅按常规模运算含义理解。

证明模 n 整数加法群是一个有限循环群。

1. G = 模 n 整数加法群

2. 元素为 \{0,1,2,$\ldots$,n-1\}

3. 候选生成元为 1

证明 $G = \langle 1 \rangle$，并解释该群为何是有限的且为循环群。

1. 公式

   $$\text{Start with multiples of }1$$
   解释

   列出反复加上 1 所产生的各个元素。

   步骤依据

   在加法群中，生成操作通过对生成元进行重复相加来实现。

   视频直接表达
2. 公式

   $$n \equiv 0 \pmod{n}$$
   解释

   当计数达到 n 时，它返回到0。

   步骤依据

   模 n 同余将 n 归入单位元所在的同余类。

   视频直接表达
3. 公式

   $$n+1 \equiv 1 \pmod{n},\; n+2 \equiv 2 \pmod{n},\; n+3 \equiv 3 \pmod{n}$$
   解释

   后续的值会重复之前出现过的剩余类。

   步骤依据

   模 n 同余使得该序列以 n 为周期呈周期性。

   视频直接表达
4. 公式

   $$-1 \equiv n-1 \pmod{n},\; -2 \equiv n-2 \pmod{n}$$
   解释

   负整数倍也同样约化为列表中已有的剩余类。

   步骤依据

   每个负整数都模 n 同余于集合 \{0,1,$\ldots$,n-1\} 中的某个代表元。

   视频直接表达
5. 公式

   $$G = \langle 1 \rangle = \{0,1,2,\ldots,n-1\}$$
   解释

   因此，该生成子群即为整个有限群。

   步骤依据

   图中所示的箭头与大括号表明：所有元素均被遍历，随后开始重复。

   视频直接表达

模 n 的整数构成一个阶为 n 的有限循环群，由1生成。

元素列表恰好包含 n 个条目，可视化映射展示了这 n 个剩余类的周期性重复。

1. 图示
   观察依据

   幻灯片列出了“$\mathbb{Z}$”、“$\mathbb{Z}/2\mathbb{Z}$”、“$\mathbb{Z}/3\mathbb{Z}$”、“$\mathbb{Z}/4\mathbb{Z}$”，随后又列出“平凡群：$\{e\}$”。

2. 声音
   观察依据

   主讲人说：“模3、模4的整数群，等等。哦，别忘了平凡群。”

从课件幻灯片中识别循环群的例子。

1. 无限例子：$\mathbb{Z}, +$

2. 有限例子：$\mathbb{Z}/n\mathbb{Z}, +$

3. 具体的有限情形：$\mathbb{Z}/2\mathbb{Z}$、$\mathbb{Z}/3\mathbb{Z}$、$\mathbb{Z}/4\mathbb{Z}$

4. 补充情形：平凡群$\{e\}$

列出视频片段中呈现的循环群例子。

1. 公式

   $$\mathbb{Z}, +$$
   解释

   整数集在加法运算下被作为无限循环群的例子给出。

   步骤依据

   在幻灯片“无限：”标题下可直接看到。

   视频直接表达
2. 公式

   $$\mathbb{Z}/2\mathbb{Z},\ \mathbb{Z}/3\mathbb{Z},\ \mathbb{Z}/4\mathbb{Z}$$
   解释

   这些商群被作为具体的有限循环群例子给出。

   步骤依据

   在幻灯片上可见，并在音频中被表述为“模3、模4的整数，等等”。

   视频直接表达
3. 公式

   $$\{e\}$$
   解释

   平凡群被额外添加为一个不应被遗忘的例子。

   步骤依据

   出现在幻灯片约00:04处，并在音频中被命名。

   视频直接表达

示例包括$\mathbb{Z}$、有限群$\mathbb{Z}/n\mathbb{Z}$（含$\mathbb{Z}/2\mathbb{Z}$、$\mathbb{Z}/3\mathbb{Z}$、$\mathbb{Z}/4\mathbb{Z}$）以及平凡群$\{e\}$。

每一项均直接显示在幻灯片上和/或在音频中于00:00-00:06时段内朗读。

1. 字幕依据
   观察依据

   左侧卡片首先显示循环群的定义语句，然后添加“G = ⟨x⟩”，接着逐条出现项目符号：「» 定义‘生成’」、「» 若干例子」、「» 为何称为‘循环’？」、「» 循环群的重要性」。

2. 动画
   观察依据

   文字条目随讲师讲解依次呈现。

1. 含定义文本的标题卡片

2. 公式 G = ⟨x⟩

3. 四个项目符号形式的议程条目

1. 公式在初始语句之后出现。

2. 项目符号自上而下逐条添加。

1. 核心主题始终是循环群。

2. 讲师始终保留在屏幕中卡片旁。

开场视觉画面既确立了待讲解的定义，又预览了本课计划：定义‘生成’、给出若干例子、解释名称由来、讨论循环群的重要性。

1. 字幕依据
   观察依据

   居中显示的标题卡片上写着“循环群”。

2. 动画
   观察依据

   上一张幻灯片消失，由该标题卡片取而代之。

1. 居中显示的标题卡片：“循环群”

1. 屏幕布局从讲师讲解加大纲视图切换为独立标题卡片。

1. 主题仍为循环群。

这是引入主讲内容的章节分隔页。

1. 字幕依据
   观察依据

   一张新卡片依次列出：“加法记号：+”，“乘法记号：×”，并在加法记号下方插入“单位元：0”，在乘法记号下方插入“单位元：1”。

2. 动画
   观察依据

   随着讲师讲解记号，各行内容逐条出现。

1. 加法记号行

2. 乘法记号行

3. 单位元标识线

1. 加法单位元标识线排在最前面。

2. 乘法单位元标识线排在第二位。

3. 单位元标签插入在其对应符号行的正下方。

1. 该幻灯片严格对比两种符号约定。

该图示在正式定义生成子群之前，先梳理了本讲所用的符号约定。

1. 字幕依据
   观察依据

   标题为“循环群的定义”的幻灯片显示：“设 G 是一个运算为 × 的群”，“任取 $x \in G$”，以及关于包含 x 的最小子群的问题；随后逐项构建该集合，直至完整显示 ⟨x⟩。

2. 动画
   观察依据

   集合中的元素分阶段呈现，接着标出“= 由 x 生成的群”，最后给出循环群的判定条件。

1. G 和 x 的设定行

2. 提问行

3. 幂次集合逐步扩展

4. 标注为“= 由 x 生成的群”

5. 最终判定条件行

1. 该集合从单独的 x 开始。

2. 然后加入 $x^{-1}$ 和 1。

3. 接着添加正整数次幂。

4. 再在左侧添加负整数次幂。

5. 最后将整个集合重命名为 ⟨x⟩，并陈述循环群条件。

1. 本节中群运算始终保持为 ×。

2. 底元始终为 x。

动画使极小性论证变得直观：依据子群公理，每一项新元素都被迫加入，直至得到完整的生成子群。

1. 字幕依据
   观察依据

   幻灯片重置为“设 H 是一个运算为 + 的群”，然后是“取 $y \in H$”，再是“由 y 生成的群 = H 中包含 y 的最小子群。”

2. 动画
   观察依据

   乘法部分清空后，新行依次出现。

1. 从「它必须包含 y」这句话开始的加法展开式在此片段中未完成。

1. H 的设定行

2. 选取 $y \in H$ 的行

3. 由 y 生成的群的定义行

1. 此前的乘法内容已被清除。

2. 新的加法记号行逐行出现。

1. 概念目标仍是单个元素生成。

授课者将同一定义翻译为加法记号，为用 + 和 0 替代 × 和 1 来复现先前的构造做准备。

1. 动画
   观察依据

   公式区域首先显示 -y、y，然后插入0，再扩展为 \{$\ldots$, -3y, -2y, -y, 0, y, 2y, 3y, $\ldots$\}。

2. 公式
   观察依据

   最后一页文字包含：“若 H = 〈y〉（对某个 y），则称 H 为循环群。”

1. 文字行：“循环群的定义”

2. 符号 y

3. 符号 -y

4. 符号 0

5. 集合记号 〈y〉 = {…}

1. 所展示的生成集合从少数几个元素逐步扩展为 y 的全部整数倍所构成的双向无限序列。

2. 在展示完生成子群后，添加循环群的定义。

1. 背景群 H 及其运算 + 保持不变。

2. 生成元 y 在整个过程中始终作为参考元素。

该动画以视觉方式体现子群的封闭性要求：须包含生成元、其逆元、单位元，以及 y 的所有整数倍。

1. 动画
   观察依据

   整数示例的幻灯片首先显示〈1〉为1，接着是0、1，然后是－1、0、1，最后显示完整的整数序列。

2. 公式
   观察依据

   最终文字陈述：“ℤ 是一个循环群。”

1. 标题“示例”

2. 文字：“群：整数 ℤ 在加法下”

3. 文字：“断言：ℤ = 〈1〉”

4. 序列{…,－4,－3,－2,－1,0,1,2,3,4,…}

1. 〈1〉所列元素从1开始逐步向外揭示，依次包含0、－1，最后涵盖所有整数。

2. 在完整序列展示完毕后，得出 ℤ 是循环群的结论。

1. 该群始终保持为加法下的 ℤ。

2. 生成元始终为1。

视觉递进展示表明：在加法和取逆运算下的封闭性，迫使所有整数都出现在由1生成的子群中。

1. 动画
   观察依据

   一个长整数序列显示在约化剩余序列上方，向下的箭头将各项映射为：n 映射到0，$n+1$映射到1，-1映射到n-1等。

2. 动画
   观察依据

   花括号将下方一行分组为长度为n的重复块。

3. 公式
   观察依据

   所显示的同余式包括：n ≡ 0 (mod n)，$n+1$ ≡ 1 (mod n)，-1 ≡ n-1 (mod n)。

1. 上方整数行：…, -2, -1, 0, 1, 2, …, n-1, n, $n+1$, …

2. 下方剩余类行：…, n-2, n-1, 0, 1, 2, …

3. 向下箭头

4. 标记分块的花括号

1. 上方整数行中的每个整数都被映射到下方行中其关于n的剩余类。

2. 下方行无限重复块0, 1, 2, …, n-1。

1. 模数n是固定的。

2. 生成元仍为1。

3. 剩余类代表元集合为 \{0,1,2,$\ldots$,n-1\}。

图示说明了为什么 $\mathbb{Z}/n\mathbb{Z}$ 中由 1 生成的子群是有限的：每次加上 1 恰好遍历 n 个剩余类后开始重复。

1. 公式
   观察依据

   幻灯片列出“无限：$\mathbb{Z}$, +”和“有限：$\mathbb{Z}/n\mathbb{Z}$, +”。

2. 动画
   观察依据

   具体例子 $\mathbb{Z}$, $\mathbb{Z}/2\mathbb{Z}$, $\mathbb{Z}/3\mathbb{Z}$ 出现在一般有限类型下方。

1. 标题“循环群”

2. 行文：“无限：$\mathbb{Z}$, +”

3. 行文：“有限：$\mathbb{Z}/n\mathbb{Z}$, +”

4. 例子：$\mathbb{Z}$, $\mathbb{Z}/2\mathbb{Z}$, $\mathbb{Z}/3\mathbb{Z}$

1. 该总结首先区分无限循环群与有限循环群。

2. 随后在有限情形下补充具体的、较小的有限例子。

1. 这两类群均以加法作为运算。

结束页将本讲内容归纳为两种典型模型：无限循环群和模 n 的有限循环群。

1. 图示
   观察依据

   左侧一个浅灰色圆角矩形内包含标题“循环群”，以及两行文字：“无限：$\mathbb{Z}, +$”和“有限：$\mathbb{Z}/n\mathbb{Z}, +$”，其下方列有示例。

2. 动画
   观察依据

   约在00:04时刻，幻灯片底部出现文字行：“平凡群：$\{e\}$”。

1. 标题：“循环群”

2. 文字行：“无限：$\mathbb{Z}, +$”

3. 文字行：“有限：$\mathbb{Z}/n\mathbb{Z}, +$”

4. 示例：“$\mathbb{Z}/2\mathbb{Z}$”、“$\mathbb{Z}/3\mathbb{Z}$”、“$\mathbb{Z}/4\mathbb{Z}$”

5. 新增文字行：“平凡群：$\{e\}$”

1. 该幻灯片最初展示了无限循环群与有限循环群的示例。

2. 约在00:04时刻，平凡群被添加至列表末尾。

1. 此时间段内标题始终为“循环群”。

2. $\mathbb{Z}$和$\mathbb{Z}/n\mathbb{Z}$所展示的运算均为加法。

该图示将循环群归类为若干标准族，并提醒观众：含一个元素的平凡群也应列入该列表中。

1. 图示
   观察依据

   一个新出现的浅灰色圆角矩形框，标题为“有限生成阿贝尔群基本定理”。

2. 动画
   观察依据

   幻灯片保持静止，同时讲师讲解循环群的分解。

1. 标题：“有限生成阿贝尔群基本定理”

1. 前一张展示循环群示例的幻灯片消失。

2. 一张定理标题幻灯片取而代之，并在讲解过程中持续显示于屏幕。

1. 本片段中，该幻灯片上未显示任何公式或证明步骤。

2. 讲师始终可见，位于幻灯片旁。

该图示起主题标记作用：讲座内容由此从前述循环群示例转向解释其结构重要性的定理。

1. 动画
   观察依据

   讲师讲完后，画面切换为无数学文本的深色纹理背景。

2. 声音
   观察依据

   仅有纯音乐继续播放，不再有语音内容。

1. 深色纹理背景。

1. 讲座幻灯片与主讲人消失。

2. 该片段剩余部分为无声的结尾画面。

1. 此时间段内不出现任何公式、图表或口头表述的数学语句。

此部分仅作为结束画面，而非数学讲解的一部分。

1. 声音
   观察依据

   授课者指出，即使群中元素并非数字、运算也非数值运算，仍可采用加法或乘法记号；并提醒听众，尽管记号可能使人联想到实数，但仍须保持抽象思维。

2. 字幕依据
   观察依据

   记号对照幻灯片将 + 和 × 与抽象群配对，而非具体数值示例。

由于群常常用 +、×、0 和 1 表示，人们可能错误地认为其中的元素必须是实数，运算也必须是普通的加法或乘法。

视频明确指出，这些符号只是抽象群的记号惯例；其中的元素可以是几何变换、函数复合或其他非数值对象。

1. 声音
   观察依据

   主讲人说：“一旦你学习了商群，这个说法就会变得清晰；如果你还不熟悉这种记号，也不必惊慌。”

2. 公式
   观察依据

   幻灯片显示“模 n 的整数：ℤ/nℤ”。

学生可能会认为必须掌握斜线记号才能立刻理解这个例子。

视频将 ℤ/nℤ 视为整数模 n 的标准抽象代数记号，并明确向观众保证：其完整含义将在后续学习商群时给出。

1. 声音
   观察依据

   主讲人将整数集作为无限循环群，与模 n 整数作为有限循环群进行对比。

2. 动画
   观察依据

   模 n 示意图显示每经过 n 步即发生重复，而整数示例则不重复。

有人可能因生成元会‘循环’而误以为循环群必然只有有限个元素。

讲座以 ℤ 为例说明无限循环群，以 ℤ/nℤ 为例说明有限循环群，指出循环性关注的是能否由一个元素生成，而非群本身是否有限。

1. 声音
   观察依据

   主讲人说：“哦，别忘了平凡群。”

2. 图示
   观察依据

   幻灯片在有限例子之后立即添加“平凡群：$\{e\}$”。

人们可能只列出$\mathbb{Z}$及非零有限商群$\mathbb{Z}/n\mathbb{Z}$，从而忽略平凡群。

讲座明确提醒观众，在列举循环群示例时，需包含平凡群$\{e\}$。

1. 字幕依据
   观察依据

   记号说明幻灯片出现在定义幻灯片之前，而定义则使用 × 和 1 写出。

2. 声音
   观察依据

   主讲人先介绍记号，再深入讲解循环群的定义。

在阅读用 × 和单位元 1 构造 ⟨x⟩ 的过程之前，需先理解加法记号与乘法记号的区别。

1. 字幕依据
   观察依据

   该幻灯片首先定义 ⟨x⟩，然后陈述：“若存在某个 x 使得 G = ⟨x⟩，则称 G 为循环群。”

2. 声音
   观察依据

   主讲人先定义生成概念，之后才给出循环群的判定条件。

要理解整个群为何是循环群，必须先掌握由单个元素生成的子群这一概念。

1. 字幕依据
   观察依据

   在乘法定义之后，幻灯片重新以 H、+ 和 y 开始，并重复短语“包含 y 的最小子群……”。

2. 声音
   观察依据

   主讲人表示，用加法记号重述该定义是值得的。

加法形式的重述用不同符号表达了相同的生成概念：用 + 和 0 替代了 × 和 1。

1. 字幕依据
   观察依据

   开头的公式 G = ⟨x⟩ 随后在主定义幻灯片上通过 ⟨x⟩ 的定义被逐步展开。

2. 声音
   观察依据

   主讲人指出，开篇定义首先需要解释一个群由某个元素生成的含义。

循环群的定义以生成子群的概念为核心要素。

1. 公式
   观察依据

   幻灯片首先定义〔〈y〉〕，然后指出：“若 H = 〔〈y〉〕（对某个 y），则称 H 为循环群。”

循环群的概念是直接通过等于某个单生成子群来定义的。

1. 公式
   观察依据

   在循环群的一般定义之后，整数例子使用等式 $\mathbb{Z} = \langle 1 \rangle$。

通过验证 $\mathbb{Z} = \langle 1 \rangle$，将循环群的定义应用于 $\mathbb{Z}$。

1. 公式
   观察依据

   有限例子指出“G 是循环群：$G = \langle 1 \rangle$”，其中 G 是模 n 的整数群。

同一循环群判据被应用于模 n 群。

1. 公式
   观察依据

   该幻灯片将“模 n 的整数”重写为 $\mathbb{Z}/n\mathbb{Z}$。

在此片段中，$\mathbb{Z}/n\mathbb{Z}$ 被呈现为模 n 整数所构成的同一有限循环群的标准记号。

1. 公式
   观察依据

   总结幻灯片列出：无限情形：$\mathbb{Z}$, +；有限情形：$\mathbb{Z}/n\mathbb{Z}$, +。

2. 声音
   观察依据

   主讲人称这些构成了全部的循环群。

分类陈述中包含 $\mathbb{Z}$，作为循环群的无限模型。

1. 公式
   观察依据

   总结幻灯片列出：有限情形：$\mathbb{Z}/n\mathbb{Z}$, +。

2. 声音
   观察依据

   主讲人将模 n 的整数命名为全部循环群中的一部分。

分类陈述将有限群 ℤ/nℤ 包含在内，作为循环群的有限模型。

1. 声音
   观察依据

   主讲人从列举循环群过渡到探讨其重要性，随后引出了“有限生成阿贝尔群基本定理”。

2. 图示
   观察依据

   第一张幻灯片列出循环群示例；第二张幻灯片则点明了将这些示例作为构造模块所依赖的定理。

首先引入的具体循环群示例，随后被用作“有限生成阿贝尔群结构定理”中出现的组成部分。

1. 图示
   观察依据

   在标题为“循环群”的同一张幻灯片上，添加了“平凡群：$\{e\}$”。

2. 声音
   观察依据

   主讲人在继续列举循环群示例时，提醒观众不要忘记平凡群。

在此片段中，平凡群被呈现为循环群整体列表中一个额外的特殊示例。

1. 字幕依据
   观察依据

   开场幻灯片直接给出了定义和公式。

2. 声音
   观察依据

   主讲人在开头用一句话给出了定义。

1. 循环群的定义

1. 字幕依据
   观察依据

   幻灯片将⟨x⟩标注为由x生成的群，并展示了其元素。

2. 声音
   观察依据

   主讲人在构造完该集合后，解释了方括号记号的含义。

1. 由单个元素生成的子群
2. 由 x 生成的子群的构造过程

1. 声音
   观察依据

   主讲人指出，包含x的子群必须包含x的逆元以及单位元。

2. 字幕依据
   观察依据

   集合展开式明显地在幂次之前插入了$x^{-1}$和1。

1. 包含元素 x 的子群所必须包含的内容
2. 由 x 生成的子群的构造过程

1. 字幕依据
   观察依据

   记号幻灯片列出了两种惯例及其单位元符号。

2. 声音
   观察依据

   讲师讲解了何时使用0和1。

1. 群的加法记号与乘法记号

1. 声音
   观察依据

   讲师提醒大家，不要认为群的元素必须是实数。

2. 字幕依据
   观察依据

   记号幻灯片是在抽象背景下呈现的，而非借助具体数字示例。

1. 误将群记号当作普通算术
2. 群的加法记号与乘法记号

1. 字幕依据
   观察依据

   最后一张幻灯片用加法记号重新陈述了 H 和 y 的生成关系。

2. 声音
   观察依据

   讲师明确指出，该定义正以加法记号重复表述。

1. 本片段中仅出现了加法展开式的开头部分。

1. 用加法记号重述生成概念

1. 公式
   观察依据

   幻灯片定义：“由 y 生成的群 = 包含 y 的 H 的最小子群。”

1. 加法群中的生成子群

1. 声音
   观察依据

   说话人指出，所生成的群会自我重复，并不断循环遍历0至 $n-1$。

2. 动画
   观察依据

   箭头与花括号表示模 n 的周期性重复。

1. 循环群
2. 模 n 整数构成一个有限循环群

1. 公式
   观察依据

   幻灯片指出 ℤ = ⟨1⟩，并列出了所有整数倍数。

1. 整数在加法运算下构成一个无限循环群
2. 为什么 ℤ = ⟨1⟩

1. 公式
   观察依据

   幻灯片列出元素：{0,1,2,…,$n-1$}，并指出 G = ⟨1⟩。

1. 模 n 整数构成一个有限循环群
2. 为何1的倍数在模 n 下形成循环

1. 公式
   观察依据

   幻灯片文字：“模 n 的整数：ℤ/nℤ”。

2. 声音
   观察依据

   说话人将该记号与商群联系起来。

1. 整数模 n 的记号为 ℤ/nℤ

1. 公式
   观察依据

   总结页列出：无限群：$\mathbb{Z}$，加法运算；有限群：$\mathbb{Z}/n\mathbb{Z}$，加法运算。

2. 声音
   观察依据

   主讲人称这是循环群的完整分类。

1. 循环群在同构意义下的分类。