Let Z [ 5 i ] be the set of all complex numbers of the form z = a + b 5 i , where a and b are integers. How many prime factors does the number 6 have in Z [ 5 i ] ?
Did I mention that this is a trick question (or a tricky question, anyway)? Before answering, you may want to read up on "primes" and "irreducibles," taking note of the fact that the two concepts are not equivalent.
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Thank you for your lucid explanation!
Just to make this clear to everybody: 1 + − 5 fails to be prime in Z [ − 5 ] because it divides 6 = 2 × 3 , but it fails to divide 2 or 3. Similar reasoning shows that 2,3, and 1 − − 5 fail to be primes, so that 6 has 0 prime factors.
I cannot agree with your last statement, "If Z [ − d ] has unique factorization .. then all primes in Z are primes in Z [ − d ] " Even in the simple case of the Gaussian Integers, where d = 1 , primes like 2, 5, 13... in Z fail to be primes in Z [ i ] .
Log in to reply
Yep, I noticed that with your Do it like Gauss problems. Thanks for the correction!
I'll try to think of a counterexample (prime in Z [ − 5 ] is also a "usual" prime) soon and prove it.
Log in to reply
It is necessary and sufficient that − 5 not be a square mod p . So p = 1 1 should work. Marcus's book "Number Fields" is a wonderful reference for these sorts of questions.
Log in to reply
Wonderful! I'm just getting into abstract algebra so I'll check that out for sure. Thanks :)
Problem Loading...
Note Loading...
Set Loading...
I thought that 5 was a Heegner number, but apparently not.
Z [ − 5 ] does not have unique factorisation; this can be easily seen by the two different factorisations of 6 :
6 = 2 × 3 = ( 1 + − 5 ) ( 1 − − 5 )
Now, a prime p is a non-zero non-unit element in an integral domain such that if p divides a b , then p divides a or b . However, clearly no such integer divides 2 , 3 , 1 + − 5 or its conjugate. As such, 6 as no prime factors.
If the domain Z [ − d ] has unique factorisation such as in the case d = 7 or 1 1 or most famously 1 6 3 , then all primes in Z are primes in Z [ − d ] (your usual).
Correction : See Otto Bretscher's comment.