The Ring $\Z[\sqrt{2}]$ is a Euclidean Domain

Problems and solutions of ring theory in abstract algebra

Problem 503

Prove that the ring of integers
\[\Z[\sqrt{2}]=\{a+b\sqrt{2} \mid a, b \in \Z\}\] of the field $\Q(\sqrt{2})$ is a Euclidean Domain.

LoadingAdd to solve later


First of all, it is clear that $\Z[\sqrt{2}]$ is an integral domain since it is contained in $\R$.

We use the norm given by the absolute value of field norm.
Namely, for each element $a+\sqrt{2}b\in \Z[\sqrt{2}]$, define
\[N(a+\sqrt{2}b)=|a^2-2b^2|.\] Then the map $N:\Z[\sqrt{2}] \to \Z_{\geq 0}$ is a norm on $\Z[\sqrt{2}]$.
Also, it is multiplicative:
\[N(xy)=N(x)N(y).\] Remark that since this norm comes from the field norm of $\Q(\sqrt{2})$, the multiplicativity of $N$ holds for $x, y \in \Q(\sqrt{2})$ as well.

We show the existence of a Division Algorithm as follows.
\[x=a+b\sqrt{2} \text{ and } y=c+d\sqrt{2}\] be arbitrary elements in $\Z[\sqrt{2}]$, where $a,b,c,d\in \Z$.

We have
where we put
\[r=\frac{ac-2bd}{c^2-2d^2} \text{ and } s=\frac{bc-ad}{c^2-2d^2}.\]

Let $n$ be an integer closest to the rational number $r$ and let $m$ be an integer closest to the rational number $s$, so that
\[|r-n| \leq \frac{1}{2} \text{ and } |s-m| \leq \frac{1}{2}.\]


Then we have

It follows that
yt=x-(n+m\sqrt{2})y \in \Z[\sqrt{2}].

Thus we have
x=(n+m\sqrt{2})y+yt \tag{*}
with $n+m\sqrt{2}, yt\in \Z[\sqrt{2}]$.

We have
N(t)&= |(r-n)^2-2(s-m)^2|\\
&\leq |r-n|^2+2|s-m|^2\\
& \leq \frac{1}{4}+2\cdot\frac{1}{4}=\frac{3}{4}.

It follows from the multiplicativity of the norm $N$ that
N(yt)=N(y)N(t)\leq \frac{3}{4}N(y)< N(y). \end{align*} Thus the expression (*) gives a Division Algorithm with quotient $n+m\sqrt{2}$ and remainder $yt$.

Related Question.

Problem. In the ring $\Z[\sqrt{2}]$, prove that $5$ is a prime element but $7$ is not a prime element.

For a proof of this problem, see the post “5 is prime but 7 is not prime in the ring $\Z[\sqrt{2}]$“.

LoadingAdd to solve later

More from my site

You may also like...

3 Responses

  1. Eli says:

    You write: “It follows that $yt=x-(n+m\sqrt{2})\in \Z[\sqrt{2}]$.” I think you dropped a factor of $y$. Shouldn’t it be $yt=x-(n+m\sqrt{2})y^2 \in \Z[\sqrt{2}]? I think this might affect the rest of your solution.

    • Yu says:

      Dear Eli,

      Thank you for catching a typo. I modified the proof.
      (Previously, there was an extra “$y$” in the expression for $t$ and one $y$ is missing in the expression for $yt$.)

  1. 07/08/2017

    […] For a proof of this fact, see that post “The Ring $Z[sqrt{2}]$ is a Euclidean Domain“. […]

Leave a Reply

Your email address will not be published. Required fields are marked *

More in Ring theory
Problems and solutions of ring theory in abstract algebra
Every Ring of Order $p^2$ is Commutative

Let $R$ be a ring with unit $1$. Suppose that the order of $R$ is $|R|=p^2$ for some prime number...