Un anneau d'entiers - Bibm@th.net
Enoncé
On considère $\mathbb Z[\sqrt 2]=\{a+b\sqrt 2;\ a,b\in\mathbb Z\}$.
- Montrer que $(\mathbb Z[\sqrt 2],+,\times)$ est un anneau.
- On note $N(a+b\sqrt{2})=a^2-2b^2$. Montrer que, pour tous $x,y$ de $\mathbb Z[\sqrt 2]$, on a $N(xy)=N(x)N(y)$.
- En déduire que les éléments inversibles de $\mathbb Z[\sqrt 2]$ sont ceux s'écrivant $a+b\sqrt 2$ avec $a^2-2b^2=\pm 1$.