理想数,
库默尔首先在1844年发表了分圆域中唯一分解
定理不成立的性质,1847年,文章在
约瑟夫·刘维尔的杂志上发表。在接下来的1846年和1847年里,库默尔发表了他的主要定理:理想素数的唯一分解定理。
举例来说,设 y为
方程 的根,则扩域中的整数环为,即所有 形式的数,其中a和 b为一般的整数。环中一个非主理想的例子是,但这个理想的立方为主理想。实际上这个环的理想类群是一个3阶的循环群。与此对应的类域是添加方程的根 w到而获得的扩域:。非主理想的一个理想数是 。由于满足,它是一个
代数整数。
库默尔的理想数概念在其后的四十年间被
克罗内克和
戴德金独立地发展。戴德金在试图直接推广理想数概念时遇到了巨大的困难,最终导致他发展出了模理论和理想论。克罗内克则深化了型理论(二次型的推广)和因子理论来解决。戴德金的理论发展成了后来的
环论和抽象代数,而克罗内克的理论则成为了
代数几何中的有力工具。