📅 发布时间：2026/6/18 5:19:21

代数数论核心知识

1. 代数数论概述

1.1 什么是代数数论？

代数数论是数学的一个分支，它将抽象代数的方法应用于数论问题的研究。简单来说，它研究的是代数数和代数整数的性质，以及它们所在的数域和整数环的结构。

核心研究对象

代数数：满足整系数多项式方程的复数
代数整数：满足首一整系数多项式方程的复数
数域：有理数域的有限扩张
整数环：数域中的代数整数集合
理想：整数环的特殊子集，用于推广素数分解

研究目标

代数数论的核心目标是将普通整数的算术性质（如素数分解、最大公约数等）推广到更一般的代数结构中，解决经典数论中无法解决的问题。

1.2 代数数论的历史发展

起源阶段（19 世纪）

高斯：研究二次型和高斯整数，开创了代数数论的先河
库默尔：为了解决费马大定理，引入了 "理想数" 的概念
戴德金：将库默尔的理想数概念系统化，建立了理想理论

发展阶段（20 世纪）

希尔伯特：提出了 23 个数学问题，其中多个与代数数论相关
类域论：建立了局部域和整体域之间的联系
朗兰兹纲领：提出了数论与表示论之间的深刻联系

现代阶段（21 世纪）

怀尔斯：证明了费马大定理
计算代数数论：利用计算机技术解决数论问题
密码学应用：代数数论成为现代密码学的理论基础

与抽象代数的关系

群论：用于研究伽罗瓦群、类群等
环论：整数环是戴德金整环的重要例子
域论：数域是域论的主要研究对象

与数论的关系

初等数论：代数数论是初等数论的推广
解析数论：使用分析方法研究数论问题
几何数论：使用几何方法研究数论问题

与应用数学的关系

密码学：RSA、椭圆曲线密码等的理论基础
编码理论：纠错码的设计和分析
计算机科学：算法设计和复杂性理论

2. 数域的详细介绍

2.1 数域的定义和基本性质

数域的定义

定义：一个数域是有理数域 $ \mathbb{Q} $ 的有限扩张，即一个包含 $ \mathbb{Q} $ 作为子域的域 $ K $，使得 $ K $ 作为 $ \mathbb{Q} $- 向量空间的维数有限。

数学表达：如果 $ K $ 是数域，则存在正整数 $ n $（称为 $ K $ 的次数，记为 $ [K:\mathbb{Q}] $），使得 $ K $ 同构于 $ \mathbb{Q}^n $ 作为 $ \mathbb{Q} $- 向量空间。

数域的例子

1. 有理数域 $ \mathbb{Q} $

最简单的数域
次数 $ [\mathbb{Q}:\mathbb{Q}] = 1 $
每个有理数 $ \frac{a}{b} $（$ a,b \in \mathbb{Z}, b \neq 0 $）都是 $ \mathbb{Q} $ 中的元素

2. 二次数域 $ \mathbb{Q}(\sqrt{d}) $

定义：$ \mathbb{Q}(\sqrt{d}) = {a + b\sqrt{d} \mid a,b \in \mathbb{Q}} $，其中 $ d $ 是无平方因子的整数
次数 $ [\mathbb{Q}(\sqrt{d}):\mathbb{Q}] = 2 $
例子：
- $ \mathbb{Q}(\sqrt{2}) = {a + b\sqrt{2} \mid a,b \in \mathbb{Q}} $
- $ \mathbb{Q}(i) = {a + bi \mid a,b \in \mathbb{Q}} $（高斯数域）

3. 分圆域 $ \mathbb{Q}(\zeta_n) $

定义：$ \mathbb{Q}(\zeta_n) $ 是添加 $ n $ 次本原单位根 $ \zeta_n = e^{2\pi i/n} $ 到 $ \mathbb{Q} $ 得到的域
次数 $ [\mathbb{Q}(\zeta_n):\mathbb{Q}] = \phi(n) $，其中 $ \phi $ 是欧拉函数
例子：
- $ \mathbb{Q}(\zeta_4) = \mathbb{Q}(i) $（四次分圆域）
- $ \mathbb{Q}(\zeta_3) = \mathbb{Q}(\omega) $，其中 $ \omega = e^{2\pi i/3} = -\frac{1}{2} + \frac{\sqrt{3}}{2}i $

2.2 数域的嵌入和伽罗瓦群

数域的嵌入

定义：数域 $ K $ 到复数域 $ \mathbb{C} $ 的嵌入是一个域同态 $ \sigma: K \to \mathbb{C} $。

性质：

嵌入保持域运算：$ \sigma(a + b) = \sigma(a) + \sigma(b) $，$ \sigma(ab) = \sigma(a)\sigma(b) $
嵌入固定有理数：$ \sigma(q) = q $ 对所有 $ q \in \mathbb{Q} $

嵌入的分类

实嵌入和复嵌入

实嵌入：如果 $ \sigma(K) \subseteq \mathbb{R} $，则 $ \sigma $ 是实嵌入
复嵌入：如果 $ \sigma(K) \nsubseteq \mathbb{R} $，则 $ \sigma $ 是复嵌入
复嵌入成对出现：如果 $ \sigma $ 是复嵌入，则其复共轭 $ \overline{\sigma} $ 也是嵌入

符号：对于数域 $ K $，设 $ r_1 $ 是实嵌入的个数，$ 2r_2 $ 是复嵌入的个数，则 $ r_1 + 2r_2 = [K:\mathbb{Q}] $。

伽罗瓦群

定义：数域 $ K $ 的伽罗瓦群 $ \text{Gal}(K/\mathbb{Q}) $ 是所有自同构 $ \sigma: K \to K $ 组成的群，运算为自同构的复合。

性质：

$ |\text{Gal}(K/\mathbb{Q})| \leq [K:\mathbb{Q}] $
如果 $ K $ 是伽罗瓦扩张（即正规且可分），则 $ |\text{Gal}(K/\mathbb{Q})| = [K:\mathbb{Q}] $

例子：

二次数域 $ \mathbb{Q}(\sqrt{d}) $ 的伽罗瓦群是 2 阶循环群 $ C_2 $，包含恒等自同构和共轭自同构 $ \sigma(a + b\sqrt{d}) = a - b\sqrt{d} $
分圆域 $ \mathbb{Q}(\zeta_n) $ 的伽罗瓦群同构于 $ (\mathbb{Z}/n\mathbb{Z})^* $（模 $ n $ 的乘法群）

2.3 范数、迹和判别式

范数和迹

定义：设 $ K $ 是 $ n $ 次数域，$ \sigma_1, \sigma_2, \dots, \sigma_n $ 是 $ K $ 到 $ \mathbb{C} $ 的所有嵌入。对于 $ \alpha \in K $：

范数：$ N_{K/\mathbb{Q}}(\alpha) = \prod_{i=1}^n \sigma_i(\alpha) $
迹：$ \text{Tr}{K/\mathbb{Q}}(\alpha) = \sum^n \sigma_i(\alpha) $

性质：

范数是积性的：$ N_{K/\mathbb{Q}}(\alpha\beta) = N_{K/\mathbb{Q}}(\alpha)N_{K/\mathbb{Q}}(\beta) $
迹是加性的：$ \text{Tr}{K/\mathbb{Q}}(\alpha + \beta) = \text{Tr}{K/\mathbb{Q}}(\alpha) + \text{Tr}_{K/\mathbb{Q}}(\beta) $
范数和迹都将 $ K $ 映射到 $ \mathbb{Q} $

例子：

在 $ \mathbb{Q}(\sqrt{2}) $ 中，$ N_{K/\mathbb{Q}}(a + b\sqrt{2}) = (a + b\sqrt{2})(a - b\sqrt{2}) = a^2 - 2b^2 $
在 $ \mathbb{Q}(i) $ 中，$ N_{K/\mathbb{Q}}(a + bi) = (a + bi)(a - bi) = a^2 + b^2 $

判别式

定义：设 $ K $ 是 $ n $ 次数域，$ \alpha_1, \alpha_2, \dots, \alpha_n $ 是 $ K $ 中的元素。定义判别式为：

$ \Delta(\alpha_1, \alpha_2, \dots, \alpha_n) = \det\left( \text{Tr}{K/\mathbb{Q}}(\alpha_i\alpha_j) \right) $

性质：

判别式是有理数
如果 $ \alpha_1, \dots, \alpha_n $ 是 $ K $ 的一组基，则 $ \Delta(\alpha_1, \dots, \alpha_n) \neq 0 $
判别式衡量基的 "好坏"，较小的判别式通常对应更好的基

例子：

$ \mathbb{Q}(\sqrt{2}) $ 关于基 $ {1, \sqrt{2}} $ 的判别式是 $ \det\begin{pmatrix} 2 & 0 \ 0 & 4 \end{pmatrix} = 8 $
$ \mathbb{Q}(\sqrt{3}) $ 关于基 $ {1, \sqrt{3}} $ 的判别式是 12

2.4 数域的整数基

整数基的定义

定义：数域 $ K $ 的整数基是 $ \mathcal{O}_K $（$ K $ 的整数环）中的一组元素 $ \alpha_1, \alpha_2, \dots, \alpha_n $，使得每个代数整数 $ \alpha \in \mathcal{O}_K $ 都可以唯一表示为：

$ \alpha = a_1\alpha_1 + a_2\alpha_2 + \dots + a_n\alpha_n $

其中 $ a_i \in \mathbb{Z} $。

性质：

每个数域都有整数基
整数基也是 $ K $ 作为 $ \mathbb{Q} $- 向量空间的基
整数基的判别式是整数，称为数域的判别式

整数基的例子

二次数域的整数基

当 $ d \equiv 2,3 \mod 4 $ 时，$ \mathbb{Q}(\sqrt{d}) $ 的整数基是 $ {1, \sqrt{d}} $
当 $ d \equiv 1 \mod 4 $ 时，$ \mathbb{Q}(\sqrt{d}) $ 的整数基是 $ {1, \frac{1+\sqrt{d}}{2}} $

例子：

$ \mathbb{Q}(\sqrt{2}) $ 的整数基是 $ {1, \sqrt{2}} $
$ \mathbb{Q}(\sqrt{5}) $ 的整数基是 $ {1, \frac{1+\sqrt{5}}{2}} $

分圆域的整数基

分圆域 $ \mathbb{Q}(\zeta_n) $ 的整数基是 $ {1, \zeta_n, \zeta_n^2, \dots, \zeta_n^{\phi(n)-1}} $
这是分圆域的一个重要性质，证明相对复杂

例子：

$ \mathbb{Q}(\zeta_4) = \mathbb{Q}(i) $ 的整数基是 $ {1, i} $
$ \mathbb{Q}(\zeta_3) $ 的整数基是 $ {1, \zeta_3} $

3. 整数环的深入讲解

3.1 代数整数和整数环的定义

代数整数的定义

定义：复数 $ \alpha $ 称为代数整数，如果存在首一整系数多项式 $ f(x) = x^n + a_{n-1}x^{n-1} + \dots + a_1x + a_0 $（其中 $ a_i \in \mathbb{Z} $），使得 $ f(\alpha) = 0 $。

通俗理解：代数整数是普通整数的推广，它满足一个 "首一"（最高次项系数为 1）的整系数多项式方程。

例子：

普通整数 $ n \in \mathbb{Z} $ 是代数整数，因为它们满足方程 $ x - n = 0 $
$ \sqrt{2} $ 是代数整数，因为它满足方程 $ x^2 - 2 = 0 $
$ \frac{1+\sqrt{5}}{2} $（黄金比例）是代数整数，因为它满足方程 $ x^2 - x - 1 = 0 $
$ \frac{1}{2} $ 不是代数整数，因为它满足的首一多项式 $ x - \frac{1}{2} = 0 $ 不是整系数的

整数环的定义

定义：数域 $ K $ 的整数环 $ \mathcal{O}_K $ 是 $ K $ 中所有代数整数的集合。

性质：

$ \mathcal{O}_K $ 是 $ K $ 的子环，即它对加法、减法和乘法封闭
$ \mathbb{Z} \subseteq \mathcal{O}_K $
$ \mathcal{O}_K $ 是有限生成的 $ \mathbb{Z} $- 模，即它有整数基

3.2 整数环的结构性质

戴德金整环

定义：戴德金整环是满足以下三个条件的整环 $ R $：

$ R $ 是诺特环（每个理想都是有限生成的）
$ R $ 是整闭的（在其分式域中是整闭的）
$ R $ 的每个非零素理想都是极大理想

重要定理：数域的整数环 $ \mathcal{O}_K $ 是戴德金整环。

证明思路：

诺特环：$ \mathcal{O}_K $ 是有限生成的 $ \mathbb{Z} $- 模，而 $ \mathbb{Z} $ 是诺特环，因此 $ \mathcal{O}_K $ 是诺特环
整闭性：$ \mathcal{O}_K $ 恰好是 $ K $ 中的代数整数集合，因此在 $ K $ 中是整闭的
素理想是极大理想：如果 $ P $ 是 $ \mathcal{O}_K $ 的非零素理想，则 $ \mathcal{O}_K/P $ 是有限域，因此是域，所以 $ P $ 是极大理想

唯一因子分解性质

定理：在戴德金整环中，每个非零理想都可以唯一分解为素理想的乘积（不计次序）。

数学表达：如果 $ I $ 是戴德金整环 $ R $ 的非零理想，则存在唯一的素理想 $ P_1, P_2, \dots, P_k $ 和正整数 $ e_1, e_2, \dots, e_k $，使得：

$ I = P_1^{e_1}P_2\cdots P_k^{e_k} $

意义：这个定理是代数数论的核心结果之一，它解决了普通整数的唯一因子分解在代数整数环中不成立的问题。

例子：

在 $ \mathbb{Z}[\sqrt{-5}] $ 中，元素 6 有两种分解方式：

$ 6 = 2 \times 3 = (1 + \sqrt{-5})(1 - \sqrt{-5}) $

但作为理想，分解是唯一的：

$ (6) = (2, 1 + \sqrt{-5})^2 (3, 1 + \sqrt{-5})(3, 1 - \sqrt{-5}) $

3.3 不同类型的整数环

主理想整环（PID）

定义：主理想整环是每个理想都是主理想的整环。

性质：

主理想整环是唯一因子分解整环（UFD）
在主理想整环中，元素的唯一因子分解成立

例子：

整数环 $ \mathbb{Z} $ 是主理想整环
高斯整数环 $ \mathbb{Z}[i] $ 是主理想整环
二次数域 $ \mathbb{Q}(\sqrt{-1}), \mathbb{Q}(\sqrt{-2}), \mathbb{Q}(\sqrt{2}), \mathbb{Q}(\sqrt{3}) $ 等的整数环是主理想整环

唯一因子分解整环（UFD）

定义：唯一因子分解整环是每个非零非单位元素都可以唯一分解为不可约元素的乘积（不计次序和单位因子）的整环。

关系：

主理想整环是唯一因子分解整环
唯一因子分解整环不一定是主理想整环（例如多项式环 $ \mathbb{Z}[x] $）
在戴德金整环中，唯一因子分解整环等价于主理想整环

3.4 整数环的计算例子

例子 1：高斯整数环 $ \mathbb{Z}[i] $

定义：$ \mathbb{Z}[i] = {a + bi \mid a,b \in \mathbb{Z}} $，其中 $ i^2 = -1 $。

整数基：$ {1, i} $

范数：对于 $ \alpha = a + bi $，范数 $ N(\alpha) = a^2 + b^2 $

素元分解：

有理素数 2 在 $ \mathbb{Z}[i] $ 中分解为 $ (1 + i)^2 $
有理素数 $ p \equiv 1 \mod 4 $ 在 $ \mathbb{Z}[i] $ 中分解为两个共轭素元的乘积
有理素数 $ p \equiv 3 \mod 4 $ 在 $ \mathbb{Z}[i] $ 中仍然是素元

例子：

$ 5 = (1 + 2i)(1 - 2i) $
$ 13 = (2 + 3i)(2 - 3i) $
$ 3 $ 是 $ \mathbb{Z}[i] $ 中的素元

例子 2：二次数域 $ \mathbb{Q}(\sqrt{-5}) $ 的整数环

定义：$ \mathcal{O}_{\mathbb{Q}(\sqrt{-5})} = \mathbb{Z}[\sqrt{-5}] = {a + b\sqrt{-5} \mid a,b \in \mathbb{Z}} $

整数基：$ {1, \sqrt{-5}} $

范数：对于 $ \alpha = a + b\sqrt{-5} $，范数 $ N(\alpha) = a^2 + 5b^2 $

非唯一因子分解的例子：

$ 6 = 2 \times 3 = (1 + \sqrt{-5})(1 - \sqrt{-5}) $
这里 2, 3, $ 1 + \sqrt{-5} $, $ 1 - \sqrt{-5} $ 都是不可约元素，但分解不唯一

理想分解：

$ (2) = (2, 1 + \sqrt{-5})^2 $
$ (3) = (3, 1 + \sqrt{-5})(3, 1 - \sqrt{-5}) $
$ (6) = (2, 1 + \sqrt{-5})^2 (3, 1 + \sqrt{-5})(3, 1 - \sqrt{-5}) $
理想分解是唯一的

4. 理想理论的系统阐述

4.1 理想的基本概念

理想的定义

定义：设 $ R $ 是环，$ I $ 是 $ R $ 的非空子集。如果 $ I $ 满足以下两个条件，则称 $ I $ 是 $ R $ 的理想：

对任意 $ a, b \in I $，有 $ a + b \in I $（加法封闭）
对任意 $ a \in I $ 和 $ r \in R $，有 $ ra \in I $（吸收性）

通俗理解：理想是环的一个子集，它对加法封闭，并且任何环元素与理想元素的乘积仍然在理想中。

例子：

在整数环 $ \mathbb{Z} $ 中，所有偶数的集合 $ 2\mathbb{Z} = {2k \mid k \in \mathbb{Z}} $ 是理想
在多项式环 $ \mathbb{Z}[x] $ 中，所有常数项为偶数的多项式的集合是理想

主理想

定义：由单个元素生成的理想称为主理想。如果 $ I = (a) = {ra \mid r \in R} $，则 $ I $ 是由 $ a $ 生成的主理想。

例子：

在 $ \mathbb{Z} $ 中，每个理想都是主理想：$ n\mathbb{Z} = (n) $
在 $ \mathbb{Z}[x] $ 中，理想 $ (x) = {xf(x) \mid f(x) \in \mathbb{Z}[x]} $ 是主理想
在 $ \mathbb{Z}[\sqrt{-5}] $ 中，理想 $ (2, 1 + \sqrt{-5}) $ 不是主理想

4.2 理想的运算

理想的和

定义：设 $ I $ 和 $ J $ 是环 $ R $ 的理想，则它们的和定义为：

$ I + J = {a + b \mid a \in I, b \in J} $

性质：

$ I + J $ 是 $ R $ 的理想
$ I + J $ 是包含 $ I $ 和 $ J $ 的最小理想
$ I + R = R $ 对任何理想 $ I $ 成立

例子：

在 $ \mathbb{Z} $ 中，$ (m) + (n) = (\gcd(m,n)) $
在 $ \mathbb{Z}[x] $ 中，$ (2) + (x) = {2a + xb \mid a,b \in \mathbb{Z}[x]} $，这是所有常数项为偶数的多项式的集合

理想的乘积

定义：设 $ I $ 和 $ J $ 是环 $ R $ 的理想，则它们的乘积定义为：

$ IJ = {a_1b_1 + a_2b_2 + \dots + a_nb_n \mid a_i \in I, b_i \in J, n \geq 1} $

性质：

$ IJ $ 是 $ R $ 的理想
理想乘法满足交换律：$ IJ = JI $
理想乘法满足结合律：$ (IJ)K = I(JK) $
理想乘法对理想加法满足分配律：$ I(J + K) = IJ + IK $

例子：

在 $ \mathbb{Z} $ 中，$ (m)(n) = (mn) $
在 $ \mathbb{Z}[\sqrt{-5}] $ 中，$ (2, 1 + \sqrt{-5})^2 = (2) $

理想的交

定义：设 $ I $ 和 $ J $ 是环 $ R $ 的理想，则它们的交定义为：

$ I \cap J = {a \mid a \in I \text{ ä¸ } a \in J} $

性质：

$ I \cap J $ 是 $ R $ 的理想
$ IJ \subseteq I \cap J $
如果 $ I + J = R $，则 $ IJ = I \cap J $（中国剩余定理的条件）

例子：

在 $ \mathbb{Z} $ 中，$ (m) \cap (n) = (\text{lcm}(m,n)) $
在 $ \mathbb{Z}[x] $ 中，$ (2) \cap (x) = (2x) $

4.3 素理想和极大理想

素理想

定义：设 $ P $ 是环 $ R $ 的理想，$ P \neq R $。如果对任意 $ a, b \in R $，若 $ ab \in P $ 则 $ a \in P $ 或 $ b \in P $，则称 $ P $ 是素理想。

性质：

素理想的概念是素数概念的推广
在整环中，$ (p) $ 是素理想当且仅当 $ p $ 是素元
商环 $ R/P $ 是整环当且仅当 $ P $ 是素理想

例子：

在 $ \mathbb{Z} $ 中，理想 $ (p) $ 是素理想当且仅当 $ p $ 是素数
在 $ \mathbb{Z}[x] $ 中，理想 $ (x) $ 是素理想，因为 $ \mathbb{Z}[x]/(x) \cong \mathbb{Z} $ 是整环
在 $ \mathbb{Z}[\sqrt{-5}] $ 中，理想 $ (2, 1 + \sqrt{-5}) $ 是素理想

极大理想

定义：设 $ M $ 是环 $ R $ 的理想，$ M \neq R $。如果不存在理想 $ I $ 使得 $ M \subsetneq I \subsetneq R $，则称 $ M $ 是极大理想。

性质：

极大理想是 "最大" 的真理想
商环 $ R/M $ 是域当且仅当 $ M $ 是极大理想
每个极大理想都是素理想，但反之不成立

例子：

在 $ \mathbb{Z} $ 中，理想 $ (p) $ 是极大理想当且仅当 $ p $ 是素数
在 $ \mathbb{R}[x] $ 中，理想 $ (x - a) $ 是极大理想，因为 $ \mathbb{R}[x]/(x - a) \cong \mathbb{R} $ 是域
在 $ \mathbb{Z}[x] $ 中，理想 $ (2, x) $ 是极大理想，因为 $ \mathbb{Z}[x]/(2, x) \cong \mathbb{Z}/2\mathbb{Z} $ 是域

4.4 戴德金整环中的理想理论

理想的唯一分解定理

定理：在戴德金整环中，每个非零理想都可以唯一分解为素理想的乘积（不计次序）。

数学表达：如果 $ R $ 是戴德金整环，$ I $ 是 $ R $ 的非零理想，则存在唯一的素理想 $ P_1, P_2, \dots, P_k $ 和正整数 $ e_1, e_2, \dots, e_k $，使得：

$ I = P_1^{e_1}P_2\cdots P_k^{e_k} $

证明思路：

存在性：

每个非零理想都包含一个素理想的乘积
使用诺特环的性质，每个理想都可以分解为素理想的乘积

唯一性：

如果 $ P_1P_2\cdots P_k = Q_1Q_2\cdots Q_l $，则每个 $ P_i $ 包含某个 $ Q_j $
由于素理想是极大理想，$ P_i = Q_j $
归纳证明指数相等

分式理想

定义：设 $ R $ 是戴德金整环，$ K $ 是其分式域。$ K $ 的子集 $ I $ 称为分式理想，如果：

$ I $ 是 $ K $ 的有限生成 $ R $- 子模
存在非零元素 $ a \in R $ 使得 $ aI \subseteq R $

性质：

普通理想是分式理想的特例（取 $ a = 1 $）
分式理想的集合在乘法下构成群，称为理想类群的 "局部化" 版本
每个分式理想都可以唯一表示为素理想的整数次幂的乘积

例子：

在 $ \mathbb{Q} $ 中，分式理想是 $ r\mathbb{Z} $ 形式的集合，其中 $ r \in \mathbb{Q} $
在 $ \mathbb{Q}(\sqrt{2}) $ 中，分式理想可以是 $ \frac{1}{2}(1 + \sqrt{2})\mathcal{O}_K $ 这样的形式

理想类群

定义：两个分式理想 $ I $ 和 $ J $ 等价，如果存在非零元素 $ a \in K $ 使得 $ I = aJ $。分式理想的等价类称为理想类，所有理想类的集合在乘法下构成群，称为理想类群，记为 $ \text{Cl}(K) $。

性质：

主分式理想（即形如 $ aR $ 的分式理想）构成一个等价类，对应类群中的单位元
类群的阶称为类数，记为 $ h_K = |\text{Cl}(K)| $
类数为 1 当且仅当 $ R $ 是主理想整环

5. 类群和单位定理的证明

5.1 类群的有限性定理

Minkowski 定理

定理：设 $ K $ 是 $ n = r_1 + 2r_2 $ 次数域，则存在常数 $ M_K > 0 $，使得每个理想类都包含一个范数不超过 $ M_K $ 的非零理想。

证明思路：

格的构造：将理想 $ I $ 视为 $ \mathbb{R}^{r_1} \times \mathbb{C}^{r_2} $ 中的格
体积计算：计算格的基本域的体积
Minkowski 凸体定理：在足够大的凸体中存在非零格点
范数估计：将格点的范数与理想的范数联系起来

Minkowski 常数：

$ M_K = \left( \frac{4}{\pi} \right)^{r_2} \frac{n!}{n^n} \sqrt{|\Delta_K|} $

其中 $ \Delta_K $ 是 $ K $ 的判别式。

类群有限性的证明

定理：数域 $ K $ 的理想类群 $ \text{Cl}(K) $ 是有限群。

证明：

根据 Minkowski 定理，每个理想类都包含一个范数不超过 $ M_K $ 的理想
范数不超过 $ M_K $ 的理想只有有限个，因为：

理想的范数是其指数 $ [\mathcal{O}_K:I] $
指数不超过 $ M_K $ 的子群只有有限个

因此，理想类的个数有限，即类群是有限群

意义：类群的有限性是代数数论的重要结果，它表明虽然元素的唯一因子分解可能不成立，但理想的分类是有限的。

5.2 Dirichlet 单位定理

单位群的结构

定理（Dirichlet 单位定理）：设 $ K $ 是 $ n = r_1 + 2r_2 $ 次数域，则 $ K $ 的单位群 $ \mathcal{O}_K^* $ 同构于有限循环群与 $ r_1 + r_2 - 1 $ 个无限循环群的直积：

$ \mathcal{O}_K^* \cong \mu_K \times \mathbb{Z}^{r_1 + r_2 - 1} $

其中 $ \mu_K $ 是 $ K $ 中的单位根群（有限循环群）。

证明思路：

对数映射：定义映射 $ \lambda: \mathcal{O}_K^* \to \mathbb{R}^{r_1 + r_2} $，将单位 $ \epsilon $ 映射到其嵌入的对数
核的分析：对数映射的核是单位根群 $ \mu_K $，它是有限循环群
像的分析：对数映射的像位于超平面 $ H = { (x_1, \dots, x_{r_1 + r_2}) \mid x_1 + \dots + x_{r_1 + 2r_2} = 0 } $ 中
有限生成性：使用 Minkowski 定理证明像的离散性和有限生成性
秩的计算：像的秩是 $ r_1 + r_2 - 1 $

单位群的例子

1. 有理数域 $ \mathbb{Q} $

$ r_1 = 1, r_2 = 0 $
单位群 $ \mathbb{Z}^* = {1, -1} $
同构于 $ \mu_{\mathbb{Q}} \times \mathbb{Z}^{0} $，其中 $ \mu_{\mathbb{Q}} = {1, -1} $

2. 实二次数域 $ \mathbb{Q}(\sqrt{d}) $（$ d > 0 $）

$ r_1 = 2, r_2 = 0 $
单位群同构于 $ {1, -1} \times \mathbb{Z} $
存在基本单位 $ \epsilon $，使得每个单位都可以表示为 $ \pm \epsilon^k $（$ k \in \mathbb{Z} $）

例子：

$ \mathbb{Q}(\sqrt{2}) $ 的基本单位是 $ 1 + \sqrt{2} $
$ \mathbb{Q}(\sqrt{3}) $ 的基本单位是 $ 2 + \sqrt{3} $

3. 复二次数域 $ \mathbb{Q}(\sqrt{d}) $（$ d < 0 $）

$ r_1 = 0, r_2 = 1 $
单位群同构于 $ \mu_K $（有限循环群）
只有当 $ d = -1, -3 $ 时，单位群大于 $ {1, -1} $

例子：

$ \mathbb{Q}(i) $ 的单位群是 $ {1, -1, i, -i} $（4 阶循环群）
$ \mathbb{Q}(\sqrt{-3}) $ 的单位群是 $ {1, -1, \omega, -\omega, \omega^2, -\omega^2} $（6 阶循环群），其中 $ \omega = e^{2\pi i/3} $

4. 分圆域 $ \mathbb{Q}(\zeta_n) $

单位群结构复杂，但包含分圆单位作为子群
分圆单位是形式为 $ \frac{\zeta_n^k - 1}{\zeta_n^m - 1} $ 的单位
分圆单位群的指数有限，称为类数的 "分圆部分"

5.3 类群和单位群的计算例子

例子 1：二次数域 $ \mathbb{Q}(\sqrt{-5}) $

类群计算：

判别式 $ \Delta = -20 $
Minkowski 常数 $ M_K = \left( \frac{4}{\pi} \right)^1 \frac{2!}{2^2} \sqrt{20} \approx 0.6366 \times 0.5 \times 4.4721 \approx 1.414 $
范数不超过 1.414 的理想只有单位理想 $ \mathcal{O}_K $
但实际上 $ \mathbb{Q}(\sqrt{-5}) $ 的类数是 2，这说明我们需要考虑范数稍大的理想
考虑理想 $ I = (2, 1 + \sqrt{-5}) $，其范数为 2
$ I^2 = (2) $ 是主理想，因此 $ I $ 的类的阶为 2
类群是 2 阶循环群 $ C_2 $

单位群计算：

$ r_1 = 0, r_2 = 1 $
单位群同构于 $ \mu_K = {1, -1} $（2 阶循环群）

例子 2：二次数域 $ \mathbb{Q}(\sqrt{10}) $

类群计算：

判别式 $ \Delta = 40 $
Minkowski 常数 $ M_K = \frac{2!}{2^2} \sqrt{40} \approx 0.5 \times 6.3246 \approx 3.162 $
范数不超过 3.162 的理想有：
- 范数 1：$ \mathcal{O}_K $
- 范数 2：$ (2, \sqrt{10}) $
- 范数 3：$ (3, 1 + \sqrt{10}) $ 和 $ (3, 1 - \sqrt{10}) $
计算这些理想的乘积：
- $ (2, \sqrt{10})^2 = (2) $（主理想）
- $ (3, 1 + \sqrt{10})(3, 1 - \sqrt{10}) = (3) $（主理想）
- $ (2, \sqrt{10})(3, 1 + \sqrt{10}) = (1 + \sqrt{10}) $（主理想）
类群是平凡群，即类数为 1

单位群计算：

$ r_1 = 2, r_2 = 0 $
单位群同构于 $ {1, -1} \times \mathbb{Z} $
基本单位是 $ 3 + \sqrt{10} $

6. 局部域理论的全面解析

6.1 局部域的定义和例子

局部域的定义

定义：局部域是局部紧的非阿基米德局部域，即满足以下条件的域 $ K $：

$ K $ 是局部紧的拓扑域
$ K $ 上存在非平凡的非阿基米德绝对值
$ K $ 是完备的

通俗理解：局部域是 "局部" 的域，它的结构由某个素数决定，与 "整体" 的数域相对应。

局部域的分类

1. 特征 0 的局部域（p-adic 数域）

定义：有理数域 $ \mathbb{Q} $ 关于 p-adic 绝对值的完备化 $ \mathbb{Q}_p $，以及它的有限扩张
例子：
- $ \mathbb{Q}_2 $（2-adic 数域）
- $ \mathbb{Q}_3 $（3-adic 数域）
- $ \mathbb{Q}_p(\sqrt{p}) $（$ \mathbb{Q}_p $ 的二次扩张）

2. 特征 p 的局部域（有限域上的形式幂级数域）

定义：有限域 $ \mathbb{F}_q $ 上的形式幂级数域 $ \mathbb{F}_q((t)) $
元素形式：$ \sum_{n=k}^{\infty} a_n t^n $，其中 $ a_n \in \mathbb{F}_q $，$ k \in \mathbb{Z} $
例子：
- $ \mathbb{F}_2((t)) $（二元域上的形式幂级数域）
- $ \mathbb{F}_q((t)) $ 的有限扩张

6.2 p-adic 数域的构造

p-adic 绝对值

定义：设 $ p $ 是素数，对任意非零有理数 $ x = p^k \frac{a}{b} $（其中 $ a,b $ 与 $ p $ 互质），定义 p-adic 绝对值为：

$ |x|_p = p^{-k} $

并定义 $ |0|_p = 0 $。

性质：

非阿基米德性质：$ |x + y|_p \leq \max(|x|_p, |y|_p) $
强三角不等式：如果 $ |x|_p \neq |y|_p $，则 $ |x + y|_p = \max(|x|_p, |y|_p) $
乘积性质：$ |xy|_p = |x|_p |y|_p $

例子：

$ |2|_2 = 1/2 $，$ |4|_2 = 1/4 $，$ |8|_2 = 1/8 $
$ |3|_2 = 1 $，$ |5|_2 = 1 $，$ |7|_2 = 1 $
$ |1/2|_2 = 2 $，$ |1/4|_2 = 4 $

p-adic 数的构造

定义：p-adic 数域 $ \mathbb{Q}_p $ 是有理数域 $ \mathbb{Q} $ 关于 p-adic 绝对值的完备化。

构造方法：

柯西序列方法：$ \mathbb{Q}_p $ 是 $ \mathbb{Q} $ 中柯西序列的等价类集合
逆极限方法：$ \mathbb{Z}_p = \varprojlim \mathbb{Z}/p^n\mathbb{Z} $，$ \mathbb{Q}_p = \mathbb{Z}_p[1/p] $

p-adic 整数：$ \mathbb{Z}_p = { x \in \mathbb{Q}_p \mid |x|_p \leq 1 } $，是 $ \mathbb{Q}_p $ 的整数环。

例子：

2-adic 整数可以表示为无限二进制小数：$ a_0 + a_1 \cdot 2 + a_2 \cdot 2^2 + \dots $，其中 $ a_i \in {0, 1} $
3-adic 整数可以表示为无限三进制小数：$ a_0 + a_1 \cdot 3 + a_2 \cdot 3^2 + \dots $，其中 $ a_i \in {0, 1, 2} $

6.3 局部域的结构

局部域的整数环

定义：局部域 $ K $ 的整数环 $ \mathcal{O}_K $ 是 $ K $ 中绝对值不超过 1 的元素集合：

$ \mathcal{O}_K = { x \in K \mid |x| \leq 1 } $

性质：

$ \mathcal{O}_K $ 是局部环，即它有唯一的极大理想 $ \mathfrak{p} = { x \in K \mid |x| < 1 } $
剩余类域 $ k = \mathcal{O}_K/\mathfrak{p} $ 是有限域
$ \mathcal{O}_K $ 是主理想整环，其理想都是 $ \mathfrak{p}^n = { x \in K \mid |x| \leq q^{-n} } $ 形式，其中 $ q = |k| $

例子：

在 $ \mathbb{Q}_p $ 中，整数环 $ \mathbb{Z}_p $ 的极大理想是 $ p\mathbb{Z}_p $
剩余类域 $ \mathbb{Z}_p/p\mathbb{Z}_p \cong \mathbb{F}_p $（p 元有限域）

分歧理论

定义：设 $ L/K $ 是局部域的有限扩张，$ e = v_L(\mathfrak{p}_K \mathcal{O}_L) $ 称为分歧指数，$ f = [\mathcal{O}_L/\mathfrak{p}_L : \mathcal{O}_K/\mathfrak{p}_K] $ 称为剩余类域次数。

基本等式：$ [L:K] = e f $

分类：

非分歧扩张：$ e = 1 $
全分歧扩张：$ f = 1 $
** tamely 分歧扩张 **：$ e $ 与剩余类域特征互质
wildly 分歧扩张：$ e $ 与剩余类域特征不互质

例子：

$ \mathbb{Q}_p(\sqrt[p]{p})/\mathbb{Q}_p $ 是全分歧扩张，分歧指数 $ e = p $
$ \mathbb{Q}_p(\zeta_p)/\mathbb{Q}_p $ 是全分歧扩张，分歧指数 $ e = p - 1 $
$ \mathbb{Q}_p(\zeta_n)/\mathbb{Q}_p $（$ n $ 与 $ p $ 互质）是非分歧扩张

Hensel 引理

定理（Hensel 引理）：设 $ K $ 是局部域，$ f(x) \in \mathcal{O}_K[x] $ 是多项式，$ a_0 \in \mathcal{O}_K $ 满足 $ |f(a_0)| < |f'(a_0)|^2 $，则存在唯一的 $ a \in \mathcal{O}_K $ 使得 $ f(a) = 0 $ 且 $ |a - a_0| \leq |f(a_0)|/|f'(a_0)| $。

通俗理解：如果多项式在剩余类域中有一个单根，则可以唯一地提升到局部域中成为一个根。

应用：

解局部域上的多项式方程
构造局部域的扩张
证明局部域的结构定理

例子：

在 $ \mathbb{Q}_2 $ 中，多项式 $ f(x) = x^2 - 2 $ 在 $ \mathbb{F}_2 $ 中有根 $ x = 0 $，但 $ f'(0) = 0 $，所以 Hensel 引理不适用
在 $ \mathbb{Q}_3 $ 中，多项式 $ f(x) = x^2 - 2 $ 在 $ \mathbb{F}_3 $ 中有根 $ x = 1 $（因为 $ 1^2 = 1 \equiv 2 \mod 3 $），且 $ f'(1) = 2 \neq 0 \mod 3 $，所以存在 $ \sqrt{2} \in \mathbb{Q}_3 $

6.4 局部 - 整体原理

基本思想

局部 - 整体原理是代数数论中的一个重要思想，它将 "整体" 数域上的问题转化为各个 "局部" 局部域上的问题。

哲学思想：一个代数方程在数域上有解当且仅当它在所有局部域上都有解。

互反律

二次互反律：设 $ p, q $ 是不同的奇素数，则：

$ \left( \frac{p}{q} \right) \left( \frac{q}{p} \right) = (-1)^{\frac{(p-1)(q-1)}{4}} $

其中 $ \left( \frac{p}{q} \right) $ 是 Legendre 符号。

Artin 互反律：类域论中的核心定理，它建立了伽罗瓦群与理想类群之间的联系。

应用例子

1. 二次型的 Hasse-Minkowski 定理

定理：有理数域上的二次型在 $ \mathbb{Q} $ 上表示零当且仅当它在所有 $ \mathbb{Q}_p $ 和 $ \mathbb{R} $ 上都表示零。

例子：

二次型 $ x^2 + y^2 + z^2 $ 在 $ \mathbb{Q} $ 上表示所有非负有理数
二次型 $ x^2 + y^2 - 3z^2 $ 在 $ \mathbb{Q} $ 上表示零，因为它在所有局部域上都表示零

2. 代数方程的解

例子：方程 $ x^2 = 2 $ 在 $ \mathbb{Q} $ 上无解，但在 $ \mathbb{Q}_3, \mathbb{Q}_5, \dots $ 上有解，在 $ \mathbb{Q}_2 $ 上无解。

局部 - 整体原理的失效：

有些方程在所有局部域上有解，但在整体域上无解
例如，方程 $ 3x^3 + 4y^3 + 5z^3 = 0 $ 在所有局部域上有非平凡解，但在 $ \mathbb{Q} $ 上只有平凡解

7. 代数数论的应用实例

7.1 密码学应用

RSA 密码系统

基本原理：RSA 基于大整数分解的困难性，而整数分解问题与代数数论密切相关。

密钥生成：

选择两个大素数 $ p, q $
计算 $ n = pq $ 和 $ \phi(n) = (p-1)(q-1) $
选择加密指数 $ e $，使得 $ \gcd(e, \phi(n)) = 1 $
计算解密指数 $ d $，使得 $ ed \equiv 1 \mod \phi(n) $

加密解密：

加密：$ c = m^e \mod n $
解密：$ m = c^d \mod n $

代数数论的联系：

素数生成需要素数检测算法，如 Miller-Rabin 测试
大整数分解算法，如数域筛法，基于代数数论

椭圆曲线密码学（ECC）

基本原理：ECC 基于椭圆曲线上离散对数问题的困难性，椭圆曲线的算术与代数数论密切相关。

椭圆曲线的定义：椭圆曲线是由方程 $ y^2 = x^3 + ax + b $ 定义的代数曲线，其中 $ 4a^3 + 27b^2 \neq 0 $。

椭圆曲线上的加法：

点的加法满足群运算的性质
椭圆曲线上的点构成一个交换群

密码学应用：

密钥交换：Diffie-Hellman 协议的椭圆曲线版本
数字签名：ECDSA（椭圆曲线数字签名算法）
加密：ElGamal 加密的椭圆曲线版本

代数数论的联系：

椭圆曲线的有理点群结构与代数数论密切相关
椭圆曲线的 L - 函数是代数数论的重要研究对象
椭圆曲线的模性定理（谷山 - 志村 - 韦伊猜想）是代数数论的重大成果

基于格的密码学

基本原理：基于格的密码学基于格中最短向量问题（SVP）和最近向量问题（CVP）的困难性。

NTRU 密码系统：

基于多项式环 $ \mathbb{Z}[x]/(x^N - 1) $ 中的格
密钥生成、加密、解密都基于格中的短向量

Ring-LWE 密码系统：

基于多项式环上的学习错误问题
被认为是抗量子计算的密码系统

代数数论的联系：

格可以看作是整数环上的模
模块格理论是基于格的密码学的数学基础
LLL 算法等格基约减算法基于代数数论

7.2 编码理论应用

纠错码的设计

基本原理：纠错码用于在噪声信道中传输信息，代数数论提供了设计高效纠错码的工具。

代数几何码：

基于代数曲线上的有理点构造的纠错码
可以达到 Shannon 容量的界

循环码：

基于有限域上的多项式环构造的纠错码
与分圆域和有限域上的乘法群密切相关

例子：

Reed-Solomon 码：基于有限域上的多项式插值
Goppa 码：基于代数曲线的纠错码

格码

基本原理：格码是基于格的纠错码，利用格的几何性质来纠正传输错误。

构造方法：

将信息映射到格点
接收信号是格点加上噪声
使用格基约减算法解码

代数数论的联系：

格的构造基于代数数论中的数域和理想
格基约减算法如 LLL 算法基于代数数论

7.3 计算数论应用

素数检测

Miller-Rabin 测试：

基于费马小定理的概率性素数检测算法
利用了有限域上的乘法群结构

Solovay-Strassen 测试：

基于欧拉准则的概率性素数检测算法
使用了二次剩余的性质

整数分解

数域筛法：

目前最快的大整数分解算法
基于代数数论中的数域和理想理论

算法步骤：

选择一个多项式 $ f(x) $，其在某个素数幂处有根
在数域 $ \mathbb{Q}(\alpha) $ 中分解数
使用线性代数方法找到平方关系
分解得到的关系

代数数论的作用：

数域的选择和多项式的构造
理想的分解和范数的计算
类群和单位群的应用

离散对数问题

Pohlig-Hellman 算法：

基于中国剩余定理的离散对数算法
利用了有限交换群的结构

Index Calculus 算法：

基于代数数论的离散对数算法
适用于有限域和椭圆曲线

8. 总结与展望

8.1 代数数论的核心成果总结

理论成果

理想理论：戴德金整环中理想的唯一分解定理
类群理论：类群的有限性和类数的计算
单位理论：Dirichlet 单位定理和单位群的结构
局部 - 整体原理：将整体问题转化为局部问题
类域论：局部域和整体域之间的深刻联系

重要定理

Minkowski 定理：几何数论的基础
Dirichlet 单位定理：单位群的结构定理
类数公式：类数与 L - 函数的联系
Hensel 引理：局部域上的根提升定理
模性定理：椭圆曲线与模形式的联系

8.2 代数数论的发展趋势

朗兰兹纲领

朗兰兹纲领是代数数论的宏伟蓝图，它猜想：

数论中的伽罗瓦群表示与分析中的自守形式之间存在对应关系
不同数学领域之间存在深刻的联系

计算代数数论

高效算法的设计和实现
大规模计算的应用
与计算机科学的交叉

算术几何

代数几何方法在数论中的应用
椭圆曲线和模形式的研究
算术代数几何的发展

8.3 学习建议和资源推荐

学习建议

打好基础：扎实掌握抽象代数和初等数论
循序渐进：从具体例子入手，逐步学习抽象理论
多做计算：通过具体计算加深对抽象概念的理解
理论与应用结合：了解代数数论的实际应用

代数数论核心知识

代数数论核心知识

目录

1. 代数数论概述

1.1 什么是代数数论？

核心研究对象

研究目标

1.2 代数数论的历史发展

起源阶段（19 世纪）

发展阶段（20 世纪）

现代阶段（21 世纪）

与抽象代数的关系

与数论的关系

与应用数学的关系

2. 数域的详细介绍

2.1 数域的定义和基本性质

数域的定义

数域的例子

1. 有理数域 $ \mathbb{Q} $

2. 二次数域 $ \mathbb{Q}(\sqrt{d}) $

3. 分圆域 $ \mathbb{Q}(\zeta_n) $

2.2 数域的嵌入和伽罗瓦群

数域的嵌入

嵌入的分类

实嵌入和复嵌入

伽罗瓦群

2.3 范数、迹和判别式

范数和迹

判别式

2.4 数域的整数基

整数基的定义

整数基的例子

二次数域的整数基

分圆域的整数基

3. 整数环的深入讲解

3.1 代数整数和整数环的定义

代数整数的定义

整数环的定义

3.2 整数环的结构性质

戴德金整环

唯一因子分解性质

3.3 不同类型的整数环

主理想整环（PID）

唯一因子分解整环（UFD）

3.4 整数环的计算例子

例子 1：高斯整数环 $ \mathbb{Z}[i] $

例子 2：二次数域 $ \mathbb{Q}(\sqrt{-5}) $ 的整数环

4. 理想理论的系统阐述

4.1 理想的基本概念

理想的定义

主理想

4.2 理想的运算

理想的和

理想的乘积

理想的交

4.3 素理想和极大理想

素理想

极大理想

4.4 戴德金整环中的理想理论

理想的唯一分解定理

分式理想

理想类群

5. 类群和单位定理的证明

5.1 类群的有限性定理

Minkowski 定理

类群有限性的证明

5.2 Dirichlet 单位定理

单位群的结构

单位群的例子

1. 有理数域 $ \mathbb{Q} $

2. 实二次数域 $ \mathbb{Q}(\sqrt{d}) \(（\) d > 0 $）

3. 复二次数域 $ \mathbb{Q}(\sqrt{d}) \(（\) d < 0 $）

4. 分圆域 $ \mathbb{Q}(\zeta_n) $

5.3 类群和单位群的计算例子

例子 1：二次数域 $ \mathbb{Q}(\sqrt{-5}) $

例子 2：二次数域 $ \mathbb{Q}(\sqrt{10}) $

6. 局部域理论的全面解析

6.1 局部域的定义和例子

局部域的定义

局部域的分类