概念

戴德金环

戴德金整环中每个理想唯一分解为素理想之积，是数域整数环的核心性质。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

戴德金环代数数论

01定义

戴德金整环是「元素分解失败处理想分解成功」的舞台：每个非零理想唯一分解为素理想之积。数域整数环

\mathcal{O}_K

是典范例子——把唯一分解从元素层面提升到理想层面。

从元素到理想：唯一分解失而复得

每个非零理想 $\mathfrak{a}=\mathfrak{p}_1^{e_1}\cdots\mathfrak{p}_k^{e_k}$ 唯一；证明依靠局部化：戴德金环在每个素处都是离散赋值环，指数逐处拼装。

$p\mathcal{O}_K=\mathfrak{p}_1^{e_1}\cdots\mathfrak{p}_g^{e_g}$ ， $\sum e_if_i=[K:\mathbb{Q}]$ ：分歧指数 $e$ 与惯性次数 $f$ 由极小多项式模 $p$ 读出——伽罗瓦理论的主战场。

$\mathrm{Spec}\,\mathcal{O}_K$ 是「算术曲线」：素理想是点，分歧是奇点，类群类似皮卡群——数论与几何的字典从此互通。

\mathfrak{a}=\prod_{i}\mathfrak{p}_i^{e_i}\ \text{唯一},\qquad p\mathcal{O}_K=\prod\mathfrak{p}_i^{e_i}

戴德金 1871 年《算术理论补遗》给出理想分解定理；诺特 1921 年提炼出三条公理；扎里斯基与格罗滕迪克将其纳入概形语言。

代数数域的计算（PARI/GP、SageMath 的核心算法）、密码学同态加密的代数数论基础、费马大定理历史证明的代数框架。

理想唯一分解：素数理想的「化学式」拖 n 看整数分解；stage 1 展示 6 在 Z[√−5] 中分解为素数理想

n 整数6展示阶段0