关于数域到ℂ的所有嵌入均对复共轭封闭的判定准则及简便判定方法问询

嘿，这个问题问得特别到位——这类数域的性质在代数数论里挺有意思的，我来给你拆解清楚，顺便分享几个实用的判定小技巧。

首先，咱们先明确核心要求：你想找的是这样的数域K（ℚ的有限扩张），它的每一个嵌入到ℂ的像集合，都对复共轭运算封闭——也就是只要x在这个像里，x的复共轭$\overline{x}$也必须在里面。

等价判定准则 #

先给几个严格的等价条件，帮你从代数本质上理解：

• 条件1：K要么是全实域（所有嵌入都是实嵌入，像包含在ℝ里，自然满足复共轭封闭），要么对于K的每一个非实嵌入$\sigma:K\rightarrow\mathbb{C}$，复共轭后的映射$\overline{\sigma}$（即$\overline{\sigma}(x)=\overline{\sigma(x)}$）也是K的一个嵌入，且$\overline{\sigma}(K)=\sigma(K)$。
• 条件2：如果K由单个元素$\alpha$生成（即$K=\mathbb{Q}(\alpha)$），那么$\alpha$的极小多项式$f(x)$的所有非实根必须以复共轭对的形式出现，并且每一对共轭根生成的$\mathbb{C}$子域完全相同。

简便判定步骤 #

日常判断的时候，不用纠结太抽象的代数条件，按下面的步骤来就行：

1. 第一步：先看是不是全实域
   检查K的生成元的极小多项式：如果所有根都是实数，那K就是全实域，肯定符合要求。比如$\mathbb{Q}(\sqrt{2})$、$\mathbb{Q}(\sqrt[3]{5} + \sqrt[3]{25})$这类，生成元的共轭根都是实数，直接满足条件。
2. 第二步：非全实域的情况
   要是K有复嵌入，那得满足两个小要求：
   • 生成元的极小多项式里，非实根必须成对出现（比如$x^4-2$的根是$\pm\sqrt[4]{2}, \pm i\sqrt[4]{2}$，非实根是共轭对）；
   • 每对共轭根生成的子域要一样：比如$\mathbb{Q}(i\sqrt[4]{2})$和$\mathbb{Q}(-i\sqrt[4]{2})$是同一个域（因为$-i\sqrt[4]{2}=-1\cdot i\sqrt[4]{2}$，$-1$是有理数），所以满足；但$\mathbb{Q}(\sqrt[3]{2}\omega)$和$\mathbb{Q}(\sqrt[3]{2}\omega^{2)$就不一样——前者的元素是$a+b\sqrt[3]{2}\omega+c\sqrt[3]{4}\omega}2$（$a,b,c\in\mathbb{Q}$），后者是$a+b\sqrt[3]{2}\omega^{2+c\sqrt[3]{4}\omega$，你会发现$\sqrt[3]{2}\omega}2$没法写成前者的有理线性组合，所以这两个子域不相等，自然不满足复共轭封闭。

例子对照 #

• ✅ 符合要求的例子：
  • 全实域：$\mathbb{Q}$、$\mathbb{Q}(\sqrt{3})$；
  • 二次虚域：$\mathbb{Q}(\sqrt{-5})$（嵌入像就是自身，复共轭后还是自己）；
  • $\mathbb{Q}(\sqrt[4]{2})$：非实嵌入像$\mathbb{Q}(i\sqrt[4]{2})$里的元素$a+b i\sqrt[4]{2}$，复共轭$a-b i\sqrt[4]{2}$也在这个域里（因为$-b i\sqrt[4]{2}=b\cdot(-i\sqrt[4]{2})$，而$-i\sqrt[4]{2}$是域里的元素）；
• ❌ 不符合要求的例子：
  • $\mathbb{Q}(\sqrt[3]{2})$：非实嵌入像$\mathbb{Q}(\sqrt[3]{2}\omega)$里的元素$\sqrt[3]{2}\omega$，它的复共轭是$\sqrt[3]{2}\omega^2$，不在这个像里，所以不满足。

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