Euclidean domain

A Euclidean domain is a type of integral domain (a non-zero commutative ring with no zero divisors) that satisfies a certain property similar to the division algorithm in the integers.