First time here? Check out the FAQ!

Ask Your Question
0

why (4*i+7) in Z[i] not a prime?norm(4*i+7) =65, 65mod4=1

asked 11 years ago

cjsh gravatar image

updated 11 years ago

kcrisman gravatar image
K.<a> = NumberField(x^2 +1);
(4*a+7).norm()
65
mod (65,4)
1

factor(4*a+7)
(-3*a - 2) * (a - 2)

(4*a+7).multiplicative_order();
+Infinity

K.elements_of_norm(65);factor(-8*a + 1);K.prime_factors(4*a -7);

-8*a - 1, 4*a - 7, 4*a + 7, -8*a + 1]
(a - 2) * (3*a - 2)
[Fractional ideal (3*a - 2), Fractional ideal (-a - 2)]
[Fractional ideal (a - 2), Fractional ideal (3*a - 2)]
Preview: (hide)

1 Answer

Sort by » oldest newest most voted
2

answered 11 years ago

kcrisman gravatar image

updated 11 years ago

This is because 65 is not prime. Note that 12+25 and 32+22=13 are both primes (of the form 4n+1, so the factors you find are indeed (Gaussian) primes.

You may find the Wikipedia article helpful.

Preview: (hide)
link

Comments

thank you very nuch!

cjsh gravatar imagecjsh ( 11 years ago )

Great! In order to let future users know that was the correct answer, please accept it (there should be a check mark of some kind below the thumbs up/down symbols).

kcrisman gravatar imagekcrisman ( 11 years ago )

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

Stats

Asked: 11 years ago

Seen: 647 times

Last updated: Dec 07 '13