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?
Hello,
An element of the quadratic field is in the form , where a and b are integers.
(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 )
A positive prime in will be called a Hacker prime and a Gaussian prime shall refer to any prime in . Thus, for example is a Hacker prime but it is not a Gaussian prime because . Remember the units in are the numbers , so these guys cannot be primes (by definition). Two numbers are associate iff where is a unit, therefore the associates of are , , . Now remember that a Gaussian integer is a Gaussian prime then all its associates shall be Gaussian primes too, this means we do not need to check all the pairs Moo listed since we can ignore the associated ones.
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.