关于ℚₚ中分圆扩张ℚₚ[ζₙ]/ℚₚ的范数群显式计算的问询

云原生阿岚

2026-4-23

关于$\mathbb{Q}_p$中分圆扩张$\mathbb{Q}_p[\zeta_n]/\mathbb{Q}_p$的范数群显式计算的问询

各位好，我最近在研究局部域的分圆扩张，遇到了一个问题想请教大家：设$p$是素数，且$\gcd(p,n)=1$，我想知道怎么显式计算分圆扩张$\mathbb{Q}_p[\zeta_n]/\mathbb{Q}_p$的范数群。理想情况下，我希望能得到两种计算思路——一种基于类域论，另一种不依赖类域论的初等方法。

类域论视角的初步思路

我自己先尝试用局部类域论推导了一下，得到了这样的结论：
根据局部类域论的基本同构，我们有：
$$\mathbb{Q}_p^{\times/N(\mathbb{Q}_p[\zeta_n]}\times) \cong \operatorname{Gal}(\mathbb{Q}_p[\zeta_n]/\mathbb{Q}_p)$$
而这个伽罗瓦群又同构于$\operatorname{Gal}(\mathbb{F}_p[\zeta_n]/\mathbb{F}_p)$，是一个循环群，其阶等于$p$模$n$的阶，我把这个阶记为$k$。

我们知道$\mathbb{Q}_p^\times$的结构分解是$\mathbb{Z}/(p-1)\mathbb{Z} \times \mathbb{Z}_p \times \mathbb{Z}$，现在要找它的子群（也就是范数群$N(\mathbb{Q}_p[\zeta_n]^{\times)$），使得商群是$\mathbb{Z}/k\mathbb{Z}$。我初步猜测这个范数群应该是$\mathbb{Z}_p}\times \times \langle p^k\rangle$，不过还需要一些论证来确认不会有其他不同的子群也能给出同构的商群，这部分我还没完全理清。