Every Euclidean Domain is a Principal Ideal Domain
Recall from the Euclidean Domains (EDs) page that if $(R, +, *)$ is 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 \}$ that satisfies the following properties:
- 1) For all $a, b \in R \setminus \{ 0 \}$ we have that:
(1)
\begin{align} \quad \delta (a) \leq \delta (ab) \end{align}
- 2) For all $a, b \in R \setminus \{ 0 \}$ there exists $q, r \in R$ such that:
(2)
\begin{align} \quad a = bq + r \end{align}
- and such that $r = 0$ or $\delta (r) .
We now prove an important result which says that every Euclidean domain is a principal ideal domain.
Theorem 1: Every Euclidean domain is a principal ideal domain. |
- Proof: Let $(R, +, \cdot)$ be a Euclidean domain. Let $I \subseteq R$ be a nonzero ideal of $R$. Let $d \in I$ with $d \neq 0$ be any element such that $\delta (d)$ is minimum in $I$.
- We claim that $I = dR = \{ dx : x \in R \}$.
- Since $d \in I$ we have that:
(3)
\begin{align} \quad dR \subseteq I \quad (*) \end{align}
- Now let $a \in I$ with $a \neq 0$. Since $R$ is a Euclidean domain there exists elements $q, r \in R$ such that $a = dq + r$ and $r = 0$ or $\delta (r) . Now we have that $r = a – dq$ where $a \in I$ and $-dq \in I$, so $r = a – dq \in I$. From the minimality of $\delta (r)$ we have that:
(4)
\begin{align} \quad \delta (r) \geq \delta (d) \end{align}
- Hence, since $\delta (r) \not we must have that $r = 0$. So $0 = a – dq$. Hence $a = dq$. So $a \in dR$. Thus:
(5)
\begin{align} \quad dR \supseteq I \quad (**) \end{align}
- From $(*)$ and $(**)$ we conclude that $I = dR$. In other words, $I =
$ . So every Euclidean domain is a principal ideal domain. $\blacksquare$
Related post:
- Picture this: ICERM program explores imagery of mathematics – Mirage News
- ‘It’s Your Prize Sir, Not Mine’: When Pakistan’s Nobel Winning Physicist Abdus Salam Honoured His Indian Teacher – Swarajya
- ‘It’s Your Prize Sir, Not Mine’: When Pakistan’s Nobel Winning Physicist Abdus Salam Honoured His Indian Teacher – Swarajya
- Science and history collide – Metro Newspaper UK
- First motion poster out: Vidya Balan celebrates Shakuntala Devi on World’s Mathematics Day – Times of India
- Alan Edelman recognized with 2019 IEEE Computer Society Sidney Fernbach Award – MIT News
- CBSE Class 10 Mathematics-Basic Sample Question Paper 2020 with Solution – Jagran Josh
- Science Hill student scores perfect 36 on ACT, looks to future in mathematics – Johnson City Press (subscription)
- Science Hill student scores perfect 36 on ACT, looks to future in mathematics – Johnson City Press (subscription)
- Top student secures 16 Grade 1’s in CAPE exams – Loop News Barbados