群作用：定义

1. 声音
   观察依据

   讲师说：“群 G 在集合 A 上的一个群作用。”

2. 公式
   观察依据

   幻灯片在定义和性质中均显示了字母 G。

G

其上定义了群作用的群。

一个群。

1. 声音
   观察依据

   讲师说：“在集合 A 上”以及“任意集合 A”。

2. 公式
   观察依据

   幻灯片在定义和性质中均显示了字母 A。

A

被该群作用的集合。

任意集合；它无需与群 G 本身有任何关联。

1. 声音
   观察依据

   讲师说：“记作 g 点 a。”

2. 公式
   观察依据

   幻灯片显示了符号 $g \cdot a$。

$g \cdot a$

将群元素 g 的群作用施加于元素 a 所得到的结果。

1. 声音
   观察依据

   讲师说：“除 g 点 a 外，我们也将简记为 ga。”

2. 公式
   观察依据

   讲师在幻灯片上写下 ga。

ga

群作用 $g \cdot a$ 的另一种记号。

1. 声音
   观察依据

   讲师说：“当我们写 g1 g2 时，指的是群 G 中两个元素之间的群运算。”

2. 公式
   观察依据

   幻灯片显示 ($g_1 g_2$) $\cdot a$。

$g_1 g_2$

对群 G 中的元素 $g_1$ 和 $g_2$ 应用群运算。

1. 声音
   观察依据

   讲师说：“对于群的单位元 1。”

2. 公式
   观察依据

   幻灯片显示 $1 \cdot a = a$。

1

群 G 的单位元。

1. 公式
   观察依据

   印刷版定义中使用 G 表示“群 G 在集合 A 上的作用是一个从 $G \times A$ 到 A 的映射”。

2. 声音
   观察依据

   主讲人提到“整个群 G 本身”以及“G 的单位元”。

G

作用所定义其上的群。

群；元素记为 g、$g_1$、$g_2$、$\sigma$。

1. 公式
   观察依据

   印刷版定义中使用 A 表示被作用的集合：“在集合 A 上”以及“从 $G \times A$ 到 A 的映射”。

2. 公式
   观察依据

   例 2 中印出 $A = {x_1, x_2, x_3}$。

A

群所作用的集合。

集合；在例 2 中，$A = {x_1, x_2, x_3}$。

1. 公式
   观察依据

   印刷版性质 (a) 对 $g_1$、$g_2 \in G$ 作全称量化；例 1 写为 ga = a；核集写作 {g | ga = a}。

2. 声音
   观察依据

   主讲人说：“对所有属于 G 的 g。”

g

作用群 G 中的一个元素。

g 属于 G。

1. 公式
   观察依据

   印刷的性质对 $a \in A$ 进行量化，并写出 1 ⋅ $a = a$、ga = a，以及 {g | ga = a}。

2. 声音
   观察依据

   讲师说：“对每个属于 A 的 a。”

a

正在被作用的集合 A 中的一个元素。

a 属于 A。

1. 公式
   观察依据

   印刷的性质（b）是 1 ⋅ $a = a$，对所有 $a \in A$ 成立。

2. 公式
   观察依据

   手写与印刷的核示例均用 {1} 表示仅含单位元的单点集。

3. 声音
   观察依据

   讲师将 {1} 描述为“仅包含群的单位元”以及“G 的单位元”。

1

群 G 的单位元。

1 属于 G。

1. 公式
   观察依据

   例 2 印刷为：“考虑 $S_3$，其中集合 $A = {x_1, x_2, x_3}$。”

2. 声音
   观察依据

   讲师说：“取群 $S_3$，即次数为 3 的对称群。”

$S_3$

次数为 3 的对称群。

元素为置换（包括σ）的群。

1. 声音
   观察依据

   讲师陈述了群作用的定义及其性质。

2. 公式
   观察依据

   幻灯片显示文字：“群 G 在集合 A 上的一个群作用，是指一个从 $G \times A$ 到 A 的映射，记作 g . a（其中 g 属于 G，a 属于 A），并满足以下性质：a) g1 . (g2 . a) = (g1g2) . a，对所有 g1、$g2 \in G$ 及 $a \in A$ 成立；b) 1 . $a = a$，对所有 $a \in A$ 成立。”

群 G 在集合 A 上的一个群作用，是指一个从 $G \times A$ 到 A 的映射，记作 $g \cdot a$，它满足两条性质：与群运算的相容性（$g_1 \cdot (g_2 \cdot a) = (g_1 g_2) \cdot a$）以及单位元性质（$1 \cdot a = a$）。

1. G 是一个群

2. A 是一个集合

1. 声音
   观察依据

   主讲人讲解如何通过验证定义域、陪域以及两条定义性质，来判断给定的映射是否为群作用。

2. 公式
   观察依据

   主讲人写出验证示例 ga = a 的两条性质的具体步骤。

要验证一个映射是否为群作用，首先检查其定义域是否为 $G \times A$，陪域是否为 A。然后验证两条性质：$g_1 \cdot (g_2 \cdot a) = (g_1 g_2) \cdot a$ 对所有 $g_1$, $g_2 \in G$ 和 $a \in A$ 成立，以及 $1 \cdot a = a$ 对所有 $a \in A$ 成立。

1. 群作用的定义

1. 公式
   观察依据

   印刷幻灯片：“群 G 在集合 A 上的一个群作用，是指一个从 $G \times A$ 到 A 的映射，且满足以下性质：a) $g_1 \cdot (g_2 \cdot a) = (g_1 g_2) \cdot a$，对所有 $g_1$,$g_2 \in G$ 和 $a \in A$ 成立；b) $1 \cdot a = a$，对所有 $a \in A$ 成立。”

2. 声音
   观察依据

   讲师从定义出发，继续验证例 1 是否满足所列的两条条件。

视频将群G在集合A上的一个群作用定义为一个从$G \times A$到A的映射，该映射满足两个展示出的性质：与群乘法相容，以及单位元作用为恒等作用。第一条性质指出：先应用$g_2$、再应用$g_1$，等于直接应用乘积$g_1 g_2$；第二条性质指出：G的单位元1固定A中每一个a。

1. G是一个群。

2. A是一个集合。

3. 该作用是从$G \times A$到A的一个映射。

4. 性质(a)对所有$g_1$, $g_2 \in G$及所有$a \in A$成立。

5. 性质(b)对所有$a \in A$成立。

1. 公式
   观察依据

   幻灯片文字：“例1：ga = a”。

2. 公式
   观察依据

   红色手写内容验证了$g_1 \cdot (g_2 \cdot a) = g_1 \cdot a = a = (g_1 g_2) \cdot a$，并注明[(g,a)] ∈ $G \times A$。

3. 声音
   观察依据

   讲师说：“我们定义对每个属于A的a，都有g a等于a”，接着指出第二个条件也容易满足，并称其为“平凡作用”。

例1通过ga = a来定义该作用，其中g取遍群中任意元素，a取遍集合中任意点。可见的手写推导链通过对$g_2 \cdot a$和$g_1 \cdot a$均化简为a，验证了相容性公理；讲师同时指出单位元公理也成立。他将此例命名为平凡作用。

1. 使用群作用定义中相同的群 G 和集合 A。

2. 该规则将每一对 (g, a) 映射到 a 本身。

1. 群作用的定义

1. 公式
   观察依据

   新幻灯片显示：“集合 {g | ga = a} ……被称为群作用的核！”

2. 声音
   观察依据

   讲师说：“事实上，满足 g a 等于 a 的所有 G 中的元素 g，被称为该群作用的核。”

1. 屏幕上显示的集合构造记法省略了显式的“∀$a \in A$”，而口头讲解中包含了“对所有属于 A 的 a”。

视频将满足 ga = a 的群元素构成的集合命名为群作用的核。在示例中，该集合的讨论附带了口头条件——该等式对 A 中所有 a 成立；尽管屏幕上显示的记法仅为 {g | ga = a}。

1. 给定群 G 在集合 A 上的一个群作用。

2. 该集合由满足屏幕上所示固定条件的元素 $g \in G$ 构成。

1. 群作用的定义
2. 关于固定元素a的元素集合的问题

1. 公式
   观察依据

   幻灯片显示：“若 {g | ga = a} = {1}……我们称该作用为‘忠实的’！”

2. 声音
   观察依据

   讲师说：若核是仅含单位元的单点集，“我们就称该群作用是忠实的。”

1. 屏幕上显示的条件使用了相同的简写集合记法 {g | ga = a}；口头讲解则将其与刚刚定义的核联系起来。

本视频中，当群作用的核等于{1}（即仅含群G的单位元的单点集）时，该群作用被称为忠实的。主讲人在请观众猜测后确认术语为“忠实的”。

1. 该作用的核已在视频中给出定义。

2. {1}表示仅含群G的单位元的单元素集合。

1. 群作用的核

1. 公式
   观察依据

   幻灯片在例1下方添加了问题：“那么集合{g | ga = a}呢？”。

2. 声音
   观察依据

   主讲人提问：“对于这个特定的集合G，若对所有属于A的a都有ga = a，我们能说什么？”。

1. 印刷版问题使用{g | ga = a}，而口述内容则明确补充了“对所有属于A的a”。

在介绍平凡作用之后，主讲人提问：满足ga = a的群元素g构成的集合具有什么性质？这一问题通过考察哪些群元素在集合上起平凡作用，来比较不同的群作用。

1. 正在讨论一个群作用。

2. 该集合由满足视频中所示固定条件的群元素构成。

1. 群作用的定义

1. 公式
   观察依据

   红色手写推导链：$g_1 \cdot (g_2 \cdot a) = g_1 \cdot a = a = (g_1 g_2) \cdot a$。

2. 声音
   观察依据

   主讲人称第二个条件“也容易满足”，接着说：“这被称为平凡作用。”

1. 性质（b）的验证是口头陈述的，幻灯片上并未完整写出。

对于规则 ga = a，相容性公理成立，因为 $g_1 \cdot (g_2 \cdot a) = a = (g_1 g_2) \cdot a$；而单位元公理被指出容易满足；因此该规则即为平凡作用。

1. G 是一个群，A 是一个集合。

2. 定义映射 $G \times A \to A$ 为：对所有 $g \in G$ 和 $a \in A$，令 ga = a。

对所有 $g_1$, $g_2 \in G$ 以及所有 $a \in A$。

1. 公式
   观察依据

   幻灯片在例1下方提问：“集合 {g | ga = a} 又如何？”

2. 声音
   观察依据

   主讲人说：“在此例中，对所有属于 G 的 g 和所有属于 A 的 a，均有 ga = a。因此，该集合就只是整个集合 G 本身。”

1. 所展示的集合记号未显式写出关于 a 的全称量词，尽管语音中已明确说明。

对于例1，由于对所有 $g \in G$ 和所有 $a \in A$ 都有 ga = a，故集合 {g | ga = a} 就是整个集合 G。

1. 该作用是平凡作用，即 ga = a。

2. 所考虑的集合是视频中引入的 {g | ga = a}。

对所有 $g \in G$ 以及所有 $a \in A$。

1. 公式
   观察依据

   例2显示：“考虑 $S_3$，其作用在集合 $A = {x_1, x_2, x_3}$ 上，且作用定义为 $σx_i = x_{σ(i)}$。”

2. 公式
   观察依据

   幻灯片再次提问：“那么集合 {g | ga = a} 呢？”，红色手写体给出答案：“= {1}”。

3. 声音
   观察依据

   讲师说：“通过一些实验，你会发现满足 $g a = a$ 的群 G 仅由一个元素组成，即只含群单位元的单点集。”

1. 讲师在此片段中并未证明关于 $S_3$ 的断言；他指出这是通过实验发现的。

2. 所展示的记号 {g | ga = a} 被重复使用，但未显式恢复“对所有 $a \in A$”的量词。

对于 $S_3$ 在 $A = {x_1,x_2,x_3}$ 上的作用（定义为 $σx_i = x_{σ(i)}$），满足所展示条件的群元素构成的集合是 {1}，即仅含群单位元的单元素集。

1. G 等于 $S_3$。

2. A 等于 {$x_1$, $x_2$, $x_3$}。

3. 该作用由 $σx_i = x_{σ(i)}$ 定义。

视频陈述了满足 ga = a 的元素 g 所构成集合的结论；口述部分将其与在集合 A 上的作用联系起来。

1. 公式
   观察依据

   例2给出 $S_3$ 的不动点集为 {1}。

2. 公式
   观察依据

   后续幻灯片通过‘若 {g | ga = a} = {1}……则称该作用为“忠实的”’来定义忠实性。

1. 这一联系是通过合并视频片段中两个已展示的命题推导得出的；讲者并未明确说出‘因此 $S_3$ 的作用是忠实的’。

由于 $S_3$ 的例子中 {g | ga = a} = {1}，而视频将作用定义为忠实的条件是 {g | ga = a} = {1}，因此 $S_3$ 的例子满足所展示的忠实性判据。

1. $S_3$ 的作用以 {1} 为核，如例 2 所述。

2. 忠实作用的定义即视频片段中后续所展示的定义。

适用于例题中给出的特定$S_3$作用2。

1. 声音
   观察依据

   讲者提问：“这对所有群作用都成立吗？”，接着说：“再来看另一个例子。”

2. 公式
   观察依据

   例1导致该集合为 G，而例2导致该集合为 {1}。

视频对比了平凡作用（此时显示的稳定子集为 G）与 $S_3$ 的置换作用（此时稳定子集为 {1}）；因此该性质并未声称对所有群作用都成立。

1. 至少视频中展示的两个例子，均符合视频所给定义的群作用。

存在某个群作用，其显示的稳定子集并非整个群。

1. 声音
   观察依据

   主讲人逐步验证平凡作用 ga = a。

2. 公式
   观察依据

   主讲人写出步骤：g . $a = a$，($g_1$, a) ∈ $G \times A$，$g_1$ ⋅ ($g_2$ ⋅ a) = $g_1$ ⋅ $a = a$，($g_1 g_2$) ⋅ $a = a$。

1. 公式

   $$ga = a$$
   解释

   对所有 $g \in G$ 和 $a \in A$，定义映射为 ga = a。

   步骤依据

   示例中已给出。

   视频直接表达
2. 公式

   $$(g_1, a) \in G \times A$$
   解释

   检查该映射的定义域。

   步骤依据

   根据笛卡尔积 $G \times A$ 的定义。

   视频直接表达
3. 公式

   $$g_1 \cdot (g_2 \cdot a) = g_1 \cdot a = a$$
   解释

   计算第一条性质左边的值。

   步骤依据

   两次应用定义 ga = a。

   视频直接表达
4. 公式

   $$(g_1 g_2) \cdot a = a$$
   解释

   计算第一条性质右边的值。

   步骤依据

   由于 $g_1 g_2 \in G$，应用定义 ga = a。

   视频直接表达
5. 公式

   $$g_1 \cdot (g_2 \cdot a) = (g_1 g_2) \cdot a$$
   解释

   得出第一条性质成立。

   步骤依据

   两边的值均为 a。

   视频直接表达

映射 ga = a 满足群作用的第一条性质。

1. 公式
   观察依据

   印制的公理：$g_1 \cdot (g_2 \cdot a) = (g_1 g_2) \cdot a$ 以及 $1 \cdot a = a$。

2. 公式
   观察依据

   红色手写内容：$g_1 \cdot (g_2 \cdot a) = g_1 \cdot a = a = (g_1 g_2) \cdot a$。

3. 声音
   观察依据

   主讲人称第二条公理也容易满足。

1. 单位元公理的验证未以完整推导链形式展示，仅通过口头陈述完成。

1. 公式

   $$g_2 \cdot a = a$$
   解释

   依据例 1 的规则，每个群元素 g 对任意 a 的作用结果仍为 a。

   步骤依据

   所显示规则 ga = a 的定义：对所有 $g \in G$、$a \in A$ 成立。

   视频直接表达
2. 公式

   $$g_1 \cdot (g_2 \cdot a) = g_1 \cdot a$$
   解释

   将结果 $g_2 \cdot a = a$ 代入相容性公理左侧。

   步骤依据

   使用规则 ga = a 进行替换。

   视频直接表达
3. 公式

   $$g_1 \cdot a = a$$
   解释

   对 $g_1$ 作用于 a 的情形再次应用相同规则。

   步骤依据

   所展示规则 ga = a 的定义。

   视频直接表达
4. 公式

   $$(g_1 g_2) \cdot a = a$$
   解释

   乘积 $g_1g_2$ 也是一个群元素，因此它作用于 a 时也返回 a。

   步骤依据

   规则 ga = a 适用于每个群元素，包括 $g_1g_2$。

   视频直接表达
5. 公式

   $$g_1 \cdot (g_2 \cdot a) = (g_1 g_2) \cdot a$$
   解释

   等式两边均化简为 a，因此相容性公理成立。

   步骤依据

   由前述展示的等式链得出的等式的传递性。

   视频直接表达
6. 公式

   $$1 \cdot a = a$$
   解释

   单位元是一个群元素，因此同一规则给出单位元公理。

   步骤依据

   音频陈述：第二个条件容易满足，并结合规则 ga = a。

   视频直接表达

规则 ga = a 满足所展示的两条性质，因此是平凡作用。

1. 公式
   观察依据

   幻灯片在例 1 下方提问：“集合 {g | ga = a} 是什么？”

2. 声音
   观察依据

   主讲人指出：对所有 $g \in G$ 和所有 $a \in A$，均有 ga = a，因此该集合就是整个集合 G 本身。

1. 屏幕上显示的集合表示法省略了明确条件“对所有 $a \in A$”，该条件由语音补充说明。

1. 公式

   $$\forall g \in G,\ \forall a \in A:\ ga = a$$
   解释

   用其量词重述例1的定义规则。

   步骤依据

   印刷版例1加上讲师口头给出的澄清说明。

   视频直接表达
2. 公式

   $$\{g \mid ga = a\} = G$$
   解释

   群 G 的每个元素都满足屏幕上所示的条件，因此满足该条件的元素构成的集合就是整个群 G。

   步骤依据

   集合构造法定义，以及在平凡作用下 ga = a 恒成立这一普遍事实。

   依据视频推导

对于平凡作用，幻灯片中所问及的集合即为整个群 G。

1. 公式
   观察依据

   例2印出 $S_3$，$A = {x_1,x_2,x_3}$，且 $σx_i = x_{σ(i)}$。

2. 公式
   观察依据

   幻灯片提问：“那么集合 {g | ga = a} 呢？”，红色手写体答为“= {1}”。

3. 声音
   观察依据

   讲师说：“通过一些实验，你将发现”该集合是仅含群单位元的单元素集合。

1. 视频片段中未展示任何关于为何仅有单位元能固定该作用的详细实验或证明。

2. 屏幕上所示条件 {g | ga = a} 的确切适用范围，相对于口头陈述的前提有所简略。

1. 公式

   $$G = S_3,\quad A = \{x_1,x_2,x_3\},\quad \sigma x_i = x_{\sigma(i)}$$
   解释

   从例2中识别出群、集合及作用规则。

   步骤依据

   幻灯片呈现与口头介绍。

   视频直接表达
2. 公式

   $$\{g \mid ga = a\} = \{1\}$$
   解释

   讲师指出，通过对此作用进行实验可知，该集合中仅含单位元。

   步骤依据

   音频中的断言；视频片段中未展示完整推导过程。

   视频直接表达

对于所显示的 $S_3$ 置换作用，视频声称其固定集为单元素集 {1}。

1. 声音
   观察依据

   讲师引入例子 ga = a，并提问它是否为一个群作用。

2. 公式
   观察依据

   幻灯片显示“例 1：ga =”，讲师将其补全为“a”。

判断映射 ga = a 是否为群 G 在集合 A 上的一个群作用。

1. G 是一个群

2. A 是一个集合

3. 该映射定义为：对所有 $g \in G$ 和 $a \in A$，有 ga = a。

验证该映射是否满足群作用的性质。

1. 公式

   $$g . a = a$$
   解释

   用点号记法重写该映射。

   步骤依据

   记法等价性。

   视频直接表达
2. 公式

   $$(g_1, a) \in G \times A$$
   解释

   验证定义域为 $G \times A$。

   步骤依据

   笛卡尔积的定义。

   视频直接表达
3. 公式

   $$g_1 \cdot (g_2 \cdot a) = g_1 \cdot a = a$$
   解释

   计算第一条性质左侧的表达式。

   步骤依据

   应用该映射的定义。

   视频直接表达
4. 公式

   $$(g_1 g_2) \cdot a = a$$
   解释

   计算第一条性质右侧的表达式。

   步骤依据

   应用该映射的定义，因为 $g_1 g_2 \in G$。

   视频直接表达

是的，这是一个群作用（第一个性质已在视频片段中验证）。

主讲人明确检验了定义域、陪域以及第一个性质，并确认它们全部满足。

1. 公式
   观察依据

   幻灯片文字：“例1：ga = a”。

2. 公式
   观察依据

   红色手写内容验证了 $g_1 \cdot (g_2 \cdot a) = g_1 \cdot a = a = (g_1 g_2) \cdot a$，并注明 [(g,a)] ∈ $G \times A$。

3. 声音
   观察依据

   讲师称其为“平凡作用”，并计算出相应的集合为整个群 G。

1. 单位元公理以口头陈述方式给出，而非完整书写出来。

给定群 G 在集合 A 上的作用，定义映射为 ga = a，并考察它是否构成群作用，以及集合 {g | ga = a} 是什么。

1. G 是一个群。

2. A 是一个集合。

3. 所提出的群作用定义为：对任意 $g \in G$ 和 $a \in A$，有 ga = a。

验证所展示的群作用性质，并确定集合 {g | ga = a}。

1. 公式

   $$g_1 \cdot (g_2 \cdot a) = g_1 \cdot a = a = (g_1 g_2) \cdot a$$
   解释

   手写推导链通过将每个作用都化简为 a，验证了相容性公理。

   步骤依据

   幻灯片上印出的红色公式。

   视频直接表达
2. 公式

   $$1 \cdot a = a$$
   解释

   主讲人指出，单位元条件也容易满足。

   步骤依据

   音频陈述结合规则 ga = a。

   视频直接表达
3. 公式

   $$\{g \mid ga = a\} = G$$
   解释

   因为对所有 $a \in A$，G 中每个 g 都满足 ga = a，所以所求集合就是整个 G。

   步骤依据

   幻灯片后的音频解释提出了该问题。

   视频直接表达

规则 ga = a 是平凡作用，而集合 {g | ga = a} 就是整个群 G。

相容性公理通过手写等式链直观验证；单位元公理则通过口头确认。

1. 公式
   观察依据

   印刷幻灯片：“例2：考虑$S_3$，其集合$A = {x_1, x_2, x_3}$，作用定义为$σx_i = x_{σ(i)}$”

2. 公式
   观察依据

   幻灯片提问：“集合{g | ga = a}是什么？”，红色手写答案为“= {1}”

3. 声音
   观察依据

   讲师将$S_3$描述为3次对称群，并指出实验表明该集合仅为仅含群单位元的单点集。

1. 讲师邀请观众证明这是一个群作用，但在本视频片段中并未完成该证明。

2. 该集合等于{1}这一结论被表述为通过实验发现，而非逐步推导得出。

考虑$S_3$，其中$A = {x_1, x_2, x_3}$，且作用定义为$σx_i = x_{σ(i)}$；请确定视频中讨论的集合{g | ga = a}。

1. $G = S_3$，即3次对称群。

2. A 等于 {$x_1$, $x_2$, $x_3$}。

3. 作用定义为：对任意$σ \in S_3$，有$σx_i = x_{σ(i)}$。

找出满足所展示条件{g | ga = a}的群元素构成的集合。

1. 公式

   $$\sigma x_i = x_{\sigma(i)}$$
   解释

   这是所展示的规则，定义了置换如何作用于带指标的集合。

   步骤依据

   印刷示例2及该公式的口语朗读。

   视频直接表达
2. 公式

   $$\{g \mid ga = a\} = \{1\}$$
   解释

   讲师指出，通过实验可知，只有单位元属于该集合。

   步骤依据

   音频陈述内容，配合幻灯片上用红色手写标注的答案。

   视频直接表达

对于所展示的$S_3$作用，集合{g | ga = a}为{1}，即仅含群单位元的单元素集。

片段中未给出完整验证；讲师称该结论由实验得出，并询问观众是否愿意证明作用公理。

1. 图示
   观察依据

   幻灯片显示标题“群作用！”以及群作用的形式化定义及其两条性质。

1. 文字：“群作用！”

2. 文字：群G在集合A上的一个群作用，是指从$G \times A$到A的一个映射，对任意$g \in G$和$a \in A$，记作g . a，并满足以下性质：

3. 文字：a) g1 . (g2 . a) = (g1g2) . a，对所有g1, $g2 \in G$及$a \in A$成立

4. 文字：b) 1 . $a = a$，对所有$a \in A$成立

1. 该定义及其性质在整个视频片段中始终保留在幻灯片上。

画面提供了主讲人正在讲解的形式化数学定义。

1. 动画
   观察依据

   主讲人写下“ga = a”，随后展开群作用第一条性质的验证步骤。

1. 手写文字：ga = a

2. 手写文字：$g \cdot a$

3. 手写文字：($g_1$, a) ∈ $G \times A$

4. 手写文字：$g_1 \cdot (g_2 \cdot a) = g_1 \cdot a = a$

5. 手写文字：($g_1 g_2$) · $a = a$

1. 讲师逐步在幻灯片上写出该例题及其验证步骤。

动画演示了如何运用定义来验证一个具体例子，展现其实际应用。

1. 图示
   观察依据

   白色幻灯片标题为“群作用！”，印有定义与示例1，并附红色手写批注，包括靠近性质(a)的删除标记、“cA”、“$g\cdot a$”、“[(g,a)] ∈ $G\times A$”，以及链式等式：$g_1\cdot (g_2\cdot a)=g_1\cdot a=a=(g_1g_2)\cdot a$。

2. 动画
   观察依据

   讲师以小窗口形式出现在画面右下角，主幻灯片保持静止。

1. 片段中未解释靠近性质(a)的删除标记的含义。

1. 标题：“群作用！”

2. 群作用的印刷定义

3. 印刷性质(a)与(b)

4. 印刷示例1：ga = a

5. 红色手写批注及等式链

6. 右下角嵌入小型主讲人画面

1. 此时间段内未发生显著的幻灯片切换。

2. 红色手写批注已预先显示，并在讲师讲解验证过程时同步使用。

1. 印刷版定义及两条公理持续可见。

2. 示例1持续可见，内容为 ga = a。

3. 主讲人嵌入画面持续位于右下角。

视觉布局将形式化定义与具体验证配对呈现，该验证表明常数规则 ga = a 满足所展示的公理。

1. 动画
   观察依据

   约在00:22处，‘集合 {g | ga = a} 又如何？’这一行文字出现在示例1下方。

2. 公式
   观察依据

   新增行采用集合构造表示法，其中包含 g、ga 和 a。

1. 已有的群作用定义

2. 例1：ga = a

3. 新印制的问题：“集合 {g | ga = a} 呢？”

1. 在例1下方新增了一行问题。

2. 一旦该问题出现，原先红色手写的验证过程便不再成为焦点。

1. 群作用的定义仍保留在屏幕上。

2. 例1保留在屏幕上。

幻灯片内容从验证 ga = a 是一个群作用，转向在该例中提问：哪些群元素满足固定条件？

1. 动画
   观察依据

   约在00:47处，例2出现在例1下方：“考虑 $S_3$ 作用在集合 $A = {x_1, x_2, x_3}$ 上，其作用定义为 $σx_i = x_{σ(i)}$。”

2. 动画
   观察依据

   约在01:13处，问题“集合 {g | ga = a} 呢？”再次出现在例2下方。

3. 公式
   观察依据

   在约01:21–01:23时段，红色手写体在该问题后添加了“= {1}”。

1. 该片段未以视觉方式逐一演示 $S_3$ 中的各个置换，仅展示了通用规则。

1. 例2的文字描述，涉及$S_3$以及$A = {x_1,x_2,x_3}$

2. 公式 $σx_i = x_{σ(i)}$

3. 重复提问：“集合{g | ga = a}呢？”

4. 红色手写答案“= {1}”

1. 例2被添加到幻灯片中。

2. 对新例子再次提出相同的问题。

3. 添加一个红色手写答案“= {1}”。

1. 原始定义与例1仍保留在上方可见区域。

2. 主讲人小窗始终位于右下角。

例1与例2之间的视觉对比，通过展示同一集合问题的两个不同答案，为后续核与忠实作用的定义埋下伏笔。

1. 动画
   观察依据

   约在01:37处，幻灯片切换至新布局，标题为“集合{g | ga = a}。”

2. 公式
   观察依据

   文字显示：“……称为群作用的核！”

3. 公式
   观察依据

   额外文字显示：“若 {g | ga = a} = {1}…… 我们称该作用为‘忠实的’！”

1. 标题：“集合 {g | ga = a}”

2. 命名该集合为核的陈述

3. 定义忠实作用的条件语句

4. 主讲人小窗画面

1. 先前的例题幻灯片被替换为定义幻灯片。

2. 先出现‘核’这一名称，随后给出忠实性的条件。

1. 集合表示法 {g | ga = a} 仍是幻灯片上的核心对象。

2. 主讲人小窗画面持续可见。

该幻灯片将先前的计算性问题转化为术语表述：该集合被命名为核，而特例 {1} 被命名为忠实的。

1. 动画
   观察依据

   大约在02:02处，幻灯片切换为“今天就到这里！”，下方以较小字号显示文字：“我们该为课堂留些讨论内容，您不这么认为吗？”

2. 声音
   观察依据

   主讲人表示，五分钟内信息量很大，部分内容将留待后续课堂讲解。

1. 结束标题：“今天就到这里！”

2. 较小字号的结束句，说明将讨论内容留待课堂展开

3. 主讲人小窗画面

1. 数学定义幻灯片被结束信息取代。

1. 主讲人小窗画面持续显示至最后。

这一段落起总结收尾作用，而非引入额外的定义、公式或例题。

1. 声音
   观察依据

   讲师说：“注意，此处没有任何限制——集合 A 可以是任意集合，它无需与群 G 本身有任何关联。”

学生可能误以为集合 A 必须与群 G 相关（例如，是 G 的子集或商集）。

集合 A 可以是任意集合，无需与群 G 具有任何结构上的关系。

1. 声音
   观察依据

   在算出平凡作用的稳定子集为G后，主讲人提问：“所有群作用都如此吗？”，随后展示例题2。

2. 公式
   观察依据

   例题1的答案是G，而例题2的手写答案为{1}。

人们可能会认为，由于平凡作用使得{g | ga = a} = G，因此每个群作用中固定元素的集合都相同。

视频立即用$S_3$置换作用与平凡作用形成对比，其中展示的集合是{1}，表明答案依赖于具体的作用。

1. 公式
   观察依据

   幻灯片反复写出{g | ga = a}，但未明确写出“∀$a \in A$。”

2. 声音
   观察依据

   讲师在讨论示例中的该集合时，口头说明“对所有a属于A”。

1. 这是一条分析性注释，指出所展示记号可能存在歧义，并非讲师明确指出的错误。

仅从幻灯片上阅读{g | ga = a}，可能使人误以为该条件针对某个未指明的单个a。

在口头讲解的设定中，讲师将该集合与“对所有$a \in A$成立”这一条件联系起来；而所展示的记号本身并未显式写出该量词。

1. 声音
   观察依据

   讲师先定义群作用，随即立即用该定义来验证一个例子。

检验群作用的方法直接源于并应用了群作用的定义。

1. 声音
   观察依据

   主讲人使用该方法验证了平凡作用的例子。

验证群作用的方法被应用于平凡作用这一具体例子。

1. 公式
   观察依据

   例1直接置于印刷定义下方，并依据性质(a)和(b)进行验证。

2. 声音
   观察依据

   讲师在将该例子命名为平凡作用之前，先验证了这两条性质。

平凡作用的例子被呈现为对所展示的群作用定义的直接应用与验证。

1. 公式
   观察依据

   问题“那么集合{g | ga = a}呢？”出现在例1下方。

2. 声音
   观察依据

   讲师专门针对平凡作用计算了这个集合。

集合 {g | ga = a} 的首次计算，依赖于平凡作用示例中给出的具体规则 ga = a。

1. 公式
   观察依据

   相同的集合记号 {g | ga = a} 首先以问题形式提出，随后在屏幕上显示为：“集合 {g | ga = a} ……被称为群作用的核！”

2. 声音
   观察依据

   讲师从询问该集合过渡到为其命名——‘核’。

后续对‘核’的定义，所指的正是此前作为研究对象引入的那个集合。

1. 公式
   观察依据

   幻灯片首先将 {g | ga = a} 命名为核，接着陈述：“若 {g | ga = a} = {1}……则称该作用为‘忠实的’！”

2. 声音
   观察依据

   讲师将忠实作用定义为：其核是仅含单位元的单点集。

忠实性由核的一个特殊取值来定义，因此忠实作用的定义依赖于前述关于核的定义。

1. 公式
   观察依据

   例 1 导出的集合为 G，而例 2 导出的集合为 {1}。

2. 声音
   观察依据

   讲师先提问：平凡作用的结果是否对所有群作用都成立？随后说道：“再来看另一个例子。”

这两个例子用于对比：一个群作用的显式稳定子集是整个 G，另一个群作用的显式稳定子集却仅为单位元。

1. 公式
   观察依据

   例 2 在群作用的印刷定义之后，给出了一个候选作用 $σx_i = x_{σ(i)}$。

2. 声音
   观察依据

   讲师提问：“你愿意尝试证明这确实是一个群作用吗？”

1. $S_3$规则满足公理的证明在视频片段中并未展开。

$S_3$置换规则被作为另一个候选方案提出，需将其代入群作用的定义加以检验。

1. 公式
   观察依据

   核被定义为{g | ga = a}；忠实性则由附加条件{g | ga = a} = {1}定义。

忠实作用是视频中核集合恰好等于仅含单位元的单元素集合这一特殊情况。

1. 声音
   观察依据

   主讲人明确陈述了群作用的定义。

1. 群作用的定义

1. 声音
   观察依据

   主讲人演示了如何验证一个映射是否为群作用。

1. 验证群作用的方法
2. 平凡群作用的验证

1. 声音
   观察依据

   主讲人引入了例子 ga = a。

1. 平凡群作用

1. 声音
   观察依据

   主讲人澄清集合 A 可以是任意集合。

1. 关于集合 A 的常见误解

1. 公式
   观察依据

   印制的群作用定义，包含性质（a）和（b）。

1. 群作用的定义

1. 公式
   观察依据

   红色手写推导链验证了当ga = a时，有$g_1 \cdot (g_2 \cdot a) = (g_1 g_2) \cdot a$。

2. 声音
   观察依据

   讲师称第二条条件容易满足，并称其为平凡作用。

1. 平凡作用示例
2. 验证 ga = a 满足所显示的作用公理。
3. 规则 ga = a 满足所展示的群作用公理。

1. 公式
   观察依据

   例1下方提出的问题：“集合{g | ga = a}情况如何？”

2. 声音
   观察依据

   讲师指出该集合就是整个群G本身。

1. 关于固定元素a的元素集合的问题
2. 计算屏幕上所示平凡作用的不动点集。
3. 在平凡作用中，所展示的固定集是整个 G。

1. 公式
   观察依据

   例2打印 $S_3$，$A = {x_1,x_2,x_3}$，且 $σx_i = x_{σ(i)}$。

1. 例2：$S_3$通过指标置换作用于集合{$x_1$, $x_2$, $x_3$}
2. $S_3$
3. $\sigma$
4. $x_i$

1. 公式
   观察依据

   手写的红色答案“= {1}”出现在例题2的问题之后。

2. 声音
   观察依据

   讲师指出，实验表明该集合仅包含群单位元。

1. 该片段未展示实验的详细过程。

1. 例2：$S_3$通过指标置换作用于集合{$x_1$, $x_2$, $x_3$}
2. 所声称的关于 $S_3$ 作用的显示固定集的计算
3. 对于 $S_3$ 的置换作用，所展示的稳定子集为 {1}。

1. 公式
   观察依据

   幻灯片：“集合 {g | ga = a} …… 称为群作用的核！”

1. 群作用的核

1. 公式
   观察依据

   幻灯片：“若 {g | ga = a} = {1}，…… 我们称该作用为‘忠实的’！”

2. 声音
   观察依据

   讲师确认术语为“忠实的”。

1. 忠实的群作用
2. $S_3$ 的例子满足视频中所展示的忠实性判据。

1. 公式
   观察依据

   例1对应的集合是G；例2对应的集合写作{1}。

2. 声音
   观察依据

   主讲人提问：第一个结论是否对所有群作用都成立？随后给出了另一个例子。

1. 平凡作用示例
2. 例2：$S_3$通过指标置换作用于集合{$x_1$, $x_2$, $x_3$}
3. 稳定子集不必是每个群作用下的整个群 G