Un dominio euclideo l’è sempre un dominio principałe ideałe (PID), un dominio integrałe in cui ogni ideałe l’è un ideałe principałe.