给定Gal(L/ℚ)≅Hol(C₈)，如何证明S₈中存在同构子群？

这个问题我们可以从全形Hol(C₈)的结构入手，结合置换群的基本性质来推导，一步步来：

首先先明确**全形Hol(Cₙ)**的定义：对于n阶循环群Cₙ，Hol(Cₙ)是Cₙ和它的自同构群Aut(Cₙ)的半直积，也就是Hol(Cₙ) ≅ Cₙ ⋊ Aut(Cₙ)。对n=8来说，Aut(C₈)同构于乘法群$(ℤ/8ℤ)^×$——这个群的元素是1、3、5、7，都是和8互质的数，运算取模8乘法，它是4阶的Klein四元群（或者说$C₂×C₂$）。所以Hol(C₈)的阶是$8×4=32$，接下来我们要把这个32阶群嵌入到S₈里。

具体构造与证明步骤 #

1. 把C₈的元素对应到8元集合 #

设C₈是由元素$a$生成的循环群，也就是$C₈ = {e, a, a², ..., a⁷}$。我们把这些元素一一对应到集合$X={1,2,...,8}$：比如让$e$对应1，$a$对应2，$a²$对应3，……，$a⁷$对应8。这样我们就把C₈的元素和S₈作用的集合关联起来了。

2. 定义Hol(C₈)对X的置换作用 #

Hol(C₈)里的每个元素都可以写成$(aᵏ, σ)$的形式：其中$k$是0到7的整数（对应C₈里的元素$aᵏ$），$σ$是Aut(C₈)里的自同构——每个$σ$由它对生成元$a$的作用决定，$σ(a)=aᵐ$，这里$m$必须和8互质（也就是$m∈{1,3,5,7}$）。

对于Hol(C₈)中的元素$g=(aᵏ, σ)$，它对C₈中元素$aᵗ$的作用是：$g·aᵗ = aᵏ · σ(aᵗ) = aᵏ · a^{m·t} = a^{k + m·t}$（指数运算都是模8的）。

对应到X里的元素$x=t+1$（因为$aᵗ$对应$x=t+1$），$g$作用在$x$上的结果就是：$(k + m·(x-1)) \mod8 + 1$。这个映射肯定是X上的置换——因为它是双射：

• 单射：如果两个元素$x$、$y$经过$g$作用后结果相同，那么$m·(x-y)≡0 \mod8$，而$m$和8互质，所以$x-y≡0 \mod8$，也就是$x=y$；
• 满射：随便取X里的一个元素$z$，我们可以解出$t=(z-1 -k)·m⁻¹ \mod8$（$m$和8互质，所以有逆元），那么$x=t+1$就满足$g·x=z$。

3. 验证这个对应是群同态 #

取Hol(C₈)里的两个元素$g₁=(aᵏ₁, σ₁)$（$σ₁(a)=aᵐ₁$）和$g₂=(aᵏ₂, σ₂)$（$σ₂(a)=aᵐ₂$），它们的乘积$g₁g₂=(a^{k₁ + σ₁(aᵏ₂)}, σ₁σ₂)$，也就是$(a^{k₁ + m₁k₂}, σ₁σ₂)$，其中$σ₁σ₂(a)=a^{m₁m₂}$。

计算$g₁g₂$对$x$的作用：$(k₁ + m₁k₂ + m₁m₂·(x-1)) \mod8 +1$；
再计算$g₁$作用在$g₂·x$上的结果：$g₁·[(k₂ + m₂·(x-1)) \mod8 +1] = (k₁ + m₁·((k₂ + m₂·(x-1)) \mod8)) \mod8 +1$，化简后和上面的结果完全一致。所以这个对应是群同态。

4. 证明同态是单射（嵌入） #

如果$g=(aᵏ, σ)$对应的置换是恒等置换，那意味着对所有$x∈X$，都有$(k + m·(x-1)) \mod8 +1 =x$，也就是$k + m·(x-1) ≡x-1 \mod8$对所有$x$成立。

• 令$x=1$，代入得$k≡0 \mod8$，也就是$aᵏ$是C₈的单位元$e$；
• 再令$x=2$，代入得$0 + m·1 ≡1 \mod8$，所以$m≡1 \mod8$，也就是$σ$是Aut(C₈)里的恒等自同构。

所以$g$只能是Hol(C₈)的单位元，这说明这个同态的核是平凡的，也就是这个同态是单射——换句话说，Hol(C₈)和S₈里的这个子群是同构的。

更简洁的思路：利用置换表示的忠实性 #

其实换个角度想，任何有限群如果能忠实地作用在一个n元集合上，那它就一定同构于$Sₙ$的一个子群（因为忠实作用对应的置换表示是单同态）。而Hol(C₈)对自身的C₈元素的作用就是忠实的——只有单位元会把所有C₈元素映射到自身，所以这个作用自然就给出了Hol(C₈)到S₈的单嵌入，也就证明了S₈里存在和Hol(C₈)同构的子群。

内容的提问来源于stack exchange，提问作者sami