En matemáticas, más concretamente en álgebra abstracta y teoría de anillos, un dominio euclídeo o anillo euclídeo (usualmente abreviado DE) es un anillo conmutativo sobre el que se puede definir una función euclidea (explicada más adelante) que permite generalizar la noción de división euclidea usual de los números enteros.