3.II.11G3 . \mathrm{II} . 11 \mathrm{G}

Groups, Rings and Modules
Part IB, 2008

What is a Euclidean domain? Show that a Euclidean domain is a principal ideal domain.

Show that Z[7]\mathbb{Z}[\sqrt{-7}] is not a Euclidean domain (for any choice of norm), but that the ring

Z[1+72]\mathbb{Z}\left[\frac{1+\sqrt{-7}}{2}\right]

is Euclidean for the norm function N(z)=zzˉN(z)=z \bar{z}.