Euclidean Domain

- Pure Mathematics -
Algebra Dictionary
An integral domain equipped with a Euclidean function (a map to the nonnegative integers) that permits a division algorithm producing quotient and remainder with strictly smaller measure for the remainder.