Gaussian Integers form Subring of Complex Numbers

Theorem
The set of Gaussian integers $$\Z \left[{\imath}\right]$$, under the operations of complex addition and complex multiplication, forms a subring of the set of complex numbers $$\C$$.

Proof
We will use the Subring Test.

This is valid, as the set of complex numbers $\C$ forms a field, which is by definition itself a ring.

We note that $$\Z \left[{\imath}\right]$$ is not empty, as (for example) $$0 + 0 \imath \in \Z \left[{\imath}\right]$$.

Let $$a + b \imath, c + d \imath \in \Z \left[{\imath}\right]$$.

Then we have $$- \left({c + d \imath}\right) = -c - d \imath$$, and so:

$$ $$ $$

As $$a, b, c, d \in \Z$$ and $$\Z$$ is a ring, it follows that $$a - c \in \Z$$ and $$b - d \in \Z$$, and hence $$\left({a - c}\right) + \left({b - d}\right)\imath \in \Z \left[{\imath}\right]$$.

Now consider $$\left({a + b \imath}\right) \left({c + d \imath}\right)$$.

By the definition of complex multiplication, we have:
 * $$\left({a + b \imath}\right) \left({c + d \imath}\right) = \left({a c - b d}\right) + \left({ad + bc}\right) \imath$$

As $$a, b, c, d \in \Z$$ and $$\Z$$ is a ring, it follows that $$a c - b d \in \Z$$ and $$ad + bc \in \Z$$ and so $$\left({a + b \imath}\right) \left({c + d \imath}\right) \in \Z \left[{\imath}\right]$$.

So by the Subring Test, $$\Z \left[{\imath}\right]$$ is a subring of $$\C$$.

Note
$$\Z \left[{\imath}\right]$$ is not a subfield of $$\C$$, as $$\Z \left[{\imath}\right]$$ is not in itself a field.

This is demonstrated by counterexample, as follows.

Thus, although $$2 + 0 \imath \in \Z \left[{\imath}\right]$$, there is no $$z \in \Z \left[{\imath}\right]$$ such that $$x \left({2 + 0 \imath}\right) = 1 + 0 \imath$$.

The only such $$z$$ is $$\frac 1 2 + 0 \imath \notin \Z \left[{\imath}\right]$$.