Difference between revisions of "Euclidean domain"

m (Add category)
(Formal definition/examples)
Line 1: Line 1:
A '''Euclidean domain''' (or '''Euclidean ring''') is a type of [[ring]] in which the [[Euclidean algorithm]] can be used. In particular, this requires that the ring have no [[zero divisor]]s.
+
A '''Euclidean domain''' (or '''Euclidean ring''') is a type of [[ring]] in which the [[Euclidean algorithm]] can be used.
 +
 
 +
Formally we say that a ring <math>R</math> is a Euclidean domain if:
 +
* It is an [[integral domain]].
 +
* There a function <math>N:R\setminus\{0\}\to \mathbb Z_{\ge0}</math> called a '''Norm''' such that for all nonzero <math>a,b\in R</math> there are <math>q,r\in R</math> such that <math>a = bq+r</math> and either <math>N(r)<N(b)</math> or <math>r=0</math>.
 +
 
 +
Some common examples of Euclidean domains are:
 +
* The ring of [[integers]] <math>\mathbb Z</math> with norm given by <math>N(a) = |a|</math>.
 +
* The ring of [[Gaussian integers]] <math>\mathbb Z[i]</math> with norm given by <math>N(a+bi) = a^2+b^2</math>.
 +
* The [[polynomial ring|ring of polynomials]] <math>F[x]</math> over any [[field]] <math>F</math> with norm given by <math>N(p) = \deg p</math>.
  
 
==See also==
 
==See also==

Revision as of 14:59, 22 August 2009

A Euclidean domain (or Euclidean ring) is a type of ring in which the Euclidean algorithm can be used.

Formally we say that a ring $R$ is a Euclidean domain if:

  • It is an integral domain.
  • There a function $N:R\setminus\{0\}\to \mathbb Z_{\ge0}$ called a Norm such that for all nonzero $a,b\in R$ there are $q,r\in R$ such that $a = bq+r$ and either $N(r)<N(b)$ or $r=0$.

Some common examples of Euclidean domains are:

See also

This article is a stub. Help us out by expanding it.