Saturday, 31 May 2014

Complex Prime Numbers

Complex Prime Numbers

We say a complex number a + ib is complex integer or Gaussian integer if both a,b , the set of real integers. The set of all Gaussian integers is denoted by [i]. Intuitively, the notation means adjoining i = 1 to real integers. What are complex prime numbers?

Recall that a real integer p is prime if p > 1 and is divisible only by 1 and p (itself). Let us extend the definition of primes to complex numbers. Suppose we define a Gaussian integer z [i] to be a complex prime if |z| > 1 and is divisible only by 1 and z (itself). Note that, with such a definition, no Gaussian integer can be a complex prime.

Note that i is a factor of 1 in [i] and hence will divide all Gaussian integer a + ib. This motivates the definition of unit. An unit is a Gaussian integer which is a factor of 1 in [i]. There are exactly four units in [i], viz., 1,1 = i2,i,i = i3. This is an outcome of the fact that, in real integers, there are exactly two units, viz., 1 and 1. It can also be shown that units are, precisely, those elements whose modulus is exactly 1.
Even if units are included as factors in the definition of complex prime, we still notice that no Gaussian integer can be a complex prime. This is because if z is a Gaussian integer such that |z| > 1 then all its multiples by units, viz., z,iz and iz are all factors of z. This motivates the definition of associate. An associate of a Gaussian integer is a multiple of the units in [i].

Definition 1. A complex prime or Gaussian prime is a Gaussian integer z such that |z| > 1 and is divisible only by its units and associates in [i].

A simple observation from the definition is that if a Gaussian integer is a Gaussian prime then all of its associates are also Gaussian prime. Further, the conjugate z̄ of a Gaussian prime z is also a Gaussian prime because if w is a factor of z̄ then w̄ is a factor of z.

We define the map N : [i] {0} as N(z) = a2 + b2 where z = a + ib. Note the following properties of N:

N(z) = N(z̄).
N(z) = zz̄.
N(zw) = zwzw̄ = zz̄ww̄ = N(z)N(w). The map N is multiplicative.

If w divides z in [i], then N(w) divides N(z) in because z = ww1, for some w1 [i], and N(z) = N(w)N(w1).

Let z := a + ib be a Gaussian integer such that either a = 0 or b = 0 and the non-zero, say a, satisfies a2 > 1, i.e., z = a or z = ia. Without loss of generality, we shall assume a > 1. When is z prime? Equivalently, what are the positive real integers which are Gaussian prime? Obviously, every positive real composite is not a Gaussian prime. Therefore, the question reduces to asking if every real prime is a Gaussian prime. A real prime p can fail to be a Gaussian prime only if there is a non-zero, non-real Gaussian integer w that divides p, i.e., p = N(w). Thus, a real prime fails to be a Gaussian prime only if it is sum of two squares. For instance, the first real prime 2 = 12 + 12 is not a Gaussian prime because 2 = (1 + i)(1 i).

Is every odd prime expressible as sum of squares of integers? For instance, 3 is not expressible as sum of squares of two integers. Therefore, 3 is a Gaussian prime. What are the odd primes which can be expressed as sum of two squares? Observe that any odd prime is either 1 modulo 4 or 3 modulo 4.

Theorem 1 (Fermats theorem on sums of two square). An odd prime p is uniquely expressible as p = a2 + b2, for some a,b , iff p 1(mod 4).

Proof. Let us suppose p = a2 + b2, for some a,b . p being odd is either 1 modulo 4 or 3 modulo 4. Any perfect square is either 0 modulo 4 or 1 modulo 4. Thus a2 + b2 is either 0, 1 or 2 modulo 4. Therefore p is 1 modulo 4. The converse part of the proof is quite involved, so we skip it. □

Therefore, we conclude that any odd prime that is 3 modulo 4 is a Gaussian prime. For example, 3, 7, 11, 19, are all Gaussian primes. Alternately, any odd prime that is 1 modulo 4 is not a Gaussian prime. For example, 2, 5, 13, 17, 29, are all not Gaussian primes. So, what are the complex primes other than these real primes?

Theorem 2. A Gaussian integer z with |z| > 1 and non-zero real and imaginary parts is a Gaussian prime iff N(z) is a prime in .

Proof. Let z be a Gaussian prime. Then z̄ is also a Gaussian prime. If N(z) is not a prime in then it has a positive divisor 1 < d < N(z) which also divides either z or z̄ because N(z) = zz̄ contradicting the Gaussian primality of z. Conversely, let N(z) be a prime in . Suppose z is not a Gaussian prime. Then it has non-trivial factors v and w and, hence, v̄ and w̄ are non-trivial factors of z̄. Thus, zz̄ and ww̄ are non-trivial real factors of N(z), a contradiction. □

Now that we have understood complex primes, we ask: is any Gaussian integer decomposable as product of Gaussian primes? In other words, we seek the analogues of the prime factorization theorem and the fundamental theorem of arithmetic for positive real integers.

Theorem 3 (Prime Factorization Theorem). Any number n such that n > 1 is either prime or can be decomposed as a product of prime numbers.

The decomposition in to product of primes is unique and is called the fundamental result of arithmetic.

Do we have similar results for Gaussian integers? The answer is in affirmative, as long as, we bear in mind that unique factorisation is uniqueness up to multiplication with units 1,i,i2,i3. The unique prime factorization is obvious for Gaussian integers on real and imaginary line. For instance, any real non-prime positive integer has the unique factorisation n = p1a1p kak. If any of the real prime pis are not Gaussian prime then they have a Gaussian prime decomposition as discussed above and this factorization is unique up to multiplication by units. For negative integers n with n > 0, the factorization is the unit 1 multiplied with the factorization of n. For in with n it is still a multiple of the unit i or i. The unique factorisation can also be shown for any Gaussian integer. Therefore, we have the general result:

Theorem 4 (Unique Factorization Theorem). Any Gaussian integer z with N(z) > 1 can be decomposed as a product of Gaussian primes and the decomposition is unique up to associated Gaussian primes.

The discussion in this article are protoypes of algebraic entites like rings, prime ideals, unique factorization domains, class number etc. Class number 1 corresponds to unique factorization property (UFP). [i] is also related to Pythagorean triples. Similar to [i], one may consider other quadratic ring [m], for m . Note that m = 0 corresponds to and m = 1 corresponds to [i]. The quadratic rings [m] are useful in the study of Pell’s equation

x2 my2 = 1.

The solution to Pell’s equation are the unit norm elements od [m]. For m > 0, [m] and, for m < 0, [m] We know, for both m = 0 and m = 1 the corresponding ring of integers satisfies UFP. Thus, one is tempted to conjecture that [m] satisfies the UFP, for all m . But the answer is in negation. For instance, [5] do not satisfy UFP. The number 6 [5] has two different prime decomposition, viz., 6 = 2 × 3 = (1 + 5)(1 5). Check that each of the four factors is a prime in [5]. In fact, it has been shown that there are exactly nine negative integers, viz., 1,2,3,7,11,19,43,67,163 for which the UFP holds true. These are called Heegner numbers. It is an open problem whether there are finite number of positive integers for which UFP is true in [m].