有理数域上不映射共轭对的域自同构相关Galois扩张问题

嘿，我来帮你拆解这个问题，先明确核心设定（避免歧义）：

• $K/\mathbb{Q}$ 是Galois扩张，极大实子域 $L = K \cap \mathbb{R}$，且 $L/\mathbb{Q}$ 非Galois，同时 $L$ 的Galois闭包就是 $K$；
• $f(x) \in \mathbb{Q}[x]$ 是 $K/\mathbb{Q}$ 本原元的极小多项式，$Z(f)$ 是 $f$ 的所有根（也就是 $K$ 在 $\mathbb{Q}$ 上的一组本原元）。

你的问题本质是：是否存在 $\sigma \in \text{Gal}(K/\mathbb{Q})$（即$\mathbb{Q}$-域自同构），使得它不把复共轭对（比如非实根$\alpha$和它的复共轭$\overline{\alpha}$）映射为复共轭对？答案是肯定存在，推导过程如下：

关键推导步骤 #

1. 复共轭是Galois群元素：复共轭映射 $c: K \to K, \alpha \mapsto \overline{\alpha}$ 属于 $\text{Gal}(K/\mathbb{Q})$——因为它保持$\mathbb{Q}$中元素不动，且是域自同构，而$K/\mathbb{Q}$是Galois扩张，所以这个映射必然在Galois群里。
2. 复共轭子群不正规：由于 $L/\mathbb{Q}$ 非Galois，根据Galois对应，$L$ 对应的子群 $H = \text{Gal}(K/L)$ 不是 $\text{Gal}(K/\mathbb{Q})$ 的正规子群。而$[K:L]=2$，所以$H$是2阶子群，恰好由复共轭$c$生成（即$H=\langle c \rangle$）。
3. 存在与复共轭不交换的自同构：因为$H$不正规，所以存在$\sigma \in \text{Gal}(K/\mathbb{Q})$，使得$\sigma H \sigma^{-1} \neq H$，这等价于$\sigma c \sigma^{-1} \neq c$，也就是$\sigma c \neq c \sigma$（$\sigma$和$c$不交换）。
4. 验证自同构不映射共轭对：取一个非实的本原元$\alpha \in Z(f)$（因为$K \neq L$，这样的$\alpha$一定存在），它的复共轭对是${\alpha, \overline{\alpha}} = {\alpha, c(\alpha)}$。如果$\sigma$把这个共轭对映射为共轭对，那么必须有$\sigma(c(\alpha)) = c(\sigma(\alpha))$，但我们已经知道$\sigma c \neq c \sigma$，这就矛盾了。因此$\sigma({\alpha, \overline{\alpha}}) = {\sigma(\alpha), \sigma(c(\alpha))}$不是复共轭对，也就是$\sigma$满足你的要求。

直观例子验证 #

举个具体例子：取$K = \mathbb{Q}(\sqrt[4]{2}, i)$，这是$\mathbb{Q}$的Galois扩张，Galois群是8阶二面体群$D_4$。它的极大实子域$L = \mathbb{Q}(\sqrt[4]{2})$，显然$L/\mathbb{Q}$非Galois（Galois闭包就是$K$）。

取本原元$\alpha = \sqrt[4]{2} + i$，它的复共轭是$\overline{\alpha} = \sqrt[4]{2} - i$。取Galois群中的元素$\sigma$：$\sigma(\sqrt[4]{2}) = i\sqrt[4]{2}$，$\sigma(i) = i$。计算可得：

• $\sigma(\alpha) = i\sqrt[4]{2} + i$，它的复共轭是$\overline{\sigma(\alpha)} = -i\sqrt[4]{2} - i$；
• $\sigma(\overline{\alpha}) = i\sqrt[4]{2} - i$，显然不等于$\overline{\sigma(\alpha)}$。

这就说明$\sigma$没有把${\alpha, \overline{\alpha}}$这个共轭对映射为复共轭对，完美符合我们的结论。

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