3
$\begingroup$

In my textbook they say that if $f: R \rightarrow S$ is a ring homomorphism, then:

if $I \subset R$ is an left ideal of $R$, then $f(I)$ is a left ideal of $S$.

However, I think that this is a mistake and that $f$ should be surjective for this to hold.

I have the following argument

Let $I$ be the identity map from $(\mathbb{Z},+,\cdot)$ to $(\mathbb{R},+,\cdot)$. It is known that $n\mathbb{Z}$ is an ideal from $(\mathbb{Z},+,\cdot)$. Thus, $I(n\mathbb{Z}) = n\mathbb{Z}$ should be an ideal of $(\mathbb{R},+, \cdot)$. However, since $\mathbb{R},+,\cdot$ is a field, it only has trivial left ideals, which contradicts that $n\mathbb{Z}$ is a left ideal, this because it is nontrivial.

So, my question is whether it is a mistake in my book or whether there is a hole in my argument?

  • 4
    "I think this is a mistake and that $f$ should be surjective." You are not asserting that $f(I)$ is a left ideal of $S$, only of $f(R)$ (the image of $f$), and $f$ a function is always onto its image.2011-12-08
  • 1
    $I(\mathbb{Z}) \ne \mathbb{R} \dots$2011-12-08
  • 1
    @ArturoMagidin Oh, I copied it wrong from the book. It had to be S instead of F(R). Thanks for correcting that. Now my argument does hold right?2011-12-08
  • 0
    If the book says $S$, then you are right: you need $f$ to be onto. Make sure your book actually says $S$, and that it does not say "onto" somewhere.2011-12-08
  • 0
    @ArturoMagidin, no, it does not say that anywhere. I'll add to it that either $f$ has to be onto or alter it such that $f(I)$ is a left ideal of $f(R)$. Could you post your comment as an answer? Then I can accept it so that the question does not remain unanswered.2011-12-08
  • 3
    Where exactly in what book?2011-12-08
  • 0
    @Jonas Meyer, written syllabus for a course.2011-12-08

1 Answers 1

4

Indeed the statement "$f(I)$ is an ideal of $f(R)$" [the statement that was in the original version of the question] is true. First let's think what it means for $I$ to be to be a (left) ideal of $R$

1) $I \subset R$

2) For all $x \in I,r \in R, r \cdot x \in I$

So what about $f(I)$? Well

1) $f(I) \subset f(R)$ should be clear

For 2), let $x' \in f(I) = f(x)$ and $r' \in f(R) = f(r)$. Then

$$r' \cdot x' = f(r) \cdot f(x) = f(r \cdot x) \in f(I),$$

since $r \cdot x \in I$, and hence $f(I)$ is a left ideal of $f(R)$

Edit: I see you've updated the question. Indeed for it to be an ideal is $S$, it would have to be surjective

  • 1
    About your edit: No, it wouldn't have to be, this is just sufficient. Consider the zero map $R\to S$ for any two rings $R,S$.2011-12-08
  • 1
    This answer is now confused, probably due to edits. It seems that "Indeed the statement is true" refers to "... then $f(I)$ i a left ideal of $S$" (without surjectivity hypothesis), which is false. However the answer itself seems to be correct.2011-12-08
  • 0
    @Marc: I've edited in a clarification2011-12-08
  • 0
    @Juan: I've edited in a correction to take the change in the original post into account. Please double check that this is fine with you.2011-12-08
  • 0
    @Arturo - That is fine - thanks for that2011-12-09