Además, todo ideal de un dominio euclídeo es principal, lo que implica que se puede generalizar el teorema fundamental de la aritmética: todo dominio euclídeo es un dominio de factorización única.