If is a commutative ring with identity, and is a maximal ideal, then is a field. What are the ideals of a field?

Results 1 to 5 of 5

- Sep 7th 2010, 07:29 AM #1

- Joined
- Aug 2010
- Posts
- 15

- Sep 7th 2010, 08:42 AM #2

- Sep 7th 2010, 09:14 AM #3

- Sep 7th 2010, 12:56 PM #4

- Joined
- Aug 2010
- Posts
- 15

that was what i had set out to prove....that if If R is a commutative ring with identity, and M is a maximal ideal, then R/M is a field.....they directly said that R/M has 2 ideals 0 and R/M itself....so i cld'nt get how they said this...

could you please tell me somethng abt this correspondence theorem. cz i dont seem to get what it says....

- Sep 8th 2010, 12:32 AM #5
The correspondence theorem (I believe) basically says two things,

1. Let with . Then .

2. If then there exists an ideal such that and .

So, essentially, the ideals in correspond precisely to the ideals such that . As there are no such proper ideals, as is maximal, then what can you conclude?