特殊类型的群 问题详解

---

第一部分：循环群与生成元（基础篇）

题目 2：方程解的唯一性

题目： 如果群 $G$ 中的元素 $g$ 的阶 $|g| = n$ 与正整数 $k$ 互素（即 $\gcd(n, k) = 1$），证明方程 $x^k = g$ 在 $\langle g \rangle$ 内恰有一个解。

【从零解析】

1. 背景知识：

   • $\langle g \rangle$ 是由 $g$ 生成的循环群，里面的元素长这样：$\{e, g, g^2, \dots, g^{n-1}\}$。
   • 互素的威力（Bézout 等式）：如果 $n$ 和 $k$ 互素，那么一定存在整数 $u, v$ 使得 $un + vk = 1$。这在代数里是解题的神器。

2. 详细证明步骤：

   • 第一步：构造一个解（存在性）。 因为 $\gcd(n, k) = 1$，存在整数 $u, v$ 使得 $un + vk = 1$。 我们可以把 $g$ 写成：

     $$g = g^1 = g^{un + vk}$$

     利用指数法则拆开：

     $$g = (g^n)^u \cdot g^{vk}$$

     因为 $n$ 是 $g$ 的阶，所以 $g^n = e$（单位元）。那么：

     $$g = e^u \cdot (g^v)^k = (g^v)^k$$

     我们找到了一个元素 $x = g^v$，它满足 $x^k = g$。而且 $g^v$ 显然在 $\langle g \rangle$ 里。所以解是存在的。

   • 第二步：证明只有一个解（唯一性）。 假设有两个解 $x_1$ 和 $x_2$ 都在 $\langle g \rangle$ 里，满足 $x_1^k = g$ 和 $x_2^k = g$。 那么 $x_1^k = x_2^k$，也就是 $(x_1 x_2^{-1})^k = e$。 这意味着元素 $y = x_1 x_2^{-1}$ 的阶必须整除 $k$。 同时，因为 $x_1, x_2$ 都在 $\langle g \rangle$ 里，它们的阶也都必须整除 $n$（群的阶）。 所以，$y$ 的阶必须同时整除 $k$ 和 $n$。 但 $\gcd(n, k) = 1$，它们没有公约数（除了1）。 所以 $y$ 的阶只能是 1，即 $y = e$。 推导出 $x_1 x_2^{-1} = e \implies x_1 = x_2$。

   • 结论：解存在且唯一。

---

题目 3：有理数加法群的子群

题目： 证明有理数加法群 $(\mathbb{Q}, +)$ 的任一有限生成子群都是循环群。

【从零解析】

1. 直观理解：有理数很稠密，但如果你只取“有限个”有理数通过加减法生成一个群，它们其实都“卡”在一个共同分母的网格上。
2. 详细讲解：
   • 设这个子群 $H$ 是由有限个有理数生成的：$H = \langle \frac{r_1}{s_1}, \frac{r_2}{s_2}, \dots, \frac{r_m}{s_m} \rangle$。
   • 通分：令 $S$ 为所有分母 $s_1, \dots, s_m$ 的最小公倍数。
   • 那么，每一个生成元 $\frac{r_i}{s_i}$ 都可以写成 $\frac{k_i}{S}$ 的形式（其中 $k_i$ 是整数）。
   • 这意味着，群 $H$ 中的任何元素都可以写成：

     $$x = n_1 \frac{k_1}{S} + \dots + n_m \frac{k_m}{S} = \frac{n_1 k_1 + \dots + n_m k_m}{S}$$

   • 分子部分 $N = n_1 k_1 + \dots + n_m k_m$ 肯定是个整数。
   • 所以，整个子群 $H$ 实际上包含在群 $\langle \frac{1}{S} \rangle$ 里面。
   • 关键定理：循环群的子群必定是循环群。
   • $\langle \frac{1}{S} \rangle$ 同构于整数加法群 $\mathbb{Z}$（它是循环群）。既然 $H$ 是它的子群，那 $H$ 也一定是循环群。

---

第二部分：置换群 $S_n$ 与 $A_n$（计算篇）

核心技巧：我们要学会用“共轭”来搬运数字。 公式：$\tau (i \ j \ \dots) \tau^{-1}$ 的结果，就是把括号里的数字 $x$ 变成 $\tau(x)$。

题目 11：$S_n$ 的生成元

题目： 证明 $S_n$ 可以由对换 $(1\ 2)$ 和轮换 $\sigma = (1\ 2\ \cdots\ n)$ 生成。

【证明思路】 只要能造出所有的“相邻对换” $(k, k+1)$，就能生成整个 $S_n$。

1. 我们已有 $(1\ 2)$。
2. 利用共轭作用：$\sigma (1\ 2) \sigma^{-1}$。 $\sigma$ 把 $1 \to 2$，把 $2 \to 3$。所以 $\sigma (1\ 2) \sigma^{-1} = (2\ 3)$。
3. 再搞一次：$\sigma (2\ 3) \sigma^{-1} = (3\ 4)$。
4. 以此类推，我们可以得到 $(1\ 2), (2\ 3), \dots, (n-1\ n)$。
5. 既然有了所有相邻对换，它们就能生成所有置换。证毕。

题目 12 & 13：$A_n$ 的生成元

这道题利用了 $A_n$（偶置换群）是由“3-轮换” $(i\ j\ k)$ 生成的事实。

• $(1\ 2\ 3)$ 是一个 3-轮换。
• 如果你有 $(1\ 2\ 3)$ 和 $(1\ 2\ \dots\ n)$（当 $n$ 为奇数时，它是偶置换），你就可以像上面一样，通过“推移”造出所有的 3-轮换。

---

第三部分：正规子群与中心化子（抽象篇）

题目 14：中心化子与共轭类

题目： 设 $\sigma = (1\ 2\ \cdots\ n)$，证明其中心化子 $C_{S_n}(\sigma) = \langle \sigma \rangle$，共轭类含 $(n-1)!$ 个元素。

【证明详解】

1. 共轭类的大小：

   • 在 $S_n$ 中，两个置换共轭 $\iff$ 它们的循环结构相同。
   • $\sigma$ 是一个 $n$-长轮换。在 $S_n$ 中，有多少个长为 $n$ 的轮换？
   • 排列 $1$ 到 $n$ 有 $n!$ 种排法。但是轮换是圆的，$(1\ 2\ 3)$ 和 $(2\ 3\ 1)$ 是一样的。一个 $n$-轮换有 $n$ 种写法。
   • 所以，$n$-轮换的总数（共轭类大小） = $\frac{n!}{n} = (n-1)!$。

2. 轨道-稳定子定理（Orbit-Stabilizer Theorem）：

   • 这是群论最重要的公式之一：$|G| = |Orb(\sigma)| \cdot |Stab(\sigma)|$。
   • 在这里：$|S_n| = (\sigma \text{的共轭类大小}) \cdot (\sigma \text{的中心化子阶数})$。
   • 代入数值：

     $$n! = (n-1)! \cdot |C_{S_n}(\sigma)|$$

   • 解得：$|C_{S_n}(\sigma)| = \frac{n!}{(n-1)!} = n$。

3. 确定中心化子：

   • 我们知道 $\langle \sigma \rangle = \{e, \sigma, \sigma^2, \dots, \sigma^{n-1}\}$ 里面的元素肯定都和 $\sigma$ 交换（自己跟自己肯定交换）。
   • $\langle \sigma \rangle$ 的阶正好是 $n$。
   • 结论：既然中心化子的大小是 $n$，而 $\langle \sigma \rangle$ 是它在这个大小下的一个子集，那它们必须相等。即 $C_{S_n}(\sigma) = \langle \sigma \rangle$。

---

题目 16：$S_n$ 的正规子群（$n \ge 5$）

题目： 证明 $S_n$ 只有一个非平凡正规子群 $A_n$。

【证明逻辑重构】

1. 目标：假设 $H$ 是 $S_n$ 的一个正规子群，且 $H \neq \{e\}$，$H \neq S_n$。我们要证明 $H$ 只能是 $A_n$。
2. 关键点：$A_n$ 是单群（Simple Group）。
   • 对于 $n \ge 5$， $A_n$ 没有非平凡的正规子群。这是已知的大定理。
3. 分析 $H \cap A_n$：
   • 因为 $H$ 和 $A_n$ 都是 $S_n$ 的正规子群，所以它们的交集 $H \cap A_n$ 也是 $A_n$ 的正规子群。
   • 因为 $A_n$ 是单群，这个交集只有两种可能：
     • 情况 A：$H \cap A_n = A_n$。这意味着 $A_n \subseteq H$。
       • $A_n$ 的指数是 2（它占了 $S_n$ 的一半）。如果 $H$ 包含 $A_n$ 且 $H \neq S_n$，那 $H$ 只能是 $A_n$。得证。
     • 情况 B：$H \cap A_n = \{e\}$。
       • 根据同态定理或乘积公式：$|H A_n| = \frac{|H| \cdot |A_n|}{|H \cap A_n|} = |H| \cdot \frac{n!}{2}$。
       • 因为 $H A_n$ 是 $S_n$ 的子群，它的大小不能超过 $n!$。
       • 这强迫 $|H|$ 只能等于 2。
       • 如果 $|H|=2$，设 $H = \{e, \tau\}$。因为 $H$ 是正规子群，这意味着 $\tau$ 必须和 $S_n$ 中所有元素交换（即 $\tau$ 在中心 $Z(S_n)$ 里）。
       • 但是！对于 $n \ge 3$，$S_n$ 的中心是平凡的（只有单位元）。
       • 矛盾！所以情况 B 不可能发生。
4. 结论：只能是情况 A，即 $H = A_n$。

---

题目 20：只有两个自同构的群

题目： 如果 $|Aut(G)| = 2$，证明 $G$ 是交换群。

【从零解析】

1. 什么是自同构？ 群 $G$ 到它自己的同构映射。
2. 什么是内自同构（Inn）？
   • 对任意 $g \in G$，定义映射 $\phi_g(x) = g x g^{-1}$。这也是一种自同构。
   • 所有的内自同构构成的群 $Inn(G)$ 是 $Aut(G)$ 的子群。
3. 关键联系：

   $$Inn(G) \cong G / Z(G)$$

   即：内自同构群同构于 $G$ 商掉它的中心。
4. 推导：
   • 题目说 $|Aut(G)| = 2$。
   • 因为 $Inn(G) \le Aut(G)$，根据拉格朗日定理，$Inn(G)$ 的阶只能是 1 或者 2。
   • 情况 1：$|Inn(G)| = 1$。
     • 这意味着 $G/Z(G)$ 只有一个元素。说明 $G = Z(G)$。
     • 中心等于全集，说明 $G$ 中所有元素都可交换。$G$ 是交换群。
   • 情况 2：$|Inn(G)| = 2$。
     • 这意味着 $|G/Z(G)| = 2$。
     • 这里有一个著名的结论：“循环群判定法”。
     • 如果商群 $G/Z(G)$ 是循环群，那么 $G$ 一定是交换群。
     • 阶数为 2 的群一定是循环群（同构于 $\mathbb{Z}_2$）。
     • 所以 $G$ 是交换群。
     • 进一步补充：其实如果 $G$ 是交换群，$Z(G)=G$，那么 $G/Z(G)$ 只有 1 个元素。所以"情况2"实际上是不可能发生的，但无论如何，推导都指向 $G$ 是交换群。