Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Suppose $F$ is a field and $R$ is a ring. The function $f\colon F\to R$ is a surjective homomorphism. Prove that $R$ is either the trivial ring, or $R$ is isomorphic to $F$.

share|improve this question
2  
Any thoughts of your own? –  Alex B. Nov 16 '12 at 17:03
2  
hint: the image of an invertible element is invertible (why?) –  the L Nov 16 '12 at 17:04
4  
Hint: by the first isomorphism theorem the image is characterized by the kernel, for which there are only two choices in a field, the ideals $(0)$ and $(1).\ \ $ –  Bill Dubuque Nov 16 '12 at 17:05
    
Consider the kernel. –  i. m. soloveichik Nov 16 '12 at 17:05

1 Answer 1

up vote 3 down vote accepted

We have a ring homomorphism $f : F \to R$ here are the key facts:

  • the inverse image of an ideal is an ideal.
  • the only ideals of a field $F$ are $(0)$ and $F$.
  • the kernel of a ring homomorphism is an ideal.

Take the inverse image of the kernel, if it's $(0)$ the rings are isomorphic. If it's $F$ the homomorphism is trivial.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.