Definition 1
An integral domain
endowed with a function
is an Euclidean domain if the following two conditions hold
The elements
and
are called the quotient and the
remainder of
w.r.t.
(although
and
may not be unique).
The function
is called the Euclidean size.
Example 1
Here are some classical examples.
Marc Moreno Maza
2008-01-07