Gaussian Integers & Division Algorithm Project

By: Clay Kitchings

MATH 6000

(Also EMAT 6690)

 

Motivation for this write-up comes from my MATH 6000 project/assignment on the Gaussian Integers.  This will become a webpage essay for EMAT 6690.  This assignment makes use of the following technologies: TI84 Plus Silver Edition (for efficient multiplication of complex numbers), Geometers Sketchpad (for plotting points and for other graphics). Note: This link will NOT be activated until after 11:00am, Thursday, May 3rd.  No one (teacher, student, or other individual or group) other than Clay Kitchings will view this document in any shape or form until after the 11:00am deadline. 

 

A Gaussian Integer is a complex number a + bi where a and b are both integers. 

 

Let this set be represented by Z[i] = {a+bi |  a, b are in Z}.

 

Like Z and F[x] (and a few other rings) Z[i] has a division algorithm. Our first goal is to see how the division algorithm works:

 

The Division Algorithm, also known as Proposition 3.1 states the following:  Let z = a + bi and w = c + di (z, w, elements of Z[i]), . Then there are Gaussian integers q and r so that z = qw + r with |r|2 < |w|2 (Shifrin, 1996, p. 140).

 

For our first example, let z = 4 + 7i and w = -1 + 4i.

 

For the record, well compute some multiples of w. Well use the TI84 to expedite the process. L2 = L1*w:

 

  

 

  

 

 

1)   On the following grid, we shall mark all of the points in <w>, the ideal generated by w.  Note that the horizontal axis is the real axis and the vertical axis is the imaginary axis (though it is only labeled as a typical x-y plane).

2)   Well connect some of the points in <w> and tile the plane with squares. This process was initiated by drawing the polygon with vertices 0, w, iw, and (1+i)w.

3)   Next, well plot z in the complex plane (as shown below).

 

4)   The yellow-colored point z now lies in the interior of one of the squares above. Since the vertex is in <w> it is of the form qw for some q in Z[i].  The vertex of the square nearest to z is (1-i), so q = 1-i.

 

5)   Now let r = z – qw. What is r? 

 

 

6)   Claim: We have just applied the division algorithm to z and w.

 

Discussion: We have applied the division algorithm because weve expressed z as a product of w and a Gaussian integer plus some remainder (also a Gaussian integer). All of the vertices with blue points are in <w>. The w vertex itself is also highlighted yellow.

 

 

Note (visual observation): we may observe a pattern along each line passing through the points in <w>.  For example, after calculating various multiples of w (i.e., various forms of qw), we find that a pattern exists within the real and imaginary parts of the complex number q. For example, the points which are collinear with w and (1+i)w all have 1 as the real part of q. Well call that line L1.  The parallel line immediately below L1 has 0 for all the real parts of each complex number q. Immediately below and parallel to that line, we find a similar result for the real parts of q, except for now it is -1. As we proceed downward in the plane, we find that for each line the real part of the number q decreases by one. 

 

There is a similar pattern that occurs for those lines which are perpendicular to L1.  As one moves further to the left in the plane, one finds the imaginary part of the number q increases by one (or rather, the coefficient of i increases by one for the complex number q). Moving to the right causes the coefficient of i to decrease by one with each additional line to the right in the plane. This pattern is useful in more quickly determining the vertices of the squares (all of which are in <w>).

 

 

 

Now repeat the steps above with z = -1 + 4i and w = 1 + 2i. Why are we using these numbers? They come from the above problems continuation of the division algorithm.

 

From above, we have the following:

       r = z – qw       However, if we are to continue to divide, we would then repeat the process as follows:

 

       z = w – qw    for some new q, w that are in Z[i].  This process is somewhat analogous to finding the gcd(14, 35) among the integers by using the Euclidean Algorithm. 

 

 

 

 

The above graphic illustrates the complex number w along with the ideal generated by w (or <w>). The pink-colored point z lies in the interior of one of the squares, and it is closest to the vertex (1+i)w. This vertex is a part of <w>, so it is of the form qw for some q in Z[i].  This means q=1+i.

 

Let r = z – qw, and solve for r:       r= (-1+4i) – (1+i)(1+2i)     r= i = (0 + 1i)

 

Calculate gcd(4+7i, -1+4i).

 

z      =     (q)   (w)   +    r

 

4+7i = (-1+4i)(1-i) + (1+2i)

 

-1+4i = (1+2i)(1+i) +   i

1+2i = i(-i+2) + 0

 

So, gcd(4+7i, -1+4i) = i. 

 

Now, write the gcd as a linear combination of (4+7i) and (-1+4i).  Let these two complex numbers be z and w as they were earlier in the problem.  So now we need to write i as a linear combination of z and w.

 

i = w – (1+2i)(1+i)

i = w – [z – w(1-i)] [1+i] = w – [z(1+i) – w(1-i)(1+i)] = w – z(1+i) + w(2) = 3w – z(1+i)

 

So i = (3+0i)(-1+4i) + (4+7i)(-1-i)

 

 

 

Next, we shall find the gcd (7-4i, 1+3i).

 

7-4i = (1+3i)( q ) + r

 

Use a diagram/grid:

 

 

 

Note: z may not have one unique nearest vertex, so this number need not be unique.

 

Take q = -3i. 

 

7-4i = (1+3i)( q ) + r

 

7-4i = (1+3i)(-3i) + r r = -2-i.

 

So,

7-4i = (1+3i)(-3i) + (-2-i)

 

Now we consider dividing (1+3i) and (-2-i):

 

 

It appears Z may actually be one of the vertices of a square in the ideal this time. (Note: this z and w are different from the ones we started with.) The vertex nearest z is (-1-i)w, so q=(-1-i). Lets now divide again:

 

7-4i = (1+3i)(-3i) + (-2-i)

1+3i = (-2-i)(-1-i) + r           where r is some new remainder

r = 0

 

Therefore, the gcd(7-4i, 1+3i) = -2-i. Now we shall write it as a linear combination of z and w:

 

-2-i = z – (-3i)(1+3i)         -2-i = (7-4i) + (3i)(1+3i)

 

 

 

 

 

 

 

References

 

Shifrin, Theodore. (1996). Abstract algebra: A geometric approach. Upper Saddle River, NJ. Prentice Hall.