En teoría de números , el teorema fundamental de la teoría de ideales en cuerpos numéricos establece que todo ideal propio distinto de cero en el anillo de números enteros de un cuerpo numérico admite factorización única en un producto de ideales primos distintos de cero . En otras palabras, todo anillo de números enteros de un cuerpo numérico es un dominio de Dedekind .