代数数域中判别式与Ramification指标的乘积极限.docVIP

代数数域中判别式与Ramification指标的乘积极限

一、代数数域的基本概念与判别式的定义

代数数域是有理数域$\mathbb{Q}$的有限次扩域，记为$K$，其扩张次数$n=[K:\mathbb{Q}]$。在代数数论中，判别式是一个重要的算术不变量，它深刻反映了数域$K$的算术性质与几何性质。

对于代数数域$K$，设$\mathcal{O}_K$为其代数整数环，即$K$中所有代数整数构成的环。$\mathcal{O}K$作为$\mathbb{Z}$-模，是自由模，秩为$n$，因此存在一组基${\alpha_1,\alpha_2,\cdots,\alpha_n}$，使得$\mathcal{O}K=\mathbb{Z}\alpha_1+\mathbb{Z}\alpha_2+\cdots+\mathbb{Z}\alpha_n$。判别式$d_K$定义为矩阵$(\text{Tr}{K/\mathbb{Q}}(\alpha_i\alpha_j))$的行列式，其中$\text{Tr}{K/\mathbb{Q}}$表示从$K$到$\mathbb{Q}$的迹映射。

判别式$d_K$具有重要的性质：首先，$d_K$是一个整数；其次，$d_K$的符号由$K$中实嵌入与复嵌入的数量决定。设$r_1$为$K$到$\mathbb{C}$的实嵌入个数，$2r_2$为复嵌入个数（每个复嵌入与其共轭视为一对）