$\mathbb Z[\sqrt d]$ is not a field.

3k Views Asked by At

How shall I show that $\mathbb Z[\sqrt d]=\{a+b\sqrt d~~\big|a,b\in \mathbb Z\}$ is not a field?

It is an integral domain, so the thing it lacks maybe is every element does not have a multiplicative inverse. How to show this?

2

There are 2 best solutions below

1
On BEST ANSWER

WLOG, $\sqrt{d} \notin \mathbb{Z}$ (otheriwse $\mathbb{Z}[\sqrt{d}] = \mathbb{Z}$ is not a field). Suppose $\sqrt{d}(a + b\sqrt{d}) = 1$. Then $a\sqrt{d} = 1 - bd$ is an integer which is only possible if $a = 0$. So $bd = 1 \implies d = 1$ which is a contradiction.

0
On

Is $2$ invertible in this ring? That is, $1/2\in \mathbb Z[\sqrt d]$?