Past exam of the algebra, analysis and differential equations 1 course of the University of Oxford / 2004 / Algebra / 3 / iv / Solution

This is the Gaussian integer ring $\mathbb{Z}[i]$. It contains zero and one and is closed under addition, additive inverses and multiplication, sinceIts operations inherit the ring axioms from $\mathbb{C}$. It is a ring but not a field: the nonzero element 2 has complex inverse $1/2$, which is not a Gaussian integer.