Originally Posted by

**Deadstar** In this part, you may assume any facts about the factorisation theory of Z[i], the ring of Gaussian Integers, and of Z provided that you state clearly the properties that you are using.

Let p be an integer prime for which there is an element a in Z with $\displaystyle a^2 + 1 = p$. Write down a factorisation of p in Z[i] and show that it is a proper factorisation (that is, neither factor is a unit of Z[i]). Deduce that p is not a prime in the Gaussian integers. Show that the factors of p that you obtained are primes in Z[i].

Thoughts...

p = (a + i)(a - i)

I'm not certain about this but i think that a prime cant be a unit? So in Z that would be $\displaystyle \pm 1$?

If so then $\displaystyle a \neq 0$ hence since the only units in Z[i] are 1,-1,i ,-i. Neither factor is not a unit, i.e. proper.

p is not prime since p doesn't divide either factor. This is because $\displaystyle a \pm i$ is imaginary and p is real.

Showing $\displaystyle a \pm i$ are primes in Z[i]...

a + bi is prime if $\displaystyle a^2 + b^2$ is an integer prime of the form 4k+1. So how do i show $\displaystyle a^2 + 1$ is of the form 4k+1?

Actually a thought has just occurred... Since $\displaystyle a^2 + 1$ is prime, $\displaystyle a^2$ has to be even, i.e. a is even. So let a be of the form 2n. Then we have $\displaystyle (2n)^2 + 1 = 4k + 1$ so $\displaystyle 4n^2 = 4k$, hence $\displaystyle k = n^2$? So... ?

One final note... $\displaystyle a^2 + 1$ could be even, but only if a=1, since 2 is the only even prime. But 1+i and 1-i are primes in Z[i] so that takes care of the a=odd case.