Ring of integers of Q of square root two (source code)

= Ring of integers of Q of square root two
{title2=$\mathcal O_{\mathbb Q(\sqrt2)}=\mathbb Z[\sqrt2]$}

Since $2\not\equiv1\pmod4$, the ring of integers of $\mathbb Q(\sqrt2)$ is $\mathbb Z[\sqrt2]$, with integral basis $1,\sqrt2$ and field discriminant eight.