 My Math Forum algebraic number theory - proving an ideal is prime
 User Name Remember Me? Password

 Number Theory Number Theory Math Forum

April 12th, 2009, 09:48 AM   #1
Newbie

Joined: Apr 2009

Posts: 11
Thanks: 0

algebraic number theory - proving an ideal is prime

I don't understand the following proof of the fact that in the number ring R=Z[sqrt(-5)], the ideal (2, 1+sqrt(-5)) is prime.

Quote:
 This can be seen by observing that |R/(2)| = 4, hence R/(2, 1+sqrt(-5)) has order dividing 4. The only possibility is 2 because (2, 1+sqrt(-5)) contains (2) properly and cannot be all of R (if it were, then its square would also be R). This implies that in fact (2, 1+sqrt(-5)) is maximal as an additive subgroup, hence a maximal ideal, hence a prime.
I'm kind of lost. Why is |R/(2)| 4? and why does R/(2, 1+sqrt(-5)) has order dividing 4?

Lots of thanks. April 14th, 2009, 12:15 PM   #2
Senior Member

Joined: Oct 2007
From: Chicago

Posts: 1,701
Thanks: 3

Re: algebraic number theory - proving an ideal is prime

Quote:
 Originally Posted by nilap I'm kind of lost. Why is |R/(2)| 4?
In Z[sqrt(-5)], an element looks like a+b(sqrt(-5)). If you mod out each term by two, how many choices do you have for a and b? So then how many total values can a number take?

Quote:
 and why does R/(2, 1+sqrt(-5)) has order dividing 4?
(2) is a sub-ideal of (2, 1+sqrt(-5)). So R/(2) contains R/(2,1+sqrt(-5)). Since they are both quotient rings, R/(2,1+sqrt(-5)) is an additive sub-group of R/(2). So, then we appeal to group theory.

Does that help?

Quote:
 Lots of thanks.
No problem,
Cheers. April 14th, 2009, 04:46 PM   #3
Newbie

Joined: Apr 2009

Posts: 11
Thanks: 0

Re: algebraic number theory - proving an ideal is prime

Quote:
 Originally Posted by cknapp Does that help?
Yes, it helps a lot. Thanks! Tags algebraic, ideal, number, prime, proving, theory Search tags for this page

,

,

,

### proving ideals s t sqrt{-5}

Click on a term to search for related topics.
 Thread Tools Show Printable Version Email this Page Display Modes Linear Mode Switch to Hybrid Mode Switch to Threaded Mode Similar Threads Thread Thread Starter Forum Replies Last Post rayman Abstract Algebra 0 September 24th, 2012 04:34 AM talisman Abstract Algebra 2 August 12th, 2012 12:17 AM ibougueye Number Theory 8 February 7th, 2012 03:33 PM iamiam Abstract Algebra 2 December 5th, 2010 12:48 PM russeld Applied Math 0 May 28th, 2010 09:13 AM

 Contact - Home - Forums - Cryptocurrency Forum - Top

Copyright © 2019 My Math Forum. All rights reserved.      