blog.

原文筆記

特殊类型的群 问题详解

在 GitHub 編集 ↗

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

题目 2：方程解的唯一性

题目： 如果群 GG 中的元素 gg 的阶 ∣g∣=n|g| = n 与正整数 kk 互素（即 gcd⁡(n,k)=1\gcd(n, k) = 1），证明方程 xk=gx^k = g 在 ⟨g⟩\langle g \rangle 内恰有一个解。

【从零解析】

  1. 背景知识：
    • ⟨g⟩\langle g \rangle 是由 gg 生成的循环群，里面的元素长这样：{e,g,g2,…,gn−1}\{e, g, g^2, \dots, g^{n-1}\}。
    • 互素的威力（Bézout 等式）：如果 nn 和 kk 互素，那么一定存在整数 u,vu, v 使得 un+vk=1un + vk = 1。这在代数里是解题的神器。
  2. 详细证明步骤：
    • 第一步：构造一个解（存在性）。 因为 gcd⁡(n,k)=1\gcd(n, k) = 1，存在整数 u,vu, v 使得 un+vk=1un + vk = 1。 我们可以把 gg 写成： g=g1=gun+vkg = g^1 = g^{un + vk} 利用指数法则拆开： g=(gn)u⋅gvkg = (g^n)^u \cdot g^{vk} 因为 nn 是 gg 的阶，所以 gn=eg^n = e（单位元）。那么： g=eu⋅(gv)k=(gv)kg = e^u \cdot (g^v)^k = (g^v)^k 我们找到了一个元素 x=gvx = g^v，它满足 xk=gx^k = g。而且 gvg^v 显然在 ⟨g⟩\langle g \rangle 里。所以解是存在的。
    • 第二步：证明只有一个解（唯一性）。 假设有两个解 x1x_1 和 x2x_2 都在 ⟨g⟩\langle g \rangle 里，满足 x1k=gx_1^k = g 和 x2k=gx_2^k = g。 那么 x1k=x2kx_1^k = x_2^k，也就是 (x1x2−1)k=e(x_1 x_2^{-1})^k = e。 这意味着元素 y=x1x2−1y = x_1 x_2^{-1} 的阶必须整除 kk。 同时，因为 x1,x2x_1, x_2 都在 ⟨g⟩\langle g \rangle 里，它们的阶也都必须整除 nn（群的阶）。 所以，yy 的阶必须同时整除 kk 和 nn。 但 gcd⁡(n,k)=1\gcd(n, k) = 1，它们没有公约数（除了1）。 所以 yy 的阶只能是 1，即 y=ey = e。 推导出 x1x2−1=e  ⟹  x1=x2x_1 x_2^{-1} = e \implies x_1 = x_2。
    • 结论：解存在且唯一。

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

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

【从零解析】

  1. 直观理解：有理数很稠密，但如果你只取“有限个”有理数通过加减法生成一个群，它们其实都“卡”在一个共同分母的网格上。
  2. 详细讲解：
    • 设这个子群 HH 是由有限个有理数生成的：H=⟨r1s1,r2s2,…,rmsm⟩H = \langle \frac{r_1}{s_1}, \frac{r_2}{s_2}, \dots, \frac{r_m}{s_m} \rangle。
    • 通分：令 SS 为所有分母 s1,…,sms_1, \dots, s_m 的最小公倍数。
    • 那么，每一个生成元 risi\frac{r_i}{s_i} 都可以写成 kiS\frac{k_i}{S} 的形式（其中 kik_i 是整数）。
    • 这意味着，群 HH 中的任何元素都可以写成： x=n1k1S+⋯+nmkmS=n1k1+⋯+nmkmSx = 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=n1k1+⋯+nmkmN = n_1 k_1 + \dots + n_m k_m 肯定是个整数。
    • 所以，整个子群 HH 实际上包含在群 ⟨1S⟩\langle \frac{1}{S} \rangle 里面。
    • 关键定理：循环群的子群必定是循环群。
    • ⟨1S⟩\langle \frac{1}{S} \rangle 同构于整数加法群 Z\mathbb{Z}（它是循环群）。既然 HH 是它的子群，那 HH 也一定是循环群。

第二部分：置换群 SnS_n 与 AnA_n（计算篇）

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

题目 11：SnS_n 的生成元

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

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

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

题目 12 & 13：AnA_n 的生成元

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

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

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

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

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

【证明详解】

  1. 共轭类的大小：
    • 在 SnS_n 中，两个置换共轭   ⟺  \iff 它们的循环结构相同。
    • σ\sigma 是一个 nn-长轮换。在 SnS_n 中，有多少个长为 nn 的轮换？
    • 排列 11 到 nn 有 n!n! 种排法。但是轮换是圆的，(1 2 3)(1\ 2\ 3) 和 (2 3 1)(2\ 3\ 1) 是一样的。一个 nn-轮换有 nn 种写法。
    • 所以，nn-轮换的总数（共轭类大小） = n!n=(n−1)!\frac{n!}{n} = (n-1)!。
  2. 轨道-稳定子定理（Orbit-Stabilizer Theorem）：
    • 这是群论最重要的公式之一：∣G∣=∣Orb(σ)∣⋅∣Stab(σ)∣|G| = |Orb(\sigma)| \cdot |Stab(\sigma)|。
    • 在这里：∣Sn∣=(σ的共轭类大小)⋅(σ的中心化子阶数)|S_n| = (\sigma \text{的共轭类大小}) \cdot (\sigma \text{的中心化子阶数})。
    • 代入数值： n!=(n−1)!⋅∣CSn(σ)∣n! = (n-1)! \cdot |C_{S_n}(\sigma)|
    • 解得：∣CSn(σ)∣=n!(n−1)!=n|C_{S_n}(\sigma)| = \frac{n!}{(n-1)!} = n。
  3. 确定中心化子：
    • 我们知道 ⟨σ⟩={e,σ,σ2,…,σn−1}\langle \sigma \rangle = \{e, \sigma, \sigma^2, \dots, \sigma^{n-1}\} 里面的元素肯定都和 σ\sigma 交换（自己跟自己肯定交换）。
    • ⟨σ⟩\langle \sigma \rangle 的阶正好是 nn。
    • 结论：既然中心化子的大小是 nn，而 ⟨σ⟩\langle \sigma \rangle 是它在这个大小下的一个子集，那它们必须相等。即 CSn(σ)=⟨σ⟩C_{S_n}(\sigma) = \langle \sigma \rangle。

题目 16：SnS_n 的正规子群（n≥5n \ge 5）

题目： 证明 SnS_n 只有一个非平凡正规子群 AnA_n。

【证明逻辑重构】

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

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

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

【从零解析】

  1. 什么是自同构？ 群 GG 到它自己的同构映射。
  2. 什么是内自同构（Inn）？
    • 对任意 g∈Gg \in G，定义映射 ϕg(x)=gxg−1\phi_g(x) = g x g^{-1}。这也是一种自同构。
    • 所有的内自同构构成的群 Inn(G)Inn(G) 是 Aut(G)Aut(G) 的子群。
  3. 关键联系： Inn(G)≅G/Z(G)Inn(G) \cong G / Z(G) 即：内自同构群同构于 GG 商掉它的中心。
  4. 推导：
    • 题目说 ∣Aut(G)∣=2|Aut(G)| = 2。
    • 因为 Inn(G)≤Aut(G)Inn(G) \le Aut(G)，根据拉格朗日定理，Inn(G)Inn(G) 的阶只能是 1 或者 2。
    • 情况 1：∣Inn(G)∣=1|Inn(G)| = 1。
      • 这意味着 G/Z(G)G/Z(G) 只有一个元素。说明 G=Z(G)G = Z(G)。
      • 中心等于全集，说明 GG 中所有元素都可交换。GG 是交换群。
    • 情况 2：∣Inn(G)∣=2|Inn(G)| = 2。
      • 这意味着 ∣G/Z(G)∣=2|G/Z(G)| = 2。
      • 这里有一个著名的结论：“循环群判定法”。
      • 如果商群 G/Z(G)G/Z(G) 是循环群，那么 GG 一定是交换群。
      • 阶数为 2 的群一定是循环群（同构于 Z2\mathbb{Z}_2）。
      • 所以 GG 是交换群。
      • 进一步补充：其实如果 GG 是交换群，Z(G)=GZ(G)=G，那么 G/Z(G)G/Z(G) 只有 1 个元素。所以"情况2"实际上是不可能发生的，但无论如何，推导都指向 GG 是交换群。