代数数论

在數學中，**代數數論**是數論的一支，其中我們將「數」的概念延伸，以解決具體的數論問題。我們在代數數論中考慮代數數，這類數是有理係數多項式的根。與此相關的概念是數體，這是有理數域的有限擴張。在此框架下能推廣整數為代數整數，並研究一個數體裡的代數整數。

代數整數在加法、減法與乘法下構成一個環，但整數的許多性質並不能推廣到一般數體裡的代數整數上，其中一個例子是質因數分解的唯一性（又稱算術基本定理），這是十九世紀數學家試圖證明費馬大定理時遇到的主要阻礙，然而代數數論的應用不僅止於此。數學中一些較深入的理論有助於讓我們了解代數數與代數整數的性質 —— 包括伽羅瓦理論、伽羅瓦上同調、類體論、表示理論與 L - 函數的相關理論等等。

數論中的許多問題可藉由「模 p」（其中 p 為質數）來研究。這套技術導向 p 進數的建構，而 p 進數是局部體的例子；局部體的研究運用了一些研究數體時的相同方法，但是通常更容易處理。一般數體上的陳述常與各個局部體上的相應陳述有關，例如哈瑟原理：「一個有理係數二次方程式在有理數體上有解，若且唯若它在實數上及在每個質數 p 之 p 進數體上有解」。這類結果往往被稱作局部 - 整體原理，其中「局部」意指局部體，而「整體」意指數體。

## 唯一因子分解和理想類群

代數數體 K 的整數環 OK 的元素的素分解和整數環 Z 的質數分解有不同之處，不是每個 OK 的元素都唯一分解。雖然 OK 元素的唯一分解束在某些情況下可能成立，如高斯整環，但在其它情況下可能會失敗， 如二次體 Z [√-5] 中，6 就不是唯一分解 |: $6=2\cdot 3=(1+{\sqrt {-5}})\cdot (1-{\sqrt {-5}}).$

OK 的理想類群是一個整數環 OK 的元素是否唯一因子分解的度量，特別是當整數環 OK 理想類群是平凡群時，若且唯若 O 為唯一分解整環。0 的唯一因子分解和 OK 質理想間關係。

OK 元素的唯一分解可能成立：這時 OK 的理想的唯一分解成質理想（即它是一個戴德金整環）。這使得在研究 OK 的質理想尤其重要。從另方面，從整數環 Z 更改為代數數體 K 的整數環 OK 後，整數環 Z 中質數就能生成 Z 質理想（其實，Z 的每一個質理想（p）的形式是：pZ）可同一質數在 O 中可能不再生成質理想，例如，在高斯整環中，理想 2Z [i] 不再是質理想：

　
: $2\mathbf {Z} [i]=\left((1+i)\mathbf {Z} [i]\right)^{2}.$

但理想 3Z [i] 是一個質理想。高斯整環唯一因子分解完整的答案使用費爾馬大定理，其結果為：

　
: $p\mathbf {Z} [i]{\mbox{ is a prime ideal if }}p\equiv 3\,(\operatorname {mod} \,4)$

　
: $p\mathbf {Z} [i]{\mbox{ is not a prime ideal if }}p\equiv 1\,(\operatorname {mod} \,4).$

得出這種簡單的結果對更一般的整數環來說是代數數論的基本問題。當代數數體 K 是有理數 Q 的阿貝爾擴張時（即有交換伽羅瓦群的擴張）類體論實現了這一目標。

## 質元素和素點

（根據類體論，因 K 為有理域 Q 時 OK 才有唯一分解，以下 K=Q，注意有理域 Q 和有理數體不同，實域 R 和實數體不同）

在 OK 質理想的概念的一個重要的推廣是理想論，也叫賦值論，這兩種方法之間的關係如下：

運算為通常的絕對值函數 |・|，映射有理域 Q→實域 R 的，令絕對值函數 |・|p: 定義稱為 p-adic 絕對賦值，p∈Z 中的質數。由奧斯特洛夫斯基的定理，所有 p-adic 絕對賦值對 Q 是等價類，p-adic 絕對賦值可看成類似通常質數。更普遍的，代數數體 K 的絕對賦值稱為一個素點。K 中質元素分兩類：像 p-adic 絕對賦值 |・|p 這種等價類是有限的，被稱為有限質元素（有限素點）。而通過複域 C 的模 |・| 方式定義的質元素可看成複域 C 一個無限子集，被稱為無限質元素（或無限素點）。因此，一般表示 Q 的質元素集合為 {2，3，5，7，...，∞}，在這種情況下 |・|∞是有理域 Q 的質元素（素點）。

K 的無限質元素可有嵌入同態 K→C（即非零的環同態，從 K 到 C）。具體來說，可把嵌入分成兩個不相交的子集，那些像在 R 中算一個子集 S1，其餘的為另一子集 S2。S1 的每個嵌入 σ：K→R，對應唯一一個和通常絕對值一樣的絕對賦值；這種方式產生的一個質元素的被稱為一個實質元素（或實素點）。S2 的一個嵌入 τ：是 K→C 不包含在 R 中的的像，可以形成另一個唯一的嵌入 τ，稱為共軛嵌入，組成的複共軛映射為 τ 的 C→C. 而此絕對賦值為複數的模：|_z_| = |_z_| 。這樣的質元素叫一個復質元素（或復素點）。這樣無限質元素的集合的描述如下：每個無限質元素對應到一個唯一的嵌入 σ：K→R，或一對共軛嵌入 τ，τ：K→C. 實素點質數表示為 _r_1 ，復素點表示為 _r_2，嵌入ķ→C 的總數為 _r_1+2_r_2，（事實上，等於 K/ Q 的擴張次數：[K：Q]）。

## 單位

算術基本定理說明 Z 環的乘法結構為：每一個非零整數可以表為唯一的若干質數次冪和 ±1 乘。這對 OK 的理想的唯一分解對一部分理想正確，不能全正確是因為 ±1，因為整數 1 和 - 1 是 Z 環的可逆元素（即單位，兩者組成一個乘法群叫單位群，記為 Z×，是個 2 階循環群）。更普遍的是，在 OK 的形式下全部質元素乘法可逆組成一個乘法群，記為 O×，群質元素稱為 OK 的單位，這個群比 2 階循環群 Z× 階大。由狄利克雷單位定理可得：單位群是交換群。更確切的有伽羅瓦模形式：

　
: OK $\simeq $ Z⊕r⊕（有限循環群）。

有限循環群即為 K 的單位群 O×。OK 單元群的階大小，OK 的格結構，在類數公式可以看出。

## 位（Place）

## 局部體

在素點 w 對數體 K 完備化給出了一個完全域。如果賦值是阿基米德賦值，得到 R 或 C，都是完全域。如果非阿基米德賦值，則是有理質元素的離散賦值，得到有限擴張 _K_w / **Q**p: ：這離散賦值域也是一個完全域，且是有限剩餘域。

局部方法簡化了域的算術，能局部研究問題。例如克羅內克韋伯定理，可以輕鬆地從局部狀態進行。局部體的研究背後的哲學，主要是出於幾何方法。在代數幾何，可通過對極大理想的點集局部化的變數研究入手。而全局訊息，可通過局部化綜合在一起得出。在代數數論，局部研究問題是主要方法之一，通過在數體代數中對整數環的質元素入手，再對分式域研究得出全局訊息。

## 主要結果

理想類群階的有限性問題。代數數論一個經典結論是：代數數體的理想類群階有限。
理想類群階大小叫類數，常記為 h。

### 狄利克雷單位定理

* 狄利克雷的單位定理提供了 OK 單位乘群 O× 的結構描述，它指出：OK $\simeq $ Z⊕r⊕（finite circle group）其中有限循環群是 O× 的所有單位根組成，且 _r_ = _r_1 + _r_2− 1，或者說，OK 是階為 _r_ = _r_1 + _r_2− 1 的有限阿貝爾群，且其扭元素由 O× 的所有單位根組成

### 阿廷互反律

### 互反律

* 二次互反律
* 三次互反律
* 四次互反律

### 類數公式

## 參考文獻