Un dominio euclidiano es siempre un dominio de ideales principales (DIP), un dominio integral en el que cada ideal es un ideal principal.