概念

Hilbert类域

每个数域有唯一的 Hilbert 类域：最大非分歧阿贝尔扩张，其伽罗瓦群同构于理想类群。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

Hilbert类域代数数论

01定义

每个数域

K

存在唯一的最大非分歧阿贝尔扩张

H

——Hilbert 类域：

\mathrm{Gal}(H/K)\cong\mathrm{Cl}(K)

，且

K

中每个理想在

H

中都变成主理想（主理想定理）。类群的算术「实体化」。

类域塔的第一层：伽罗瓦群即类群

类域论存在定理给出 $H$ ：对应理想群本身（模掉主理想）的阿贝尔扩张；处处非分歧使其成为「最经济的扩张」。

阿廷 1930 年证明： $K$ 的每个理想在 $\mathcal{O}_H$ 中变主理想——类群被「杀死」于上升；类域塔 $K\subset H\subset H_2\subset\cdots$ 最终收敛到类数 1 的域。

虚二次域 $K$ 的 Hilbert 类域 = $K(j(\mathcal{O}_K))$ ：椭圆曲线的 $j$ -不变量显式生成类域——克罗内克「青春之梦」的实现。

\mathrm{Gal}(H/K)\cong\mathrm{Cl}(K),\quad \text{处处非分歧}

希尔伯特 1897 年《数论报告》猜想其存在；富特文格勒 1907 年证存在，1930 年证主理想定理；复乘理论经韦伯、戴金、韦伊发展为显式类域论。

类域塔的收敛计算、复乘椭圆曲线与密码学（CM 曲线生成）、镜像对称中的算术几何对应、希尔伯特第 12 问题（一般数域的显式类域构造，至今部分开放）。

类域论：Hilbert 类域塔换 stage 逐层展开：最大无处分歧阿贝尔扩张的 Galois 群 ≅ 理想类群

扩张层次0