在數學中，代數數論是數論的一支，在這個數學分支中，「數」的概念延伸到代數數上，以解決具體的數論問題。這類數是有理係數多項式的根。與此相關的概念是數域，這是有理數域的有限擴張。依照同樣的動機，整數可以被推廣為為代數整數，然後研究一個數域裡的代數整數。 代數整數在加法、減法與乘法下構成一個環，但整數的許多性質並不能推廣到一般數域裡的代數整數上，其中一個例子是素因數分解的唯一性（又稱算術基本定理），這是十九世紀數學家試圖證明費馬大定理時遇到的主要阻礙，然而代數數論的應用不僅止於此。數學中一些較深入的理論有助於讓我們瞭解代數數與代數整數的性質 包括伽羅瓦理論、伽羅瓦上同調、類域論、群表示論與 L 函式的相關理論等等。 數論中的許多問題可藉由「模 p」（其中 p 為素數）來研究。這套技術導向 p 進數的建構，而 p 進數是區域性域的例子；區域性域的研究運用了一些研究數域時的相同方法，但是通常更容易處理。各個區域性域上性質時常可以上升到整體數域上性質，例如哈瑟原理： 「一個有理係數二次方程在有理數域上有解，若且唯若它在實數上及在每個素數 p 之 p 進數域上有解」。 這類結果往往被稱作區域性 整體原理，其中「區域性」意指區域性域，而「整體」意指數域。 唯一因子分解和理想類群 代數數域 K 的整數環 OK 的元素的素分解和整數環 Z 的素數分解有不同之處，不是每個 OK 的元素都唯一分解。雖然 OK 元素的唯一分解性質在某些情況下可能成立，如高斯整環，但在其它情況下可能會失敗， 如 Z 5 中，6 就不是唯一分解 62cdot31sqrt 5cdot 1sqrt 5 這裡需要注意的是需要考慮分解確實 質數 的，同樣的算式可以出現在 Q 5 中，但是因為 Q 5 是一個二次域，既一定是唯一分解整環。 OK 的理想類群是一個整數環 OK 的元素是否唯一因子分解的度量，特別是當整數環 OK 理想類群是平凡群時，當且僅當 O 為唯一分解整環。0 的唯一因子分解和 OK 素理想間關係。 OK 元素的唯一分解可能成立：這時 OK 的理想的唯一分解成素理想（即它是一個戴德金整環）。這使得在研究 OK 的素理想尤其重要。從另方面，從整數環 Z 更改為代數數域 K 的整數環 OK 後，整數環 Z 中素數就能生成 Z 素理想（其實，Z 的每一個素理想（p）的形式是：pZ）可同一素數在 O 中可能不再生成素理想，例如，在高斯整環中，理想 2Z i 不再是素理想： 2mathbf Zileft 1imathbf Ziright2 但理想 3Z i 是一個素理想。高斯整環唯一因子分解完整的答案使用費馬大定理，其結果為： pmathbf Zimbox is a prime ideal if pequiv 3 operatorname mod 4 pmathbf Zimbox is not a prime ideal if pequiv 1 operatorname mod 4 得出這種簡單的結果對更一般的整數環來說是代數數論的基本問題。當代數數域 K 是有理數 Q 的阿貝爾擴張時（即有交換伽羅瓦群的擴張）類域論實現了這一目標。 素元和素點 （根據類域論，因 K 為有理域 Q 時 OK 才有唯一分解，以下 KQ，注意有理域 Q 和有理數域不同，實域 R 和實數域不同） 在 OK 素理想的概念的一個重要的推廣是理想論，也叫賦值論，這兩種方法之間的關係如下： 運算為通常的絕對值函式 ，對映有理域 Q實域 R 的，令絕對值函式 p 定義稱為 padic 絕對賦值，pZ 中的素數。由奧斯特洛夫斯基的定理，所有 padic 絕對賦值對 Q 是等價類，padic 絕對賦值可看成類似通常素數。更普遍的，代數數域 K 的絕對賦值稱為一個素點。K 中素元分兩類：像 padic 絕對賦值 p 這種等價類是有限的，被稱為有限素元（有限素點）。而透過復域 C 的模 方式定義的素元可看成復域 C 一個無限子集，被稱為無限素元（或無限素點）。因此，一般表示 Q 的素元集合為 2，3，5，7，，，在這種情況下 是有理域 Q 的素元（素點）。 K 的無限素元可有嵌入同態 KC（即非零的環同態，從 K 到 C）。具體來說，可把嵌入分成兩個不相交的子集，那些像在 R 中算一個子集 S1，其餘的為另一子集 S2。S1 的每個嵌入 σ：KR，對應唯一一個和通常絕對值一樣的絕對賦值；這種方式產生的一個素元的被稱為一個實素元（或實素點）。S2 的一個嵌入 τ：是 KC 不包含在 R 中的的像，可以形成另一個唯一的嵌入 τ，稱為共軛嵌入，組成的複共軛對映為 τ 的 CC 而此絕對賦值為複數的模：z 。這樣的素元叫一個復素元（或復素點）。這樣無限素元的集合的描述如下：每個無限素元對應到一個唯一的嵌入 σ：KR，或一對共軛嵌入 τ，τ：KC 實素點素數表示為 r1 ，復素點表示為 r2，嵌入ķC 的總數為 r12r2，（事實上，等於 K Q 的擴張次數：K：Q）。 單位 算術基本定理說明 Z 環的乘法結構為：每一個非零整數可以表為唯一的若干素數次冪和 1 乘。這對 OK 的理想的唯一分解對一部分理想正確，不能全正確是因為 1，因為整數 1 和 1 是 Z 環的可逆元素（即單位，兩者組成一個乘法群叫單位群，記為 Z，是個 2 階迴圈群）。更普遍的是，在 OK 的形式下全部素元乘法可逆組成一個乘法群，記為 O，群素元稱為 OK 的單位，這個群比 2 階迴圈群 Z 階大。由狄利克雷單位定理可得：單位群是交換群。更確切的有伽羅瓦模形式： OK simeq Zr（有限迴圈群）。 有限迴圈群即為 K 的單位群 O。OK 單元群的階大小，OK 的格結構，在類數公式可以看出。 位（Place） 區域性域 在素點 w 對數域 K 完備化給出了一個完全域。如果賦值是阿基米德賦值，得到 R 或 C，都是完全域。如果非阿基米德賦值，則是有理素元的離散賦值，得到有限擴張 Kw Qp ：這離散賦值域也是一個完全域，且是有限剩餘域。 區域性方法簡化了域的算術，能區域性研究問題。例如克羅內克韋伯定理，可以輕鬆地從區域性狀態進行。區域性域的研究背後的哲學，主要是出於幾何方法。在代數幾何，可透過對極大理想的點集區域性化的變數研究入手。而全域性資訊，可透過區域性化綜合在一起得出。在代數數論，區域性研究問題是主要方法之一，透過在數域代數中對整數環的素元入手，再對分式域研究得出全域性資訊。 主要結果 理想類群階的有限性問題。代數數論一個經典結論是：代數數域的理想類群階有限。 理想類群階大小叫類數，常記為 h。 狄利克雷單位定理 狄利克雷的單位定理提供了 OK 單位乘群 O 的結構描述，它指出：OK simeqZr（finite circle group）其中有限迴圈群是 O 的所有單位根組成，且 r r1 r2 1，或者說，OK 是階為 r r1 r2 1 的有限阿貝爾群，且其扭元素由 O 的所有單位根組成 阿廷互反律 互反律 二次互反律 三次互反律 四次互反律 類數公式 參考文獻 Kenneth Ireland and Michael Rosen A Classical Introduction to Modern Number Theory Second Edition SpringerVerlag 1990 Ian Stewart and David O Tall Algebraic Number Theory and Fermats Last Theorem A K Peters 2002 Jürgen Neukirch Algebraic Number Theory 1999 Springer ISBN 3540653996 JeanPierre Serre Cours darithmétique 1988 PUF ISBN 213041838X D D