共轭关系揭示了群内部元素的“物理相似性”——同一对称操作在不同视角坐标系下的投影；由此导出的类方程天平是攻克有限群结构的破壁利器。 群同态则是代数世界的“结构投影仪”，同态基本定理构造的交换图表将商群与像完美闭合统一。
$$C(G) = \{ a \in G \mid \forall x \in G, ax = xa \}$$ 能与群中所有元素可交换的至尊元素集合。 $C(G)$ 是 $G$ 的阿贝尔正规子群（$C(G) \trianglelefteq G$）。
$$C_G(a) = \{ g \in G \mid ga = ag \}$$ 群中能与指定元素 $a$ 交换的元素子群。显然有 $C(G) \leqslant C_G(a) \leqslant G$。
$$N_G(H) = \{ g \in G \mid gHg^{-1} = H \}$$ 使子群 $H$ 整体保持不变的最大子群。满足 $H \trianglelefteq N_G(H) \leqslant G$。特别地，$H \trianglelefteq G \iff N_G(H) = G$。
元素 $a$ 的共轭类定义为 $K_a = \{ gag^{-1} \mid g \in G \}$。共轭类的大小恰好等于中心化子的指数： $$|K_a| = [G : C_G(a)] = \dfrac{|G|}{|C_G(a)|}$$ 王牌推论：有限群中每一个共轭类的大小，必须整除群的阶数 $|G|$！ 特别地，$a \in C(G) \iff |K_a| = 1$。
对称群 $S_4$ 阶数为 $4! = 24$。几何上，$S_4$ 同构于正方体或正八面体的全部空间旋转对称群。 下表完整展开其 5 大共轭类的代数、几何与群论全部指标：
| 轮换型 $\lambda$ | 典型代表元 | 阶数 | 共轭类大小 $|K_\lambda|$ | 中心化子 $C_{S_4}(x)$ 结构 | 奇偶性 | 正方体旋转几何对应 | 包含的全部置换 |
|---|---|---|---|---|---|---|---|
| $(1)^4$ | $e$ | 1 | $\frac{24}{1^4 \cdot 4!} = \mathbf{1}$ | $S_4$ (阶 24) | 偶置换 (+1) | 恒等不动 | e |
| $(2)(1)^2$ | $(1\ 2)$ | 2 | $\binom{4}{2} = \mathbf{6}$ | $\cong V_4$ (阶 4，含对换及补对换) | 奇置换 (-1) | 绕对边中点连线旋转 180° | (1 2), (1 3), (1 4), (2 3), (2 4), (3 4) |
| $(3)(1)$ | $(1\ 2\ 3)$ | 3 | $\binom{4}{3} \times 2 = \mathbf{8}$ | $\cong \mathbb{Z}_3$ (阶 3，由该 3-轮换生成) | 偶置换 (+1) | 绕体对角线旋转 120° / 240° | (1 2 3), (1 3 2), (1 2 4), (1 4 2), (1 3 4), (1 4 3), (2 3 4), (2 4 3) |
| $(2)^2$ | $(1\ 2)(3\ 4)$ | 2 | $\frac{1}{2}\binom{4}{2} = \mathbf{3}$ | $\cong D_4$ (阶 8，二面体群) | 偶置换 (+1) | 绕对面中心连线旋转 180° | (1 2)(3 4), (1 3)(2 4), (1 4)(2 3) |
| $(4)$ | $(1\ 2\ 3\ 4)$ | 4 | $3! = \mathbf{6}$ | $\cong \mathbb{Z}_4$ (阶 4，由该 4-轮换生成) | 奇置换 (-1) | 绕对面中心连线旋转 90° / 270° | (1 2 3 4), (1 2 4 3), (1 3 2 4), (1 3 4 2), (1 4 2 3), (1 4 3 2) |
类方程严格验算：
$$|S_4| = |C(S_4)| + \sum [S_4 : C(x)] = 1 + 6 + 8 + 3 + 6 = 24$$
每个项均严格整除 24（即 $24/24=1, 24/4=6, 24/3=8, 24/8=3, 24/4=6$）。
代数王炸应用：确定 $S_4$ 的全部正规子群！
群 $N \trianglelefteq S_4$ 的充要条件是：$N$ 是 $S_4$ 若干个完整共轭类的无交并，且必含单位元 $\{e\}$，且其阶 $|N|$ 必须整除 24！
我们对数字 $1, 6, 8, 3, 6$ 进行包含 $1$ 的全部子集求和检验：
✨ 定理结论：对称群 $S_4$ 严格只有 4 个正规子群：$\{e\} \trianglelefteq V_4 \trianglelefteq A_4 \trianglelefteq S_4$！
设 $G$ 是有限群，$C(G)$ 是 $G$ 的中心，$x_1, \dots, x_k$ 为 $G$ 中所有非中心共轭类的代表元，则： $$|G| = |C(G)| + \sum_{i=1}^k [G : C_G(x_i)]$$
群被彻底拆解为两部分：居于中心的自转元素（每个贡献 1，自身构成单元素共轭类），以及外部由多个非中心共轭类组成的公转环轨道。
若 $|G| = p^n$（$p$ 为素数，$n \ge 1$），则群的中心绝不只有单位元：$|C(G)| > 1$（且必有 $p \mid |C(G)|$）！
证明：类方程中 $|G|$ 与各项 $[G:C_G(x_i)]$ 全都是 $p$ 的正次幂倍数，模 $p$ 余数必平衡，迫使 $|C(G)| \equiv 0 \pmod p$！由于 $e \in C(G)$，故 $|C(G)| \ge p > 1$。
任意 $p^2$ 阶群必为 Abel 交换群，且只可能有两种结构：同构于 $\mathbb{Z}_{p^2}$ 或 $\mathbb{Z}_p \times \mathbb{Z}_p$！
证明：由推论 1，$|C(G)| \in \{p, p^2\}$。若 $|C(G)|=p$，则商群 $|G/C(G)| = p$ 为素数阶循环群。然而“商群 $G/C(G)$ 循环必导致全群 $G$ 交换”，从而 $C(G)=G$，矛盾！故只能 $|C(G)|=p^2 \implies G = C(G)$。
选择不同群，查看其共轭类划分：中心部分由几个独立点（1阶类）构成，非中心轨道大小均为群阶的因子，二者相加严格平衡总阶数！
$$\mathrm{Ker}\ \varphi = \{ x \in G \mid \varphi(x) = e' \}$$
所有被同态“坍塌降维”压成新单位元的元素集合。
定理 2.8.1：同态核必为定义域群 $G$ 的正规子群（$\mathrm{Ker}\ \varphi \trianglelefteq G$）！
且 $\varphi$ 是单同态（单射） $\iff \mathrm{Ker}\ \varphi = \{e\}$！
$$\mathrm{Im}\ \varphi = \{ \varphi(x) \mid x \in G \}$$ 同态在目标群中留下的真实投影痕迹。 $\mathrm{Im}\ \varphi$ 是目标群 $G'$ 的子群（$\mathrm{Im}\ \varphi \leqslant G'$）。
设 $\varphi: G \to G'$ 是群同态，$K = \mathrm{Ker}\ \varphi$，则： $$G / \mathrm{Ker}\ \varphi \cong \mathrm{Im}\ \varphi$$
哲学解释：投影仪投射后丢失的全部信息正好由核 $K$ 完整记录。只要我们把核 $K$“商掉”（缩点折叠成陪集纤维），剩下的商群骨架就与投影出的真实像完全全等（典则同构 $\bar{\varphi}: gK \mapsto \varphi(g)$）！
• 第二同构定理（菱形定理）： 设 $H \leqslant G, N \trianglelefteq G$，则 $HN/N \cong H/(H \cap N)$；
• 第三同构定理： 设 $K \trianglelefteq G, H \trianglelefteq G$ 且 $K \leqslant H$，则 $(G/K) / (H/K) \cong G/H$；
• 自同构定理： 内自同构群与中心的关系：$\mathrm{Inn}(G) \cong G / C(G)$。
群同态基本定理的核心在于三角形图表的可换性：$\varphi = \bar{\varphi} \circ \pi$！ 点击任意元素，系统将同时激发两条追逐路线：一条向下投射至商群纤维再经同构折回像，另一条直达同态像。两路光束在像点交汇爆发！
对任意 $g \in G$，共轭变换 $\sigma_g: x \mapsto gxg^{-1}$ 是 $G$ 的一个自同构，称为由 $g$ 诱导的内自同构。
全体内自同构构成群 $\mathrm{Inn}(G) = \{ \sigma_g \mid g \in G \}$。考虑典则同态映射：
$$\Phi: G \longrightarrow \mathrm{Aut}(G), \quad g \longmapsto \sigma_g$$
• 验证同态： $\Phi(gh) = \sigma_{gh}$。对任意 $x \in G$：
$$\sigma_{gh}(x) = (gh)x(gh)^{-1} = g(hxh^{-1})g^{-1} = \sigma_g(\sigma_h(x)) = (\sigma_g \circ \sigma_h)(x)$$
故 $\Phi(gh) = \Phi(g) \circ \Phi(h)$，$\Phi$ 确实是群同态，且其像 $\mathrm{Im}\ \Phi = \mathrm{Inn}(G)$。
• 计算同态核：
$$\mathrm{Ker}\ \Phi = \{ g \in G \mid \sigma_g = \mathrm{id}_G \} = \{ g \in G \mid \forall x \in G, gxg^{-1} = x \} = \{ g \in G \mid \forall x \in G, gx = xg \} = C(G)$$
同态核严格等于群的中心 $C(G)$！
由群同态基本定理（定理 2.8.2），立即证得：
$$\mathbf{\mathrm{Inn}(G) \cong G / C(G)}$$
同时由于任取 $\alpha \in \mathrm{Aut}(G)$，有 $\alpha \circ \sigma_g \circ \alpha^{-1} = \sigma_{\alpha(g)} \in \mathrm{Inn}(G)$，可知 $\mathrm{Inn}(G) \trianglelefteq \mathrm{Aut}(G)$。
商群 $\mathrm{Out}(G) = \mathrm{Aut}(G) / \mathrm{Inn}(G)$ 称为群 $G$ 的外自同构群。
确定群的极小生成元集合 $\{x_1, \dots, x_k\}$ 及基本代数关系式 $R(x_1, \dots, x_k) = e$。自同构完全由生成元的像 $\sigma(x_i)$ 决定！
同构必保阶：$\operatorname{ord}(\sigma(x_i)) = \operatorname{ord}(x_i)$。在群中寻找所有与生成元同阶的元素作为备选目标。
候选像必须满足与原生成元相同的全部代数关系式（如 $\sigma(s)\sigma(r)\sigma(s) = \sigma(r)^{-1}$），排除不合法配对。
验证候选像集合能否重新生成全群：$\langle \sigma(x_1), \dots, \sigma(x_k) \rangle = G$，确保映射是满同态。
| 群 $G$ | 阶 $|G|$ | 中心 $C(G)$ | 内自同构群 $\mathrm{Inn}(G)$ | 全自同构群 $\mathrm{Aut}(G)$ | 外自同构群 $\mathrm{Out}(G)$ | 求解关键思想 |
|---|---|---|---|---|---|---|
| $(\mathbb{Z}, +)$ | $\infty$ | $\mathbb{Z}$ | $\{e\}$ | $\cong \mathbb{Z}_2$ | $\cong \mathbb{Z}_2$ | 生成元仅有 $\pm 1$，自同构仅有 $\mathrm{id}$ 与 $x \mapsto -x$。 |
| $(\mathbb{Z}_n, +)$ | $n$ | $\mathbb{Z}_n$ | $\{e\}$ | $\cong U(n) = (\mathbb{Z}_n^*, \cdot)$ | $\cong U(n)$ | 生成元 1 必须映为与 $n$ 互素的剩余类 $k$，阶为欧拉函数 $\varphi(n)$。 |
| $V_4 \cong \mathbb{Z}_2 \times \mathbb{Z}_2$ | 4 | $V_4$ | $\{e\}$ | $\cong GL_2(\mathbb{F}_2) \cong S_3$ | $\cong S_3$ | 视作 $\mathbb{F}_2$ 上的 2 维向量空间，自同构为可逆矩阵群，阶为 $(2^2-1)(2^2-2) = 6$！ |
| $S_3$ | 6 | $\{e\}$ | $\cong S_3$ | $\cong S_3$ | $\{e\}$ | 中心平凡故 $\mathrm{Inn}(S_3) \cong S_3$；又自同构置换 3 个对换，阶至多 6，故 $\mathrm{Aut}(S_3) = \mathrm{Inn}(S_3)$。 |
| $D_4$ | 8 | $\{e, r^2\}$ | $\cong D_4/C(D_4) \cong V_4$ | $\cong D_4$ | $\cong \mathbb{Z}_2$ | $\sigma(r) \in \{r, r^3\}$（2 种），$\sigma(s) \in \{s, sr, sr^2, sr^3\}$（4 种），共 8 个自同构。 |
| $Q_8$ | 8 | $\{\pm 1\}$ | $\cong Q_8/C(Q_8) \cong V_4$ | $\cong S_4$ (阶 24) | $\cong S_3$ | 自同构排列 3 对虚数单位 $\{\pm i, \pm j, \pm k\}$，外自同构群 $S_4/V_4 \cong S_3$。 |
可视化满同态 $\varphi: \mathbb{Z}_6 \to \mathbb{Z}_2$（按奇偶投影，核为偶数加群 $\{0, 2, 4\}$）及符号同态 $\operatorname{sgn}: S_3 \to \{ \pm 1 \}$。 点击单元观察各纤维束如何汇聚！
题目： 设 $G = GL_2(\mathbb{C})$ 为复数域上的 2 阶全线性群，$N = \left\{ \begin{pmatrix} a & b \\ 0 & c \end{pmatrix} \;\middle|\; ac \neq 0 \right\}$， $H = \left\{ \begin{pmatrix} 1 & x \\ 0 & 1 \end{pmatrix} \;\middle|\; x \in \mathbb{C} \right\}$。求：$C(G), C_G(N), C_N(H), N_G(H)$。
题目： 求 $S_4$ 中元素 $a = (1\ 2)$ 的共轭类 $K_a$ 及其大小 $|K_a|$。
由定理 2.7.5（置换群共轭定理）：在对称群 $S_n$ 中，两个置换共轭当且仅当它们具有相同的轮换型 (Cycle Type)！
置换 $a = (1\ 2)$ 的轮换型是一个长度为 2 的轮换加两个不动点（型为 $(2, 1, 1)$，即所有对换）。
因此，$a = (1\ 2)$ 的共轭类 $K_a$ 恰好包含 $S_4$ 中所有的对换：
$$K_a = \{ (1\ 2), (1\ 3), (1\ 4), (2\ 3), (2\ 4), (3\ 4) \}$$
共轭类的大小为：$|K_a| = \binom{4}{2} = 6$。
根据指数公式：$|K_a| = [S_4 : C_{S_4}(a)] \implies |C_{S_4}(a)| = \frac{24}{6} = 4$（中心化子是由 $(1\ 2)$ 和 $(3\ 4)$ 生成的 4 阶 Klein 四元群）。$\blacksquare$
题目： 设 $G$ 是群，$H$ 是 $G$ 中唯一的一个 $n$ 阶子群。证明：$H \trianglelefteq G$。
对任意 $g \in G$，考察其共轭子群 $gHg^{-1} = \{ ghg^{-1} \mid h \in H \}$。
由共轭变换 $\sigma_g(x) = gxg^{-1}$ 是群 $G$ 的一个自同构（保持群运算与一一对应），自同构映射必将子群映为同阶子群：
$$|gHg^{-1}| = |H| = n$$
这表明：对于任意 $g \in G$，$gHg^{-1}$ 也是群 $G$ 的一个 $n$ 阶子群！
但题目已知条件指出：$H$ 是群 $G$ 中“唯一”的 $n$ 阶子群！
因此，必然有：
$$gHg^{-1} = H, \quad \forall g \in G$$
根据正规子群的判定准则，立即证得 $H \trianglelefteq G$。$\blacksquare$
题目： 设 $G = \{(a, b) \mid a, b \in \mathbb{R}, a \neq 0\}$ 是对乘法 $(a, b)(c, d) = (ac, ad + b)$ 构成的群，$K = \{(1, b) \mid b \in \mathbb{R}\}$。证明 $G/K \cong \mathbb{R}^*$。
题目： 设 $\varphi: G \to G'$ 是群同态，证明：
(1) $\varphi(e) = e'$； (2) $\forall x \in G, \varphi(x^{-1}) = (\varphi(x))^{-1}$； (3) 若 $H \leqslant G$，则 $\varphi(H) \leqslant G'$。
题目： 确定整数加群 $\mathbb{Z}$ 和模 $n$ 加群 $\mathbb{Z}_n$ 的全部自同构群。
核心法则：循环群的自同构完全由生成元的像决定，且自同构必须将生成元映成生成元！
1. 对 $(\mathbb{Z}, +)$： $\mathbb{Z}$ 的生成元只有两个：$+1$ 与 $-1$。
因此任一自同构 $f$ 只能有：$f(1) = 1$（恒等自同构）或 $f(1) = -1$（相反数自同构 $f(x) = -x$）。
故 $\mathrm{Aut}(\mathbb{Z}) = \{ \mathrm{id}, -\mathrm{id} \} \cong \mathbb{Z}_2$（2 阶群）。
2. 对 $(\mathbb{Z}_n, \oplus)$： $\mathbb{Z}_n$ 的生成元是与 $n$ 互素的所有剩余类 $k \in \mathbb{Z}_n^*$。
每个自同构 $f_k$ 完全由 $f_k(1) = k$（$\gcd(k, n) = 1$）唯一确定，满足复合规则 $f_k \circ f_m = f_{km \pmod n}$。
因此自同构群 $\mathrm{Aut}(\mathbb{Z}_n) \cong U(n) = (\mathbb{Z}_n^*, \otimes)$，其阶为欧拉函数 $\varphi(n)$。$\blacksquare$
题目： 若 $G$ 是单群，证明 $G$ 到任意群 $G'$ 的同态 $f$ 必为单同态或零同态。
由定理 2.8.1，同态核永远是定义域群的正规子群：
$$\mathrm{Ker}\ f \trianglelefteq G$$
因为已知 $G$ 是单群，由单群的定义，$G$ 只有两个平凡的正规子群，即：
$$\mathrm{Ker}\ f = \{e\} \quad \text{或} \quad \mathrm{Ker}\ f = G$$
• 情形 1：若 $\mathrm{Ker}\ f = \{e\}$，由单射充要条件知 $f$ 是单同态 (Monomorphism)；
• 情形 2：若 $\mathrm{Ker}\ f = G$，即 $G$ 中所有元素都在核内，对所有 $x \in G$ 均有 $f(x) = e'$，此时 $f$ 是零同态 (Trivial homomorphism)。
综上，$f$ 只能是单同态或零同态，命题得证。$\blacksquare$