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!