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

Ring Homomorphism Question

  1. Nov 18, 2004 #1
    Let [tex]f: Z \rightarrow F[/tex] be a ring homomorphism from Z onto a field F. Prove that F must be finite with a prime number of elements.

    How would one go about proving this? I understand that multiplication and addition must be preserved in a homomorphism. I guess I must somehow show that a proper factor ring of Z is finite, but I'm not sure how.

    I'd greatly appreciate any help. Thanks!
     
    Last edited: Nov 18, 2004
  2. jcsd
  3. Nov 20, 2004 #2
    Look at the kernel. Suppose it's {0}. Then F is infinite, isomorphic to Z. Z isn't a field, so that's no good. So the kernel is nZ for some nonzero n. So F is isomorphic to Z/nZ for some n.
     
  4. Nov 20, 2004 #3
    Thanks, Euclid.

    That was the ticket to get me on the right path.

    Take care.
     
  5. Nov 28, 2004 #4

    mathwonk

    User Avatar
    Science Advisor
    Homework Helper
    2015 Award

    another point of view is to recognize that an onto homomorphism is another way of thinking of a qupotient construction in the opriginal ring.

    i.e. up to isomorphism, the only possible onto homomorphisms are of form R-->R/I, where I is an ideal in R. So just ask what the ideals are in Z. The only ones that give f8ields are maximal ideals, and the only maximal ideals in Z are of form Zp where p is prime, so the only possible fields of form Z/I are the finite fields Z/p.

    this is another view on the same answer above. but the moral is that all the information about an onto homomorphism is already contained in the original ring. i.e. an onto map is just a way of making identifications in the original ring.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Ring Homomorphism Question
  1. Homomorphism on rings (Replies: 3)

  2. Ring homomorphism (Replies: 4)

Loading...