笔记完全基于清华大学邓教授开设的 抽象代数 课程的 Lecture notes 和课本 Abstract Algebra by David S. Dummit。引用部分为个人理解。

抽象代数的意义：$$

• 对具有结合律的作用的抽象表示，相同的作用只要研究一遍。
• 研究不同作用所共有的性质，发展系统性的手段处理具有特定性质的作用。
• 最终发现特定性质的作用与研究它们的各种手段的广泛应用。

Chap.1 Introduction to Groups

[3B1B] 群论与……

群是具有结合律，存在单位元和逆元的抽象概念，只有作用在集合上才能体现出它的 “作用”。从群作用在集合上导出的对称性和其它性质是研究群的重要手段。事实上，很多群就是由此定义的。因此，很多人说群论是描述对称的理论。

A group is not really about symmetries of a particular object, it's an abstract way that things even can be symmetric. —— Grant Sanderson

Sec.1.1 Basic Axioms and Examples

基本公理。非常基本，必须熟练掌握。

二元运算

集合 $G$ 上的二元运算 $\star$ 是 $G\times G\to G$ 的函数 $\star (a,b)$。

• 若 $(a\star b)\star c=a\star (b\star c)$，则称 $\star$ 具有 结合律。
• 若 $a\star b=b\star a$，则称 $\star$ 具有 交换律。
• 对 $G$ 的子集 $H$，若 $H$ 的任意两个元素运算后仍属于 $H$，则称 $H$ 在 $\star$ 下 封闭。

二元运算本身不要求结合律或交换律，自由度高。

群公理

集合 $G$ 和其上的二元运算 $\star$ 构成的有序组 $(G,\star )$ 称为 **群 (Group) **，若其满足以下三条公理：

(i) $\star$ 有结合律。

(ii) 存在单位元 $e$，满足 $a\star e=e\star a=a,\mathrm{\forall }a\in G$。

(iii) 每个元素存在逆元 $a^{-1}$，满足 $a\star a^{-1}=a^{-1}\star a=e,\mathrm{\forall }a\in G$。

$G$ 的大小称为 **阶 (Order) **，记作 $|G|$。$G$ 不一定有限，但公理 (ii) 保证 $G$ 非空。由有限集定义的群称为 有限群。

群公理暗含了 $G$ 对 $\star$ 运算的封闭性。

结合律是几乎所有作用的内在性质：函数复合具有结合律。

单位元说明 “什么也不做” 是一种对称。

逆元说明对称作用的逆作用（反悔）也是一种对称（这也是一种对称）。

阿贝尔群

运算具有交换律的群称为 **阿贝尔群 (Abelian Group) **。

简要记号

一般视 $\star$ 为元素的乘法运算（记号，不是数学乘法），$a\star b$ 记为 $ab$，单位元 $e$ 记为 $1$。

对 $n\in {\mathbb{Z}}^{+}$，记 $x^n=xx\cdots x$，共 $n$ 项；记 $x^{-n}=x^{-1}{x}^{-1}\cdots x^{-1}$，共 $n$ 项；令 $x^0=1$。定义的合理性由结论 1.1 第五条保证。

特殊情况视 $\star$ 为元素的加法运算（记号，不是数学加法），$a\star b$ 记为 $a+b$，单位元 $e$ 记为 $0$，逆元记为 $-a$。例如环要求 $G$ 上定义加法和乘法，且 $(G,+)$ 构成阿贝尔群。类似有 $nx,-nx$ 和 $0x$。

结论 1.1（基本性质）

(1) 单位元唯一。

(2) 每个元素的逆元唯一。

(3) $(a^{-1}{)}^{-1}=a$。

(4) $(ab{)}^{-1}=b^{-1}{a}^{-1}$。

(5) 广义结合律：$a_1{a}_2\cdots a_n$ 的结果与括号位置无关。

以 (2) 为例：假设 $b,c$ 都是 $a$ 的逆元，则 $ab=1$ 且 $ca=1$，于是 $c=c1=cab=1b=b$。

结论 1.2（消去律）

(1) $au=av⟹u=v$。

(2) $ub=vb⟹u=v$。

以 (1) 为例：$au=av⟹a^{-1}au=a^{-1}av⟹1u=1v⟹u=v$。

像解方程一样将元素在等式左右移动。

注意：必须同时左乘或同时右乘。$a=a$，但 $xa$ 不一定等于 $ax$。

阶

最小的正整数 $n$ 满足 $x^n=1$ 称为 $x$ 的阶，记作 $|x|$。当 $G$ 为无限群时，$n$ 可能不存在，此时认为 $|x|$ 无穷大。

有没有很熟悉？和数论的阶是同一个概念。模 $n$ 下的简化剩余系就是群 $(\mathbb{Z}/n\mathbb{Z}{)}^{\times }$。

Sec.1.2 Dihedral Groups

基本群之一。

二面体群

考虑所有使正 $n$ 边形保持原状的作用（刚体运动，必须恰好落在原来的位置）：绕中心旋转 $\frac{2k\pi }{n}$ 弧度，其中 $0\le k<n$。

如果将正 $n$ 边形视为三维空间中的二面体，则翻转导出了更多的作用。所有这些作用构成的群称为 $2n$ 阶 二面体群 (Dihedral Groups) $D_{2n}$，因为 $|D_{2n}|=2n$。$1$ 有 $n$ 种方案，$2$ 有两种方案，剩下的点由 $1,2$ 的位置确定。

注意：对于 $D_4$，将二面体旋转 $\pi$ 弧度和沿线段的垂直平分线翻转是两种不同的对称作用。后者改变了二面体的正反。

注意：$D_{2n}$ 是 $n$ 边形对应的二面体群，不是 $2n$ 边形。

为什么能构成群？

• 对二面体的作用满足结合律。
• 不进行任何操作也是一种保持形状的作用，它是群的单位元。
• 刚体运动可逆，且保持形状的作用的逆作用保持形状，所以逆元存在。

---

记 $r$ 表示绕中心顺时针旋转 $\frac{2\pi }{n}$ 弧度，$s$ 表示以 $1$ 和中心的连线为轴翻转，则

(1) $1,r,\cdots ,r^{n-1}$ 互不相同，所以 $|r|=n$。

(2) $|s|=2$。

(3) 对任意 $i$，$s\ne r^i$。

(4) 对任意 $0\le i,j<n$ 且 $i\ne j$，$s{r}^i\ne s{r}^j$。

(5) $rs=s{r}^{-1}$。

(6) $r^{i}s=s{r}^{-i}$。

注意：作用的复合从右向左，$rs$ 表示先执行 $s$，再执行 $r$，与函数复合的顺序一致。这一点很重要。

容易根据实际意义证明这些结论。

(5) 是二面体群最核心的性质，(6) 是 (5) 的直接推论：它揭示了 $s$ 如何与 $r$ 的幂次交换，于是 $D_{2n}$ 的所有元素可以写成 $s^i{r}^j$ 的形式，其中 $0\le i<2$，$0\le j<n$，因为总可以将 $r$ 右侧的 $s$ 挪到它左侧。类似地，总可以将 $r$ 左侧的 $s$ 挪到它右侧，用 $r^i{s}^j$ 表示所有元素。

生成元和关系

二面体群由 $r,s$ 和一些关系生成。推广这个思想，称 $G$ 被集合 $S$ 生成，若 $G$ 的每个元素由 $S$ 的元素和它们的逆元有限相乘得到，记作 $G=⟨S⟩$。$S$ 称为 $G$ 的 生成元 (Generator)。

为什么要有逆元？阶不一定存在，考虑 $\mathbb{Z}=⟨1⟩$。对于有限群则不需要逆元。

由群的封闭性可知 $S$ 中元素的乘积集合等于 $G$，而不只是包含 $G$。

$S\cup \{1\}$ 的元素之间的等式 $R_1,R_2,\cdots ,R_m$ 称为 **关系 (Relation) **，如 $D_{2n}$ 有关系 $r^n=s^2=1$ 和 $rs=s{r}^{-1}$。

称为 $G$ 的 表示 (Representation)。于是

这些关系唯一确定了 $D_{2n}$。任何其它满足这些关系的群一定满足某些无法由这些关系推出的其它关系。

寻找一个群的表示是困难的，且表示不一定唯一。

Sec.1.3 Symmetric Group

基本群之二。

对称群

所有 $n$ 阶排列构成 $n$ 阶 对称群 (Symmetric Group)。$S_{\mathrm{\Omega }}$ 表示所有双射 $\sigma :\mathrm{\Omega }\to \mathrm{\Omega }$ 构成的集合，$S_n$ 表示 $\mathrm{\Omega }=\{1,2,\cdots ,n\}$，$|S_n|=n!$。

排列就是把集合双射到自身。

对 $n\ge 3$，$S_n$ 不是阿贝尔群。

环表示

环

表示 $a_i\mapsto a_{i+1}$，$a_n\mapsto a_1$，其它位置不变。不要把顺序搞反了。

不交的环是可交换的。

环分解算法

从每个点开始跳出边。OI 基本算法。

一个排列的阶是它的环分解中所有环的环长的最小公倍数。

Sec.1.5 The Quaternion Group

四元数群

满足 $1$ 为单位元，$-1$ 的作用是改变符号。

乘法的顺序是 $i,j,k$，即 $ij=k$，$jk=i$，$ki=j$，交换顺序反号。特别地，$i^2=j^2=k^2=-1$。

Sec.1.6 Homomorphisms and Isomorphisms

群论中最重要的概念。

同态

同态是一个群到另一个群的保持结构的映射。对 $(G,\star )$ 和 $(H,\diamond )$，映射 $\phi :G\to H$ 称为 同态 (Homomorphism)，若

或简写为

同构

同构是两个群之间保持结构的映射。映射 $\phi$ 称为 同构 (Isomorphism)，若它既是同态，也是双射。如果两个群同构，则它们拥有完全相同的结构性质，除了元素表示不同，它们在其它所有方面都是相同的。

表示同构的二元关系符为 $\cong$（\cong）。$G\cong G$，$(\mathbb{R},+)\cong ({\mathbb{R}}^{+},\times )$（指数和对数），$S_{\mathrm{\Delta }}=S_{\mathrm{\Omega }}⟺|\mathrm{\Delta }|=|\mathrm{\Omega }|$。

同构的意义：

• 同构的群只需要研究其中一个。
• 具有相同性质的群同构。

同态的意义：设 $G$ 的像集为 $K$。

• 若 $\phi$ 是单射，则 $H$ 存在子结构（子群）$K$ 和 $G$ 同构。
• 若 $\phi$ 不是单射，则同态相当于将 $G$ “折叠” 成若干几乎和 $K$ 同构的部分（陪集），每一份在映射后均得到 $K$。引出商群的概念：映射到相同元素的元素坍缩成一个元素，那么 $G$ 坍缩成和 $K$ 同构的商群，自然地有第一同态定理 $G/\ker \phi \cong K$。

同态与表示

对 $G=⟨s_1,\cdots ,s_m⟩$，$H=\{r_1,\cdots ,r_m\}$，若 $G$ 的关系将 $s_i$ 替换为 $r_i$ 后仍成立，则存在唯一同态 $\phi :G\to H$ 将 $s_i$ 映到 $r_i$。

若 $H=⟨r_1,\cdots ,r_m⟩$，则 $\phi$ 是满射，因为将乘积中的 $r_i$ 替换为 $s_i$ 即得一个原像。但 $\phi$ 不一定是单射，因为 $H$ 的关系可能更强。此时若 $|G|=|H|$，则 $\phi$ 是单射，推出 $\phi$ 是双射，$G\cong H$。

Sec.1.7 Group Actions

群作用在集合上导出的结论一定程度上反映了群本身的结构性质。

群作用

映射 $G\times A\to A$（写作 $g\cdot a$）是群 $G$ 在集合 $A$ 上的 群作用 (Group Action)，若

(1) $\mathrm{\forall }{g}_1,g_2\in G,a\in A:g_1\cdot (g_2\cdot a)=(g_1{g}_2)\cdot a$。

(2) $\mathrm{\forall }a\in A:1\cdot a=a$。

即单位元保持元素不动且满足结合律。$\cdot$ 通常省略不写，注意它不是二元运算。

作用的排列表示

对每个 $g\in G$ 定义映射 ${\sigma }_g:A\to A$，其中 ${\sigma }_g(a)=g\cdot a$。

(1) ${\sigma }_g$ 是 $A$ 的排列，因为 ${\sigma }_g\circ {\sigma }_{g^{-1}}$ 是单位排列，即 ${\sigma }_g$ 有逆映射。

(2) 定义映射 $\phi :G\to S_A$，其中 $\phi (g)={\sigma }_g$，则 $\phi$ 是同态。$\phi$ 称为对应作用的 排列表示 (Permutation Representation)。

因为 $g$ 作用在 $A$ 上得到 $A$ 的排列，所以 $g$ 构成的群就是 $A$ 的若干排列构成的群。不同的 $g$ 的作用可以相同，所以 $\phi$ 不是单射。

反之，给定 $G\to S_A$ 的同态，由该同态唯一确定了 $g$ 在 $A$ 上的一个作用。

将在第四章深入研究群作用。

Chap.2 Subgroups

揭示某种数学对象的结构的基本手段是研究其满足相同公理的子集。

Sec.2.1 Definition and Examples

子群

称 $G$ 的子集 $H$ 是 $G$ 的 子群 (Subgroup)，若 $H$ 非空且在乘积和逆元下封闭，即 $\mathrm{\forall }x,y\in H:x^{-1},xy\in H$。记作 $H\le G$。$H<G$ 强调了 $H\ne G$。

对任意 $x\in H$，$x^{-1}$ 在 $H$ 和 $G$ 中相等，所以该符号是良定义的。

群判定是一项繁琐的工作，因为需要检查群公理，尤其是结合律。但子群判定只需要检查乘积和逆的封闭性。

子群具有 传递性：若 $K\le H$ 且 $H\le G$，则 $K\le G$。特别地，若 $K,H\le G$ 且 $K\subseteq H$，则 $K\le H$。

结论 2.1（子群准则：The Subgroup Criterion）

$G$ 的子集 $H$ 是 $G$ 的子群当且仅当

(1) $H\ne \varnothing$，且

(2) $\mathrm{\forall }x,y\in H:x{y}^{-1}\in H$。

证明：$\mathrm{\forall }x,y\in H:x{x}^{-1}=1,1y^{-1}=y^{-1},x(y^{-1}{)}^{-1}=xy$。

(2) 将乘积和求逆结合为一条限制。特别地，若 $H$ 有限，则可只检查 $H$ 非空且乘积封闭，因为 $x^{|x|-1}=x^{-1}$。

Sec.2.2 Centralizers and Normalizers, Stabilizers and Kernels

一些重要的基本概念的定义。设 $A$ 是 $G$ 的任意非空子集。

中心化子

定义

为 $A$ 在 $G$ 中的 中心化子 (Centralizer)。

$ga{g}^{-1}=a$ 即 $ga=ag$。$C_G(A)$ 是 $G$ 中和 $A$ 的所有元素交换的元素集合。

因为 $xya{y}^{-1}{x}^{-1}=xa{x}^{-1}=a$ 且 $ga{g}^{-1}=a⟹a=g^{-1}ag$，所以 $C_G(A)\le G$。

中心

定义

为 $G$ 的 中心 (Center)。

$Z(G)$ 是 $G$ 中和 $G$ 的所有元素交换的元素集合。

因为 $Z(G)=C_G(G)$，所以 $Z(G)\le G$。

正规化子

定义 $gA{g}^{-1}=\{ga{g}^{-1}\mid a\in A\}$。由消去律可知 $|A|=|gA{g}^{-1}|$。定义

为 $A$ 在 $G$ 中的 正规化子 (Normalizer)。

$gA{g}^{-1}=A$ 即存在 $a^{\prime }\in A$ 使得 $ga=a^{\prime }g$。$N_G(A)$ 是 $G$ 中和 $A$ 可交换的元素集合。因为和 $A$ 的所有元素交换则和 $A$ 交换，所以 $C_G(A)\subseteq N_G(A)$。中心化子的条件强于正规化子。

因为 $xya{y}^{-1}{x}^{-1}=x{a}^{\prime }{x}^{-1}=a^{″}\in A$ 且 $gA{g}^{-1}=A⟹A=g^{-1}Ag$（$gA{g}^{-1}\to A$ 是双射），所以 $N_G(A)\le G$。可知 $C_G(A)\le N_G(A)$。

$G$ 的每个元素和 $A$ 可交换是 $G$ 可将 $A$ 坍缩为 $1$ 的充要条件，否则存在元素无法和单位元交换。$A$ 可以作为商群的陪集当且仅当 $N_G(A)=G$，即 $A⊴G$。

群作用的稳定子与核

令 $G$ 作用在集合 $S$ 上，定义

为 $s\in S$ 的 稳定子 (Stabilizer)。

定义

为群作用的 核 (Kernel)，它是所有 $G_s$ 的交。

显然 $G_s\le G$，核也是 $G$ 的子群。

---

稳定化子，正规化子和中心是子群是稳定子与核是子群的特例。

设 $S=\mathcal{P}(G)$ 表示 $G$ 的所有子集构成的集合。定义 $G$ 在 $S$ 上的 共轭 (Conjugation) 作用 为 $\mathrm{\forall }B\subseteq G:B\mapsto gB{g}^{-1}$。$N_G(A)$ 是 $A$ 的稳定子，所以 $N_G(A)\le G$。

设 $S=A$，考虑 $N_G(A)$ 在 $A$ 上的共轭作用，即 $\mathrm{\forall }a\in A:a\mapsto ga{g}^{-1}$（由 $N_G(A)$ 的定义，这确实是一个群作用）。$C_G(A)$ 是作用的核，所以 $C_G(A)\le N_G(A)$。

考虑 $G$ 在自身上的共轭作用。$Z(G)$ 是作用的核，所以 $Z(G)\le G$。

Sec.2.3 Cyclic Groups and Cyclic Subgroups

OIer 最熟悉的一集。

循环群

$H$ 称为 循环群 (Cyclic Group)，若 $H$ 仅由一个元素生成。即

其中 $|x|$ 决定了 $H$ 的大小。

OI 最常涉及到的循环群是模 $p$ 意义下的加法群 $\mathbb{Z}/n\mathbb{Z}$，它可以看成加性群 $⟨1\mid p1=0⟩$。

结论 2.2

若 $H=⟨x⟩$，则 $|H|=|x|$。具体地：

(1) 若 $|H|=n<\mathrm{\infty }$，则 $x^n=1$ 且 $1=x^0,x^1,x^2,\cdots ,x^{n-1}\in H$ 互不相同。

(2) 若 $|H|=\mathrm{\infty }$，则不存在 $n\in \mathbb{Z}\mathrm{\setminus }\{0\}$ 使得 $x^n=1$，且 $\mathrm{\forall }a\ne b\in \mathbb{Z}:x^a\ne x^b$。

结论 2.3

对群 $G$ 的任意元素 $x$，若 $x^m=x^n=1$，则 $x^{gcd(n,m)}=1$。特别地，若 $x^m=1$，则 $|x|\mid m$。其中 $n,m\in \mathbb{Z}$。

注意 $G$ 不需要是循环群。

定理 2.4

阶相同的循环群同构。

记 $Z_n$ 表示 $n$ 阶循环群。$Z_n$ 强调乘法，$\mathbb{Z}/n\mathbb{Z}$ 强调加法。

接下来刻画每个元素的阶。

结论 2.5

令 $x\in G$，$a\in \mathbb{Z}-\{0\}$。

(1) 若 $|x|=\mathrm{\infty }$，则 $|x^a|=\mathrm{\infty }$。

(2) 若 $|x|=n<\mathrm{\infty }$，则 $|x^a|=\frac{n}{gcd(n,a)}$。

(3) 特别地，若 $|x|=n<\mathrm{\infty }$ 且 $a\mid n$，则 $|x^a|=\frac{n}{a}$。

证明 (2)：设 $d=gcd(n,a)$，$n=db$，$a=dc$，$y=x^a$，则 $b\perp c$，需要证明 $|y|=b$。一方面

另一方面

所以 $|y|=b$。

相当于求最小的 $k$ 使得 $n\mid ka$，即 $k=\frac{n}{gcd(n,a)}$。

和 OI 数论中的阶一模一样！它们完全是同一个概念。

结论 2.6

令 $H=⟨x⟩$。

(1) 若 $|x|=\mathrm{\infty }$，则 $H=⟨x^a⟩$ 当且仅当 $a=\pm 1$。

(2) 若 $|x|=n<\mathrm{\infty }$，则 $H=⟨x^a⟩$ 当且仅当 $a\perp n$。这样的 $a$ 的数量为 $\phi (n)$。

定理 2.7

令 $H=⟨x⟩$。

(1) $H$ 的所有子群都是循环群。若 $K\le H$，则 $K=1$ 或 $⟨x^d⟩$，其中 $d$ 是最小的正整数使得 $x^d\in K$。

(2) 若 $|H|=\mathrm{\infty }$，则对任意两个不同的非负整数 $a,b$，$⟨x^a⟩\ne ⟨x^b⟩$。$⟨x^m⟩=⟨x^{|m|}⟩$。

(3) 若 $|H|=n<\mathrm{\infty }$，则对 $n$ 的每个正因数 $a$，都存在 $a$ 阶循环子群 $⟨x^d⟩$，其中 $d=\frac{n}{a}$。对所有整数 $m$，$⟨x^m⟩=⟨x^{gcd(n,m)}⟩$，所以 $H$ 的子群和 $n$ 的正因数一一对应。

一些情况下有限群和无限群需要分开考虑。

对于 OI 水平较高的读者，Section 2.3 的所有内容应当是非常显然的。

Sec.2.4 Subgroups Generated by Subsets of a Group

给定集合 $A\subseteq G$，包含 $A$ 的最小子群是什么样的？

结论 2.8

如果 $\mathcal{A}$ 是 $G$ 的子群集合，那么 $\mathcal{A}$ 的所有元素的交也是子群。

集合的生成子群

令 $A$ 是 $G$ 的任意子集，定义 $⟨A⟩$ 为 $G$ 的所有包含 $A$ 的子群的交，即

称为 由 $A$ 生成的 $G$ 的子群。

当 $A$ 是有限集 $a_1,a_2,\cdots ,a_k$ 时，也写作

以及记

定义

即 $A$ 及其逆元的有限乘积集合。

实际上 $\bar{A}$ 更符合 “生成” 的观念，前一种定义保证了 $A$ 的生成子群的存在和唯一性。

结论 2.9

首先有 $\bar{A}\le G$。

由 $A\subseteq \bar{A}$ 知 $\bar{A}\in \mathcal{A}$（$\mathcal{A}$ 的定义见结论 2.8），再由 $⟨A⟩$ 的定义知 $⟨A⟩\subseteq \bar{A}$。

又因为 $A\subseteq ⟨A⟩$ 且 $⟨A⟩$ 是群，所以 $\bar{A}$ 的任何元素属于 $⟨A⟩$，即 $\bar{A}\subseteq ⟨A⟩$。

生成子群的阶

合并相邻相同的元素，得

对阿贝尔群 $G$，因为相邻元素可交换，所以当 $A$ 是有限集 $\{a_1,a_2,\cdots ,a_k\}$ 时，有

进一步地，当 $|a_i|=d_i<\mathrm{\infty }$ 时，$|⟨A⟩|\le d_1{d}_2\cdots d_k$。

若 $G$ 不是阿贝尔群，情况复杂得多。对于 $G=G{L}_2(\mathbb{R})$，$a=\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)$，$b=\left(\begin{array}{cc}0& 2\\ \frac{1}{2}& 0\end{array}\right)$，有 $a^2=b^2=1$ 但 $ab=\left(\begin{array}{cc}\frac{1}{2}& 0\\ 0& 2\end{array}\right)$，$|ab|=\mathrm{\infty }$，所以 $⟨a,b⟩$ 是由两个阶为 $2$ 的群生成的无限群。

Sec.2.5 The Lattice of Subgroups of a Group

一种可视化有限群子群关系的结构。

格

用以下方法构建有限群 $G$ 的子群的 格 (Lattice)。

(1) 写下所有子群，$1$ 在底部，$G$ 在顶部。大致地，阶更大的子群位置更高。

(2) 若 $A<B$ 且 $A,B$ 之间没有其它子群 $A<C<B$，则从 $A$ 向上到 $B$ 连线。

最终形成入度和出度均为 $1$ 的有向无环图，$A\le B$ 当且仅当存在从 $A$ 向上到 $B$ 的一条路径。

下图是 $Z_2,Z_4$ 和 $Z_8$ 的格。

下图是 $Z_6$ 和 $Z_{12}$ 的格。

下图是 $D_8$ 的格。

下图是 $D_{16}$ 的格，它不是平面图。

从格图可以直接读出若干子群的生成子群，也可以直接读出若干子群的交。

子格

大多数群的格比较复杂。只关心特定子群时，可以只画出相关部分，称为 子格 (Sublattice)。

有点类似 OI 中的虚树。

下图是 $D_{16}$ 的一个子格。

Chap.3 Quotient Groups and Homomorphisms

商群是另一种构造子结构的方式。商群的格在格图顶部，子群的格在格图底部。

Sec.3.1 Definition and Examples

纤维

对于映射 $\phi :G\to H$，称单个元素 $a\in \phi (H)$ 的 纤维 (Fibre) 为其原像 ${\phi }^{-1}(a)=\{g\in G\mid \phi (g)=a\}$。纤维是原像的特殊情况，旨在强调取原像的集合为单个元素。

回忆同态的定义：$\phi (a)\phi (b)=\phi (ab)$，其中 $\phi$ 是 $G\to H$ 的同态。考虑到 $\phi (G)\le H$，所以对所有 $a\in \phi (G)$，$a$ 的纤维 ${\phi }^{-1}(a)$（以下记为 $X_a$）也构成了一个群，满足运算 $X_a{X}_b=X_{ab}$。

上图中，$\phi$ 将 $G$ 的一条竖线（纤维）打到 $H$ 上的一点，表示将 $G$ 的若干元素映射到 $H$ 的某个元素。

核

对于同态 $\phi :G\to H$，称映射到 $1$ 的元素集

为 $\phi$ 的 核 (Kernel)。

核就是坍缩为 $1$ 的子群。

结论 3.1

令 $\phi$ 是 $G\to H$ 的同态。

(1) $\phi (1_G)=1_H$。

(2) $\phi (g^n)=\phi (g{)}^n,\mathrm{\forall }n\in \mathbb{Z}$。

(3) $\ker \phi \le G$。

(4) $\mathrm{im}(\phi )\le H$，$\mathrm{im}(\phi )$ 即 $G$ 在 $\phi$ 下的像。

商群

设同态 $\phi :G\to H$ 的核为 $K=\ker \phi$。商群 (Quotient Group) $G/K$（读作 $G$ 模 $K$）的元素是所有纤维 $X_a$，对应运算 $X_a{X}_b=X_{ab},\mathrm{\forall }a,b\in H$。

商群的元素是 $G$ 的元素的集合，而非 $G$ 的单个元素。

记号强调了 $K$ 在 $G/K$ 中是单个元素，以及其它元素仅仅是 $K$ 的移动。因此 $G/K$ 是由 $G$ 将 $K$ “除掉” 或 “坍缩” 形成的。这解释了为什么 $G/K$ 叫做 “商” 群。

---

目前，商群需要明确地表示出 $\phi$，因为纤维的运算和 $H$ 有关。我们需要一种方式仅由 $G$ 和 $K$ 就能确定商群。这需要接下来的讨论。

结论 3.2

设同态 $\phi :G\to H$ 的核为 $K=\ker \phi$。设 $X\in G/K$ 为 $a$ 的纤维，则

(1) 对任意 $u\in X$，$X=\{uk\mid k\in K\}$。

(2) 对任意 $u\in X$，$X=\{ku\mid k\in K\}$。

证明 (1)：对任意 $k\in K$，$\phi (uk)=\phi (u)\phi (k)=a1=a$，所以 $uk\in X$。对任意 $g\in X$，$\phi (u^{-1}g)=\phi (u{)}^{-1}\phi (g)=1$，于是 $u^{-1}g\in \ker \phi$，即 $g=u(u^{-1}g)\in uK$。

一个纤维由 $K$ 的所有元素同时左乘或同时右乘 $X$ 中的任意相同元素得到。

所有模 $n$ 为 $r$ 的数可由所有 $n$ 的倍数同时加上任何一个相同的模 $n$ 为 $r$ 的数得到。这是 $\mathbb{Z}/n\mathbb{Z}$。

---

由结论 3.2 引出以下定义。

陪集

对任意 $N\le G$ 和 $g\in G$，称

分别为 $N$ 在 $G$ 中的一个 左陪集 (Left Coset) 和 右陪集 (Right Coset)。陪集的任何元素称为陪集的一个 代表元 (Representative)。

由消去律

$N$ 在左边乘上 $g$ 就是左乘，对应左陪集。

结论 3.2 在纤维和左陪集（对右陪集同理）之间建立了双射，每个纤维唯一确定了一个陪集 $uK$，其中 $u$ 是 $X$ 的任意元素。同时，每个陪集 $uK$ 也唯一确定了一个纤维 $X_{\phi (u)}$，因为对于 $u\ne v$，如果 $uK=vK$，那么 $X_{\phi (u)}=uK=vK=X_{\phi (v)}$。因此，商群的元素是左陪集。

定理 3.3

设 $K$ 为同态 $\phi :G\to H$ 的核。$K$ 在 $G$ 中的左陪集的集合 $\{uK\}$ 在运算

下形成商群 $G/K$。特别地，运算良定义，即若 $u,u_1$ 是 $uK$ 的代表元，$v,v_1$ 是 $vK$ 的代表元，则 $(uv)K=(u_1{v}_1)K$：相同的有序陪集二元组的运算结果唯一。

证明：设 $X_a,X_b,X_{ab}\in G/K$。由结论 3.2，这些纤维都是左陪集。设 $u,v$ 为 $X_a,X_b$ 的任意代表元，则 $\phi (uv)=\phi (u)\phi (v)=ab$，即 $uv\in X_{ab}$，于是 $X_{ab}=(uv)K$。

下图体现了这一过程。

若 $\phi :G\to H$ 是同构，则 $K=1$，$G/1\cong G$。

$\phi :G\to 1$ 为平凡同态，$\ker \phi =G$，$G/G\cong 1$。

记号

在不混淆的情况下使用 $\bar{u}$ 表示左陪集 $uK$。对于集合 $S\subseteq G$，$\bar{S}$ 表示 $S$ 的所有元素形成的左陪集集合 $\{sK\mid s\in S\}$，于是商群 $G/K$ 可记为 $\bar{G}$。

这种记号强调了左陪集 $uK$ 是 $G/K$ 中的元素 $\bar{u}$。

---

自然地，我们会思考是否对所有子群 $N\le G$ 都能定义商群 $G/N$。事实上，$N$ 的左陪集形成群结构当且仅当它是某个同态的核（结论 3.7）。这需要对陪集的进一步研究，并引出正规子群的概念，这一概念相当重要。

结论 3.4

设 $N\le G$，则 $N$ 的所有左陪集形成了 $G$ 的划分。$uN=vN$ 当且仅当 $v^{-1}u\in N$，当且仅当它们是某个左陪集的代表元。

第一部分：因为 $1\in N$，所以 $\bigcup _{g\in G}gN=G$。若 $x\in uN\cap vN$，则 $x=un=vm,n,m\in N$。于是 $u=vm{n}^{-1}=v{m}_1,m_1\in N$。于是对任意 $t\in N$，$ut=v(m_{1}t)\in vN$，即 $uN\subseteq vN$。同理 $vN\subseteq uN$。若两个左陪集有交，则它们相等。

第二部分：由第一部分，$uN=vN$ 当且仅当存在 $n\in N$ 使得 $u1=vn$，当且仅当 $v^{-1}u=n\in N$。

对于一般子群，不一定有 $uN=Nu$。

$a$ 加上所有 $n$ 的倍数等于 $b$ 加上所有 $n$ 的倍数，则 $a,b$ 模 $n$ 相同，即 $(-b)+a$ 是 $n$ 的倍数，即 $(-b)+a\in N$。

对于 $N=\ker \phi$（即 $N⊴G$），使用 $Nu=Nv$ 可得 $u{v}^{-1}\in N$。

结论 3.5

设 $N\le G$。

(1) $uN\cdot vN=(uv)N$ 良定义当且仅当对任意 $g\in G$ 和 $n\in N$，$gn{g}^{-1}\in N$。

(2) 若上述运算良定义，则 $N$ 的左陪集的集合形成群 $G/N$。

证明 (1)：若运算良定义，则 $1g^{-1}N=n{g}^{-1}N$，于是 $g^{-1}{n}_1=n{g}^{-1}\cdot 1$，即 $gn{g}^{-1}=n_1\in N$。相反，设 $u,u_1=un\in uN$ 且 $v,v_1=vm\in vN$，则

其中 $v^{-1}nv\in N$ 的原因是 $gn{g}^{-1}\in N$。

$gn{g}^{-1}$ 本质上衡量了 $n$ 被 $g$ “带偏” 的程度，即先执行任意操作，再执行群里的某个操作，再执行最开始的操作的逆操作，会得到怎样的结果。如果操作依然在群里，说明这个群本身有比较好的性质。

更根本的原因是要求 $gN=Ng$，这样商群的单位元才可交换。

---

满足结论 3.5 的条件的子群是一类性质比较好的子群。

正规子群

$gn{g}^{-1}$ 称为 $n$ 关于 $g$ 的 共轭 (Conjugate)。

$gN{g}^{-1}=\{gn{g}^{-1}\mid n\in N\}$ 称为 $N$ 关于 $g$ 的共轭。

称 $g$ 正规化 (Normalize) $N$，当且仅当 $gN{g}^{-1}=N$。

若 $G$ 的所有元素均正规化 $N\le G$，则称 $N$ 是 $G$ 的 正规子群 (Normal Subgroup)，记作 $n⊴G$（\unlhd）。

$G$ 的很多结构都在 $G/N$ 中有所体现，如 $G/N$ 的结合性由 $G$ 的结合性得到，$G/N$ 的逆元由 $G$ 的逆元得到

---

总结以上所有内容，得到如下定理。

定理 3.6

以下所有论述等价：

(1) $N⊴G$。

(2) $N_G(N)=G$。

(3) 对所有 $g\in G$，$gN=Ng$。

(4) 结论 3.5 描述的运算让 $N$ 的左陪集集合成为群。

(5) 对所有 $g\in G$，$gN{g}^{-1}\subseteq N$。这等价于 $gN{g}^{-1}=N$，因为两个集合大小相等。前者只需验证单向包含关系。

特别地，$N\le Z(G)⟹N⊴G$，$Z(G)⊴G$。

结论 3.7

$N⊴G$ 当且仅当 $N$ 是某个同态的核。

证明（必要性）：若 $N⊴G$，定义 $\pi :G\to G/N$，其中 $\pi (g)=gN$，则容易验证 $\pi$ 是同态且 $\ker \pi =N$。

---

上述定义的 $\pi$ 称为 $G\to G/N$ 的 自然映射 (Natural Projection) 或 自然同态 (Natrual Homomorphism)。若 $\bar{H}\le G/N$，则 $\bar{H}$ 在 $G$ 中的完整原像即它在 $\pi$ 下的原像。

现在我们有不借助外部因素，仅凭 $G$ 自身的结构就能判断 $N\le G$ 是否为某个同态的核的方法：$N_G(N)=G$。正规化子衡量了 $N$ 接近 $G$ 的正规子群的程度。正规性描述了 $N$ 与 $G$ 的关系而非 $N$ 本身的结构，$G$ 的正规子群未必是包含 $G$ 的群的正规子群。更进一步地，正规性没有传递性。

Sec.3.2 More on Cosets and Lagrange's Theorem

由结论 3.4（陪集是划分）可知 $|G|$ 一定是 $|H|,H\le G$ 的倍数。

定理 3.8（Lagrange 定理）

对有限群 $G$ 及其子群 $H$，$|H|\mid |G|$ 且 $H$ 在 $G$ 中的左陪集数量为 $\frac{|G|}{|H|}$。

指标

若 $H\le G$，称 $H$ 在 $G$ 中的 指标 (Index) 为 $H$ 在 $G$ 中左陪集的数量，记为 $|G:H|$。

记号主要用于 $G$ 可为无限群的情况。若 $G$ 是有限群，则 $|G:H|=\frac{|G|}{|H|}$。

推论 3.9

若 $G$ 是有限群，则对 $x\in G$，$|x|\mid |G|$。特别地，$x^{|G|}=1$。

由结论 2.2 $|x|=|⟨x⟩|$ 和 Lagrange 定理得到。

推论 3.10

若 $G$ 的阶为素数 $p$，则 $G\cong Z_p$。

---

Lagrange 定理的逆命题不成立：若 $n\mid |G|$，则 $G$ 不一定有阶为 $n$ 的子群。该命题有一些较弱的版本。其中，Sylow 定理是一个相当好用的工具。

定理 3.11（Cauchy 定理）

若有限群 $G$ 的阶是素数 $p$ 的倍数，则 $G$ 存在阶为 $p$ 的元素。

定理 3.12（Sylow 定理）

若有限群 $G$ 的阶为 $p^{\alpha }m$，其中 $p$ 是质数且 $p\perp m$，则 $G$ 存在阶为 $p^{\alpha }$ 的子群。

在下一章节中会深入研究该定理（定理 4.18）。

子群乘积

若 $H,K$ 是某个群的子群，则定义

注意：乘积的顺序不可交换，且 $HK$ 不一定是子群。

结论 3.13

若 $H,K$ 是某个群的有限子群，则

证明：因为 $HK=\bigcup _{h\in H}hK$，由结论 3.4：

因为 $H\cap K\le H$，由 Lagrange 定理，$H\cap K$ 在 $H$ 中左陪集的数量为 $\frac{|H|}{|H\cap K|}$，于是 $K$ 在 $HK$ 中左陪集的数量为 $\frac{|H|}{|H\cap K|}$。

类似 $\mathrm{lcm}(a,b)=\frac{ab}{gcd(a,b)}$。

结论 3.14

若 $H,K$ 是某个群的子群，则 $HK$ 是子群当且仅当 $HK=KH$。

注意：$HK=KH$ 并不意味着 $kh=hk$。它的意思是 $kh=h^{\prime }{k}^{\prime }$。

若 $HK\ne KH$，那么 $H(KH)$ 会出现 $HK$ 没有的元素。注意到 $H,K\le KH$，所以若 $HK$ 是子群，则 $H(KH)=HK$。

若 $HK=KH$，那么 $HKHK=HHKK=HK$，即 $HK$ 关于运算封闭。

推论 3.15

若 $H,K\le G$ 且 $H\le N_G(K)$，则 $HK\le G$。特别地，若 $K⊴G$，则对任意 $H\le G$，$HK\le G$。

这是结论 3.14 的简单推论：$HK=KH⟸hK=Kh⟺hK{h}^{-1}=K$。

---

整个小节一直在探讨左陪集的性质。对于右陪集，均有类似结论。

课上还讲了 Fermat 小定理和 Euler 定理（Exercise 3.2.16 和 3.2.22），因为太简单就略过了。

Sec.3.3 The Isomorphism Theorems

群论的重中之重，3.1 和 3.2 小节的精华。

定理 3.16（第一同构定理：The First Isomorphism Theorem）

若 $\phi :G\to H$ 是同态，则 $\ker \phi ⊴G$ 且 $G/\ker \phi \cong \phi (G)$。

同态基本定理，用于构造同态证明同构。

像同构于纤维，纤维同构于正规子群陪集集合的自然推论。

推论 3.17

若 $\phi :G\to H$ 是同态，则

(1) $\phi$ 是单射当且仅当 $\ker \phi =1$。

(2) $|G:\ker \phi |=|\phi (G)|$。

线性代数中的 $\dim V=\mathrm{rank}\phi +\mathrm{null}\phi$，其中 $\phi :V\to W$ 是向量空间的线性变换。

定理 3.18（第二同构定理：The Second or Diamond Isomorphism Theorem）

若 $A,B\le G$ 且 $A\le N_G(B)$，则 $AB\le G$，$B⊴AB$，$A\cap B⊴A$ 且 $AB/B\cong A/A\cap B$。

证明：因为 $A\le N_G(B)$ 且 $B\le N_G(B)$，所以 $AB\le G$ 且 $AB\le N_G(B)$，于是 $B⊴AB$。构造同态 $\phi :A\to AB/B$，其中 $\phi (a)=aB$。根据 $AB$ 的定义可知 $\phi$ 是满射（$\overline{ab}=abB=aB$）。因为 $\ker \phi =\{a\in A\mid aB=1B\}=A\cap B$，根据第一同构定理，$A\cap B⊴A$ 且 $A/A\cap B\cong AB/B$。

$A,B,A\cap B$ 和 $AB$ 的子格图形成菱形（Diamond 的由来），其中 $AB$ 在顶部，$A,B$ 分别在两侧，$A\cap B$ 在底部。$AB$ 和 $B$ 以及 $A$ 和 $A\cap B$ 两条平行边对应的商群同构。也可理解为将 $AB/B$ 分别交 $A$ 得到 $A/A\cap B$。

定理 3.19（第三同构定理：The Third Isomorphism Theorem）

若 $H,K⊴G$ 且 $H\le K$，则 $K/H⊴G/H$ 且 $(G/H)/(K/H)\cong G/K$，即 $\bar{G}/\bar{K}\cong G/K$。

证明：因为 $N_G(H)=G$，所以 $N_K(H)=K$，即 $H⊴K$。构造 $\phi :G/H\to G/K$，其中 $\phi (gH)=gK$。验证 $\phi$ 良定义且满射，以及 $\ker \phi =K/H$，使用第一同构定理即可。

商群的商群不会给出更多结构信息。

定理 3.20（第四同构定理：The Fourth or Lattice Isomorphism Theorem）

若 $N⊴G$，则对所有 $N\le A$，$\bar{A}=A/N\le G/N$ 和 $A\le G$ 之间存在保持结构的双射。对任意 $N\le A,B\le G$：

(1) $A\le B⟺\bar{A}\le \bar{B}$。

(2) $A\le B⟹|B:A|=|\bar{B}:\bar{A}|$。

(3) $\overline{⟨A,B⟩}=⟨\bar{A},\bar{B}⟩$。

(4) $\overline{A\cap B}=\bar{A}\cap \bar{B}$。

(5) $A⊴G⟺\bar{A}⊴\bar{G}$。

即 $G/N$ 和所有 $N\le A\le G$ 形成的结构完全相同。

它描述了 $G/N$ 的格图和所有包含 $N$ 的 $G$ 的子群的格图的关系（Lattice 的由来），即在 $G$ 的格图上令 $N$ 坍缩成 $1$，只保留 $N$ 的 “祖先”，则新的格图和 $G/N$ 的格图完全相同。

商群的格图在顶部。

仅凭 $G/N$ 和 $N$ 无法确定 $G$ 的结构。如 $Q_8/⟨-1⟩\cong D_8/⟨r^2⟩$ 且 $⟨-1⟩\cong ⟨r^2⟩$，但 $Q_8$ 和 $D_8$ 不同构。

Sec.3.4 Composition Series and The Holder Program

通过 $G$ 的非平凡正规子群 $N$（$N\ne 1,G$），在 $N$ 和 $G/N$ 上关于 $|G|$ 使用数学归纳法是有限群论的强力证明手段之一。

结论 3.21

若 $G$ 是有限阿贝尔群且质数 $p\mid |G|$，则 $G$ 含有阶为 $p$ 的元素。

证明：对 $|G|$ 做数学归纳法。若 $|G|=p$ 则命题成立，否则若 $p\mid |x|$ 则命题成立，否则因为 $G$ 是阿贝尔群，所以 $N=⟨x⟩⊴G$。因为 $p\nmid |N|$，所以 $p\mid |G/N|<|G|$。由归纳法，存在 $\bar{y}\in G/N$ 满足 $|\bar{y}|=p$。由 $y\notin N$ 和 $y^p\in N$ 可知 $|y^p|<|y|$，于是 $p\mid |y|$，回到第二种情况。

这是 Cauchy 定理的弱化版本。

---

归纳法可行的必要条件是 $G$ 存在非平凡的正规子群。因此，研究哪些群存在非平凡正规子群是重要的。

简单群

若 $|G|>1$ 且 $G$ 的正规子群只有 $1$ 和 $G$，则称 $G$ 是 简单群 (Simple Group)，简称单群。

所有简单阿贝尔群同构于 $Z_p$，其中 $p$ 是质数。最小的非阿贝尔简单群的阶为 $60$（$A_5$）。

简单群在群论里的地位就像质数在代数中的地位。关于代数，有算数基本定理。群论也有类似定理。这需要以下概念。

合成列

若一列群

满足 $N_i⊴N_{i+1}$ 且 $N_{i+1}/N_i$ 是简单群，则称该序列为 $G$ 的 合成列 (Composition Series)。商群 $N_{i+1}/N_i$ 称为 $G$ 的 合成因子 (Composition Factor)。

注意：不要求 $N_i⊴G$，只要求 $N_i⊴N_{i+1}$。正规子群没有传递性。

定理 3.22 (Jordan-Holder)

若有限群 $G\ne 1$，则

(1) 存在 $G$ 的合成列。

(2) 合成因子的可重集唯一。

---

Holder 计划 (The Holder Program) 是一个在同构意义下的群分类计划，分成两个部分：

(1) 将所有简单群分类。

(2) 找到所有组合简单群以得到其它群的方式。

第二部分相当困难。关于第一部分，有以下定理。

有限单群分类定理：存在 $18$ 类无限大的单群集合，以及 $26$ 个不属于这些类的散在单群 (The Sporadic Simple Group)，使得所有单群均和其中之一同构。

Feit-Thompson 定理：若 $G$ 是阶为奇数的单群，则 $G\cong Z_p$，其中 $p$ 是质数。

可解群

若存在

满足 $G_{i+1}/G_i$ 是阿贝尔群，则称 $G$ 是 可解 (Solvable) 的。

相关定理：有限群 $G$ 可解当且仅当对所有 $|G|$ 的因数 $n$ 满足 $n\perp \frac{|G|}{n}$，$G$ 存在阶为 $n$ 的子群。

一个归纳法的例子：若 $N$ 和 $G/N$ 可解，则 $G$ 可解。借助第三同构定理证明。

Sec.3.5 Transpositions and the Alternating Group

对置换群的进一步研究。OIer 会比较熟悉。

换位

长度为 $2$ 的环称为 换位 (Transposition)。

将一个环表示成若干换位，则 $S_n$ 的每个元素都是换位的乘积。

---

考虑多项式 $\mathrm{\Delta }=\prod _{i<j}(x_i-x_j)$。对所有 $\sigma \in S_n$，设 $\sigma (\mathrm{\Delta })=\prod _{i<j}(x_{\sigma (i)}-x_{\sigma (j)})$。对所有 $i<j$，$x_i-x_j$ 或 $x_j-x_i$ 恰好出现一个，所以 $\sigma (\mathrm{\Delta })=\pm \mathrm{\Delta }$。定义 $ϵ(\sigma )=\frac{\sigma (\mathrm{\Delta })}{\mathrm{\Delta }}$。

置换的奇偶性

$ϵ(\sigma )$ 称为置换 $\sigma$ 的 符号。若 $ϵ(\sigma )=1$，则称 $\sigma$ 为 偶置换；若 $ϵ(\sigma )=-1$，则称 $\sigma$ 为 奇置换。

结论 3.23

$ϵ:S_n\to \{\pm 1\}\cong Z_2$ 是同态。

证明：根据定义展开。

结论 3.24

$ϵ((ij))=-1$ 且 $ϵ$ 是满射。

证明：设 $\lambda =(1i)(2j)$，则 $(ij)=\lambda (12)\lambda$。因为 $ϵ((12))=-1$，所以 $ϵ((ij))=ϵ(\lambda )ϵ((12)ϵ(\lambda )=-1$。于是 $ϵ$ 是满射。

交错群

$\ker ϵ$ 称为 $n$ 阶 交错群 (Alternating Group)，即所有偶置换构成的群。

---

由 $ϵ$ 是同态，$\sigma$ 是偶置换当且仅当它是偶数个换位的乘积，而长度为 $m$ 的环可以分解为 $m-1$ 个换位的乘积，所以有以下结论。

结论 3.25

$\sigma$ 是奇置换当且仅当其长度为偶数的环的个数为奇数。

Chap.4 Group Actions

本章节进一步研究群作用在集合以及它自身上导出的性质。

Sec.4.1 Group Actions and Permutation Representation

回忆群作用和群作用的排列表示。

令 $G$ 作用在集合 $A$ 上，则 $\phi :G\to S_A$ 是同态，其中 $\phi (g)={\sigma }_g$，${\sigma }_g(a)=g\cdot a$。单个元素 $g\in G$ 作用在 $A$ 上是 $A$ 的排列，因为作用存在逆元 $g^{-1}$，即作用是双射。

核、稳定子与忠实作用

(1) 作用的 核 (Kernel) 是以平凡的方式作用在 $A$ 上（$g\cdot a=a,\mathrm{\forall }a\in A$）的元素集合。等价于 $\ker \phi$。

(2) 对 $a\in A$，$a$ 的 稳定子 (Stabilizer) 是保持 $a$ 不动的元素集合 $\{g\in G\mid g\cdot a=a\}$。

(3) 称作用是 忠实的 (Faithful)，若它的核是单位元。由第一同构定理（推论 3.17），$\phi (G)$ 是单射，即所有元素作用于 $A$ 的方式都不一样。

两个元素以相同的方式作用在 $A$ 上，当且仅当它们属于核的相同陪集。

有 $\ker \phi =\bigcap _{a\in A}{G}_a$。

---

给定 $G\to S_A$ 的任意同态 $\phi$，可以反过来构造群作用 $g\cdot a=\phi (g)(a)$。该群作用的核为 $\ker \phi$，群作用的排列表示就是 $\phi$。

结论 4.1

对任意群 $G$ 和非空集合 $A$，$G$ 在 $A$ 上的作用和 $G\to S_A$ 的同态一一对应。

排列表示

重新定义 $G$ 的排列表示为任何 $G\to S_A$ 的同态，其中 $A$ 为非空集合。

称特定的群作用 导出 (Afford / Induce) 了对应排列表示。

群作用的排列表示，类比线性变换的矩阵表示。

结论 4.2

令 $G$ 作用在非空集合 $A$ 上。定义 $A$ 上的关系 $a\sim b$ 当且仅当存在 $g\in G$ 使得 $a=g\cdot b$，则 $\sim$ 是等价关系，且包含 $a$ 的等价类大小为 $|G:G_a|$，$G_a$ 在 $G$ 中的下标。

等价关系的证明是显然的（自反性，对称性，传递性）。

证明：设包含 $a$ 的等价类为 ${\mathcal{C}}_a$，则 ${\mathcal{C}}_a=\{g\cdot a\mid g\in G\}$。定义 ${\mathcal{C}}_a$ 到 $G_a$ 左陪集集合的映射 $\phi :g\cdot a\mapsto g{G}_a$。$\phi$ 是满射，因为根据 $g{G}_a$ 可知其 $g\cdot a$ 属于其原像。$g$ 是单射，因为 $g\cdot a=h\cdot a$ 当且仅当 $h^{-1}g\in G_a$ 当且仅当 $g{G}_a=h{G}_a$。因此 $|{\mathcal{C}}_a|$ 等于 $G_a$ 陪集集合大小 $|G:G_a|$。

我们所熟知的 轨道-稳定子定理。

轨道与传递作用

令 $G$ 作用在非空集合 $A$ 上。

(1) 等价类 $\{g\cdot a\mid g\in G\}$ 称为 $a$ 在 $G$ 中的 轨道 (Orbit)。

(2) 称作用是 传递 (Transitive) 的，若仅有一个轨道。即对任意 $a,b\in A$，存在 $a=g\cdot b$。

置换群

对称群的子群称为 置换群 (Permutation Groups)。

对称群的每个元素都有唯一的环分解，其中认为一个环和它的循环移位相等。

Sec.4.2 Groups Acting on Themselves by Left Multiplication —— Cayley's Theorem

群作用于自身是一种不需要外部集合而仅由 $G$ 导出的作用。

群作用于自身

考虑作用 $G\times G\to G$，其中 $g\cdot a=ga$。有相对应的排列表示 $\phi :G\to S_G$。将 $G$ 的元素标号为 $g_1,\cdots ,g_n$，得到 ${\sigma }_g(i)=j$ 表示 $g{g}_i=g{g}_j$，即 $\phi :G\to S_n$。

容易证明作用是传递且忠实的。

群作用于子群陪集集合

推广这个概念，考虑群 $G$ 作用于它的子群 $H\le G$。设 $A$ 为 $H$ 在 $G$ 中的所有左陪集，定义 $G$ 在 $A$ 上的作用，其中 $g\cdot aH=(ga)H$。类似地，将 $A$ 的元素标号，得到对应排列表示 $\phi :G\to S_m$，其中 $m=|G:H|$。

定理 4.3

令 $G$ 作用在其子群 $H$ 的左陪集集合 $A$ 上，设 ${\pi }_H$ 为对应排列表示，则

(1) 作用是传递的。

(2) $1H$ 的稳定子是 $H$。

(3) $\ker {\pi }_H=\bigcap _{x\in G}xH{x}^{-1}$，且 $\ker {\pi }_H$ 是 $G$ 的最大的包含于 $H$ 的正规子群。

(1) 和 (2) 据定义显然。

由定义 $\ker {\pi }_H=\{g\in G\mid gxH=xH\}$，而

于是 $g\in \bigcap _{x\in G}xH{x}^{-1}\subseteq 1H{1}^{-1}=H$。由第一同构定理，$\ker {\pi }_H⊴G$。

假设 $N⊴G$ 且 $N\le H$，则 $N=xN{x}^{-1}\le xH{x}^{-1}$，于是 $N\le \bigcap _{x\in G}xH{x}^{-1}$。

一个子群的所有共轭的交是这个群的最大的包含于该子群的正规子群。由正规子群的定义 $gN{g}^{-1}=N,\mathrm{\forall }g\in G$ 容易看出这一点。

推论 4.4（Cayley 定理）

若 $G$ 的阶为 $n$，则 $G$ 和 $S_n$ 的某个子群同构，即 $G$ 同构于某个置换群。

证明：令 $H=1$ 得到排列表示 $\pi$。根据定理 4.3，$\ker \pi \le H=1$，所以 $G=G/\ker \pi$ 同构于它在 $S_G$ 中的像。

定理的实用性不高，因为 $S_n$ 太大了。

左正则表示

由 $G$ 左作用于自身导出的排列表示称为 $G$ 的 左正则表示 (Left Regular Representation)。

在 $G$ 的左正则表示中，${\sigma }_g$ 是 $\frac{|G|}{|g|}$ 个长度为 $|g|$ 的环，每个环都是 $⟨x⟩$ 的右陪集。

推论 4.5

若有限群 $G$ 的阶为 $n$ 且 $p$ 是 $n$ 的最小质因子，则指标为 $p$ 的子群是正规的。

注意：指标为 $p$ 的子群不一定存在。

证明：设 $|G:H|=p$。考虑 $G$ 作用在 $H$ 的左陪集集合 $A$ 上，得到排列表示 ${\pi }_H$。设 $K=\ker {\pi }_H$ 以及 $k=|H:K|$。由第一同构定理，$G/K$ 同构于 $S_A$ 的子群，于是 $pk\mid p!$，即 $k\mid (p-1)!$。但 $p$ 是 $n$ 的最小质因子，所以 $k=1$，即 $H=K⊴G$。

Sec.4.3 Groups Acting on Themselves By Conjugation —— The Class Equation

研究 $G$ 以共轭的方式作用于自身：$g\cdot a=ga{g}^{-1}$。容易证明这是群作用。

共轭与共轭类

若存在 $g$ 使得 $b=ga{g}^{-1}$，即 $a,b$ 属于相同轨道，则称 $a,b\in G$ 在 $G$ 中 共轭 (Conjugate)。$G$ 在共轭作用下形成的轨道称为 共轭类 (Conjugacy Class)。

对于 $|G|>1$，作用不传递，因为 $\{1\}$ 是一个共轭类。

$G$ 的正规子群一定是若干共轭类的并。

---

推广至 $G$ 的所有子集，考虑 $G$ 作用在 $\mathcal{P}(G)$（$G$ 的所有子集的集合）上。若存在 $g$ 使得 $T=gS{g}^{-1}$，则称 $S,T\subseteq G$ 在 $G$ 中共轭。

由结论 4.2（轨道-稳定子定理），包含 $S$ 的等价类大小为 $|G:G_S|$，其中 $G_S=\{g\in G\mid gS{g}^{-1}=S\}=N_G(S)$。

结论 4.6

$S$ 在 $G$ 中的共轭数量为 $S$ 的正规化子的指标 $|G:N_G(S)|$。特别地，$s\in G$ 在 $G$ 中的共轭数量为 $s$ 的中心化子的指标 $|G:C_G(s)|$。

将结论 4.6 应用于 $G$ 共轭作用于自身，得到以下推论。

定理 4.7（类方程：The Class Equation）

对有限群 $G$，设 $g_1,g_2,\cdots ,g_r$ 分别为不同共轭类的一个代表元，且不属于中心 $Z(G)$，则

其中右侧的每一项都是 $|G|$ 的因数，且和式里的每一项至少为 $2$，这限制了它们可能的取值。

给出两个类方程的重要推论：

定理 4.8

若 $p$ 是质数且 $|P|=p^{\alpha }$，则 $P$ 有非平凡的中心，即 $Z(P)\ne 1$。

证明：对 $g\notin Z(P)$，$|G:C_G(g_i)|>1$。由类方程，$p\mid |Z(G)|$。

推论 4.9

若 $p$ 是质数且 $|P|=p^2$，则 $P$ 是阿贝尔群。$P$ 同构于 $Z_p\times Z_p$ 或 $Z_{p^2}$。

---

接下来研究 $S_n$ 中的共轭类。

结论 4.10

对于 $\sigma ,\tau \in S_n$，若 $\sigma$ 的环分解含 $(a_1{a}_2\cdots a_k)$，则 $\tau \sigma {\tau }^{-1}$ 的环分解含 $(\tau (a_1)\tau (a_2)\cdots \tau (a_k))$。

证明：若 $\sigma (i)=j$，则 $\tau \sigma {\tau }^{-1}(\tau (i))=\tau (j)$，即若 $i\to j$，则经过作用后 $\tau (i)\to \tau (j)$。

由 $\tau$ 是任意排列知：

结论 4.11

两个 $S_n$ 的元素共轭当且仅当它们的环分解的环长可重集相等。$S_n$ 的共轭类数量为 $n$ 的划分数。

置换的环分解的环长可重集称为它的 环类型 (Cycle Type)。

由简单的组合知识，容易对给定的环类型计算其共轭类大小。

定理 4.12

$A_5$ 是简单群。

Sec.4.4 Automorphisms

自同构即 $G$ 和自身的同构关系，它揭示了 $G$ 自身的对称性。

自同构

$G$ 到自身的同构映射称为 $G$ 的 自同构 (Automorphism)。所有自同构的集合记作 $\mathrm{Aut}(G)$。

$\mathrm{Aut}(G)$ 在映射复合运算下构成群，称为自同构群，其单位元是恒同映射。因为自同构是 $G$ 的置换，所以 $\mathrm{Aut}(G)\le S_G$。

共轭作用提供了最重要的自同构映射之一。

结论 4.13

设 $H⊴G$，则 $G$ 共轭作用于 $H$ 是 $H$ 的若干自同构。对于 $g\in G$，$h\mapsto gh{g}^{-1}$ 是 $H$ 的一个自同构。因此这个作用的排列表示 $\phi$ 是 $G\to \mathrm{Aut}(H)$ 的同态，作用的核是 $C_G(H)$。特别地，$G/C_G(H)$ 同构于 $\mathrm{Aut}(H)$ 的某个子群。

证明：$g$ 共轭作用于 $H$ 是 $H\to H$ 的同态，因为 $ghk{g}^{-1}=(gh{g}^{-1})(gk{g}^{-1})$，由 $gH{g}^{-1}=H$ 知该同态是自同构。若 $g\in \ker \phi$，则 $g$ 是恒同映射，即 $gh{g}^{-1}=h⟺g\in C_G(H)$。由第一同构定理知 $G/C_G(H)$ 同构于 $\mathrm{Aut}(H)$ 的某个子群。

推论 4.14

若 $K\le G$ 且 $g\in G$，则 $K\cong gK{g}^{-1}$。

证明：令 $G=H$，则 $gG{g}^{-1}$ 是 $G$ 的自同构。

只需令 $k\mapsto gk{g}^{-1}$ 即可。

推论 4.15

对任意 $H\le G$，$N_G(H)/C_G(H)$ 同构于 $\mathrm{Aut}(H)$ 的子群。特别地，$G/Z(G)$ 同构于 $\mathrm{Aut}(H)$ 的子群。

结合 $H⊴N_G(H)$ 与结论 4.13 即得。

内自同构

对 $g\in G$，$g$ 共轭作用于 $G$ 得到的自同构称为 $G$ 的 内自同构 (Inner Automorphism)。$\mathrm{Aut}(G)$ 的由所有内自同构构成的子群记作 $\mathrm{Inn}(G)$。

由结论 4.13，$\mathrm{Inn}(G)\cong G/Z(G)$。

$g$ 共轭作用于 $H⊴G$ 不一定是 $H$ 的内自同构。

研究 $G$ 如何共轭作用于正规子群 $H$，只需要考察正规子群 $H$ 的自同构。这对研究半直积有帮助。

特征子群

若 $G$ 的所有自同构都将 $H\le G$ 映到自身，则称 $H$ 在 $G$ 中是 特征 (Characteristic)的，$H$ 是 $G$ 的 特征子群，记作 $H\mathrm{char}G$。

关于特征子群，有以下结论：

(1) 特征子群是正规子群。

(2) 若 $H$ 是 $G$ 唯一的大小为 $|H|$ 的子群，则 $H$ 是特征子群。

(3) 若 $K\mathrm{char}H$ 且 $H⊴G$，则 $K⊴G$。再次强调，正规子群没有传递性。

特征子群是 “强正规” 子群。正规子群要求在共轭作用（部分自同构）下不变，但特征子群要求在所有自同构下不变。

结论 4.16

$\mathrm{Aut}(Z_n)\cong (\mathbb{Z}/n\mathbb{Z}{)}^{\times }$。

证明：对于 $\psi \in \mathrm{Aut}(Z_n)$，$\psi (x)=x^a$，记为 ${\psi }_a$，于是 $|x|=|x^a|=n⟹a\perp n$。相反，对每个 $a\perp n$，$\psi (x{)}_a=x^a$ 都是 $Z_n$ 的自同构。构造映射 $\mathrm{\Psi }:\mathrm{Aut}(Z_n)\to (\mathbb{Z}/n\mathbb{Z}{)}^{\times }$，其中 ${\psi }_a\mapsto a(\mathrm{mod}n)$，证明 $\mathrm{\Psi }$ 是同构即可。

Sec.4.5 Sylow's Theorem

相当好用的定理，证明较复杂。

Sylow $p$-子群

设 $p$ 是质数。

(1) 阶为 $p^{\alpha },\alpha \ge 1$ 的群称为 $p$-群。$G$ 的 $p$-群子群称为 $p$-子群。

(2) 若 $|G|=p^{\alpha }m$ 且 $p\nmid m$，则阶为 $p^{\alpha }$ 的子群称为 Sylow $p$-子群。

(3) $G$ 的 Sylow $p$-子群的集合记作 ${\mathrm{Syl}}_p(G)$，Sylow $p$-子群的个数记作 $n_p(G)$（或 $n_p$，若 $G$ 是明确的）。

Sylow 与否在于阶数是否包含了所有质因子 $p$。

定理 4.18（Sylow 定理）

设 $|G|=p^{\alpha }m$ 且 $p\nmid m$，则

(1) Sylow $p$-子群存在，即 ${\mathrm{Syl}}_p(G)\ne \varnothing$。

(2) 若 $P$ 是 Sylow $p$-子群，$Q$ 是 $p$-子群，则存在 $g\in G$ 使得 $Q\le gP{g}^{-1}$。任何两个 Sylow $p$-子群都是共轭的。结合推论 4.14，任何两个 Sylow $p$-子群同构。

(3) $n_p\equiv 1(\mathrm{mod}p)$ 且 $n_p\mid m$。

命题 3 经常用于证明 $n_p=1$。

推论 4.20

设 $P$ 是 $G$ 的 Sylow $p$-子群，则以下命题等价：

(1) $n_p=1$。

(2) $P⊴G$。

(3) $P\mathrm{char}G$。

(4) 设 $X$ 是阶为 $p$ 的幂的元素的任意非空子集，则 $⟨X⟩$ 是 $p$-群。

借助 Sylow 定理可以进行简单的群分类。5.2 小节的有限生成阿贝尔群基本定理和 5.5 小节的半直积相关定理是群分类的强力工具。

---

4.6 小节的内容是 $A_n$ 对于 $n\ge 5$ 为单群，略过。

Chap.5 Direct and Semidirect Products and Abelian Groups

直积和半直积是两种由小群构建大群的方式，也是将大群分解为小群乘积的方式。

有限生成阿贝尔群基本定理完全分类了所有有限阿贝尔群。

Sec.5.1 Direct Products

直积

$G_1,\cdots ,G_n$ 的 直积 (Direct Product) $G_1\times \cdots \times G_n$ 是有序 $n$ 元组 $(g_1,\cdots ,g_n)$ 的集合，满足

其中 ${\star }_i$ 是 $G_i$ 的二元运算，$g_i,h_i\in G_i$。

类似定义无穷多个群的直积。

因为无歧义，省略所有 $\star$ 运算符。

结论 5.1

设 $G=G_1\times \cdots \times G_n$，则 $G$ 是群且 $|G|=|G_1|\cdots |G_n|$。

结论 5.2

设 $G=G_1\times \cdots \times G_n$，则

(1) $G_i\cong \{(1,\cdots ,1,g_i,1,\cdots ,1)\mid g_i\in G_i\}$，其中 $g_i$ 出现在第 $i$ 个位置。使用 $G_i$ 表示这个 $G$ 的子群，则 $G_i⊴G$ 且 $G/G_i\cong G_1\times \cdots \times G_{i-1}\times G_{i+1}\times \cdots \times G_n$。

(2) 定义 ${\pi }_i:G\to G_i$ 满足 $\pi (g_1,\cdots ,g_n))=g_i$，则 ${\pi }_i$ 是满射同态且 $\ker {\pi }_i\cong G_1\times \cdots \times G_{i-1}\times G_{i+1}\times \cdots \times G_n$。

(3) 使用 (1) 的表示法，对任意 $x\in G_i$ 且 $y\in G_j$，若 $i\ne j$，则 $xy=yx$。

很符合直觉。

推广：对 $1\sim n$ 的非空真子集 $I$，记 $J=\{1\sim n\}-I$，定义 $G_I$ 为 $G$ 的在第 $j$ 个位置上为 $G_j$ 单位元的元素集合，其中 $\mathrm{\forall }j\in J$，则 $G_I$ 同构于所有 $G_i,i\in I$ 的直积，且 $G_I⊴G$，$G/G_I\cong G_J$，$G\cong G_I\times G_J$。

此外，直积的顺序不影响结果。

Sec.5.2 The Fundamental Theorem of Finitely Generated Abelian Groups

完整刻画了有限生成阿贝尔群的具体形态。

有限生成与自由阿贝尔群

(1) 称 $G$ 是 有限生成 (Finitely Generated) 的，若存在有限集合 $A$ 满足 $G=⟨A⟩$。

(2) 对非负整数 $r\in \mathbb{Z}$，设 ${\mathbb{Z}}^r$ 为 $r$ 个 $\mathbb{Z}$ 的直积，称为 $r$ 阶 自由阿贝尔群 (Free Abelian Group)。特别地，${\mathbb{Z}}^0=1$。

即 $r$ 元整数组。

“自由” 是范畴论的概念。

定理 5.3（有限生成阿贝尔群基本定理：Fundamental Theorem of Finitely Generated Abelian Groups）

设 $G$ 是有限生成阿贝尔群，则

(1) $G\cong {\mathbb{Z}}^r\times Z_{n_1}\times \cdots \times Z_{n_s}$，其中 $r$ 是非负整数，$n_j$ 均为不小于 $2$ 的整数，且 $n_{i+1}\mid n_i$。

(2) (1) 中的表示唯一。

根据结论 5.6 的 $Z_{nm}=Z_n\times Z_m⟺n\perp m$，如果 $n_i$ 不是 $n_{i+1}$ 的倍数，则存在质因子 $p$ 使得 $n_i=p^{\alpha }{m}_i$，$n_{i+1}=p^{\beta }{m}_{i+1}$ 且 $\alpha <\beta$。令 $n_i^{\prime }=p^{\beta }{m}_i$，$n_{i+1}^{\prime }=p^{\alpha }{m}_{i+1}$。最终 $n_i$ 一定是 $n_{i+1}$ 的倍数。

对每个质因子 $p$，$n_i$ 所含有 $p$ 的幂次单调不增，且总和为 $n$ 所含有 $p$ 的幂次 $\alpha$。所有可能的划分方案为 $\alpha$ 的划分，且不同质因子的 $\alpha$ 独立。这引出了定理 5.5。

自由秩与不变因子

定理 5.3 中的 $r$ 称为 $G$ 的 自由秩 (Free Rank)，$n_1,\cdots ,n_s$ 称为 $G$ 的 不变因子 (Invariant Factor)，描述 $G$ 的同构式称为 $G$ 的 不变因子分解。

两个阿贝尔群同构当且仅当它们的自由秩和不变因子相等。

$G$ 是有限阿贝尔群当且仅当 $r=0$，此时 $n=n_1\cdots n_s$，称 $G$ 的 类型 (Type) 是 $(n_1,\cdots ,n_s)$。

根据定理 5.3，给定阶 $n$，可列举出所有 $n$ 阶阿贝尔群。

推论 5.4

若 $n$ 是不同质数的乘积，则阶为 $n$ 的唯一阿贝尔群为 $Z_n$。

定理 5.5

设 $G$ 是阶 $n>1$ 的有限阿贝尔群，且 $n$ 的唯一分解为 $n=p_1^{{\alpha }_1}\cdots p_k^{{\alpha }_k}$，则

(1) $G\cong A_1\times \cdots \times A_k$，其中 $|A_i|=p_i^{{\alpha }_i}$。

(2) 对每个 $A\in \{A_i\}$ 且 $|A|=p^{\alpha }$，$A\cong Z_{p^{{\beta }_1}}\times \cdots \times Z_{p^{{\beta }_t}}$，其中 ${\beta }_1>\cdots >{\beta }_t$ 且 ${\beta }_1+\cdots +{\beta }_t=\alpha$。$t$ 和 $\beta$ 依赖于不同的 $i$（若 $i\ne j$，就算 ${\alpha }_i={\alpha }_j$，$t$ 和 $\beta$ 也可能不同）。

(3) (1) 和 (2) 中的分解唯一。

特别地，$A_i$ 是 $G$ 的 Sylow $p_i$-子群。因为 $A_i$ 正规，所以 $A_i$ 唯一。

对于有限阿贝尔群，定理 5.3 和 5.5 等价。

相较于定理 5.3，定理 5.5 将阿贝尔群拆成了更基本的 $Z_{p^k}$ 的乘积。

根据定理 5.5，$n$ 阶阿贝尔群的数量为 $\mathcal{P}({\alpha }_1)\cdots \mathcal{P}({\alpha }_k)$，其中 $\mathcal{P}({\alpha }_i)$ 表示 ${\alpha }_i$ 的划分数。

初等因子

定理 5.5 中的所有 $p_i^{{\beta }_j}$ 称为 $G$ 的 初等因子 (Elementary Divisor)。(1) 和 (2) 所描述的同构式称为 $G$ 的 初等因子分解。

初等因子是所有 Sylow 子群的不变因子，也是 Sylow 子群的初等因子。

---

结论 5.6 在初等因子和不变因子之间建立了桥梁。

结论 5.6

设 $m,n\in {\mathbb{Z}}^{+}$。

(1) $Z_m\times Z_n=Z_{mn}⟺m\perp n$。

(2) $Z_n\cong Z_{p_1^{{\alpha }_1}}\times \cdots \times Z_{p_k^{{\alpha }_k}}$，即对 (1) 使用数学归纳法。

证明 (1)：设 $l=\mathrm{lcm}(m,n)$，则 $\mathrm{\forall }{x}^a{y}^b\in Z_m\times Z_n$，$(x^a{y}^b{)}^l=x^{al}{y}^{bl}=1$。若 $m\perp ̸n$，则 $Z_m\times Z_n$ 的所有元素的阶不超过 $l<mn$。若 $m\perp n$，则 $|xy|=\mathrm{lcm}(|x|,|y|)=mn$。

秩与指数

(1) 设 $G$ 是类型 $(n_1,\cdots ,n_t)$ 的有限阿贝尔群，称 $t$ 为 $G$ 的 秩 (rank)。

(2) 设 $G$ 是任意群，称满足 $x^n=1,\mathrm{\forall }x\in G$ 的最小的 $n$ 为 $G$ 的 指数 (exponent)。

类比线性代数的秩：

• 矩阵的秩为 $t$ 即列空间是 $t$ 个线性无关向量的线性组合。
• 有限阿贝尔群的秩为 $t$ 即所有元素可用 $t$ 个互相无关的元素的乘积表示。

自由秩对应的元素更自由：它们可以是任意幂次。不变因子 $n_i$ 对应的元素的幂次在 $0\sim n_i-1$ 范围内。

Sec.5.4 Recognizing Direct Products

将非阿贝尔群分解为群的直积。

交换子

(1) 定义 $[x,y]=x^{-1}{y}^{-1}xy$ 为 $x,y$ 的 交换子 (commutator)。

(2) 定义 $[A,B]=⟨[a,b]\mid a\in A,b\in B⟩$。

(3) 定义 $G^{\prime }=⟨[x,y]\mid x,y\in G⟩$，称为 $G$ 的 换位子群。

交换子衡量了 $x,y$ 可交换的程度。一个群越不可交换，它的换位子群就越大。

注意：$[A,B]$ 不一定仅含 $\{[a,b]\mid a\in A,b\in B\}$，$G^{\prime }$ 也不一定仅含 $\{[x,y]\mid x,y\in G\}$。

$[x,y{]}^{-1}=[y,x]$，于是 $[A,B]=[B,A]$。

结论 5.7

设 $x,y\in G$ 且 $H\le G$，则

(1) $xy=yx[x,y]$。$x,y$ 可交换当且仅当 $[x,y]=1$。

(2) $H⊴G$ 当且仅当 $[H,G]\le H$。

(3) 对任意 $\sigma \in \mathrm{Aut}(G)$，$\sigma [x,y]=[\sigma (x),\sigma (y)]$。$G^{\prime }\mathrm{char}G$ 且 $G/G^{\prime }$ 是阿贝尔群。

(4) $G/G^{\prime }$ 是最大的阿贝尔商群。即若 $H⊴G$ 且 $G/H$ 是阿贝尔群，则 $G^{\prime }\le H$。相反，若 $G^{\prime }\le H$，则 $H⊴G$ 且 $G/H$ 是阿贝尔群。

证明 (2)：$g^{-1}hg\in H⟺h^{-1}{g}^{-1}hg\in H⟺[h,g]\in H$。

证明 (3)：因为 $\sigma$ 是同态，所以 $\sigma [x,y]=[\sigma (x),\sigma (y)]$，于是交换子在自同构映射下依然是交换子，因此 $G^{\prime }\mathrm{char}G$。因为 $[x,y]\in G^{\prime }$，所以 $(xy)G^{\prime }=(yx[x,y])G^{\prime }=(yx)G^{\prime }$。即 $G/G^{\prime }$ 是阿贝尔群。

证明 (4)：若 $G/H$ 是阿贝尔群，则 $1H=(xH{)}^{-1}(yH{)}^{-1}(xH)(yH)=[x,y]H$，即 $[x,y]\in H$，因此 $G^{\prime }\le H$。相反，若 $G^{\prime }\le H$，则因为 $G/G^{\prime }$ 是阿贝尔群，所以 $H/G^{\prime }⊴G/G^{\prime }$。由第四同构定理 $H⊴G$，由第三同构定理 $G/H\cong (G/G^{\prime })/(H/G^{\prime })$，于是 $G/H$ 是阿贝尔群。

(2)：$hg=gh[h,g]$ 且 $hg=g{h}^{\prime }$ 说明 $h[h,g]=h^{\prime }$，即 $[h,g]\in H$。

(3)：令换位子群坍缩为 $1$，则根据 $xy=yx[x,y]$ 以及 $\overline{[x,y]}=\bar{1}$ 可知 $\overline{xy}=\overline{yx}$。

(4)：换位子群是最小的满足坍缩为单位元之后商群为阿贝尔群的子群。若存在交换子 $[x,y]$ 没有坍缩为 $1$，则 $\bar{x},\bar{y}$ 在商群中不交换。相反，若所有交换子均坍缩为 $1$（坍缩为 $1$ 的子群包含换位子群），则商群任意两个元素可交换。

结论 5.8

设 $H,K\le G$。将 $HK$ 中的每个元素写成 $hk(h\in H,k\in K)$ 的形式的方案数为 $|H\cap K|$。特别地，若 $H\cap K=1$，则 $HK$ 的每个元素可以唯一地写成 $hk$ 的形式。

定理 5.9（识别定理：Recognition Theorem）

若 $H,K⊴G$ 且 $H\cap K=1$，则 $HK\cong H\times K$。

证明：由 $H⊴G$ 可知 $[H,K]\le H$。由 $K⊴G$ 可知 $[H,K]\le K$。因此 $[H,K]=1$，即 $H$ 和 $K$ 的元素可任意交换。构造映射 $\phi :HK\to H\times K$ 满足 $\phi (hk)=(h,k)$。由结论 5.8 可知映射良定义。由 $[H,K]=1$ 可知 $\phi$ 是同态。而 $\phi$ 显然是双射，所以 $\phi$ 是同构。

内、外直积

对 $H,K⊴G$ 且 $H\cap K=1$，称 $HK$ 为 $H,K$ 的 内直积 (Interntal Direct Product)，称 $H\times K$ 为 $H,K$ 的 外直积 (External Direct Product)。

内、外直积仅在符号上有区别。

识别定理是本小节的核心，它要求 $H,K$ 均为正规子群。若仅要求 $H$ 是正规子群，欲将 $HK$ 分解为 $H,K$ 的乘积，则需要下一小节的半直积工具。

Sec.5.5 Semidirect Products

半直积是直积的推广。由推论 3.15，$HK$ 是子群当且仅当 $H,K$ 至少一个为正规子群。我们希望提出对识别定理的不要求 $K⊴G$ 的推广。

设 $H⊴G$ 且 $H\cap K=1$。由结论 5.8，存在 $hk$ 和有序对 $(h,k)$ 的双射。考虑 $HK$ 的两个元素如何相乘：

以上计算以 $G$ 存在为前提。半直积将整个过程倒过来，通过 $H,K$ 构造群 $G$ 使得 $H,K$ 满足上述条件。

在有序对 $(h,k)$ 上定义二元运算，自然的想法是 $(h_1,k_1)(h_2,k_2)=(h_1(k_1{h}_2{k}_1^{-1}),k_1{k}_2)$。$H$ 关于 $K$ 的共轭给出了 $K\to \mathrm{Aut}(H)$ 的同态，这是半直积的核心。

根据 $H,K$ 和 $K\to \mathrm{Aut}(H)$ 的同态 $\phi$，定义半直积的概念。最终我们会发现 $\phi$ 定义了 $H$ 关于 $K$ 的共轭。

$\phi$ 描述了 $k$ 和 $h$ 如何交换：$kh=(k\cdot h)k$。从这个角度去理解，$D_{2n}=Z_n{⋊}_{\phi }{Z}_2$，其中 $\phi :Z_2\to \mathrm{Aut}(Z_n)$ 满足 $\phi (1)(r)=r$，$\phi (s)(r)=r^{-1}$，对应 $sr=(s\cdot r)s=r^{-1}s$。

定理 5.10

设 $H,K$ 是群，$\phi$ 为 $K\to \mathrm{Aut}(H)$ 的同态。令 $\cdot$ 表示 $K$ 根据 $\phi$ 左作用于 $H$。设 $G$ 为 有序对 $(h,k)$ 的集合并定义运算

(1) $G$ 是群且 $|G|=|H||K|$。特别地，$G=HK$。

(2) $h\mapsto (h,1)$ 和 $k\mapsto (1,k)$ 都是同构。$H\cong \{(h,1)\mid h\in H\}\le G$，$K\cong \{(1,k)\mid k\in K\}\le G$。

用 $H,K$ 表示 (2) 描述的它们在 $G$ 中的对应子群，则

(3) $H⊴G$。

(4) $H\cap K=1$。

(5) $kh{k}^{-1}=k\cdot h=\phi (k)(h)$。其中第一个等式左侧为 $G$ 中的运算（用 $h,k$ 分别表示 $(h,1),(1,k)$），第一个等式右侧表示 $K$ 作用于 $H$。

证明 (5)：$(1,k)(h,1)(1,k{)}^{-1}=(k\cdot h,k)(1,k^{-1})=(k\cdot hk\cdot 1,1)=(k\cdot h,1)$。

证明 (3)：由 (5) 知 $kH{k}^{-1}=H$，即 $K\le N_G(H)$。而 $H\le N_G(H)$ 且 $G=HK$，所以 $G=N_G(H)$。

半直积

定理 5.10 定义的群 $G$ 称为 $H,K$ 关于 $\phi$ 的 半直积 (Semidirect Product)，记为 $H{⋊}_{\phi }K$（\rtimes）。不引起歧义时省略右下角标。

---

结论 5.11 告诉我们在什么情况下直积和半直积相等。它揭示了直积和半直积的关系：直积是一种特殊的半直积。

结论 5.11

设 $H,K$ 是群，$\phi$ 为 $K\to \mathrm{Aut}(H)$ 的同态。以下命题等价：

(1) $H⋊K$ 和 $H\times K$ 的恒等映射是同态（也是同构）。

(2) $\phi$ 是 $K\to \mathrm{Aut}(H)$ 的平凡同态，即 $\phi (k)(h)=h$。

(3) $K⊴H⋊K$。

由半直积的定义，(1) 的同构和 (2) 的平凡同态说明 $(1,k)(h,1)=(h,k)=(h,1)(1,k)$，即 $h,k$ 可交换。(3) 的 $H,K⊴H⋊K$ 结合识别定理的证明也说明 $h,k$ 可交换。

这再一次告诉我们，$\phi$ 本质上描述了 $h,k$ 如何交换。$h,k$ 可交换则为直积，它是半直积的特例。

定理 5.12

设 $H,K\le G$ 满足 $H⊴G$ 且 $H\cap K=1$，令 $\phi :K\to \mathrm{Aut}(H)$ 是由 $K$ 左共轭作用于 $H$ 上导出的同态，则 $HK\cong H{⋊}_{\phi }K$。特别地，若 $G=HK$，则 $G$ 是 $H,K$ 的半直积。

正确性由本小节开头的计算验证得到。

半直积的识别定理。对应定理 5.9。