Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Help with identity for ideals

  1. Aug 6, 2007 #1

    learningphysics

    User Avatar
    Homework Helper

    I'm trying to prove this problem out of Allan Clark's Elements of abstract algebra.

    Given an epimorphism [tex]\phi[/tex] from R -> R'
    Prove that:

    [tex]\phi^{-1}[/tex](a'b') = ([tex]\phi^{-1}[/tex]a')([tex]\phi^{-1}[/tex]b')

    where a' and b' are ideals of R'

    I had no trouble showing that ([tex]\phi^{-1}[/tex]a')([tex]\phi^{-1}[/tex]b') is a subset of [tex]\phi^{-1}[/tex](a'b'). But I'm having trouble with the forward direction. I'd appreciate any help/hints. Thanks.
     
  2. jcsd
  3. Aug 6, 2007 #2
    What does the juxaposition of the inverse image ideals mean?

    Again, I do not understand the juxtaposed notation. But I can tell you this immediately. In your first part of proof did you use the fact that [tex]\phi[/tex] was an epimorphism? I think not. Now for the reverse direction you need to use that fact.
     
  4. Aug 6, 2007 #3

    learningphysics

    User Avatar
    Homework Helper

    The juxtaposed notation is the direct product of sets.

    Thanks Kummer. I'll think about this a little more.
     
    Last edited: Aug 6, 2007
  5. Aug 6, 2007 #4

    mathwonk

    User Avatar
    Science Advisor
    Homework Helper
    2015 Award

    it is nit the direct product is it? it shoukld be the product of the dieals, which means the ideal generated by the set of all pairwise products of elements. and have you used the hypothesis of surjectivity?
     
  6. Aug 6, 2007 #5

    learningphysics

    User Avatar
    Homework Helper

    Sorry, yes you're right it's not the direct product... it's the pairwise product as you said.

    Do you mean the fact that it is an epimorphism? No, I didn't use it. Apologies to Kummer for not answering this in his post... I thought at first I used it for the reverse direction, but I actually didn't use it... I think you and Kummer are hinting at the same thing, but I'm not able to see it. :frown:

    I'm not seeing how to use the fact that it is an epimorphism... If we let a = [tex]\phi^{-1}(a')[/tex] and let b=[tex]\phi^{-1}(b')[/tex] I'm not able to see why we couldn't have an element x outside of ab such that [tex]\phi(x)[/tex] belongs to a'b'... I know that it is related to the fact that [tex]\phi[/tex] is an epimorphism...
     
    Last edited: Aug 6, 2007
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Help with identity for ideals
Loading...