Trick(y) Question

Let Z [ 5 i ] \mathbb{Z}[\sqrt{5}i] be the set of all complex numbers of the form z = a + b 5 i z=a+b\sqrt{5}i , where a a and b b are integers. How many prime factors does the number 6 have in Z [ 5 i ] \mathbb{Z}[\sqrt{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.


The answer is 0.

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.

1 solution

Jake Lai
May 18, 2015

I thought that 5 5 was a Heegner number, but apparently not.

Z [ 5 ] \mathbb{Z}[\sqrt{-5}] does not have unique factorisation; this can be easily seen by the two different factorisations of 6 6 :

6 = 2 × 3 = ( 1 + 5 ) ( 1 5 ) 6 = 2 \times 3 = (1+\sqrt{-5})(1-\sqrt{-5})

Now, a prime p p is a non-zero non-unit element in an integral domain such that if p p divides a b ab , then p p divides a a or b b . However, clearly no such integer divides 2 2 , 3 3 , 1 + 5 1+\sqrt{-5} or its conjugate. As such, 6 6 as no prime factors.

If the domain Z [ d ] \mathbb{Z}[\sqrt{-d}] has unique factorisation such as in the case d = 7 d = 7 or 11 11 or most famously 163 163 , then all primes in Z \mathbb{Z} are primes in Z [ d ] \mathbb{Z}[\sqrt{-d}] (your usual).

Correction : See Otto Bretscher's comment.

Thank you for your lucid explanation!

Just to make this clear to everybody: 1 + 5 1+\sqrt{-5} fails to be prime in Z [ 5 ] \mathbb{Z}[\sqrt{-5}] because it divides 6 = 2 × 3 6=2\times3 , but it fails to divide 2 or 3. Similar reasoning shows that 2,3, and 1 5 1-\sqrt{-5} fail to be primes, so that 6 has 0 \boxed{0} prime factors.

I cannot agree with your last statement, "If Z [ d ] \mathbb{Z}[\sqrt{-d}] has unique factorization .. then all primes in Z \mathbb{Z} are primes in Z [ d ] \mathbb{Z}[\sqrt{-d}] " Even in the simple case of the Gaussian Integers, where d = 1 d=1 , primes like 2, 5, 13... in Z \mathbb{Z} fail to be primes in Z [ i ] \mathbb{Z}[i] .

Otto Bretscher - 6 years ago

Log in to reply

Yep, I noticed that with your Do it like Gauss problems. Thanks for the correction!

Jake Lai - 6 years ago

I'll try to think of a counterexample (prime in Z [ 5 ] \mathbb{Z}[\sqrt{-5}] is also a "usual" prime) soon and prove it.

Jake Lai - 6 years ago

Log in to reply

It is necessary and sufficient that 5 -5 not be a square mod p p . So p = 11 p = 11 should work. Marcus's book "Number Fields" is a wonderful reference for these sorts of questions.

Patrick Corn - 6 years ago

Log in to reply

Wonderful! I'm just getting into abstract algebra so I'll check that out for sure. Thanks :)

Jake Lai - 6 years ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...