代数数域中理想类群的阶与类数的乘除极限.docVIP

代数数域中理想类群的阶与类数的乘除极限

一、代数数域与理想类群的基础概念

1.1代数数域的定义与结构

代数数域是有理数域$\mathbb{Q}$的有限次扩域，通常记为$K$。从代数结构上看，$K$可以表示为$\mathbb{Q}(\alpha)$，其中$\alpha$是一个代数整数，即首一整系数多项式的根。代数数域的次数$n=[K:\mathbb{Q}]$是指作为$\mathbb{Q}$-向量空间的维数，它决定了域的扩张程度和算术性质。

在代数数域$K$中，我们可以定义代数整数环$\mathcal{O}_K$，即所有代数整数构成的集合。$\mathcal{O}_K$是一个整环，并且是$\mathbb{Z}$在$K$中的整闭包。与整数环$\mathbb{Z}$不同，$\mathcal{O}_K$不一定是主理想整环（PID），这意味着并非所有理想都可以表示为单个元素生成的主理想。这种非主理想的存在性是代数数论中理想类群概念产生的根本原因。

1.2理想类群的构造与基本性质

为了衡量$\mathcal{O}_K$与PID的差距，我们引入理想类群的概念。两个非零理想$\mathfrak{a}$和$\mathfrak{b}$称为等价的，如果存在非零元素$\alpha,\beta\in\mathcal{O}_K$，使得$\alpha\mathfrak{a}=\beta\mathfrak{b}