Domain Euclidean selalu merupakan domain ideal utama (PID), domain integral di pat seutiap idelan adalah ideal utama.