# Euclidean Domains (EDs)

Recall from the Principal Ideal Domains page that an integral domain $(R, +, \cdot)$ is said to be a Principal ideal domain if every ideal $I \subseteq R$ is a principal ideal ($I = $ for some $a \in R$).

We will now look at another special type of integral domain known as a Euclidean domain.

Definition: Let $(R, +, \cdot)$ be an integral domain. Then $R$ is said to be a Euclidean Domain if there exists a function $\delta : R \setminus \{ 0 \} \to \mathbb{N} \cup \{0 \}$ which satisfies the following properties:1) For all $a, b \in R \setminus \{ 0 \}$ we have that $\delta (a) \leq \delta (ab)$.2) For all $a, b \in R \setminus \{ 0 \}$ there exists $q, r \in R$ such that $a = bq + r$ and where $r = 0$ or $\delta (r) . |

For example, for any field $(F, +, \cdot)$, the field of polynomials over $F$, $F[x]$, is a Euclidean domain where $\delta = \deg$. This is because for any polynomials $f, g \in F[x] \setminus \{ 0 \}$ we have that:

(1)

And from the Division algorithm for any $f, g \in F[x] \setminus \{ 0 \}$ there exists polynomials $q, r \in F[x]$ such that $f(x) = g(x)q(x) + r(x)$ and either $r(x) = 0$ or $\delta(r) = \deg(r) .

For another example of a Euclidean domain, consider the integral domain $(\mathbb{Z}[i], +, \cdot)$ where:

(2)

Let $\delta : \mathbb{Z}[i] \setminus \{ 0 \} \to \mathbb{N} \cup \{ 0 \}$ be defined for all $m + ni \in \mathbb{Z}[i]$ by:

(3)

We now verify that $\delta$ satisfies (1) and (2). Let $a +bi, c + di \in \mathbb{Z}[i] \setminus \{ 0 \}$. Then:

(4)

So (1) holds.

### Related post:

- Mathematicians Have Discovered an Entirely New Way to Multiply Large Numbers – ScienceAlert
- S’wak to start teaching Science and Maths in English for Year 1 pupils – The Star Online
- #MathsWeek – Demand for DCU’s MSc in Financial Mathematics set to increase thanks to buoyant Irish economy – Dublin City University
- Students and faculty protest for math building replacement – Ubyssey Online
- GlaxoSmith Kline (GSK): Seeking AI and ML experts for data-driven drug discovery and development – Science Magazine
- Illinois Has 14 Newsweek Best STEM High Schools In 2019 – Patch.com
- Chika Ofili: 12-year-old Nigerian awarded for making mathematics easy to learn – Pulse Ghana
- The Mathematics of Malice: Why Hate Crime Stats Can’t Be Trusted – 5280 | The Denver Magazine
- Olney Junior High takes first place at TMSCA meet – Olney Enterprise
- Veteran mathematics teacher Ruth Moonesinghe announces retirement – Tiger Newspaper