Chevotarev密度定理的应用：数域中完全分裂素元的无穷性证明问询

你提的这个问题真的戳中了Chebotarev定理应用里的一个容易被忽略的细节——素理想和素元在非PID数域里确实不是一回事，直接套定理结论会有个小gap，不过我们可以通过Hilbert类域这个“桥梁”把两者联系起来，一步步推导出素元的无穷性，我给你理清楚整个逻辑：

• 先回忆两个关键工具

  • Chebotarev密度定理：对有限Galois扩张$L/K$，在$L$中完全分裂的$K$的素理想$\mathfrak{p}$有无限多个，且密度为$1/[L:K]$。
  • Hilbert类域$H/K$的核心性质：$H$是$K$的最大非分歧Abel扩张，$K$的素理想$\mathfrak{p}$在$H$中完全分裂当且仅当$\mathfrak{p}$是主素理想（即$\mathfrak{p}$可以由$K$的某个素元生成）。同时，$H/K$是有限扩张（因为数域的理想类群有限，而$Gal(H/K)$和$Cl(K)$同构）。

• 构造复合扩张并应用Chebotarev
  考虑复合扩张$LH/K$（$L$和$H$都是$K$的Galois扩张，所以它们的复合也是$K$的有限Galois扩张）。对$LH/K$应用Chebotarev密度定理，我们可以得到：存在无限多个$K$的素理想$\mathfrak{p}$在$LH/K$中完全分裂。

• 分析这些素理想的性质
  一个素理想$\mathfrak{p}$在$LH/K$中完全分裂，当且仅当它同时满足两个条件：

  1. $\mathfrak{p}$在$L$中完全分裂（因为$L$是$LH$的子扩张，完全分裂的素理想在子扩张中必然也完全分裂）；
  2. $\mathfrak{p}$在$H$中完全分裂（同理，$H$也是$LH$的子扩张）。
     结合Hilbert类域的性质，第二个条件等价于$\mathfrak{p}$是主素理想——也就是说，存在$K$中的素元$\pi$，使得$\mathfrak{p} = \langle \pi \rangle$（这里$\pi$是素元的原因是：在Dedekind整环里，主素理想的生成元就是素元，它不可约且生成的理想是素理想）。

• 得到最终结论
  我们已经找到了无限多个这样的主素理想$\mathfrak{p} = \langle \pi \rangle$，每个$\pi$都是$K$中的素元，且对应的理想$\mathfrak{p}$在$L$中完全分裂——这意味着$\pi$在$L$中也完全分裂（因为$\langle \pi \rangle \mathcal{O}_L$会分解为$[L:K]$个不同的素理想的乘积，对应$\pi$在$\mathcal{O}_L$中分解为$[L:K]$个不同素元的乘积，完全符合素元完全分裂的定义）。
  另外，这些素元两两不相伴（因为它们生成的素理想不同），所以我们确实得到了无限多个不同的素元在$L/K$中完全分裂。

如果你觉得Hilbert类域的概念有点重，其实也可以用理想类群的有限性来推导：因为$Cl(K)$是有限群，无限多个完全分裂的素理想分到有限个理想类里，必有一个类包含无限多个素理想。取这个类的代表理想$\mathfrak{c}$，那么对类中的每个素理想$\mathfrak{p}$，存在主理想$\langle \alpha_\mathfrak{p} \rangle = \mathfrak{p} \mathfrak{c}^{-1}$。不过这个方法需要处理$\mathfrak{c}$的素因子的分裂情况，不如Hilbert类域的方法直接顺畅。

备注：内容来源于stack exchange，提问作者Poitou-Tate