About the ring $\{a+b\sqrt{2}\mid a,b\in \Bbb Z\}$ Decide whether the $\{a+b\sqrt{2} \mid a,b \in \Bbb Z\}$ is a ring with usual addition and multiplication. If a ring is formed, state whether the ring is commutative, whether it has unity, and whether it is a field.
I am confused about how this is a ring closed under the binary operation of "+". If a = b = 1, then don't we have some number that is not in the integers? Thanks for your help!

Consider arbitrary elements $a_1+b_1\sqrt{2}$ and $a_2+b_2\sqrt{2}$ with $a_1,a_2,b_1,b_2 \in \mathbb{Z}$.
\begin{equation}
a_1+b_1\sqrt{2} + a_2+b_2\sqrt{2} = (a_1+a_2)+(b_1+b_2)\sqrt{2}.
\end{equation}
Since $a_1,a_2,b_1,b_2 \in \mathbb{Z}$, $a_1+a_2 \in \mathbb{Z}$ and $b_1+b_2\in \mathbb{Z}$ (closure of integers under $+$).
Therefore $(a_1+a_2)+(b_1+b_2)\sqrt{2} \in \{a+b\sqrt{2} | a,b \in \mathbb{Z}\}$, and the set is closed under $+$.
