请求证明：Gal(L/ℚ)≅Hol(C₈)时S₈存在同构于Hol(C₈)的子群

没问题，咱们一步步来解决这个证明题：

首先，先梳理几个关键概念，帮我们理清思路：

• 全形Hol(Cₙ)：循环群Cₙ的全形是它自身与自同构群的半直积，即$Hol(C_n) \cong C_n \rtimes Aut(C_n)$。对于$n=8$，$Aut(C_8)$同构于乘法群$(\mathbb{Z}/8\mathbb{Z})^\times$，其阶为欧拉函数$\varphi(8)=4$，元素是${1,3,5,7}$（模8的可逆元），因此$Aut(C_8) \cong C_2 \times C_2$（克莱因四元群）。
• 对称群中循环群的正规化子：我们的核心方法是利用“$n$阶循环群在$S_n$中的正规化子恰好同构于$Hol(C_n)$”这个结论，具体证明如下：

步骤1：构造S₈中的8阶循环子群 #

取$S_8$中的8-循环置换$\sigma = (1\ 2\ 3\ 4\ 5\ 6\ 7\ 8)$，它生成的子群$H = \langle \sigma \rangle$就是一个8阶循环群，即$H \cong C_8$。

步骤2：分析H在S₈中的正规化子 #

$H$在$S_8$中的正规化子$N_{S_8}(H)$，定义为所有满足$\tau H \tau^{-1} = H$的置换$\tau \in S_8$的集合——也就是所有能把$H$共轭到自身的置换。我们要证明这个正规化子恰好同构于$Hol(C_8)$。

子步骤2.1：正规化子元素的特征 #

对于任意$\tau \in N_{S_8}(H)$，$\tau \sigma \tau^{{-1}$必然是$H$中的一个8-循环（共轭置换会保持循环类型，而$H$中只有$\sigma}k$当$\gcd(k,8)=1$时是8-循环）。因此$\tau \sigma \tau^{-1} = \sigma^k$，其中$k \in {1,3,5,7}$（这些对应$Aut(C_8)$中的元素）。

子步骤2.2：建立到自同构群的同态 #

定义映射$\alpha: N_{S_8}(H) \to Aut(C_8)$：对于$\tau \in N_{S_8}(H)$，若$\tau \sigma \tau^{-1} = \sigma^{k$，则$\alpha(\tau)$是将$\sigma$映射到$\sigma}k$的自同构。

• 验证这是群同态：对于$\tau_1, \tau_2 \in N_{S_8}(H)$，有
  $$\tau_1\tau_2 \sigma (\tau_1\tau_2)^{-1} = \tau_1(\tau_2\sigma\tau_2^{-1})\tau_1{-1} = \tau_1\sigma^{{\alpha(\tau_2)}\tau_1}{-1} = (\tau_1\sigma\tau_1^{-1}){\alpha(\tau_2)} = \sigma^{\alpha(\tau_1)\alpha(\tau_2)}$$
  因此$\alpha(\tau_1\tau_2) = \alpha(\tau_1)\alpha(\tau_2)$，同态性质成立。

子步骤2.3：确定同态的核与像 #

• 核Ker(α)：所有满足$\alpha(\tau) = id_{Aut(C_8)}$的$\tau$，也就是$\tau \sigma \tau^{-1} = \sigma$，即与$\sigma$交换的置换。而$S_8$中与8-循环$\sigma$交换的置换只有$\sigma$的幂次，因此$Ker(\alpha) = H \cong C_8$。
• 像Im(α)：对于每个$k \in {1,3,5,7}$，我们可以构造置换$\tau_k \in S_8$使得$\tau_k \sigma \tau_k^{-1} = \sigma^k$。例如，取$\tau_k(i) = k \cdot (i-1) \mod 8 + 1$（$i=1,2,...,8$），由于$k$与8互质，这个映射是双射，因此$\tau_k \in S_8$，且容易验证$\tau_k \sigma \tau_k^{-1} = \sigma^k$。这说明$Im(\alpha) = Aut(C_8)$。

子步骤2.4：应用群同态基本定理 #

根据群同态基本定理：
$$N_{S_8}(H)/Ker(\alpha) \cong Im(\alpha)$$
代入$Ker(\alpha)=H$和$Im(\alpha)=Aut(C_8)$，得到：
$$N_{S_8}(H)/H \cong Aut(C_8)$$
又因为$H$是$N_{S_8}(H)$的正规子群（正规化子的定义），且$H$与$\langle \tau_k \rangle$的交集仅为单位元（$\tau_k$不是$\sigma$的幂次），因此$N_{S_8}(H)$是$H$与$Aut(C_8)$的半直积，即：
$$N_{S_8}(H) \cong C_8 \rtimes Aut(C_8) = Hol(C_8)$$

结论 #

$N_{S_8}(H)$就是$S_8$中与$Hol(C_8)$同构的子群，命题得证。

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