ula_62，中的整数环是formula_63。formula_64都是formula_55中的“素数”。正整数6，作为formula_55中的元素，它的素因数分解有两种方式：有理整数的唯一分解性质在不少代数数域的整数环中失效。这个事实说明了拉梅对费马大定理的证明是错误的。为此库默尔等引进了理想数来作为弥补，由此发展出理想理论。代数数论中一个重要的事实是：formula_55的每个理想都可以唯一表示为素理想的乘积，即为戴德金整环。这种“理想的唯一素分解”可部分弥补“代数整数一般不能唯一素因子分解”的不足，