基于数域类数公式，可对数域的类数得出哪些结论？

阿华AIGC实验室

2026-5-19

从数域类数公式推导类数的结论与方法

咱们来好好拆解一下类数公式能给数域的类数$h$带来哪些洞见——先把公式亮出来，方便咱们一步步分析：
$$\lim_{s \to 1^+} (s-1)\zeta_K(s) = \cfrac{2^{r_1}(2\pi){r_2}Rh}{m\sqrt{|\Delta|}}$$
其中：

$r_1$：数域$K$的实嵌入个数
$r_2$：$K$的非共轭复嵌入个数
$R$：$K$的调节子
$h$：$K$的类数
$m$：$K$中的单位根个数
$\Delta$：$K$的判别式

核心结论与推论

1. 类数的基本性质

首先，公式左边$\lim_{s \to 1^+} (s-1)\zeta_K(s)$是一个正的有限值（狄利克雷zeta函数在$s=1$处有一阶极点，且留数为正）；右边的$2^{r_1},(2\pi){r_2},R,m,\sqrt{|\Delta|}$也都是正实数，这直接推导出：

$h$必然是正整数
这其实就证明了数域的理想类群是有限群——这是类数公式最核心的意义之一，直接回答了“理想类是否有限”的基本问题。

2. 类数大小的定性趋势

把公式变形解出$h$：
$$h = \frac{m\sqrt{|\Delta|} \cdot \lim_{s \to 1^+} (s-1)\zeta_K(s)}{2^{r_1}(2\pi){r_2}R}$$
从这个式子能看出几个关键趋势：

判别式$|\Delta|$的影响：$|\Delta|$越大，$h$倾向于越大。判别式反映数域的分歧程度，分歧越剧烈，理想类群的结构越复杂，类数自然越大——比如二次域中，判别式绝对值大的数域，类数通常明显更大。
调节子$R$的影响：$R$越小，$h$越大。调节子衡量的是数域单位群（除单位根外）的“体积”，单位群越大，$R$通常越大，这时候单位能更多地“抵消”理想类之间的差异，从而让类数变小。比如有理数域$\mathbb{Q}$的单位群只有$\pm1$，$R=1$，类数也为1。
嵌入数的影响：$2^{r_1}(2\pi){r_2}$是随嵌入数增长的因子，理论上嵌入数越多（数域次数越高），这个因子越大，$h$倾向于越小，但实际中高次数域的判别式增长速度更快，所以需要结合两者综合判断。

3. 特殊数域的类数验证

对于一些简单的数域，我们可以直接代入公式算出类数，验证结论：

有理数域$\mathbb{Q}$：$r_1=1,r_2=0,R=1,m=2,\Delta=1$，左边留数为1，代入得$h=\frac{2 \cdot 1 \cdot 1}{2^1 \cdot 1 \cdot 1}=1$，符合$\mathbb{Q}$类数为1的事实。
虚二次域$\mathbb{Q}(\sqrt{-5})$：$r_1=0,r_2=1,m=2$（单位根只有$\pm1$），$\Delta=-20$，$R=1$，左边留数为$L(1,\chi_{-20})=\frac{\pi}{5}$，代入得$h=\frac{2 \cdot \sqrt{20} \cdot \frac{\pi}{5}}{(2\pi)^1 \cdot 1}=2$，和实际结果一致。

基于类数公式的类数计算方法

1. 留数解析法

对于结构清晰的数域（比如二次域、分圆域），$\zeta_K(s)$可以分解为黎曼zeta函数和特征L函数的乘积，比如二次域$K=\mathbb{Q}(\sqrt{d})$，有$\zeta_K(s)=\zeta(s)L(s,\chi_d)$，其中$\chi_d$是二次特征。此时$\lim_{s\to1^+}(s-1)\zeta_K(s)=L(1,\chi_d)$，类数公式可以简化为：

实二次域：$h=\frac{\sqrt{d}L(1,\chi_d)}{2\log\epsilon}$（$\epsilon$是数域的基本单位）
虚二次域（$d\neq3,4$）：$h=\frac{\sqrt{|\Delta|}L(1,\chi_d)}{2\pi}$
通过计算$L(1,\chi_d)$的值，就能直接算出类数$h$。