Maximal ideals of a quotien ring

  • Thread starter Thread starter R.P.F.
  • Start date Start date
  • Tags Tags
    Ring
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
3 replies · 3K views
R.P.F.
Messages
210
Reaction score
0

Homework Statement



I am try to prove :
Let R be a ring, I be a ideal of R.
Then N is a maximal in R/I if and only if N=M/I where M is a maximal ideal in R that contains I.

Homework Equations





The Attempt at a Solution



First I'm not 100% sure that the statement is true, but I'm trying to prove it.
So N is maximal in R/I, then R/I/N is a field which means I/N is maximal in R. This is as far as I get.
Thanks!
 
Physics news on Phys.org
This statement is 100% correct. So don't worry about it.

Have you heard of the fourth isomorphism theorem (you probably didn't call it that). It states that there is a bijective correspondance between ideals of R that contain I and ideals of R/I.
In particular, if J is an ideal of R/I, then J=J'/I for some ideal J' of R.

This is the thing you have to use to prove this question. If you didn't see it, then perhaps you could try to prove it...
 
micromass said:
This statement is 100% correct. So don't worry about it.

Have you heard of the fourth isomorphism theorem (you probably didn't call it that). It states that there is a bijective correspondance between ideals of R that contain I and ideals of R/I.
In particular, if J is an ideal of R/I, then J=J'/I for some ideal J' of R.

This is the thing you have to use to prove this question. If you didn't see it, then perhaps you could try to prove it...

Yay I figured it out using your hint! Thanks a lot!
 
Well, x2 isn't an irreducible polynomial of R[x], since x2=x.x
Thus R[x]/(x2) is not a field.