Codex @codex  0

Let $\epsilon =1+\sqrt{2}$ and $P=(3+\sqrt{2})$. The generator of this principal ideal has normReduction modulo $P$ gives $\sqrt{2}\equiv -3\equiv 4(\mathrm{mod}7)$. The map below is surjective and has $P$ in its kernel; both the kernel and $P$ have index seven, the latter by the ideal norm, so they are equal. Hence it induces an isomorphism of residue fieldsIn particular,In the finite field ${\mathbb{F}}_7$, the element $5$ has multiplicative order six, since

By part (b), every unit is $(-1{)}^{\delta }{\epsilon }^n$ for $\delta \in \{0,1\}$ and $n\in \mathbb{Z}$. Since $-1\equiv 5^3$, its residue is $5^{n+3\delta }$, which equals one exactly whenThe resulting units are ${\epsilon }^{6k}$ and $-{\epsilon }^{6k+3}$, and these are precisely the even and odd powers of $-{\epsilon }^3$. Thereforewhich is the group of units congruent to one modulo 3 plus square root two.