整数环:在代数数论中,指某个数域 \(K\)(例如 \(\mathbb{Q}(\sqrt{d})\))里所有“代数整数”(algebraic integers)组成的集合,记作 \(\mathcal{O}_K\)。它在加法与乘法下封闭,形成一个交换环,并且是该数域中“最自然的整数类比”。
/ˈrɪŋ əv ˈɪn.tɪ.dʒɚz/
The ring of integers of \(\mathbb{Q}\) is \(\mathbb{Z}\).
\(\mathbb{Q}\) 的整数环是 \(\mathbb{Z}\)。
In a quadratic field \(K=\mathbb{Q}(\sqrt{d})\), the ring of integers \(\mathcal{O}_K\) may differ from \(\mathbb{Z}[\sqrt{d}]\) depending on \(d\).
在二次数域 \(K=\mathbb{Q}(\sqrt{d})\) 中,整数环 \(\mathcal{O}_K\) 可能会因 \(d\) 的不同而与 \(\mathbb{Z}[\sqrt{d}]\) 不同。
该术语由两部分构成:ring(环,抽象代数中的“环结构”,强调加法与乘法运算体系)+ integers(整数)。在数论语境里,“ring of integers(整数环)”借用“整数 \(\mathbb{Z}\)”的概念,把它推广到更一般的数域中:在数域里挑出那些行为最像整数、满足整系数多项式方程的元素,形成“该数域的整数”。