We are all familiar with splitting natural numbers into prime components. This decomposition is unique, except for the order of the factors. We can apply the idea of prime components to many more general sets of numbers.

The **Gaussian integers** are all the complex numbers with integer real and imaginary parts, that is, all numbers in the set

The set forms a two-dimensional lattice in the complex plane. For any element we consider the four numbers as *associates*. The associates of are known as units: .

**Unique Factorization Theorem**

A Gaussian prime is an element of that cannot be expressed as a product of non-unit Gaussian integers. There is a unique factorization theorem for : every Gaussian integer can be factored uniquely as a product of a unit and of Gaussian primes, unique up to replacement of any Gaussian prime by any of its associates and change of the unit.

Why the long-winded language here? We see that the number can be expressed as

Note that and are associates, which are considered as equivalent factors.

Obviously, no number composite in is a Gaussian prime. But what is less obvious is that not every prime in is a Gaussian prime. Let us look at how some small prime numbers may be split into factors in :

Note that all these are primes of the form . This is no accident:* Fermat’s Christmas Theorem* ensures us that a prime may be expressed as the sum of two squares if and only if it is congruent to 1 modulo 4. But the sum of two squares can be expressed as the product of two complex conjugate Gaussian integers, and :

Thus, a prime of the form cannot be a Gaussian prime. On the other hand, every prime of the form is also a Gaussian prime.

**Gaussian Primes in the Complex Plane**

In the figure below we plot the Gaussian primes for and (left panel) and for and (right panel).

** Two Unsolved Problems **

*I. Gauss Circle Problem*

How many Gaussian integers, or unit lattice points, are contained within (or on) a circle of radius centered at the origin? This is equivalent to asking how many numbers with are contained in the closed disk ?

Obviously, each generic unit square aligned with the lattice contains a single lattice point, so the number of points in the circle should be approximately given by the area . The challenge is to bound the error term. Gauss made some strides in solving the problem, but a general solution is lacking.

*II. Gaussian Moat Problem*

Another number theory problem: is it possible to find an infinite sequence of Gaussian primes such that the distance between each consecutive pair is bounded above by some fixed number. The problem is often expressed in terms of finding a route in the complex plane from the origin to infinity, using the primes in the figure above as stepping-stones, with the length of each step never exceeding some uniform bound. This problem remains unsolved.

** Sources **

Fraleigh, John B., 1970: *A First Course in Abstract Algebra*. Addison-Wesley Pub. Co., 447 pp. [See Chapter 34.].

Knill, Oliver (Harvard): Some beautiful images of Gaussian primes can be found on this website.