理想类群和单位群

理想类群衡量了整数环中唯一分解失败的程度，而单位群描述了其可逆元素；两者都受数几何的控制。

Definition

数域的理想类群是分数理想模主理想的群；其阶是类数。单位是整数环的可逆元素，形成一个有限生成阿贝尔群。

Scope

本主题涵盖了分数理想和理想类群、类数有限性、闵可夫斯基凸体定理和用于计算类群的闵可夫斯基界、单位群的结构、给出其秩的狄利克雷单位定理、基本单位和调节子，以及将这些不变量与戴德金zeta函数联系起来的解析类数公式。

Core questions

• 理想类群是如何定义的，为什么当且仅当分解唯一时它才是平凡的？
• 闵可夫斯基的数几何如何证明类数是有限的并限制了代表元？
• 单位群的秩是多少，实嵌入和复嵌入如何决定它？
• 解析类数公式如何将类数、调节子和单位与zeta函数联系起来？

Key theories

类数的有限性

每个理想类都包含一个范数有界（闵可夫斯基界）的理想，并且这样的理想数量有限，因此类群是有限的——这是计算和理论的基础性结果。

狄利克雷单位定理

单位群是单位根的有限群与一个自由阿贝尔群的乘积，其秩等于实嵌入数加上复嵌入对数再减一，由基本单位实现。

解析类数公式

戴德金zeta函数在点1处的留数用类数、调节子、单位根的数量和判别式表示，将代数与分析联系起来。

Clinical relevance

类群和单位的计算是算法数论以及理想格和基于类群的密码系统安全分析的核心，其中计算类群的难度是所提出方案的基础。

History

高斯研究了二元二次型及其复合的等价理论，这实际上是二次域的类群。狄利克雷于1846年证明了他的单位定理，而闵可夫斯基在1896年左右的数几何为有限性和单位秩提供了清晰的凸体证明。

Key figures

• Peter Gustav Lejeune Dirichlet
• Hermann Minkowski
• Carl Friedrich Gauss

Seminal works

• neukirch1999

Frequently asked questions

类数为1意味着什么？

这意味着理想类群是平凡的，因此每个理想都是主理想，整数环具有元素的唯一分解，就像普通整数一样。

什么是基本单位？

它是单位群无限部分的生成元；对于实二次域，它是大于1的最小单位，其幂（带符号）给出了所有单位（不计单位根）。