17.不变子群(正规子群)

1. 声音
   观察依据

   讲师说“我们假设 H 是 G 的子群”

2. 公式
   观察依据

   板书出现“H 为 G 的子群”

H

G 的一个子群，后续用于定义不变子群/正规子群

群 G 的子群

1. 声音
   观察依据

   讲师说“H 是 G 的子群”

2. 公式
   观察依据

   板书出现“H 为 G 的子群”

G

母群，H 是其子群

群

1. 声音
   观察依据

   讲师说“我们假设它的左陪集，那 gH”

2. 公式
   观察依据

   板书写出“gH”

gH

关于元素 g 的左陪集

群 G 中由子群 H 生成的陪集

1. 声音
   观察依据

   讲师说“所以我们 gH 等于什么，Hg”

2. 公式
   观察依据

   板书写出“gH = Hg”

Hg

关于元素 g 的右陪集

群 G 中由子群 H 生成的陪集

1. 公式
   观察依据

   板书写出“gHg^{-1} = H”

1. 该式在视频中作为由正规性得到的结论直接写出，未展开逐元素证明。

gHg^{-1}

子群 H 关于 g 的共轭集合

群 G 的子集/子群表达式

1. 公式
   观察依据

   黑板上反复出现大写字母 G，用于表示群。

2. 声音
   观察依据

   讲师提到“群 G”“G 里面的元素”。

3. 图示
   观察依据

   约 00:28 起画出外框矩形并在右上角标注 G。

G

母群，即讨论陪集与不变子群时所在的群。

群

1. 公式
   观察依据

   黑板上写有“H 为 G 的子群”“gHg^{-1}=H”等。

2. 声音
   观察依据

   讲师多次说“子群 H”。

3. 图示
   观察依据

   约 00:35 起在 G 内部画出小矩形并标注 H。

H

G 的子群，也是被判定是否为不变子群的对象。

G 的子群

1. 公式
   观察依据

   黑板上写有 gHg^{-1}=H 与 gH=Hg。

2. 声音
   观察依据

   讲师说“g 呢是我们 G 里面的元素”。

3. 图示
   观察依据

   约 00:39 起在 G 内、H 外标注元素 g。

g

取自母群 G 的元素，用来构造左陪集 gH 和右陪集 Hg。

群 G

1. 公式
   观察依据

   黑板下方写有 gH=Hg，其中左侧 gH 被圈出。

2. 声音
   观察依据

   讲师说“它实际上呢就是左陪集”。

gH

由元素 g 与子群 H 生成的左陪集。

G 的子集

1. 公式
   观察依据

   黑板下方写有 gH=Hg，其中右侧 Hg 被圈出。

2. 声音
   观察依据

   讲师说“这个呢是右陪集”。

Hg

由子群 H 与元素 g 生成的右陪集。

G 的子集

1. 公式
   观察依据

   黑板上写有 gHg^{-1}=H。

2. 声音
   观察依据

   讲师围绕该式说明不变子群性质。

gHg^{-1}

子群 H 关于元素 g 的共轭集合。

G 的子集

1. 声音
   观察依据

   讲师提出“如果我这里不是 g，比如说是 g'，那我还成不成立呀”。

2. 图示
   观察依据

   约 01:31 起在图中另画一个小框并标注 g'。

g'

另一个取自 G 的元素，用于讨论陪集代表元是否唯一。

群 G

1. 声音
   观察依据

   讲师说“来看正规子群或者不变子群的概念”“如果 H 中所有的元素的同类元素都属于 H，那么这个 H 就称为 G 的不变子群，或者是正规子群”

2. 公式
   观察依据

   板书写出“不变子群（正规子群）”“H 为 G 的子群，如果 H 中所有的同类元素属于 H。H 称为 G 的不变子群”

视频把“正规子群”和“不变子群”作为同一概念的两个名称。其定义方式是：先取 G 的子群 H，再要求 H 中所有元素的“同类元素”仍属于 H。这里的“同类元素”在后续口头解释中被说明为经过共轭操作后得到的元素。

1. H 是 G 的子群

2. 对 H 中所有元素，其同类元素仍属于 H

1. 声音
   观察依据

   讲师说“就是我们共轭操作一下，它还是跑到自己的群里”“我们做一个共轭操作，它最终还是属于 H 本身”

2. 图示
   观察依据

   讲师用黄色下划线标出“H 为 G 的子群，如果 H 中所有的同类元素”，并用圈注强调“所有的”“同类元素”“属于 H”

视频没有给出“同类元素”的正式代数定义，而是用口头解释把它等同于“共轭操作一下”的结果，并强调这些元素最终仍要落回 H 本身。这使定义从抽象名词转成了可操作的直观说法。

1. 针对 H 中的元素讨论其共轭结果

1. 不变子群（正规子群）的定义

1. 声音
   观察依据

   讲师说“我们再来看一个它的性质，不变子群，它的左陪集和右陪集是重合的”

2. 公式
   观察依据

   板书写出“△ 不变子群的左陪集与右陪集重合的”

视频把这一条作为正规子群/不变子群的一个性质提出：若 H 是不变子群，则对相应元素 g，左陪集 gH 与右陪集 Hg 相同。

1. H 是 G 的不变子群（正规子群）

1. 不变子群（正规子群）的定义

1. 公式
   观察依据

   黑板上写有“H 为 G 的子群，如果 H 中所有的同类元素都属于 H，H 称为 G 的不变子群”。

2. 声音
   观察依据

   讲师围绕“不变子群”展开说明。

1. “同类元素”在画面中未进一步展开定义，需结合上下文理解为共轭类中的元素。

视频给出：若 H 是 G 的子群，并且 H 中元素的同类元素仍属于 H，则称 H 为 G 的不变子群。这里的“同类”对应共轭关系，因此该定义与后续公式 gHg^{-1}=H 相呼应。

1. H 是 G 的子群

2. 对 H 中元素的共轭仍落在 H 中

1. 公式
   观察依据

   黑板上写有“不变子群的左陪集与右陪集重合的”。

2. 声音
   观察依据

   讲师说“所以我们不变子群的左陪集和右陪集是重合的”。

视频把“不变子群”的一个核心判别性质写成：对任意 $g\in G$，有 gHg^{-1}=H，并由此得到 gH=Hg。也就是说，正规子群的左陪集与右陪集相同。

1. H 是 G 的不变子群

2. g 是群 G 中的一个元素

1. 不变子群（正规子群）的定义

1. 公式
   观察依据

   黑板下方写有 gH=Hg，并分别圈出 gH 与 Hg。

2. 声音
   观察依据

   讲师明确说“它实际上呢就是左陪集……这个呢是右陪集”。

视频用 gH 表示左陪集，用 Hg 表示右陪集，并强调在不变子群情形下二者重合。

1. H 是 G 的子群

2. g 是群 G 中的一个元素

1. 不变子群的左陪集与右陪集重合

1. 公式
   观察依据

   黑板上方写有“不变子群的左陪集与右陪集重合的”以及公式 $gHg^{-1}=H$

2. 声音
   观察依据

   讲师提到“其实 g撇也是属于 G... 用陪集的构造方法，它就能够取遍所有的元素”

正规子群（也称不变子群）是指对于群 $G$ 中的任意元素 $g$，都有 $gHg^{-1}=H$ 成立的子群 $H$。其几何直观表现为子群的左陪集与右陪集完全重合。

1. $H$ 是群 $G$ 的子群

2. g 属于 G

1. 声音
   观察依据

   讲师说：“因为我我 G 和 H 用陪集的构造方法，它就能够取遍所有的元素。”

通过群元素与子群的乘法运算构造陪集（如左陪集 $gH$ 或右陪集 $Hg$）。当遍历群 $G$ 中的所有元素时，这些陪集的并集能够取遍整个群 $G$ 的所有元素。

1. $G$ 为群

2. $H$ 为 $G$ 的子群

1. 正规子群（不变子群）的定义与性质

1. 声音
   观察依据

   讲师说“如果 H 中所有的元素的同类元素都属于 H，那么这个 H 就称为 G 的不变子群，或者是正规子群”

2. 公式
   观察依据

   板书写出“H 为 G 的子群，如果 H 中所有的同类元素属于 H。H 称为 G 的不变子群”

1. 视频使用“同类元素”这一表述，未在本片段内给出更形式化的逐元素定义。

若 H 为 G 的子群，且 H 中所有元素的同类元素都属于 H，则 H 称为 G 的不变子群（正规子群）。

1. H 是 G 的子群

2. H 中所有元素的同类元素都属于 H

对所有属于 H 的元素

1. 声音
   观察依据

   讲师说“它的左陪集和右陪集是重合的”“因为我们不变子群，所以我们有这个结论……所以我们 gH 等于什么，Hg”

2. 公式
   观察依据

   板书写出“gHg^{-1} = H”“gH = Hg”

1. 视频未说明该性质是否对所有 $g\in G$ 逐字写出量词，但按上下文理解为对相应陪集成立。

若 H 是 G 的不变子群，则其左陪集与右陪集重合，即 gH = Hg。

1. H 是 G 的不变子群

视频未明确写出量词范围

1. 公式
   观察依据

   黑板上写有 gHg^{-1}=H 与 gH=Hg。

2. 声音
   观察依据

   讲师说“所以我们不变子群的左陪集和右陪集是重合的”。

若 H 是 G 的不变子群，则对任意 $g\in G$，有 gH=Hg。

1. H 是 G 的不变子群

2. g 是群 G 中的一个元素

对任意 $g\in G$

1. 声音
   观察依据

   讲师说“其实不存在 g' 的说法，为什么呢？因为你 g' 也是划到 g 里面”。

2. 图示
   观察依据

   约 01:31 起画出 g' 并与 g 所在区域建立联系。

若 g' 与 g 落在同一个陪集中，则用 g 或 g' 构造该陪集得到的是同一个集合，因此不存在“另起一个不同陪集”的 g' 说法。

1. g 和 g′ 都是群 G 中的元素

2. g' 与 g 属于同一陪集

对同一陪集中的代表元

1. 声音
   观察依据

   讲师说“我们假设它的左陪集，那 gH……因为我们不变子群，所以我们有这个结论对不对？因为有这个结论，所以我们 gH 等于什么，Hg”

2. 公式
   观察依据

   板书依次写出“gH”“gHg^{-1} = H”“↓”“gH = Hg”

1. 从 gHg^{-1}=H 到 gH=Hg 的中间代数步骤在视频中没有逐行展开，只给出了结论式书写。

1. 公式

   $$gH$$
   解释

   先写出待考察的左陪集。

   步骤依据

   视频口头说“我们假设它的左陪集，那 gH”，并在板书上写出 gH。

   视频直接表达
2. 公式

   $$gHg^{-1} = H$$
   解释

   由 H 是不变子群，视频直接给出共轭保持 H 不变的结论。

   步骤依据

   讲师说“因为我们不变子群，所以我们有这个结论”，板书写出 gHg^{-1}=H。

   视频直接表达
3. 公式

   $$gH = Hg$$
   解释

   由上一步进一步得到左陪集与右陪集相等。

   步骤依据

   讲师说“因为有这个结论，所以我们 gH 等于什么，Hg”，板书写出 gH=Hg。

   视频直接表达

在该片段中，视频用“gHg^{-1}=H ⇒ gH=Hg”的方式说明不变子群的左右陪集重合。

1. 公式
   观察依据

   黑板上先写 gHg^{-1}=H，再向下推出 gH=Hg。

2. 声音
   观察依据

   讲师说“用它这个性质就一步就出来了”。

1. 视频未逐元素展开证明，只给出结论式推导。

1. 公式

   $$gHg^{-1}=H$$
   解释

   从黑板上的不变子群条件出发。

   步骤依据

   视频直接给出的定义/性质。

   视频直接表达
2. 公式

   $$gH=Hg$$
   解释

   将 gHg^{-1}=H 两边右乘 g，得到左陪集与右陪集相等。

   步骤依据

   由群运算的右乘消去律得到的标准变形；视频以“一步就出来了”概括。

   依据视频推导

不变子群的左陪集与右陪集重合。

1. 声音
   观察依据

   讲师解释“不存在 g' 的说法，因为你 g' 也是划到 g 里面”。

2. 图示
   观察依据

   图中把 g' 画入与 g 相关的同一区域。

1. 视频没有写出完整的陪集划分定理，只通过口头与图示说明代表元归入同一陪集。

1. 公式

   $$g'\in gH$$
   解释

   把 g' 视为与 g 同属一个陪集的代表元。

   步骤依据

   视频用“划到 g 里面”表达这一归属关系。

   视频直接表达
2. 公式

   $$g'H=gH$$
   解释

   因此用 g' 生成的陪集与用 g 生成的陪集相同。

   步骤依据

   陪集作为子集由其所属划分块决定；同一块中的代表元生成同一陪集。

   依据视频推导

不存在因更换代表元而得到新陪集的问题。

1. 图示
   观察依据

   黄色下划线标出“H 为 G 的子群，如果 H 中所有的同类元素”；随后圈出“所有的”“同类元素”“属于 H”等关键词

2. 声音
   观察依据

   讲师边圈画边解释“就是我们共轭操作一下，它还是跑到自己的群里”“一个是所有，一个是都”

1. 板书中的定义句

2. 黄色下划线

3. 黄色圈注

1. 先整体划出定义前半句

2. 再分别圈出“所有的”“同类元素”“属于 H”等关键词

1. 定义文本本身不变

2. H 与 G 的记号不变

视觉强调对应口头解释中的两个重点：一是“所有”表示全称量词，二是“同类元素”被解释为共轭后的元素仍回到 H。

1. 公式
   观察依据

   板书自上而下写出“gH”“gHg^{-1} = H”“↓”“gH = Hg”

2. 声音
   观察依据

   讲师说“我们假设它的左陪集，那 gH……因为我们不变子群，所以我们有这个结论……所以我们 gH 等于什么，Hg”

1. gH

2. gHg⁻¹ 等于 H

3. 向下箭头

4. gH 等于 Hg

1. 先写左陪集 gH

2. 再写共轭式 gHg^{-1}=H

3. 用向下箭头连接到最后结论 gH=Hg

1. H 始终表示子群

2. g 始终表示陪集中的代表元素

板书把“正规性”与“左右陪集重合”之间的关系压缩成一条短链：由 gHg^{-1}=H 直接导向 gH=Hg。

1. 图示
   观察依据

   黑板上半部分写有不变子群定义与“左陪集与右陪集重合”的文字。

2. 公式
   观察依据

   下方写有 gHg^{-1}=H，并有向下箭头指向 gH=Hg。

1. 文字定义

2. 公式 gHg^{-1}=H

3. 公式 gH=Hg

4. 圈注与箭头

1. 先呈现定义，再呈现由定义到陪集相等的推导关系

1. G、H、g 的记号保持不变

画面把不变子群定义与左右陪集重合性质并列展示，强调这是本段核心结论。

1. 图示
   观察依据

   约 00:28 起画出外框矩形并标注 G。

2. 图示
   观察依据

   约 00:35 起在 G 内画出小矩形并标注 H。

3. 图示
   观察依据

   约 00:39 起在 H 外标注元素 g。

4. 图示
   观察依据

   约 00:56 起从 H 向 g 画箭头，随后又画回环箭头。

5. 图示
   观察依据

   约 01:03 起 H 区域被蓝色斜线填充。

6. 图示
   观察依据

   约 01:31 起另画小框并标注 g'。

1. 图中未明确写出 gH 与 Hg 的集合边界，只以区域和箭头示意。

1. 外框 G

2. 内框 H

3. 元素 g

4. 箭头

5. 蓝色阴影区域

6. 元素 g'

1. 先画出 G 与 H 的包含关系

2. 再把 g 放在 H 外

3. 接着用箭头表示由 H 经 g 作用后再回到 H 的过程

4. 最后补画 g' 以讨论代表元归属

1. H 始终位于 G 内部

2. g 与 g' 都表示 G 中元素

该图直观表达不变子群的特征：用 G 中元素去“搬运”H 后仍落回 H，从而对应 gHg^{-1}=H 与 gH=Hg 的关系；后加入 g' 是为了说明同一陪集中的代表元不会生成新的陪集。

1. 图示
   观察依据

   黑板左侧写有公式 $gHg^{-1}=H$ 及“左陪集”、“右陪集”字样，下方画有两个方框代表 $gH$ 和 $Hg$；右侧画有大矩形代表群 $G$，内部有蓝色阴影区域代表子群 $H$，以及两个小方框代表 $gH$ 和 $Hg$。

1. 大矩形 $G$

2. 蓝色阴影区域 $H$

3. 小方框 $gH$

4. 小方框 $Hg$

5. 公式 $gHg^{-1}=H$

1. 大矩形始终代表群 $G$

2. 蓝色阴影区域始终代表子群 $H$

3. 小方框代表陪集

图示直观展示了正规子群 $H$ 在群 $G$ 中的位置，以及左陪集 $gH$ 和右陪集 $Hg$ 在 $H$ 不变条件下的重合关系。

1. 声音
   观察依据

   讲师说“我们要注意看到这一个，是 H 中所有的元素，它的同类元素……它最终还是属于 H 本身。一个是所有，一个是都。”

2. 图示
   观察依据

   圈出“所有的”“属于 H”等词

只看“同类元素”而忽略定义中的全称条件和落回条件。

视频特别强调必须是 H 中“所有的”元素，并且其同类元素“都”属于 H，缺一不可。

1. 声音
   观察依据

   讲师预设疑问“如果我这里不是 g，比如说是 g'，那我还成不成立呀”，随后回答“其实不存在 g' 的说法”。

2. 图示
   观察依据

   图中把 g' 画入与 g 相关的同一区域。

看到另一个元素 g' 时，容易以为它会生成一个新的、不同于 gH 的陪集。

视频指出 g' 仍被划入原来的陪集，因此用 g' 代替 g 只是换了代表元，不改变陪集本身。

1. 声音
   观察依据

   先讲“不变子群/正规子群”的定义，再讲“它的性质，不变子群，它的左陪集和右陪集是重合的”

2. 公式
   观察依据

   板书从定义句过渡到“△ 不变子群的左陪集与右陪集重合的”

视频先给出正规子群/不变子群的定义，再把该定义应用到陪集性质上，说明由正规性可得 gH=Hg。

1. 声音
   观察依据

   讲师在提出性质后立刻问“这一个我们怎么来证呢？”并进入 gH、gHg^{-1}=H、gH=Hg 的推导

2. 公式
   观察依据

   板书把性质与推导式连续写出

陪集重合这一性质在本片段中不是孤立陈述，而是紧接着用 gHg^{-1}=H 推出 gH=Hg 来说明。

1. 公式
   观察依据

   黑板上先写不变子群定义，再写 gHg^{-1}=H 与 gH=Hg。

2. 声音
   观察依据

   讲师说“用它这个性质就一步就出来了”。

视频先用不变子群定义建立概念，再把它应用到左右陪集相等的性质上。

1. 公式
   观察依据

   gH=Hg 直接出现在黑板上。

2. 声音
   观察依据

   讲师分别指认 gH 为左陪集、Hg 为右陪集。

“左右陪集重合”这一性质本身就以左陪集和右陪集为对象。

1. 图示
   观察依据

   矩形图中 H 经 g 作用后回到自身区域。

2. 声音
   观察依据

   讲师说“操作半天又回到自己了，这个群就是不变子群”。

图示把抽象条件 gHg^{-1}=H 可视化，用来支持“左右陪集重合”的结论。

1. 公式
   观察依据

   黑板上“不变子群的左陪集与右陪集重合的”与公式 $gHg^{-1}=H$ 并列书写

陪集的构造方法被用于解释和验证正规子群（不变子群）的性质，即通过遍历群元素构造陪集来证明左右陪集的重合。

1. 声音
   观察依据

   “来看正规子群或者不变子群的概念”

2. 公式
   观察依据

   “H 为 G 的子群，如果 H 中所有的同类元素属于 H。H 称为 G 的不变子群”

1. 不变子群（正规子群）的定义
2. 正规子群/不变子群的判定命题

1. 声音
   观察依据

   “就是我们共轭操作一下，它还是跑到自己的群里”

2. 图示
   观察依据

   圈出“同类元素”

1. “同类元素”在视频中的直观解释
2. 对定义关键词的圈画强调

1. 声音
   观察依据

   “它的左陪集和右陪集是重合的”“所以我们 gH 等于什么，Hg”

2. 公式
   观察依据

   gH 等于 Hg

1. 不变子群的左陪集与右陪集重合
2. 由正规性推出左右陪集相等
3. 不变子群的陪集性质

1. 公式
   观察依据

   板书写出“gHg^{-1} = H”并接“gH = Hg”

2. 声音
   观察依据

   “因为我们不变子群，所以我们有这个结论”

1. 中间代数变形未在视频中逐行展开。

1. 由正规性推出左右陪集相等
2. gHg^{-1}
3. gH
4. Hg

1. 公式
   观察依据

   黑板上写有“H 称为 G 的不变子群”。

2. 声音
   观察依据

   讲师围绕不变子群定义讲解。

1. 不变子群（正规子群）的定义

1. 公式
   观察依据

   黑板上写有 gHg^{-1}=H 与 gH=Hg。

2. 声音
   观察依据

   讲师说“用它这个性质就一步就出来了”。

1. 不变子群的左陪集与右陪集重合
2. 由不变子群性质推出左右陪集重合

1. 公式
   观察依据

   黑板下方写有 gH=Hg。

2. 声音
   观察依据

   讲师明确区分左陪集与右陪集。

1. 左陪集与右陪集

1. 图示
   观察依据

   矩形图中 H 经 g 作用后回到 H。

2. 声音
   观察依据

   讲师说“操作半天又回到自己了”。

1. 用矩形区域示意群、子群与陪集
2. 不变子群的左陪集与右陪集重合

1. 声音
   观察依据

   讲师讨论“如果是 g' 还成不成立”。

2. 图示
   观察依据

   图中补画 g'。

1. 陪集代表元不唯一
2. 误以为更换陪集代表元会得到不同陪集

1. 公式
   观察依据

   黑板上的公式 $gHg^{-1}=H$ 和文字“不变子群”

1. 正规子群（不变子群）的定义与性质

1. 声音
   观察依据

   讲师提到“用陪集的构造方法，它就能够取遍所有的元素”

1. 陪集的构造方法