释义 |
Euclidean domain An integral domain in which a Division Algorithm holds. Specifically, an integral domain R with a function d:R\\{0}→ℕ such that (i) d(a) ≤ d(ab) for all a,b ∈ R\\{0}; (ii) for any a,b ∈ R\\{0} there exist q,r ∈ R such that a = qb + r and d(r)
|