17
$\begingroup$

I'm trying to learn some basic abstract algebra from Pinter's A Book of Abstract Algebra and I find myself puzzled by the following simple question about ring homomorphisms:

Let $A$ and $B$ be rings. If $f : A \to B$ is a homomorphism from $A$ onto $B$ with kernel $K$, and $J$ is an ideal of $A$ such that $K \subseteq J$, then $f(J)$ is an ideal of $B$.

I'm clearly missing the obvious, but I don't see where the requirement $K \subseteq J$ comes into the proof. Since $f$ is also a homomorphism of additive groups, the image $f(J)$ must be closed under addition and negatives (correct?). Then for $f(J)$ to be an ideal we have to show that it is closed under multiplication by an arbitrary element $b \in B$. Since $f$ is onto, there is some $a \in A$ such that $b = f(a)$. Let $j'$ be any element of $f(J)$, so $j' = f(j)$ for some $j \in J$. Then $bj' = f(a)f(j) = f(aj)$, and $aj \in J$ since $J$ is an ideal. Then it seems that $f(J)$ is closed under multiplication by $B$.

What mistaken assumption am I making?

$\endgroup$
  • $\begingroup$ Prove that $f(J)=f(J+K)$ and you'll see you're right. $\endgroup$ – egreg Jun 10 '13 at 23:29
  • $\begingroup$ Thank you for the additional hint. $\endgroup$ – Jon O. Jun 12 '13 at 13:02
13
$\begingroup$

You are right, it is not required. However maybe later he wants to point out the following fact: There is a bijection of ideals of $A$ containing $K$ and ideals of $B$. You give the one direction: If $J$ is an ideal of $A$ then $f(J)$ is an ideal of $B$. The inverse of this map is given by: If $I$ is an ideal of $B$ then $f^{-1}(I)$ is an ideal of $A$ that contains $K$.

Edit: Using this we can answer to Jon O's question in the comment below: If $B$ is a field and $I$ is an ideal of $A$ that contains $\ker f$ properly, then $f(I)$ is an ideal of $B$ that contains $0$ properly. Since every non zero element of $B$ is a unit $f(I)$ must be the whole of $B$. By the above we have $I=f^{-1}(f(I))=f^{-1}(B)=A$ so every ideal properly containing $\ker f$ is the whole of $A$, i.e. $\ker f$ is maximal.

$\endgroup$
  • $\begingroup$ Aha, fantastic! It almost seems to me like there is an extra part missing from the problem. The next question asks to prove that if $f$ is onto and $B$ is a field then $ker f$ is a maximal ideal, and you would need the reverse direction to show that (if I understand correctly). $\endgroup$ – Jon O. Jun 10 '13 at 19:05
  • $\begingroup$ @JonO: I'm not sure how you would use the above. The exercise follows from the first isomorphism theorem ($A/\ker f\cong B$) and the straightforward-to-prove statement: The ideal $I$ is maximal in $A$ $\Leftrightarrow$ $A/I$ is a field. $\endgroup$ – MichalisN Jun 10 '13 at 20:48
  • $\begingroup$ @JonO: I apologise, you were right, this can be used! I added the solution to my answer. $\endgroup$ – MichalisN Jun 10 '13 at 23:06
  • $\begingroup$ Thank you for the followup. $\endgroup$ – Jon O. Jun 12 '13 at 13:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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