Turnable World

官官方信息技术老师·14 页·深入（追求细节与边界）·0 次浏览·2 天前
✦ Turnable World信息技术Turnable WorldThe Definition of Group
群论对称性伽罗瓦抽象代数

Turnable World：群论的诞生

理清群论从五次方程无解到对称性语言的蜕变路径与关键转折

按 空格/→ 演示下一步

1 / 14 页

全部页面点击任意一页，跳回舞台从这页播放

群论对称性伽罗瓦抽象代数

Turnable World：群论的诞生

理清群论从五次方程无解到对称性语言的蜕变路径与关键转折

1第 1 页 · Turnable World：群论的诞生

Evariste Galois其人

天才数学家的生平与早逝

Evariste Galois其人
天才数学家的生平与早逝
2第 2 页 · Evariste Galois其人

从方程求解到群论

从五次方程的根式求解失败，到伽罗瓦把视角转向对称性，群论由此诞生。

1
低次已破
2、3、4次方程都有求根公式，靠代数变换即可解出
2
五次碰壁
数学家尝试两百多年，找不到统一的根式通解
3
拉格朗日反思
变换根的排列考察，发现对称性阻碍求解
4
阿贝尔证无
严格证明五次及以上方程无一般根式解
5
伽罗瓦换问
不再求解，转而研究根的对称结构，开创群论
3第 3 页 · 从方程求解到群论

群的形式定义

Galois 看到根的对称性暗藏结构，但要严谨地讨论它，必须先把结构的名字钉死——这就是「群」的四个公理。

封闭性
G 中任意两元素运算后，仍落在 G 内
结合律
(a·b)·c = a·(b·c)，连续运算不因括号位置歧义
单位元
存在 e，使 e·a = a·e = a
逆元
每个 a 都存在 a⁻¹，使 a·a⁻¹ = a⁻¹·a = e
正三角形的 6 个旋转对应 →群的四条公理

复合仍是旋转（封闭）；不动是单位；每个旋转有反向旋转抵消（逆元）

(G,⋅): ∀a,b∈G, ab∈G; (ab)c=a(bc); ∃e, ea=ae=a; ∀a,∃a−1, aa−1=a−1a=e(G,\cdot):\ \forall a,b\in G,\ ab\in G;\ (ab)c=a(bc);\ \exists e,\ ea=ae=a;\ \forall a,\exists a^{-1},\ aa^{-1}=a^{-1}a=e
4第 4 页 · 群的形式定义

群的判定流程

判定一个集合配运算是否构成群，依次检验四条性质，缺一不可。

1
封闭性
集合内任意两元素运算，结果仍留在集合中
2
结合律
三个元素连算时，括号位置不影响结果
3
单位元
存在元素 e，满足 e·a = a·e = a
4
逆元
每个 a 都存在 a⁻¹，使 a·a⁻¹ = e
5第 5 页 · 群的判定流程

群与非群的对照

同样在整数上定义运算，为何加法构成群，乘法却不是？关键在于是否每个元素都有逆元。

整数加法（ℤ,+）
  • 任意两个整数相加仍是整数
  • 加法满足结合律
  • 0 是单位元，a+0=a
  • 每个整数 a 都有逆元 −a
整数乘法（ℤ,×）
  • 任意两个整数相乘仍是整数
  • 乘法满足结合律
  • 1 是单位元，a×1=a
  • 2 没有乘法逆元，因为 1/2 非整数
整数加法（ℤ,+）才是群；整数乘法（ℤ,×）不是群，根源是除 ±1 外的整数都没有乘法逆元。
6第 6 页 · 群与非群的对照

循环群的结构

看一个生成元 g 如何按阶分流，决定整群结构

图解渲染中…
a3：元素阶：满足 g^n=e 的最小正整数 na6：φ(n) 是 Euler 函数，统计与 n 互素的个数a7：Z 的生成元仅 +1 与 -1 两个
7第 7 页 · 循环群的结构

阿贝尔群

上页我们用判定流程确认了一个群。但群内部还有条暗线：a·b 和 b·a 到底等不等？这条线把群劈成两半——交换的一边叫阿贝尔，不交换的留给非阿贝尔。

交换律
对任意 a、b ∈ G，a·b = b·a，运算顺序不影响结果
结构大幅简化
所有子群都正规；有限阿贝尔群可唯一分解为素数幂阶循环群直积
阿贝尔的例子
整数加法 Z、向量加法 ℝⁿ、循环群 Zₙ 都满足交换律
非阿贝尔的反例
S₃ 三角形对称、一般矩阵乘法 GL(n)：交换律破裂
拧魔方的旋转顺序对应 →群运算是否交换

阿贝尔群像加减，3+5=5+3 不分先后；非阿贝尔群像拧魔方，先右后上和先上后右，到的状态完全不同

ab=ba,∀ a,b∈Gab = ba, \quad \forall\, a, b \in G
8第 8 页 · 阿贝尔群

群的阶与元素的阶

先看群多大，再看每个元素多久回到单位元。

1
群的阶 |G|
数清群G中所有不同元素的个数
2
元素阶 ord(g)
使g^n=e的最小正整数n
3
拉格朗日约束
有限群中，ord(g)必整除|G|
4
有限⇒阶有限
|G|有限时，每个元素周期都有限
5
判定周期性
由ord(g)判断⟨g⟩结构与生成周期
9第 9 页 · 群的阶与元素的阶

子群与陪集

子群的定义、判定定理与拉格朗日定理

子群与陪集
子群的定义、判定定理与拉格朗日定理
10第 10 页 · 子群与陪集

概念自测

点击作答

判断集合 G 与运算 * 是否构成群时，以下哪个条件不是群定义所必需的？

11第 11 页 · 概念自测

对称群与置换群

前面我们看到子群揭示群内部的小结构。现在考察一类最具体的群——对称群 S_n，所有有限群都能嵌入其中。它有循环分解、奇偶分类，并由此引出数轨道问题的经典工具 Burnside 引理。

对称群 S_n
n元集合的所有双射在置换复合下成群，阶为 n!
循环分解
每个置换可唯一写成不相交循环之积
奇偶与符号
按长度-1求和判奇偶，ε: S_n → {±1} 是同态
交错群 A_n
偶置换全体构成 S_n 的正规子群，指数为 2
Burnside 引理
轨道数 = (1/|G|) × Σ各置换的不动点数
项链染色方案对应 →Burnside 引理

旋转对称下'看起来一样'的方案归为同一轨道，按不动点平均才能数对

∣X/G∣=1∣G∣∑g∈G∣Xg∣|X/G| = \frac{1}{|G|} \sum_{g \in G} |X^g|
12第 12 页 · 对称群与置换群

群论要点总结

  • ✓群 = 集合 + 满足四公理的运算，最小完备的代数结构
  • ✓对称性是群的语言，不变量是群的目标
  • ✓Galois洞察：方程可解性等价于对应群的结构性质
  • ✓子群→陪集→商群，拆解群结构的递进工具链
延伸主题：正规子群与商群群同态与同构Galois理论深入
13第 13 页 · 群论要点总结

课后思考

先合上书自己想想，再看参考答案。

1为什么 Galois 不直接研究方程本身，反而去研究变换的群？

参考答案Galois 发现根与根之间的对称性比根本身更能揭示方程是否可解，群是描述变换如何保持结构的天然语言。

2循环群一定是阿贝尔群吗？反过来成立吗？请举例或反证。

参考答案循环群必是阿贝尔群（生成元幂乘可交换）；阿贝尔群不一定是循环群，克莱因四元群 K₄ 就是反例。

3旋转之外，生活中还有哪些操作能构成群？哪里会'散架'？

参考答案时钟加法、矩阵乘法都可成群；但日常加法减法不封闭、数的乘法除零无逆元——边界就在封闭性与逆元。

14第 14 页 · 课后思考