查看“︁理想数”︁的源代码

在[[数论]]中，'''理想数'''是在某个[[数域]]的[[整数]]环中表示一个[[理想 (环论)|理想]]的[[代数数]]。理想数的概念由[[恩斯特·库默尔]]首先引进，并导致[[理查德·戴德金]]发展出[[理想 (环论)|环的理想]]的概念。一个整环中的理想被称作'''主理想'''当且仅当它是由某个元素的所有倍数组成。

{{来源请求|根据主理想化定理，一个代数数域中的整环中的所有非主理想的理想在数域扩张成为一个[[类域论|希尔伯特类域]]时都会成为一个主理想。这表示存在一个类域中的整环中的元素 <math>a</math>，其为一个理想数，即使得 <math>a</math> 与类域中的整环中元素相乘得到的倍数与原来数域的交集就是原来的非主理想。}}

==性质==

举例来说，设 ''y'' 为方程 ''y''<sup>2</sup> + ''y'' + 6 = 0 的根，则扩域<math>\mathbb{Q}(y)</math>中的整数环为 <math>\mathbb{Z}[y]</math>，即所有 ''a'' + ''by'' 形式的数，其中''a'' 和 ''b'' 为一般的整数。环中一个非主理想的例子是 <math>\left\{ 2a + yb \ | \ (a,b) \in \mathbf{Z}^2 \right\}</math>，但这个理想的立方为主理想。实际上这个环的[[理想类群]]是一个3阶的循环群。与此对应的类域是添加方程''w''<sup>3</sup> &minus; ''w'' &minus; 1 = 0的根 ''w'' 到<math>\mathbb{Q}(y)</math>而获得的扩域：<math>\mathbb{Q}(y,w)</math>。非主理想  2''a'' + ''yb'' 的一个理想数是 <math>\iota = (-8-16y-18w+12w^2+10yw+yw^2)/23</math>。由于满足 <math>\iota^6-2\iota^5+13\iota^4-15\iota^3+16\iota^2+28\iota+8 = 0</math>，它是一个代数整数。 

类域的整数环中的所有乘以 &iota; 会得到<math>\mathbb{Z}[y]</math>中元素的元素都具有 ''a''&alpha;&nbsp;+&nbsp;''b''&beta; 的形式，其中
:<math>\alpha = (-7+9y-33w-24w^2+3yw-2yw^2)/23</math>，
:<math>\beta = (-27-8y-9w+6w^2-18yw-11yw^2)/23.</math>。

&alpha; 和 &beta; 也是代数整数，满足：
:<math>\alpha^6+7\alpha^5+8\alpha^4-15\alpha^3+26\alpha^2-8\alpha+8=0\,</math>
和
:<math>\beta^6+4\beta^5+35\beta^4+112\beta^3+162\beta^2+108\beta+27=0\,</math>

同时，将 ''a''&alpha; + ''b''&beta; 乘以理想数 &iota; 后就会得到非主理想 2''a'' + ''by''。

==历史==

库默尔首先在1844年发表了分圆域中唯一分解定理不成立的性质。1847年，文章在[[约瑟夫·刘维尔]]的杂志上发表。在接下来的1846年和1847年里，库默尔发表了他的主要定理：理想素数的唯一分解定理。

库默尔的理想数概念在其后的四十年间被[[克罗内克]]和[[戴德金]]独立地发展。戴德金在试图直接推广理想数概念时遇到了巨大的困难，最终导致他发展出了[[模]]理论和[[理想 (环论)|理想论]]。克罗内克则深化了型理论（[[二次型]]的推广）和[[因子]]理论来解决。戴德金的理论发展成了后来的[[环论]]和[[抽象代数]]，而克罗内克的理论则成为了[[代数几何]]中的有力工具。

==参考来源==
*Nicolas Bourbaki, ''Elements of the History of Mathematics.'' Springer-Verlag, NY, 1999.
*Harold M. Edwards, ''Fermat's Last Theorem. A genetic introduction to number theory.'' Graduate Texts in Mathematics vol. 50, Springer-Verlag, NY, 1977.
*C.G. Jacobi, ''Über die complexen Primzahlen, welche in der theori der Reste der 5ten, 8ten, und 12ten Potenzen zu betrachten sind,'' Monatsber. der. Akad. Wiss. Berlin (1839) 89-91.
*E.E. Kummer, ''De numeris complexis, qui radicibus unitatis et numeris integris realibus constant,'' Gratulationschrift der Univ. Breslau zur Jubelfeier der Univ. Königsberg, 1844; reprinted in ''Jour. de Math.'' 12 (1847) 185-212.
*E.E. Kummer, ''Über die Zerlegung der aus Wurzeln der Einheit gebildeten complexen Zahlen in ihre Primfactoren,'' Jour. für Math. (Crelle) 35 (1847) 327-367.
*John Stillwell, introduction to ''Theory of Algebraic Integers'' by Richard Dedekind. Cambridge Mathematical Library, Cambridge University Press, Great Britain, 1996.
*[https://web.archive.org/web/20080226012103/http://mkd.lyge.cn/zhanzheng/a29/075.htm 库默尔]
*[http://www.math.ust.hk/excalibur/v4_n4.pdf 费马最后定理] {{Wayback|url=http://www.math.ust.hk/excalibur/v4_n4.pdf |date=20210410105144 }}

==外部链接==
*[http://space.cenet.org.cn/user1/1267/6240.html 戴德金对理想数理论的推广]{{dead link|date=2018年3月 |bot=InternetArchiveBot |fix-attempted=yes }}



[[Category:代数数论]]
[[Category:理想]]