Uniquely Euclidean norm

From Commalg

This article defines a property that can be evaluated for a Euclidean norm on a commutative unital ring


BEWARE! This term is nonstandard and is being used locally within the wiki. For its use outside the wiki, please define the term when using it.
Learn more about terminology local to the wiki OR view a complete list of such terminology

Definition

A Euclidean norm on a commutative unital ring is termed uniquely Euclidean if it satisfies the following: for any two elements in the ring, there is only one possibility for the corresponding remainder (there may be multiple possibilities for the quotient, if the ring is not an integral domain).

Relation with other properties

Stronger properties