La ringen være euklidisk med euklidisk vurdering . Da gjelder: er en prinsipalidealdomene og en faktoriell ring, men omvendingene gjeler ikke. Om heltallet er minimum til da gjelder at om og kun om er en enhet. Euklids algoritme kan tillempes i ringen.