301.7A 陪集与拉格朗日定理：导论

1. 公式
   观察依据

   左侧框中写道：“设 G 是一个有限群。”

2. 声音
   观察依据

   讲师在例子中讨论了群的阶，例如阶为16的循环群和 $Z_12$。

G

一个有限群；在演算例题中，它是加法循环群 $Z_12$。

有限群

1. 公式
   观察依据

   左侧框中写道：“且 $H < G$ 是 G 的一个子群。”

2. 公式
   观察依据

   例题中写有“子群 H = <3> = {0,3,6,9}”，随后在表格顶部一行标注为 H。

H

G 的一个子群；在示例中，H 是由 生成的子群3 在 $Z_12$。

G 的子群

1. 公式
   观察依据

   手写目标行以“整除 |G|”结尾。

2. 公式
   观察依据

   例题中写有“|G| = 12”。

|G|

有限群 G 的阶，即其元素个数。

正整数

1. 公式
   观察依据

   一个大括号覆盖四个条目0、3、6、9，其旁标注“|H| = 4”。

2. 公式
   观察依据

   另一处手写备注也写着“|H| = 4”。

|H|

子群 H 的阶，此处计为集合 {0,3,6,9} 中元素的个数。

正整数

1. 公式
   观察依据

   示例行写作：“例：$G = Z_12$”。

2. 声音
   观察依据

   讲师指出该群同构于 $Z_12$，即模12整数的加法群。

$Z_{12}$

模12整数的加法群。

阶为12的有限循环群

1. 公式
   观察依据

   手写内容为“元素 $g = 3$”。

2. 声音
   观察依据

   讲师说：“如果我在该群中选取一个元素，比如元素3。”

$g=3$

用于生成示例子群的 $Z_12$ 中的一个选定元素。

$Z_{12}$ 的元素

1. 公式
   观察依据

   手写内容为“子群 H = <3> = {0,3,6,9}”。

2. 声音
   观察依据

   讲师称其为“由3生成的子群”。

$\langle 3 \rangle$

由 生成的循环子群3 在 Z_ 中12。

$Z_{12}$ 的子群

1. 公式
   观察依据

   手写内容将 "{0,3,6,9}" 列为该子群。

2. 图示
   观察依据

   这个 2 行 4 列的表格的顶行包含 0、3、6、9。

\{0,3,6,9\}

例题中子群 H 的显式元素集合。

$Z_{12}$ 的子集

1. 公式
   观察依据

   幻灯片显示 $G = \mathbb{Z}_{12}$。

2. 声音
   观察依据

   主讲人将较大的群记作 G，并指出其元素与 H 相关。

G

例题中明确写出的背景有限群为 $\mathbb{Z}_{12}$。

整数模12剩余类环

1. 公式
   观察依据

   幻灯片显示 $H = \langle 3 \rangle$ = \{0,3,6,9\}。

2. 声音
   观察依据

   主讲人称 H 为子群，并将其用作第一张表格首行的行标签。

H

由3在 ℤ_12中生成的子群，等于 {0，3，6，9}。

$\mathbb{Z}_{12}$ 的子集

1. 公式
   观察依据

   幻灯片显示 |G| = 12。

2. 声音
   观察依据

   主讲人讨论需要多少个 H 的副本才能将整个群划分完毕。

|G|

群 G 的阶（即元素个数）

正整数

1. 公式
   观察依据

   幻灯片显示 |H| = 4。

2. 声音
   观察依据

   主讲人将 H 视为一个子群，其行（或陪集）铺满整个群。

|H|

子群 H 的阶（即元素个数）。

正整数

1. 公式
   观察依据

   左侧方框标题为“拉格朗日定理”，开头写道：“设 G 是有限群，$H < G$ 是其子群。则”

2. 声音
   观察依据

   讲师将拉格朗日定理介绍为关于有限群子群的一个核心结论，并指出后续视频将借助陪集解释其成立原因。

3. 图示
   观察依据

   幻灯片标题为“子群、陪集与拉格朗日定理”，并附有目标说明栏。

1. 本片段中展示的定理陈述不完整，因为句子在“则”字处中断。

本片段将拉格朗日定理表述为关于一个有限群 G 及其子群 $H < G$ 的命题。主讲人明确指出，接下来这一系列内容的目的，是通过陪集来理解该定理成立的原因。

1. G 是有限群

2. H 是 G 的子群

1. 公式
   观察依据

   目标句写为：“对子群的阶说点什么。”

2. 声音
   观察依据

   主讲人指出，目标是就有限群中子群的阶作出一些说明。

首个明确提出的目标尚非证明，而是一个问题：当母群有限时，我们能对子群可能具有的阶作出何种判断？

1. 母群是有限的

1. 拉格朗日定理的预备知识

1. 公式
   观察依据

   手写行文字为：“当 G 是有限循环群时，我们知道 {元素、子群} 的阶均整除 |G|。”

2. 声音
   观察依据

   主讲人指出，对有限循环群而言，所有元素的阶与所有子群的阶均整除该群的阶。

1. 手写语句语法简略；其确切含义由语音补充说明。

在证明一般性定理之前，主讲人回顾了一个特例：若 G 是有限循环群，则每个元素的阶与每个子群的阶均整除 |G|。这一特例通过揭示整除规律在循环群中业已成立，从而为一般性陈述提供了动机。

1. G 是有限群

2. G 是循环群

1. 目标：有限群中子群的阶

1. 公式
   观察依据

   示例行写作“例：$G = Z_12$”。

2. 公式
   观察依据

   附加手写内容为“元素 $g = 3$”以及“子群 H = <3> = {0,3,6,9}”。

3. 图示
   观察依据

   画出一个 2 行 4 列的表格；顶行标为 H，并填入 0、3、6、9。

4. 公式
   观察依据

   花括号及旁注记为“|H| = 4”和“|G| = 12”。

5. 声音
   观察依据

   主讲人解释道：由 3 生成的子群含有四个元素，因此其阶为 4；而整个群的阶为 12。

1. 视频片段在主讲人尚未完成句子“为何在此循环群中，子群的阶……”时即告结束。

主讲人将循环群情形的断言实例化为 $G = Z_12$。选取元素 3 得到子群 H = <3> = {0,3,6,9}。计数得 |H| = 4 且 |G| = 12，因此该示例展示了整除关系 4 | 12，而一般性定理将对此作出解释。

1. 使用模12的整数加法群

2. H 是由3生成的子群

1. 已知的循环群情形

1. 公式
   观察依据

   幻灯片显示：例：$G = \mathbb{Z}_{12}$，|H| = 4，子群 $H = \langle 3 \rangle$ = \{0,3,6,9\}。

2. 声音
   观察依据

   说话者说：‘这一行 H 实际上是 G 的一个子群。’

在演算示例中，背景群为 $G = \mathbb{Z}_{12}$，所研究的子群为 $H = \langle 3 \rangle$ = \{0,3,6,9\}。说话者明确指出该紫色行是 G 的一个子群。

1. G 是循环群 $\mathbb{Z}_{12}$。

2. H 是由3生成的子群。

1. 声音
   观察依据

   说话者指出，系统性地填满表格其余部分的一种方法是：先将1加到 H 的每个元素上，再将2加到 H 的每个元素上。

2. 公式
   观察依据

   表格各行依次为：H：0 3 6 9；$1+H$：1 4 7 10；$2+H$：2 5 8 11。

从子群行H = \{0,3,6,9\}出发，主讲人通过对H进行平移来填满$\mathbb{Z}_{12}$的其余元素：将1加到H的每个元素上得到第二行，将2加到H的每个元素上得到第三行。由此生成所展示的行$1+H$和$2+H$。

1. 运算是模12加法。

2. 每一新行均由H逐元素加上一个固定的代表元而构成。

1. $\mathbb{Z}_{12}$ 的一个例子子群 H

1. 声音
   观察依据

   主讲人说：‘这些行，即绿色行与蓝色行，称为子群H的陪集。’

2. 公式
   观察依据

   各行标记为$1+H$和$2+H$。

主讲人将通过对H进行平移所得的非子群行命名为H的陪集。在此具体的$\mathbb{Z}_{12}$例子中，行$1+H$和$2+H$正是所引入的陪集。

1. 它们由子群H通过向H的每个元素加上G中一个固定元素而形成。

1. $\mathbb{Z}_{12}$ 的一个例子子群 H
2. 通过添加代表元从H构造其他行

1. 声音
   观察依据

   主讲人指出，该群中此类陪集的个数——本例中为3——称为子群H在G中的指数。

2. 公式
   观察依据

   括号内注释在三行旁标注‘H在G中的指数’。

H 在 G 中的指数在语言上定义为：将整个群划分成 H 的陪集所需的个数。在所展示的例子中，总共有三行，因此该指数为3。

1. 该群被划分为若干互不相交的 H 的陪集。

2. 此处的划分由 H、$1+H$ 和 $2+H$ 构成。

1. 本例中子群的陪集

1. 公式
   观察依据

   左侧面板标题为‘拉格朗日定理’，开头写道：‘设 G 是一个有限群，$H < G$ 是 G 的子群。则’。

2. 声音
   观察依据

   首句指出：子群的阶整除大群的阶。

1. 本片段未完整展示拉格朗日定理的全部结论，仅呈现了前提设定及起引导作用的断言。

该片段围绕如下定理展开讨论：若 G 是有限群，H 是 G 的子群，则 H 的阶整除 G 的阶。示例中使用了 ℤ_{12} 及其子群 H = ⟨3⟩，用以说明该整除关系为何成立。

1. G 是有限群。

2. $H < G$ 是 G 的子群。

1. $\mathbb{Z}_{12}$ 的一个例子子群 H

1. 公式
   观察依据

   左侧面板显示：「拉格朗日定理：设 G 为有限群，$H < G$ 为其子群，则 |H| 整除 |G|。」

2. 声音
   观察依据

   讲师指出，只要该群是有限的，「任意子群 H 的阶就一定整除整个群的阶。」

该片段将拉格朗日定理呈现为循环群已知整除性质在一般有限群中的推广：若 H 是有限群 G 的子群，则 H 的大小整除 G 的大小。讲师强调，此处不再要求群是循环的，甚至也不要求是阿贝尔群。

1. G 是有限群。

2. H 是 G 的子群。

1. 有限群及其子群的阶
2. 示例中子群的指数

1. 公式
   观察依据

   黑板上写出 |H| = 4 且 |G| = 12。

2. 声音
   观察依据

   讲师提到「构成 G 的阶的十二个元素」以及「四元素组成的三行」。

该例题将 |G| 和 |H| 视为元素个数。在所展示的情形中，G 有 12 个元素，H 有 4 个元素，因此该定理关注的是这两个计数之间的关系。

1. 适用于有限群及其子群。

1. 公式
   观察依据

   黑板在三行陪集表旁写下 [G:H] = 3。

2. 声音
   观察依据

   讲师指出该表有三行，并说明这意味着子群的指数为三。

1. 本片段通过示例讲解指数的概念，而非给出完全一般性的形式化定义。

本片段通过将 G 划分为 H 的陪集来引入指数 [G:H]。所展示的表格有三行，因此讲师指出 H 在 G 中的指数为 3。

1. H 是 G 的子群。

2. 此处 $G = Z_12$，H = <3>。

1. <3> 的陪集对 $Z_12$ 进行划分

1. 声音
   观察依据

   主讲人称其为“拉格朗日定理”，并指出它可能比有限群理论中几乎所有其他定理都更重要。

2. 公式
   观察依据

   左侧方框标题为“拉格朗日定理”。

1. 本片段未展示该定理的完整形式化结论。

该片段将拉格朗日定理宣布为关于有限群子群的一个重要定理，屏幕上可见的假设为：“设 G 是一个有限群，且 $H < G$ 是一个子群。则”

1. G 是一个有限群

2. $H < G$ 是一个子群

对于一个有限群 G 及其子群 H。

1. 公式
   观察依据

   手写的目标文字指出：当 G 是有限循环群时，元素的阶与子群的阶均整除 |G|。

2. 声音
   观察依据

   主讲人指出，在有限循环群中，所有元素的阶与所有子群的阶均整除该群的阶。

若 G 是一个有限循环群，则 G 中每个元素的阶以及 G 的每个子群的阶都整除 |G|。

1. G 是有限的

2. G 是循环群

对 G 的每个元素以及 G 的每个子群而言。

1. 声音
   观察依据

   说话人指出，下一行不是一个子群，例如，它不包含群 G 的单位元（即零）。

2. 公式
   观察依据

   第二行为 $1+H = {1,4,7,10}$，显然缺少 0。

在此例中，行$1+H$不是G的子群，因为它不包含G的单位元0。

1. G 等于模 12 的整数加法群。

2. G的单位元是0。

3. 所考虑的行是$1+H$ = \{1,4,7,10\}。

针对本例中具体展示的行$1+H$。

1. 声音
   观察依据

   说话人说：‘对于循环群，仅通过加一、加二就能明白为何可以这样做；当我加三时，就又绕回到原始行本身。’

1. 该片段在说话人说完‘且 every one’之后、完成最后一句之前结束。

2. 支撑这一观察的一般性定理在该片段中并未完整陈述。

在所展示的这个循环例子中，对H依次加上1和2产生新的行，而加上3则返回原始行H，因此该群被划分为这些陪集。

1. $G = \mathbb{Z}_{12}$是循环群。

2. H 等于由3生成的子群，即 H 等于集合 {0,3,6,9}。

对应视频片段中给出的具体例子。

1. 公式
   观察依据

   目标框中的文字变为“这对所有有限群都成立吗？”，随后一个红色箭头指向“成立！”。

2. 声音
   观察依据

   主讲人提问：该结论是否对非循环群（甚至可能是非交换群）也成立？并回答“是”，同时指出这就是拉格朗日定理。

对任意有限群 G 及其任意子群 H，|H| 整除 |G|。

1. G 是有限群。

2. H 是 G 的一个子群。

对所有有限群 G 及其所有子群 $H \le G$。

1. 声音
   观察依据

   讲师指出，该命题在循环群情形下是“数论与整除性的一个简单结论”，而一般有限群情形的证明则需要更抽象的代数学工具。

通过初等数论推理，整除性结论对有限循环群已知成立；但要对任意有限群证明该结论，则需要更抽象的代数学。

1. 该群是有限的。

2. 在所对比的特殊情形中，该群是循环群。

关于循环群这一特殊情形与一般有限群情形的比较性陈述。

1. 声音
   观察依据

   一个群的陪集……会划分该群……我的群中的每个元素都恰好属于这些陪集中的一个

子群 H 在群 G 中的陪集构成 G 的一个划分。G 中的每个元素恰好属于 H 的一个陪集。

1. G 是一个群

2. H 是 G 的一个子群

对于 G 中的每个元素 g，都存在唯一一个包含 g 的 H 的陪集。

1. 声音
   观察依据

   保证每个陪集所含元素个数与原子群相同

子群 H 的每个左（或右）陪集所含元素个数都与 H 本身相同。

1. G 是一个群

2. H 是 G 的一个子群

对于 G 中所有 g，都有 |gH| = |H|。

1. 公式
   观察依据

   该例中写作 H = <3> = {0,3,6,9}。

2. 图示
   观察依据

   表格的顶行恰好包含四个条目：0、3、6、9。

3. 公式
   观察依据

   这些条目上方的花括号标注为 |H| = 4，而别处则写有 |G| = 12。

4. 声音
   观察依据

   讲师指出该子群的阶为四，因为它含有四个元素：0、3、6和9。

1. 公式

   $$G=\mathbb{Z}_{12}$$
   解释

   从模12的整数加法循环群开始。

   步骤依据

   见幻灯片上示例行所给出的内容。

   视频直接表达
2. 公式

   $$g=3$$
   解释

   选择元素 3 在 $Z_12$。

   步骤依据

   写作“元素 $g = 3$”，并由讲师口头读出。

   视频直接表达
3. 公式

   $$H=\langle 3\rangle=\{0,3,6,9\}$$
   解释

   生成由 3 生成的子群，并列出其所有元素。

   步骤依据

   幻灯片上明确写出，并在音频中命名为由 3 生成的子群。

   视频直接表达
4. 公式

   $$|H|=4$$
   解释

   统计子群 H 所列元素的个数，得到其阶。

   步骤依据

   讲师指出该子群的阶为四，因为它含有四个元素；花括号旁的标注也证实了这一点。

   视频直接表达
5. 公式

   $$|G|=12$$
   解释

   记录所在大群的阶。

   步骤依据

   幻灯片上写出，且与 $G = Z_12$ 一致。

   视频直接表达
6. 公式

   $$4\mid 12$$
   解释

   由此得出：在此例中，子群的阶整除群的阶。

   步骤依据

   由 |H| = 4 和 |G| = 12 推出；这与之前关于循环群情形的断言一致。

   依据视频推导

在例子 $G = Z_12$ 和 H = <3> 中，可得 |H| = 4 且 |G| = 12，因此子群的阶整除群的阶。

1. 声音
   观察依据

   主讲人解释说，通过先加上1，再将2加到 H 的每个元素上，来填满表格的其余部分。

2. 公式
   观察依据

   完成后的表格显示：H：0 3 6 9；$1+H$：1 4 7 10；$2+H$：2 5 8 11。

1. 公式

   $$H = \{0,3,6,9\}$$
   解释

   从黑板上已写出的子群行开始。

   步骤依据

   直接由幻灯片上的公式观察得出。

   视频直接表达
2. 公式

   $$1+H = \{0+1,3+1,6+1,9+1\} = \{1,4,7,10\}$$
   解释

   将1加到 H 的每个元素上，得到第二行。

   步骤依据

   主讲人将其表述为系统性地填满表格其余部分的方法。

   视频直接表达
3. 公式

   $$2+H = \{0+2,3+2,6+2,9+2\} = \{2,5,8,11\}$$
   解释

   将2加到 H 的每个元素上，得到第三行。

   步骤依据

   主讲人明确指出，且在完成的表格中可见。

   视频直接表达
4. 公式

   $$H \cup (1+H) \cup (2+H) = \mathbb{Z}_{12}$$
   解释

   这三行合起来恰好列出了从0到11的所有元素，且每个元素仅出现一次。

   步骤依据

   由展示的已完成表格及主讲人所说的“该表列出了模12整数集 Z 中的所有元素”推导得出。

   依据视频推导

整个群 ℤ_{12} 被组织成三行，这三行是通过对子群 H 进行平移得到的。

1. 声音
   观察依据

   主讲人指出，此类行的数量（本例中为3）称为子群 H 在群 G 中的指数。

2. 公式
   观察依据

   黑板上显示了三行带标签的行：H、$1+H$、$2+H$，并附有标注“H 在 G 中的指数”。

1. 公式

   $$\text{Rows displayed: } H,\;1+H,\;2+H$$
   解释

   识别由 H 生成的所有互不相同的行。

   步骤依据

   在白板/表格上可见。

   视频直接表达
2. 公式

   $$\#\text{rows} = 3$$
   解释

   恰好有三行被展示出来，且覆盖了整个群 G。

   步骤依据

   直接根据视觉布局进行计数。

   视频直接表达
3. 公式

   $$\text{index in }G\text{ of }H = 3$$
   解释

   依据讲师的定义，指数即为划分群 G 所需的陪集个数。

   步骤依据

   视频片段中口头给出的定义。

   视频直接表达

在此例中，H 在 G 中的指数为3。

1. 图示
   观察依据

   一个 3-行-4列的表格展示了 $Z_12$ 中 H 的三个陪集。

2. 声音
   观察依据

   讲师解释说，这 12 个元素可由三行、每行四个元素来计数，其中这四个元素来自子群 H。

1. 公式

   $$H = \{0,3,6,9\},\quad |H|=4$$
   解释

   子群 H 被显式写出，且含有四个元素。

   步骤依据

   直接从黑板上读取。

   视频直接表达
2. 公式

   $$1+H = \{1,4,7,10\},\quad 2+H = \{2,5,8,11\}$$
   解释

   通过将 H 分别平移 1 和 2，形成另外两行。

   步骤依据

   直接从黑板上读取。

   视频直接表达
3. 公式

   $$\mathbb{Z}_{12} = H \cup (1+H) \cup (2+H)$$
   解释

   这三行共同恰好包含所有从 0 到 11 的剩余类各一次，因此它们划分了该群。

   步骤依据

   音频中表述为一种划分，且从所列元素中可直观看出。

   视频直接表达
4. 公式

   $$[G:H] = 3$$
   解释

   由于共有三行（即三个陪集），H 在 G 中的指数为 3。

   步骤依据

   音频讲解配合黑板上的方括号记号。

   视频直接表达
5. 公式

   $$|H|\,[G:H] = 4\cdot 3 = 12 = |G|$$
   解释

   将每个陪集的元素个数乘以陪集的个数，即可得到 G 的元素总数。

   步骤依据

   黑板上明确写出，并通过口头解释说明。

   视频直接表达

在例子 $G = Z_12$、H = <3> 中，陪集分解在视觉上呈现 |H|[G:H] = |G|，因此 |H| 整除 |G|。

1. 声音
   观察依据

   当我们能用等价关系来定义陪集时，我们就知道……这些陪集……将把该群划分成互不相交的部分……唯一还欠缺的部分，就是保证每个陪集所含元素个数与原子群相同。如果我能证明这两点，那么我就证明了拉格朗日定理。

1. 公式

   $$|G| = \sum_{i=1}^{k} |C_i|$$
   解释

   群 G 中元素的总数等于其各个互不相交的陪集 $C_1$、$C_2$、……、$C_k$ 中元素个数之和。

   步骤依据

   因为陪集将群 G 划分为互不相交的子集。

   依据视频推导
2. 公式

   $$|C_i| = |H| \text{ for all } i$$
   解释

   每个陪集 $C_i$ 的元素个数恰好等于子群 H 的元素个数。

   步骤依据

   这是证明所需的第二个关键性质，如视频中所述。

   视频直接表达
3. 公式

   $$|G| = \sum_{i=1}^{k} |H| = k|H|$$
   解释

   将每个陪集的大小替换为 H 的大小，可得 G 的阶等于 k 乘以 H 的阶。

   步骤依据

   代数代入。

   依据视频推导
4. 公式

   $$|H| \mid |G|$$
   解释

   因此，子群 H 的阶整除群 G 的阶。

   步骤依据

   整除的定义，其中 k 是一个整数（即指数 [G:H]）。

   依据视频推导

拉格朗日定理：|H| 整除 |G|。

1. 公式
   观察依据

   幻灯片显示：“例：$G = Z_12$”，“元素 $g = 3$”，以及“子群 H = <3> = {0,3,6,9}”。

2. 图示
   观察依据

   一个2行4列的网格被画出，顶行标记为 H，并由0、3、6、9填充。

3. 公式
   观察依据

   幻灯片上记录了 |H| = 4 和 |G| = 12。

4. 声音
   观察依据

   讲师口头讲解该例题，并提问：为何在循环群中，子群的阶以这种方式表现是合理的？

1. 最后提出的口头问题在说完前被截断。

用一个具体的有限循环群来阐释循环群的整除性事实。

1. G 等于模 12 整数加法群

2. g 等于3

3. H 等于由 3 生成的子群，即集合 {0, 3, 6, 9}

确定 |H| 和 |G| 并比较二者。

1. 公式

   $$G=\mathbb{Z}_{12}$$
   解释

   取模12的整数加法群作为背景有限循环群。

   步骤依据

   幻灯片上明确写出，并在音频中被命名。

   视频直接表达
2. 公式

   $$g=3$$
   解释

   选取元素 3 in $Z_12$。

   步骤依据

   写作“元素 $g = 3$”，并口头念出。

   视频直接表达
3. 公式

   $$H=\langle 3\rangle=\{0,3,6,9\}$$
   解释

   由 3 生成子群，并列出其所有元素。

   步骤依据

   直接在幻灯片上展示，并描述为由 3 生成的子群。

   视频直接表达
4. 公式

   $$|H|=4$$
   解释

   统计子群 H 的元素个数。

   步骤依据

   主讲人指出该子群的阶为四，因为它含有四个元素；花括号标注也证实了这一点。

   视频直接表达
5. 公式

   $$|G|=12$$
   解释

   记录整个群的阶。

   步骤依据

   在幻灯片上写出，并由 $Z_12$ 隐含给出。

   视频直接表达
6. 公式

   $$|H|\mid |G|$$
   解释

   比较这两个阶，观察整除规律。

   步骤依据

   由 |H| = 4 和 |G| = 12 推出。

   依据视频推导

|H| = 4 且 |G| = 12，因此 4 整除 12。

直接计数集合 {0,3,6,9} 得到 4，而 $Z_12$ 含有 12 个元素；数值上 4 整除 12。

1. 公式
   观察依据

   幻灯片给出 $G = \mathbb{Z}_{12}$，|H| = 4，$H = \langle 3 \rangle$ = \{0,3,6,9\}，|G| = 12。

2. 声音
   观察依据

   主讲人逐步填写表格，填入 $1+H$ 和 $2+H$，随后将这些行称为陪集，并指出其数量即为指数。

已知 $G = \mathbb{Z}_{12}$ 且 $H = \langle 3\rangle$ = \{0,3,6,9\}，将 G 的元素按 H 及其平移划分为若干行，并识别所得结构。

1. G 等于模 12 的整数加法群

2. H 等于由 3 生成的子群，也就是集合 {0, 3, 6, 9}

3. H 的阶等于4

4. 群 G 的阶等于12

用 H 的平移填充 G 的其余元素，判断新生成的各行是否为子群，并命名这些行的集合及其数量。

1. 公式

   $$H = \{0,3,6,9\}$$
   解释

   从已给出的子群所在行开始。

   步骤依据

   显示在幻灯片上。

   视频直接表达
2. 公式

   $$1+H = \{1,4,7,10\}$$
   解释

   将 1 加到 H 的每个元素上，构成第二行。

   步骤依据

   主讲人明确提出了这一系统性方法。

   视频直接表达
3. 公式

   $$2+H = \{2,5,8,11\}$$
   解释

   将2加到H的每个元素上，构成第三行。

   步骤依据

   主讲人明确提出了这一系统性方法。

   视频直接表达
4. 公式

   $$1+H \text{ is not a subgroup}$$
   解释

   第二行不能构成子群，因为它不包含G的单位元0。

   步骤依据

   由主讲人直接陈述。

   视频直接表达
5. 公式

   $$\text{The rows }1+H,2+H\text{ are cosets of }H$$
   解释

   尽管它们不是子群，讲师仍称这些平移后的行为陪集。

   步骤依据

   由主讲人直接陈述。

   视频直接表达
6. 公式

   $$\text{index in }G\text{ of }H = 3$$
   解释

   共有三行，因此指数为3。

   步骤依据

   由主讲人直接陈述，并在黑板上作了标注。

   视频直接表达

群$\mathbb{Z}_{12}$被划分为H = \{0,3,6,9\}、$1+H$ = \{1,4,7,10\}以及$2+H$ = \{2,5,8,11\}；后两者是陪集而非子群，且H在G中的指数为3。

所展示的三行共同包含了每个元素0、1、2、$\dots$、11恰好一次，与|G| = 12和|H| = 4及行数为三相吻合。

1. 公式
   观察依据

   黑板上写出例题：$G = Z_12$，|H| = 4，子群 H = <3> = {0,3,6,9}，以及三个陪集行。

2. 声音
   观察依据

   讲师叙述了从 0 到 11 into multiples of three, one more than multiples of three, 且 two more than multiples of three.

展示子群H = <3>如何嵌入在$G = Z_12$中，以及它的陪集如何覆盖G的所有元素。

1. G 等于 Z 下标12。

2. H 等于由 3 生成的子群，即集合 {0, 3, 6, 9}。

3. H 的阶为4。

4. 群 G 的阶为12。

找出H在G中的所有陪集，读出指数[G:H]，并验证计数关系|H|[G:H] = |G|。

1. 公式

   $$3+H = H = \{0,3,6,9\}$$
   解释

   第一行是子群本身，由 3 对 12 取模的倍数构成。

   步骤依据

   写在黑板上。

   视频直接表达
2. 公式

   $$1+H = \{1,4,7,10\}$$
   解释

   将 1 加到 H 的每个元素上得到第二行，即对 1 取模同余于 3 的元素。

   步骤依据

   写在黑板上，并口头描述为“比三的倍数大一”。

   视频直接表达
3. 公式

   $$2+H = \{2,5,8,11\}$$
   解释

   将 2 加到 H 的每个元素上得到第三行，即对 2 模 3。

   步骤依据

   写在黑板上，并口头描述为“比三的倍数多二”

   视频直接表达
4. 公式

   $$[G:H] = 3$$
   解释

   共有三行互不相同的行，因此指标为3。

   步骤依据

   音频讲解与黑板上的括号记号。

   视频直接表达
5. 公式

   $$|H|\,[G:H] = 4\cdot 3 = 12 = |G|$$
   解释

   元素总数等于每行元素个数乘以行数。

   步骤依据

   黑板上写出的显式公式。

   视频直接表达

H 的陪集将 $Z_12$ 划分为三行，每行四个元素，因此 [G:H] = 3，且 |H| 整除 |G|，因为 4 整除 12。

所展示的三行的并集恰好是 {0,1,2,...,11}，而算术式 $4*3=12$ 与所写的阶数 |H|=4 和 |G|=12 相吻合。

1. 公式
   观察依据

   G 是模 12 的整数加法群，G 的阶为 12；H 是由元素 3 生成的子群，即集合 {0, 3, 6, 9}，H 的阶为 4；G 对 H 的指数为 3

2. 图示
   观察依据

   展示 H、$1+H$ 和 $2+H$ 各行的网格图，其元素属于 $Z_12$

找出子群 H = <3> 在群 $G = Z_12$ 中的陪集，并验证拉格朗日定理。

1. G 等于模 12 的整数加法群，即由 0、1、2、3、4、5、6、7、8、9、10、11 这十二个元素组成的集合

2. H 等于由 3 生成的子群，即集合 {0, 3, 6, 9}

求 H 在 G 中的所有不同陪集，并验证 |H| 是否整除 |G|。

1. 公式

   $$H = \{0, 3, 6, 9\}$$
   解释

   子群 H 本身即第一个陪集（$0 + H$）。

   步骤依据

   陪集的定义。

   视频直接表达
2. 公式

   $$1 + H = \{1+0, 1+3, 1+6, 1+9\} = \{1, 4, 7, 10\}$$
   解释

   将 1 加到 H 的每个元素上，再对 12 取模，得到第二个陪集。

   步骤依据

   元素 1 对子群 H 的左作用。

   视频直接表达
3. 公式

   $$2 + H = \{2+0, 2+3, 2+6, 2+9\} = \{2, 5, 8, 11\}$$
   解释

   将 2 加到 H 的每个元素上，再对 12 取模，得到第三个陪集。

   步骤依据

   元素 2 对子群 H 的左作用。

   视频直接表达
4. 公式

   $$3 + H = \{3+0, 3+3, 3+6, 3+9\} = \{3, 6, 9, 0\} = H$$
   解释

   再次加上 3 将回到原始子群 H，表明陪集开始重复。

   步骤依据

   由于 3 属于 H，故 $3+H$ 与 H 完全相同。

   依据视频推导

不同的陪集为 H、$1+H$ 和 $2+H$，共 3 个陪集，因此指数 [G:H] = 3。H 的阶为 4，G 的阶为 12。由于 4 整除 12（$12 = 3 \times 4$），拉格朗日定理得证。

｜G｜＝12，｜H｜＝4，［G∶H］＝3。$4\times 3$＝12，这与｜G｜相等。

1. 图示
   观察依据

   屏幕上显示一张讲座幻灯片，标题为“子群、陪集与拉格朗日定理”，右侧为“学习目标”面板，左侧方框标题为“拉格朗日定理”。

2. 图示
   观察依据

   讲师的网络摄像头画面始终出现在视频左上方。

1. 标题栏：“子群、陪集与拉格朗日定理”

2. 学习目标面板

3. 左侧方框：“拉格朗日定理”

4. 讲师的网络摄像头画面

1. 手写的各项学习目标逐步添加到学习目标面板中。

2. 一个示例区块写在学习目标下方。

3. 绘制了一个2行4列的表格，并标注了子群与阶的标签。

1. 整张幻灯片模板保持不变。

2. 左侧定理方框持续可见，其中显示未完成的陈述：“设 G 是一个有限群，$H < G$ 是 G 的一个子群。则”。

视觉结构将左侧的形式化定理陈述与右侧不断演进的解释性目标及示例分隔开来，呼应了主讲人从宣布定理到阐明动机的讲解进程。

1. 动画
   观察依据

   大约在38至52秒之间，‘谈谈子群的阶。’这一行被写入‘目标’区域。

2. 动画
   观察依据

   大约在52至82秒之间，在其下方添加了‘当G为有限循环群时，我们知道{元素，子群}的阶整除|G|。’这一行。

1. 逐笔书写的时间点仅为近似值，因为文字是逐步呈现的。

1. 关于子群阶数的目标句

2. 含{元素，子群}括号的循环情形句子

3. 符号|G|

1. 首先写出一般性目标。

2. 随后补充循环这一特殊情形作为支撑性背景。

1. 两条陈述一旦写出即持续可见。

2. 该幻灯片继续将讨论定位为拉格朗日定理的铺垫。

动画展示了从关于子群阶数的宽泛问题，概念性地聚焦到有限循环群中一个已知特殊情形的过程。

1. 动画
   观察依据

   大约在103秒时，示例文字下方出现一个2乘4的矩形网格。

2. 图示
   观察依据

   顶行标记为 H，填入0、3、6、9。

3. 动画
   观察依据

   大约在111秒时，一条紫色大括号覆盖顶行，并标注 |H| = 4。

4. 图示
   观察依据

   大约在114秒时，在右侧写出 |G| = 12。

1. 本片段中底行保持空白。

1. 2乘4网格

2. 顶行元素：0、3、6、9

3. 标记 H

4. 紫色大括号

5. 标注 |H| = 4 和 |G| = 12

1. 空白表格出现。

2. 顶行填入子群的元素。

3. 一个大括号标记出四个已被占据的单元格。

4. 添加阶数标签。

1. 该表格保持四列，与子群 H 所列的四个元素相对应。

2. 顶行始终代表子群 H。

该表格通过展示子群 H = <3> 的元素，并以视觉方式计数，使抽象子群具体化，从而为 |H| = 4 相对于 |G| = 12 提供依据。

1. 图示
   观察依据

   该例题下方出现了一个3行4列的表格，顶行标为H，后续各行分别标为$1+H$和$2+H$。

2. 动画
   观察依据

   下方各行在讲解过程中逐步填写。

1. 顶部紫色行标记为H，包含0、3、6、9。

2. 中间蓝色行标记为$1+H$，包含1、4、7、10。

3. 底部绿色行标记为$2+H$，包含2、5、8、11。

4. 右侧注释：|H| = 4，|G| = 12，以及H在G中的指数。

1. H下方的空单元格依次填入1、4、7、10，然后是2、5、8、11。

2. 各行标签显示为$1+H$和$2+H$。

3. 在堆叠的各行旁添加一个括号式注释，标出该指数的名称。

1. 顶行始终保持为$H = {0,3,6,9}$。

2. 该群在整个过程中始终为ℤ_{12}。

3. 每行均有四个条目。

该图示将整个群直观地划分为三行大小相等的部分，这三行均由同一个子群生成，从而使得子群的陪集划分及其陪集个数在视觉上一目了然。

1. 图示
   观察依据

   第一行为紫色，第二行为蓝色，第三行为绿色。

2. 声音
   观察依据

   讲述者将紫色行 H 视为子群，与蓝色和绿色行形成对比——后两者虽非子群，却是与之密切相关的结构。

1. 紫色 H 行

2. 蓝色 $1+H$ 行

3. 绿色 $2+H$ 行

1. 颜色强调将原始子群与经过平移得到的各行区分开来。

1. 这三行长度相同，且均由同一个子群 H 经平移得到。

颜色编码有助于建立概念区分：H 本身是一个子群，而其他颜色的行则是 H 的陪集，而非子群。

1. 图示
   观察依据

   紫色边框的顶行包含 0,3,6,9；蓝色中间行包含 1,4,7,10；绿色底行包含 2,5,8,11。

2. 动画
   观察依据

   光标在各行及右侧公式之间移动，讲师同时讲解划分、指标与乘法。

1. 顶行 $3+H = {0,3,6,9}$

2. 中间行 $1+H = {1,4,7,10}$

3. 最底行：$2+H = {2,5,8,11}$

4. 右侧标注：|H|=4，[G:H]=3，|G|=12

1. 光标逐行高亮，讲师同时说明每个元素都属于以下三类之一。

2. 当引入“指数”概念时，注意力从各行转向方括号记号 [G:H]。

3. 在划分建立之后，公式 |H|×[G:H]=|G| 被重点强调。

1. 每一行恰好包含四个元素。

2. 这三行合起来包含了全部十二个剩余类：0至11。

3. 在整个例题中，H 始终是子群 {0,3,6,9}。

该视觉排布编码了群的一种划分——划分为大小相等的陪集，从而使得计数恒等式 |H|[G:H]=|G| 从图中一目了然。

1. 动画
   观察依据

   目标框内容由循环群提示切换为手写问题：“这对所有有限群都成立吗？”

2. 声音
   观察依据

   讲师提问：该结论是否适用于循环群以外的情形，包括那些甚至未必满足交换律的群？

1. 学习目标框文字

2. 手写问题

3. 口语对比循环群与一般有限群

1. 此前关于有限循环群的学习目标，被一个更宽泛的问题所取代：该性质是否对所有有限群都成立？

2. 课程重点从具体例子转向一般性定理。

1. 核心主题保持不变：子群的阶与整个群的阶之间的关系。

这一视觉过渡标志着我们从数论中的特例，转向后来被称为拉格朗日定理的抽象代数表述。

1. 动画
   观察依据

   一支红色箭头出现在问题下方，指向“YES！”

2. 声音
   观察依据

   主讲人指出答案是肯定的，并将此结论命名为拉格朗日定理。

1. 问题：“这对所有有限群都成立吗？”

2. 红色箭头

3. “是的！”

1. 这个开放性问题通过一个明确的肯定性标注得以解决。

2. 左侧定理面板成为核心的数学陈述。

1. 该命题仍关乎子群阶对群阶的整除性。

动画将前述探究转化为一个定理层级的断言：循环群例子并非特例。

1. 动画
   观察依据

   目标框再次更新为：“比较并对照左作用、右作用以及内自同构对子群 $H < G$ 的影响。”

2. 声音
   观察依据

   讲师指出，本章将通过对比左作用与右作用，并将其与内自同构相比较，从而在更一般的情形下逐步构建陪集的概念。

1. 内自同构仅被提及为后续内容；本片段中未给出其定义。

1. 新的目标文字

2. 提及左作用、右作用与内自同构

1. 幻灯片内容从陈述拉格朗日定理转向概述在一般情形下构建陪集的方法。

2. 本讲标志着研究重点从计数后果转向群内部的结构性比较。

1. 子群 $H < G$ 仍是研究的核心对象。

该片段最后指出，陪集的一般理论将通过分析群元素在子群上的左作用与右作用来建立。

1. 图示
   观察依据

   一个$3\times 4$的网格，其中紫色、蓝色和绿色行分别表示$Z_12$的元素及其平移。

1. 数字网格

2. 紫色行（H）

3. 蓝色行（1＋H）

4. 绿色行（2＋H）

5. 表示平移的箭头

1. 蓝色行与绿色行中的元素，分别通过对紫色行中各元素加上1和2得到。

1. 每行中元素的个数保持不变（4）。

2. 每行内各元素之间的相对间距保持不变（3）。

该可视化网格展示了左作用（在此阿贝尔群中即加法）如何将子群平移，从而生成新的、互不相交的元素集合（陪集），这些陪集共同覆盖整个群且彼此无重叠。

1. 公式
   观察依据

   本页幻灯片明确将所回顾的结论限定于“当 G 是有限循环群时”。

2. 声音
   观察依据

   主讲人先将循环群情形作为已知结论呈现，再由此引向更一般的定理。

有人可能误以为子群阶整除 |G| 这一性质对所有有限群都已得到证明，因为该性质在循环群的例子中成立。

本片段中，整除性陈述仅被明确回顾于有限循环群；主讲人正借助这一特殊情形，为接下来要讨论的更一般的拉格朗日定理提供动机。

1. 公式
   观察依据

   左侧方框以“那么”结尾，且未显示任何结论。

2. 声音
   观察依据

   讲师表示他将在稍后说明该定理的内容，此处先聚焦于目标与动机。

观众可能误以为拉格朗日定理的全部内容已在屏幕上给出。

在此120秒的片段中，仅可见设定部分：“设 G 是一个有限群，$H < G$ 是其子群。那么”；实际结论尚未给出。

1. 声音
   观察依据

   讲述者明确指出，下一行不是子群，因为它不包含单位元 0。

人们或许会认为，子群经过平移得到的任意一行本身也是另一个子群。

在此例中，$1+H$ 不是子群，因为它缺少群 G 的单位元 0，尽管它在结构上与 H 相关，并被称为一个陪集。

1. 声音
   观察依据

   主讲人明确提问：该结论是否对非循环群、甚至未必是交换群的群也成立？随后给出肯定回答。

2. 公式
   观察依据

   黑板上写着“这对所有有限群都成立吗？”紧接着写下“成立！”。

人们或许会从 $Z_12$ 的例子推断：|H| 整除 |G| 仅对有限循环群成立，或仅在交换群情形下成立。

主讲人指出，该结论可推广至所有有限群，无论其是否为循环群或交换群；这一普遍陈述即为拉格朗日定理。

1. 声音
   观察依据

   主讲人将循环群情形（称为源自数论与整除性的简单结果）与一般有限群情形（称其证明需借助更抽象的代数工具）加以对比。

由于 $Z_12$ 中的例子易于计数，人们可能误以为一般有限群情形的证明也同样初等。

该片段区分了命题的真假与证明方法：该命题对所有有限群均为真，但一般性证明需借助超越循环群数论论证的抽象代数工具。

1. 声音
   观察依据

   无论该群是否为循环群，我的群中每个元素都恰好属于且仅属于其中一个陪集。

学生可能误以为陪集划分群的性质仅适用于循环群，因为示例中使用了ℤ_12。

讲话者明确指出，划分性质对任意群均成立，无论其是否为循环群。

1. 公式
   观察依据

   左侧定理方框引入了 G 和 $H < G$，而“目标”面板随后写道：“谈谈子群的阶。”

2. 声音
   观察依据

   讲师从点明拉格朗日定理，过渡到陈述讨论子群阶数这一目标。

定理设定先给出了对象 G 和 H，之后片段才能提出关于它们阶数的问题。

1. 公式
   观察依据

   在一般性目标句之后，下一行手写内容进一步限定为：“当 G 是有限循环群时……”

2. 声音
   观察依据

   讲师指出，在循环群情形下，我们已对答案略知一二。

循环群的整除性事实被呈现为更广泛问题——即有限群中子群阶数的性质——的一个已知特例。

1. 公式
   观察依据

   循环群情形的句子之后是“例：$G = Z_12$”，以及计算式 H = <3> = {0,3,6,9}。

2. 声音
   观察依据

   讲师用一个阶为12的具体群来阐释一般的循环群陈述。

ℤ_12的例子将先前所述的循环群情形下的整除规则应用于一个特定的有限循环群。

1. 图示
   观察依据

   代数表达式 H = <3> = {0,3,6,9} 对应一张表格，其顶行包含0、3、6、9。

2. 公式
   观察依据

   该行上方的大括号标注为 |H| = 4。

表格可视化通过展示子群元素，使计数 |H| = 4在视觉上一目了然，从而实现了该例子。

1. 声音
   观察依据

   说话者从 H 出发构造出 $1+H$ 和 $2+H$，然后将这些行命名为子群 H 的陪集。

本例中的陪集仅在首先固定子群 H 并用群 G 中的元素对其平移之后才被定义。

1. 声音
   观察依据

   说话者将指数定义为划分该群所需的此类陪集的个数。

指数的概念依赖于先理解 H 的陪集是什么，再对它们进行计数。

1. 公式
   观察依据

   左侧面板引入了拉格朗日定理，而该例计算得 |H| = 4，|G| = 12，指数为 3。

2. 声音
   观察依据

   开场白将子群的阶整除大群的阶这一事实，与前述的划分讨论联系起来。

1. 完整的严格证明并未出现在本片段中。

对陪集进行计数，给出了此处所预示的结构性原因，解释为何在拉格朗日定理中 |H| 应整除 |G|。

1. 声音
   观察依据

   说话者将紫色的子群行 H 与蓝色和绿色的行作对比：后两者不是子群，但与 H 密切相关。

H 是子群，因为它包含单位元，且在群结构下封闭；而 $1+H$ 和 $2+H$ 是平移后的副本，未必包含单位元，因此在此例中不是子群。

1. 声音
   观察依据

   讲师提问：循环群情形下已知的结论是否对所有有限群都成立？并借助拉格朗日定理给出了肯定回答。

ℤ_12中具体的陪集划分，启发了适用于任意有限群的更一般性定理。

1. 公式
   观察依据

   黑板上引入了 [G:H]=3，随后写出 |H|*[G:H]=|G|。

一旦从陪集个数读出指数，便将其用于关联子群阶、指数与群阶的计数恒等式中。

1. 图示
   观察依据

   该例中整个直观论证均基于将群 G 划分为子群 H 的陪集。

2. 声音
   观察依据

   接着，讲师指出本章将逐步构建更一般情形下的陪集概念。

1. 本片段尚未给出完整的普遍性证明；此关系记录了引言中所展示的概念依赖关系。

该例子提示：拉格朗日定理的一般性证明将依赖于将有限群分解为某个子群的陪集。

1. 公式
   观察依据

   新设定的学习目标文本提到了左作用、右作用以及群 G 中子群 H 上的内自同构。

2. 声音
   观察依据

   讲师表示，这些概念将在更一般的情形下用于构建陪集理论。

在陈述定理之后，讲座展望了将支撑一般陪集理论的群作用相关工具。

1. 声音
   观察依据

   讲师将拉格朗日定理引入为关于有限群之子群的一个结论。

2. 公式
   观察依据

   目标栏写有：“谈谈子群的阶。”

1. 拉格朗日定理的预备知识
2. 目标：有限群中子群的阶

1. 公式
   观察依据

   幻灯片指出：当 G 是有限循环群时，G 中元素与子群的阶均整除 |G|。

2. 声音
   观察依据

   讲师将此作为已有知识，用以引出更一般的定理。

1. 已知的循环群情形
2. 目标：有限群中子群的阶

1. 公式
   观察依据

   该例子写出 H = <3> = {0,3,6,9}，|H| = 4，且 |G| = 12。

2. 图示
   观察依据

   表格的顶行恰好包含四个元素：0、3、6、9。

1. $Z_12$ 中的演算示例
2. 计算示例子群的阶
3. 例子：$Z_12$ 中由 3 生成的子群

1. 声音
   观察依据

   讲师指出，本课的目标是借助一种名为“陪集”的工具，来理解拉格朗日定理为何成立。

1. 陪集在此片段中被提及，但未给出定义。

1. 拉格朗日定理的预备知识

1. 公式
   观察依据

   左侧方框以“那么”结尾，但在可见片段中未给出后续结论。

1. 拉格朗日定理的预备知识
2. 本片段中展示的定理陈述不完整。

1. 声音
   观察依据

   主讲人将绿色行和蓝色行称为子群 H 的陪集。

1. 本例中子群的陪集
2. 通过添加代表元从H构造其他行

1. 声音
   观察依据

   主讲人指出下一行不是子群，因为它不包含单位元0。

1. 通过添加代表元从H构造其他行
2. 将陪集误认为子群

1. 声音
   观察依据

   主讲人将指数定义为划分该群所需的陪集个数。

1. H在G中的指数