关于多项式$x^4-x^2+1$的伽罗瓦群显式构造的疑问

提问内容 #

我刚接触伽罗瓦理论，这个问题可能有点蠢：设$f \in \mathbb{Q}[x]$是多项式$f(x) = x^4-x2+1$。

通过换元法可以得到$f$的根是：
\begin{align*}
\alpha_1 &= \sqrt{ \frac{1+i\sqrt{3}}{2}},\
\alpha_2 &= -\alpha_1,\
\alpha_3 &= \sqrt{ \frac{1-i\sqrt{3}}{2}},\
\alpha_4 &= -\alpha_3.\
\end{align*}

所以我觉得，对于$f$伽罗瓦群中的任意自同构$\phi$（也就是根的置换），都有$\phi(\alpha_2)=-\phi(\alpha_1)$，$\phi(\alpha_4)=-\phi(\alpha_3)$。这样的话，只要定义了$\phi(\alpha_1)$和$\phi(\alpha_3)$，整个自同构就确定了。那可能的自同构（写成置换形式）应该是：
\begin{align*}
e, (12), (34),(12)(34),(13)(24),(14)(23),(1324),(1423)
\end{align*}

我对最后两个置换的理解是：把$\alpha_1 \mapsto \alpha_3$，$\alpha_3 \mapsto \alpha_2$，可以唯一扩展到所有根：$\alpha_2 \mapsto -\alpha_3=\alpha_4$，$\alpha_4 \mapsto -\alpha_2 = \alpha_1$，这就得到了置换$(1324)$（类似的还有$(1423)$）。

但我能查到的所有资料都说这个伽罗瓦群同构于克莱因四元群，由$(12)(34)$和$(14)(23)$生成。也就是说不存在4阶的元素，也就是$(1324)$和$(1423)$不属于伽罗瓦群。这是为什么呢？

解答 #

嗨，别担心，这个问题一点都不蠢——刚学伽罗瓦理论时，很容易把“根的任意置换”和“伽罗瓦群的自同构”混为一谈，这是个非常典型的误区！

首先，明确核心规则：伽罗瓦群的自同构必须是域同态

不是所有能把根映射到根的置换都属于伽罗瓦群，自同构必须满足域同态的基本要求：保持加法、乘法，并且把有理数（基域元素）映射到自身。你的错误就出在这个细节上。

我们来拆解你构造的$(1324)$置换对应的映射：它把$\alpha_1 \mapsto \alpha_3$，$\alpha_3 \mapsto \alpha_2$，进而扩展到$\alpha_2 \mapsto \alpha_4$，$\alpha_4 \mapsto \alpha_1$。现在看一个关键的有理数关系：
$$\alpha_1^2 \cdot \alpha_3^2 = \frac{1+i\sqrt{3}}{2} \cdot \frac{1-i\sqrt{3}}{2} = \frac{1+3}{4} = 1$$
所以$\alpha_1 \cdot \alpha_3 = \pm1$（是有理数）。根据域同态的要求，$\phi(\alpha_1 \cdot \alpha_3) = \phi(\pm1) = \pm1$，但按照你构造的映射：
$$\phi(\alpha_1 \cdot \alpha_3) = \phi(\alpha_1) \cdot \phi(\alpha_3) = \alpha_3 \cdot \alpha_2 = \alpha_3 \cdot (-\alpha_1) = -\alpha_1\alpha_3 = \mp1$$
这就矛盾了！因为自同构必须保持有理数不变，不可能把1映射到-1，所以这个置换对应的映射根本不是合法的域自同构，自然不属于伽罗瓦群。

其次，从伽罗瓦群的阶数验证

伽罗瓦群的阶等于分裂域在基域$\mathbb{Q}$上的次数。对于$f(x)=x^4-x2+1$，它的分裂域其实是$\mathbb{Q}(\alpha_1)$（因为$\alpha_3 = \pm1/\alpha_1$，属于$\mathbb{Q}(\alpha_1)$），而$\alpha_1$在$\mathbb{Q}$上的极小多项式就是$f(x)$，次数为4，所以分裂域的次数是4，伽罗瓦群的阶只能是4。你列出的8个置换构成的是8阶群，显然和这个结论冲突，这也能直接说明那两个4阶置换不可能属于伽罗瓦群。

最后，看实际的伽罗瓦群元素

$f(x)$是12次分圆多项式$\Phi_{12}(x)$，它的分裂域是$\mathbb{Q}(\zeta_{12})$（$\zeta_{12}=e^{2\pi i/12}$是12次单位根），伽罗瓦群同构于$(\mathbb{Z}/12\mathbb{Z})^* = {1,5,7,11}$，对应4个自同构：

• 恒等映射$e$
• $\sigma_5: \zeta_{12} \mapsto \zeta_{12}^5$，对应根的置换$(13)(24)$
• $\sigma_7: \zeta_{12} \mapsto \zeta_{12}^7$，对应根的置换$(12)(34)$
• $\sigma_{11}: \zeta_{12} \mapsto \zeta_{12}^{11}$，对应根的置换$(14)(23)$

这四个元素都是2阶的，恰好构成克莱因四元群，和资料里的结论一致。

备注：内容来源于stack exchange，提问作者LarsB