理想数
性质
举例来说,设 y 为方程 y + y + 6 = 0 的根,则扩域Q(y){\displaystyle {\mathbb {Q}}(y)}中的整数环为 Z[y]{\displaystyle {\mathbb {Z}}[y]},即所有 a + by 形式的数,其中a 和 b 为一般的整数。环中一个非主理想的例子是 {2a+yb | (a,b)∈ ∈ -->Z2}{\displaystyle \left\{2a+yb\ |\ (a,b)\in \mathbf {Z} ^{2}\right\}},但这个理想的立方为主理想。实际上这个环的理想类群是一个3阶的循环群。与此对应的类域是添加方程w − w − 1 = 0的根 w 到Q(y){\displaystyle {\mathbb {Q}}(y)}而获得的扩域:Q(y,w){\displaystyle {\mathbb {Q}}(y,w)}。非主理想 2a + yb 的一个理想数是 ι ι -->=(− − -->8− − -->16y− − -->18w+12w2+10yw+yw2)/23{\displaystyle \iota =(-8-16y-18w+12w^{2}+10yw+yw^{2})/23}。由于满足 ι ι -->6− − -->2ι ι -->5+13ι ι -->4− − -->15ι ι -->3+16ι ι -->2+28ι ι -->+8=0{\displaystyle \iota ^{6}-2\iota ^{5}+13\iota ^{4}-15\iota ^{3}+16\iota ^{2}+28\iota +8=0},它是一个代数整数。
类域的整数环中的所有乘以 ι 会得到Z[y]{\displaystyle {\mathbb {Z}}[y]}中元素的元素都具有 aα + bβ 的形式,其中
α 和 β 也是代数整数,满足:
和
同时,将 aα + bβ 乘以理想数 ι 后就会得到非主理想 2a + 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.
库默尔
费马最后定理
免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。
- 有价值
- 一般般
- 没价值