Euclidean domain

Commutative ring with an Euclidean division