Ring of integers of Q of square root two (${\mathcal{O}}_{\mathbb{Q}(\sqrt{2})}=\mathbb{Z}[\sqrt{2}]$)

Since $2\not\equiv 1(\mathrm{mod}4)$, the ring of integers of $\mathbb{Q}(\sqrt{2})$ iswith integral basis $1,\sqrt{2}$ and field discriminant eight. Multiplication is ordinary polynomial multiplication followed by $(\sqrt{2}{)}^2=2$:For example, $(1+\sqrt{2}{)}^2=3+2\sqrt{2}$ and $(1+\sqrt{2}{)}^3=7+5\sqrt{2}$. The integer coefficients stay integral, as required for a ring.

Under the two field embeddings, the element $a+b\sqrt{2}$ becomes the point $(a+b\sqrt{2},a-b\sqrt{2})$. The integral basis vectors become $(1,1)$ and $(\sqrt{2},-\sqrt{2})$, giving a Minkowski embedding of a real quadratic field. Their determinant has absolute value $2\sqrt{2}=\sqrt{8}$, consistent with the field discriminant.

The ring $\mathbb{Z}[\sqrt{2}]$ is a Euclidean domain for the absolute field norm. Approximate both rational coefficients of a quotient by nearest integers. If the errors are $u,w\in [-1/2,1/2]$, then $|u^2-2w^2|\le 1/2<1$, giving a remainder of strictly smaller absolute norm. In particular this ring is a principal ideal domain and has trivial ideal class group.