代数数论

代数数论将整数的算术扩展到有理数有限扩张内的代数整数环，其中唯一分解可能失效，但在理想层面得到恢复。

Definition

代数数论是研究数域（有理数的有限扩张）及其整数环的学科，它利用交换代数和伽罗瓦理论的工具，从算术角度理解分解、单位和域扩张。

Scope

该领域涵盖数域及其整数环、理想分解为素理想、衡量唯一分解失效程度的理想类群、狄利克雷单位定理、素数在扩张中的分歧行为、数域的伽罗瓦理论，以及用算术数据描述阿贝尔扩张的类域论。

Sub-topics

• 类域论
• 理想类群和单位群
• 数域和整数环
• 数域的支化与伽罗瓦理论

Core questions

• 在代数整数环中，什么取代了唯一分解，以及素理想如何恢复它？
• 由理想类群衡量的唯一分解失效程度有多大，它总是有限的吗？
• 整数环的单位行为如何，它们的秩是多少？
• 有理素数在扩张中如何分裂、分歧或保持惰性，以及伽罗瓦理论如何支配这一点？

Key theories

理想的唯一分解

在戴德金整环（例如数域的整数环）中，每个非零理想都可以唯一分解为素理想，从而恢复了算术基本定理的结构作用。

类数有限性与狄利克雷单位定理

理想类群是有限的，单位群是有限生成的，其秩由实嵌入和复嵌入的数量决定，这是由闵可夫斯基式数几何建立的两个基石。

类域论

数域的阿贝尔扩张通过广义理想类群的商群进行分类，将二次互反律推广为阿廷映射的互反律。

Clinical relevance

整数环和理想算术为现代密码学提供了代数骨干，包括被考虑用于后量子安全的基于格和理想格方案，并构成了数域筛法（目前已知最快的通用分解算法）的基础。

History

该领域起源于库默尔（Kummer）在1847年左右引入理想数，以修复分圆域中的唯一分解，其动机是费马大定理。戴德金（Dedekind）在19世纪70年代将其重塑为理想，闵可夫斯基（Minkowski）增加了几何方法，希尔伯特（Hilbert）、高木（Takagi）和阿廷（Artin）在20世纪早期建立了类域论。

Key figures

• Ernst Kummer
• Richard Dedekind
• Leopold Kronecker
• Emil Artin

Seminal works

• neukirch1999

Frequently asked questions

为什么唯一分解不总是适用于代数整数？

在许多整数环中，一个元素可以以真正不同的方式分解为不可约元素；补救措施是分解理想而不是元素，这样唯一性总是能得到恢复。

什么是类数？

它是理想类群的阶，一个有限的数字，精确地衡量一个整数环与具有唯一分解的距离；当且仅当分解是唯一时，它等于一。