Proving that the Gaussian integers have no zero divisors The Gaussian integers are the ones of the form $m + ni$ where $m,n$ are both integers. I need to show that given any two Gaussian integers $a$ and $b$, $ab = 0$ must imply that $a = 0$ or $b = 0$.
I tried to show it by contradiction. Assume we have $a \neq 0 $ and $b \neq 0$ such that $ab= 0$. Then $(m_1 + n_1i)(m_2+n_2i) = 0$, hence $(m_1m_2 - n_1n_2) + (m_1n_2 + m_2n_1)i = 0$, hence $ m_1m_2 = n_1n_2$ and $m_1n_2 = -m_2n_1$. We then multiply these two equations together to get $m_1^{2}(m_2n_2) = -n_1^{2}(m_2n_2)$ but then I can't really do the cancellation law because maybe $m_2 = 0$ or $n_2 = 0$. I am stuck. Any suggestions?
 A: Here is one approach. Define the norm $N: \mathbb{Z}[i] \rightarrow \mathbb{Z}$ by $N(a+bi) = (a+bi)(a-bi) = a^{2}+b^{2}$. Here are some steps, which I leave you to prove, which will together prove your claim.
$1)$ Prove that the norm $N$ is multiplicative, i.e. for $\alpha, \beta \in \mathbb{Z}[i]$, $N(\alpha\beta) = N(\alpha)N(\beta)$. 
$2)$ Prove that $N(\alpha) = 0$ if and only if $\alpha = 0$. 
$3)$ Finally, using the fact that $\mathbb{Z}$ is an integral domain, use $1$ and $2$ to conclude $\mathbb{Z}[i]$ is an integral domain.
The thing I like about this approach in particular is that defining the norm $N$ can also be used to show the stronger fact that $\mathbb{Z}[i]$ is a Euclidean domain.  
A: You can note that the ring is isomorphic to $\Bbb Z[x]/(x^2+1)$, and that $x^2+1$ is irreducible and prime, so that it generates a prime ideal, and the quotient is a domain.
Or you can do as Derek has suggested and note that for any nonzero $x$, $x\overline{x}\neq 0$ is a nonzero element of $\Bbb Z$, and use that with the equation $xy=0$ to prove one of x and y is zero.
Further hint:
$xy=0$ implies $(x\overline{x})(y\overline{y})=0$. But these are two integers multiplying to zero, so...?
A: Yet another way: The Gaussian integers are clearly a subring of $\mathbb C$: certainly a subset, and the rules for addition and multiplication in the two rings are the same. Since $\mathbb C$ has no zero divisors, neither does the ring of Gaussian integers.
