1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Canonical Ring Homomorphism

  1. Sep 24, 2009 #1
    1. The problem statement, all variables and given/known data
    f:A->A/I is a ring homomorphism. Does f^-1 take maximal ideas of A/I to maximal ideals of A?

    3. The attempt at a solution

    I think it does, since there is a bijection between A and A/I preserving subsets-ordering. But f might not be that bijection.
  2. jcsd
  3. Sep 24, 2009 #2
    There's no bijection between R and R/I unless I is {0} ;)

    Are you supposed to prove this or do you just want to know?

    EDIT: Unless of course, R is infinite *blushes*

    And even then, it won't always be the case.
    Last edited: Sep 24, 2009
  4. Sep 24, 2009 #3
    I mean bijection between ideals of A/I and those of A containing I.
  5. Sep 24, 2009 #4
    Yeah, that's right
  6. Sep 24, 2009 #5
    So how do I use that to show that f^-1 takes maximal ideas of A/I to those of A?
  7. Sep 24, 2009 #6
    Well if you're allowed to use the fact that f induces a bijection between the ideals of A containing I and the ideals of A/I that preserves inclusion, then that should be easy. Think about a maximal ideal [tex]M_{A}[/tex] containing [tex]f^{-1}(N_{A/I})[/tex] where [tex]N_{A/I}[/tex] is maximal in A/I.
  8. Sep 24, 2009 #7
    Do you mean that f *is* a bijection between the ideals of A containing I and the ideas of A/I that preserves inclusion? Not sure what you meant by "induces". Do you mean defining g which acts on the power set of A, and g(x) is the image f(x)?
  9. Sep 24, 2009 #8
    No because f isn't a map on the ideals! It's a map on elements of A onto cosets of I. I guess we were being a little sloppy earlier. You can think of it like that but formally, they are two distinct maps. It's common to abuse notation and write them the same however.
  10. Sep 24, 2009 #9
    Ok, I think I got it. Thanks!
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook