The image of an ideal by a ring homomorphism

150 Views Asked by At

Let $\varphi: R \rightarrow S$ be a NOT surjective ring homomorphism. Let $I$ be an ideal of $R$. Then it can be easily proved that $\varphi(I)$ is an ideal of $\varphi(R)$. I know a counterexample when $\varphi(I)$ is not an ideal of $S$ (when $R = \mathbb{Z}$ and $S = \mathbb{Z}[x]$). But can it happen that $\varphi(I)$ will be an ideal of $S$ for a NOT surjective $\varphi$? Could you show me an example, please?