Now, let $a, b \in Z[\sqrt{d}]$ such that $ab$ is a unit. This means that there exists an element $c \in Z[\sqrt{d}]$ such that $(ab)c = 1$.
We want to show that $a$ and $b$ are units, i.e., there exist elements $p, q \in Z[\sqrt{d}]$ such that $ap = 1$ and
Show more…