The Gaussian integers are the set
In other words, a Gaussian integer is a complex number such that its real and imaginary parts are both integers.
Since the Gaussian integers are closed under addition and multiplication, they form a commutative ring, which is a subring of the field of complex numbers. It is thus an integral domain.
When considered within the complex plane, the Gaussian integers constitute the 2-dimensional integer lattice.
The conjugate of a Gaussian integer a + bi is the Gaussian integer a – bi.
The norm of a Gaussian integer is its product with its conjugate.
The norm of a Gaussian integer is thus the square of its absolute value as a complex number. The norm of a Gaussian integer is a nonnegative integer, which is a sum of two squares. Thus a norm cannot be of the form 4k + 3, with k integer.
The norm is multiplicative, that is, one has
for every pair of Gaussian integers z,w. This can be shown either by a direct check, or by using the multiplicative property of the absolute value of complex numbers.
The units of the ring of Gaussian integers (that is the Gaussian integers whose multiplicative inverse is also a Gaussian integer) are precisely the Gaussian integers with norm 1, that is, 1, –1, i and –i.