Find the primes in which have a norm less than 6.
How do you approach this problem? Also how do you prove that you have indeed found ALL primes in which have a norm less than 6?
(so it's complex numbers)
The elements of this field are called Gaussian integers.
Conditions for a Gaussian integer to be prime are listed here : Gaussian Prime -- from Wolfram MathWorld
(note that you're asked for the norm to be less than 6, that is to say )
If is a Gaussian prime then where are Hacker primes. This means for some Hacker prime . And so (by definition) where . Thus, . Since this forces . In the latter case this forces i.e. is a unit and so is associate to a Hacker prime. In the former case is not associate to a Hacker prime. This gives us a necessary condition. Given a Gaussian integer we takes its norm, then for it to be a Gaussian prime it is necessary for the norm to be a Hacker prime or a square of a Hacker prime. Is this also sufficient? The answer is no! Just consider the example with above. However, if the norm is a Hacker prime then it is also sufficient, and this is simple to prove. Say that where is a Hacker prime. If was not prime then where are non-units, therefore, - but this is impossible because cannot be factored non-trivially (since it is a Hacker prime). Therefore the only thing we really ought to check are Gaussian integers which have norm a Hacker prime squared. But as said above those Gaussian primes must be associate to Hacker primes, and so the problem reduces to finding all Hacker primes which remain Gaussian primes. Here is the following result which I will not prove (unless you want it): let be an odd Hacker prime (if then look at example above) if then is not a Gaussian prime and if then is a Gaussian prime.
Now we can solve the problem.
The (up to associates) Hacker primes are: . By above the ones that remain Gaussian primes are just . Since its associates are too Gaussian primes this means: are all Gaussian primes. Now we need to find those so that is a Hacker prime. Since we can restrict the problem to . This gives the primes: . To complete the list just interchange for in and change the signs to get all possible combinations.