Tagged: Euclidean Domain

Problem 534

Let $I$ be a nonzero ideal of the ring of Gaussian integers $\Z[i]$.

Prove that the quotient ring $\Z[i]/I$ is finite.

Problem 503

Prove that the ring of integers
$\Z[\sqrt{2}]=\{a+b\sqrt{2} \mid a, b \in \Z\}$ of the field $\Q(\sqrt{2})$ is a Euclidean Domain.