$\mathbb{Q}_{p}/\mathbb{Q}$的伽罗瓦群及相关伽罗瓦理论文献求助与问询

我来一步步拆解你的问题，给出清晰的解答：

1. $\mathbb{Q}$在$\mathbb{Q}_p$上的伽罗瓦群 #

首先得澄清一个关键前提：$\mathbb{Q}_p/\mathbb{Q}$不是伽罗瓦扩张——因为它不满足正规性要求，存在$\mathbb{Q}$上的不可约多项式，在$\mathbb{Q}_p$里有根但没法包含所有根。比如当$p≡3 \mod4$时，$x^2+1$在$\mathbb{Q}_p$中就没有根；再比如$p$次本原单位根$\zeta_p$生成的$\mathbb{Q}(\zeta_p)$是$\mathbb{Q}$的伽罗瓦扩张，但$\zeta_p$根本不在$\mathbb{Q}_p$里。

如果你的问题是指$\mathbb{Q}_p$的$\mathbb{Q}$-自同构群$\text{Aut}(\mathbb{Q}_p/\mathbb{Q})$，那这个群是平凡群，也就是只有单位元。原因很直观：任何$\mathbb{Q}$-自同构都得把$\mathbb{Q}$里的元素固定住，而$\mathbb{Q}$在$\mathbb{Q}_p$中是稠密的；同时这个自同构还得保持p-adic绝对值（因为对有理数来说，赋值$v_p(\sigma(x))=v_p(x)$肯定成立，连续性会把这个性质延拓到整个$\mathbb{Q}_p$），所以它是连续映射。连续映射在稠密集上是恒等的，那整个映射就只能是恒等映射，所以自同构群里只有单位元。

要是你想问的是$\mathbb{Q}$在$\mathbb{Q}_p$的代数闭包$\overline{\mathbb{Q}_p}$中的伽罗瓦群$\text{Gal}(\overline{\mathbb{Q}_p}/\mathbb{Q})$，这个结构就复杂多了——它包含了局部伽罗瓦群$\text{Gal}(\overline{\mathbb{Q}_p}/\mathbb{Q}_p)$（是pro-p群和循环群的半直积），同时和整体伽罗瓦群$\text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$中对应p-adic嵌入的子群有关，一般会在局部类域论的框架下深入讨论。

2. 文献推荐与相关子问题解答 #

文献推荐 #

针对$\mathbb{Q}_p/\mathbb{Q}$的伽罗瓦理论及局部域相关研究，我推荐几本经典的教材，覆盖从入门到深入的不同需求：

• Local Fields（Serre）：这是局部域理论的标杆性著作，把局部域的扩张、伽罗瓦群结构、类域论等核心内容讲得非常透彻，逻辑严谨，适合有一定抽象代数基础的读者。
• Algebraic Number Theory（Neukirch）：这本书把局部域和整体域的伽罗瓦理论结合起来，能帮你建立“整体-局部”的关联视角，章节安排循序渐进，适合系统学习数论的读者。
• p-adic Numbers, p-adic Analysis, and Zeta-Functions（Koblitz）：非常友好的入门教材，从p-adic数的基础定义开始，慢慢引入扩张和伽罗瓦理论，例子超多，初学者也能轻松上手。
• Local Class Field Theory（Artin & Tate）：如果想深入局部伽罗瓦理论的核心——类域论，这本薄册子是经典，用简洁的语言讲清了局部类域论的核心结果，干货满满。

子问题解答 #

（1）$\mathbb{Q}_p/\mathbb{Q}$对任意素数是否均为伽罗瓦扩张？

答案是不管有限素数还是无限素数对应的扩张，都不是伽罗瓦扩张：

• 无限素数对应$\mathbb{R}/\mathbb{Q}$：显然不正规，比如$\sqrt{-1}$属于$\mathbb{Q}$的代数闭包但不在$\mathbb{R}$里，不符合伽罗瓦扩张的正规性要求。
• 有限素数$p$：前面已经说过，$\mathbb{Q}_p/\mathbb{Q}$不正规，存在$\mathbb{Q}$的伽罗瓦扩张没法嵌入到$\mathbb{Q}_p$中（比如$\mathbb{Q}(\zeta_p)$），所以肯定不是伽罗瓦扩张。

（2）固定素数$p$，$\mathbb{Q}\subseteq E \subseteq \mathbb{Q}_p$中的有限伽罗瓦中间扩张有哪些？

这类$E$必须同时满足两个条件：

1. $E/\mathbb{Q}$是伽罗瓦扩张（特征0下，可分性自动满足，所以核心是正规性——$\mathbb{Q}$上任何不可约多项式只要在$E$中有根，所有根都得在$E$里）；
2. $E$能嵌入到$\mathbb{Q}_p$中。

换个等价的说法：这些$E$就是$\mathbb{Q}$的有限伽罗瓦扩张，且**$p$在$E$中完全分裂**（也就是$p$上方的每个素理想的剩余类次数$f=1$，分裂次数$g$等于扩张次数$[E:\mathbb{Q}]$）。给你举几个具体例子：

• 最平凡的就是$\mathbb{Q}$本身；
• 当$p≠2$时，$\mathbb{Q}(\sqrt{1+p})$：根据Hensel引理，$\sqrt{1+p}$在$\mathbb{Q}_p$中存在，而且这个扩张是二次伽罗瓦扩张；
• $\mathbb{Q}(\zeta_{p^k-1})$：$pk-1$次本原单位根存在于$\mathbb{Q}_p$的单位群里，对应的扩张是伽罗瓦的，而且$p$在其中完全分裂。

更一般地，所有这样的$E$构成的集合，对应于整体伽罗瓦群$\text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$中$p$处分解群的所有有限指数正规子群对应的固定域——因为分解群的固定域就是$\mathbb{Q}$在$p$处完全分裂的最大伽罗瓦扩张。

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