Carl Friedrich Gauss and Leonhard Euler both proposed extensions of integers that used irrational numbers that they were able to use to make elegant proofs for Fermat's Last Theorem.

A set of integers is extended by including additional values. In standard integers, the values are positive and negative whole numbers and 0. In extended integers, we can include additional values such as i, 5i, etc. Gaussian integers include all of the standard integers plus the addition of multiples of i. In other words, a Gaussian Integer is defined by two integers: a,b where each Gaussian integer can be represented a + bi.

In my previous blog, I spoke about using a special function, the norm, to reason about Gaussian Integers. I will now present a few interesting lemma. To distinguish between Gaussian Integers and standard integers, I will use Greek letters to represent Gaussian Integers and Latin letters to represent standard integers:

**Lemma 1: Norm(α) = 0 if and only if α = 0**

(1)

**Norm(α) = Norm(a + bi) = (a + bi)(a - bi) = a**

^{2}+ b^{2}(2) But if

**a ≠ 0**, then

**a**.

^{2}+ b^{2}> 0(3) And the same holds true if

**b ≠ 0.**

QED

In mathematical notation, the conjugate of a Gaussian Integer is represented with an overline over it. So, if

**α**is a Gaussian Integer, then:

**α**is the conjugate. This is important since the norm is equal to a Gaussian Integer multiplied by its conjugate.

**Lemma 2: (α * β) = α * β**

(1)

**(α * β) = (a + bi) * (c + di) = (ac - bd) + i(ad + bc)**

(2) So,

**α * β = (ac - bd) - i(ad + bc)**

(3) And,

**α * β = (a - bi) * (c - di) = (ac - bd) - i(ad + bc)**.

QED

**Lemma 3: Norm(α*β) = Norm(α) * Norm(β)**

(1)

**Norm(α*β) = (α*β)(α*β)**=

(2)

**= α*β*α*β**[ From Lemma 2 ]

(3)

**= (α*α)(β*β)**

(4)

**=Norm(α)*Norm(β)**

QED

In standard integers, we speak about

**1, -1**as being units -- that is, numbers which divide all other numbers. This is important because when we are discussing prime numbers or relatively prime numbers, we are necessarily talking about numbers other than 0 or the units.

In the realm of Gaussian Integers, a unit is defined as any number that divides

**1**.

**Lemma 4: if α is a unit, then Norm(α) = ±1**

Proof:

(1) If

**α**is a unit, then there exists another value

**β**such that

**α * β = 1**.

(2) Now,

**Norm(α * β) = Norm(1) = 1 = Norm(α) * Norm(β)**

(3) But if either

**Norm(α) ≠ ±1**or

**Norm(β) ≠ ± 1**, then the

**Norm(α * β)**couldn't equal

**1**(since there are no other rational integers that multiply to 1).

(4) So,

**Norm(α)**must equal

**± 1**.

QED

Corollary 4.1: The only units for Gaussian Integers are i,-i,1,-1

Proof:

(1) N(i) = i*(-i) = 1 [See Definition 2 here for details if needed]

(2) N(-i) = (-i)*i = 1 [See Definition 2 here for details if needed]

(3) N(1) = 1*1 = 1 [See Definition 2 here for details if needed]

(4) N(-1) = (-1)*(-1) = 1 [See Definition 2 here for details if needed]

(5) If N(α) is a unit where α = a + bi, then:]

(a + bi)(a - bi) = a

^{2}+ b

^{2}= 1

(6) But this can only occur if a=0 or b=0 since:

(a) if a ≠ 0 and b≠ 0

(b) Then abs(a) ≥ 1 and abs(b) ≥ 1

(c) And, a

^{2}+ b

^{2}≥ 2

(7) But then the only possible units are 1, -1, i, -i

(a) if a = 0, then b = ± 1 so that we have α = i or α = -i

(b) if b=0, then a = ± 1 so that we have α=1 or α=-1

QED

We are now ready to define a Gaussian Prime. A Gaussian prime is any Gaussian Integer which is not 0 or a unit which is only divisible by a itself or a unit.

Lemma 5: if Norm(α) is a standard prime, then α is a prime.

(1) So, we start with

**Norm(α) = p**which is a standard prime.

(2) Assume

**α**is not a prime.

(3) Then there exists two Gaussian Integers:

**β, γ**that are not units such that:

**α = β * γ**.

(4) And then

**Norm(β * γ) = Norm(β) * Norm(γ)**[By Lemma 3 above]

(5) Since Norm is a mapping function to standard integers, we know that there exists

**b,g**such that:

**b = Norm(β)**

g = Norm(γ)

g = Norm(γ)

(6) We know that

**Norm(β * γ) = p**and we know that

**b,q ≠ 1**[By Lemma 4, since they are not units]

(7) But then

**p = b * g**which is impossible since

**p**is a prime.

(8) Therefore, we reject our assumption in (2).

QED

Lemma 6: (α/β) = α / β

(1) There exists a,b,c,d such that α = a + bi. β = c + di.

(2) (α/β) =

[From Lemma 2 above]

= (a + bi) / (c + di)

QED

Lemma 7: Norm(α / β) = Norm(α) / Norm(β)

(1) Norm(α / β) = (α / β) * (α / β) [Definition of Norm]

= (α / β) * α / β = Norm(α) / Norm (β)

QED

Corollary 7.1: If α divides β, then Norm(α) divides Norm(β)

Proof:

(1) Assume that α divides β.

(2) Then there exists an integer γ such that γ = β / α.

(3) By the definition of a norm (see here), Norm(γ) is a rational integer.

(4) But then Norm(β)/Norm(α) = Norm(γ) which means that Norm(α) must divide Norm(β).

QED

In my next blog, I will prove that Gaussian Integers possess unique factorization.

The lemmas from today's blog were taken from an excellent book by Harold M. Stark called An Introduction to Number Theory .