The Image of an Ideal Under a Surjective Ring Homomorphism is an Ideal

Problems and solutions of ring theory in abstract algebra

Problem 532

Let $R$ and $S$ be rings. Suppose that $f: R \to S$ is a surjective ring homomorphism.

Prove that every image of an ideal of $R$ under $f$ is an ideal of $S$.
Namely, prove that if $I$ is an ideal of $R$, then $J=f(I)$ is an ideal of $S$.

 
LoadingAdd to solve later

Proof.

As in the statement of the problem, let $I$ be an ideal of $R$.
Our goal is to show that the image $J=f(I)$ is an ideal of $S$.

For any $a,b\in J$ and $s\in S$, we need to show that

(1) $a+b\in J$,
(2) $sa\in J$.

Since $a, b\in J=f(I)$, there exists $a’, b’\in I$ such that
\[f(a’)=a \text{ and } f(b’)=b.\]

Then we have
\begin{align*}
a+b=f(a’)+f(b’)=f(a’+b’)
\end{align*}
since $f$ is a homomorphism.

Since $I$ is an ideal, the sum $a’+b’$ is in $I$.
This yields that $a+b\in f(I)=J$, which proves (1).


Since $f:R\to S$ is surjective, there exists $r\in R$ such that $f(r)=s$.
It follows that
\[sa=f(r)f(a’)=f(ra’)\] since $f$ is a homomorphism.

Since $I$ is an ideal of $R$, the product $ra’$ is in $I$.
Hence $sa\in f(I)=J$, and (2) is proved.

Therefore the image $J=f(I)$ is an ideal of $S$.


LoadingAdd to solve later

Sponsored Links

More from my site

  • If $R$ is a Noetherian Ring and $f:R\to R’$ is a Surjective Homomorphism, then $R’$ is NoetherianIf $R$ is a Noetherian Ring and $f:R\to R’$ is a Surjective Homomorphism, then $R’$ is Noetherian Suppose that $f:R\to R'$ is a surjective ring homomorphism. Prove that if $R$ is a Noetherian ring, then so is $R'$.   Definition. A ring $S$ is Noetherian if for every ascending chain of ideals of $S$ \[I_1 \subset I_2 \subset \cdots \subset I_k \subset […]
  • Ring Homomorphisms and Radical IdealsRing Homomorphisms and Radical Ideals Let $R$ and $R'$ be commutative rings and let $f:R\to R'$ be a ring homomorphism. Let $I$ and $I'$ be ideals of $R$ and $R'$, respectively. (a) Prove that $f(\sqrt{I}\,) \subset \sqrt{f(I)}$. (b) Prove that $\sqrt{f^{-1}(I')}=f^{-1}(\sqrt{I'})$ (c) Suppose that $f$ is […]
  • The Inverse Image of an Ideal by a Ring Homomorphism is an IdealThe Inverse Image of an Ideal by a Ring Homomorphism is an Ideal Let $f:R\to R'$ be a ring homomorphism. Let $I'$ be an ideal of $R'$ and let $I=f^{-1}(I)$ be the preimage of $I$ by $f$. Prove that $I$ is an ideal of the ring $R$.   Proof. To prove $I=f^{-1}(I')$ is an ideal of $R$, we need to check the following two […]
  • The Quotient Ring by an Ideal of a Ring of Some Matrices is Isomorphic to $\Q$.The Quotient Ring by an Ideal of a Ring of Some Matrices is Isomorphic to $\Q$. Let \[R=\left\{\, \begin{bmatrix} a & b\\ 0& a \end{bmatrix} \quad \middle | \quad a, b\in \Q \,\right\}.\] Then the usual matrix addition and multiplication make $R$ an ring. Let \[J=\left\{\, \begin{bmatrix} 0 & b\\ 0& 0 \end{bmatrix} […]
  • The Preimage of Prime ideals are Prime IdealsThe Preimage of Prime ideals are Prime Ideals Let $f: R\to R'$ be a ring homomorphism. Let $P$ be a prime ideal of the ring $R'$. Prove that the preimage $f^{-1}(P)$ is a prime ideal of $R$.   Proof. The preimage of an ideal by a ring homomorphism is an ideal. (See the post "The inverse image of an ideal by […]
  • A Maximal Ideal in the Ring of Continuous Functions and a Quotient RingA Maximal Ideal in the Ring of Continuous Functions and a Quotient Ring Let $R$ be the ring of all continuous functions on the interval $[0, 2]$. Let $I$ be the subset of $R$ defined by \[I:=\{ f(x) \in R \mid f(1)=0\}.\] Then prove that $I$ is an ideal of the ring $R$. Moreover, show that $I$ is maximal and determine […]
  • Three Equivalent Conditions for a Ring to be a FieldThree Equivalent Conditions for a Ring to be a Field Let $R$ be a ring with $1$. Prove that the following three statements are equivalent. The ring $R$ is a field. The only ideals of $R$ are $(0)$ and $R$. Let $S$ be any ring with $1$. Then any ring homomorphism $f:R \to S$ is injective.   Proof. […]
  • Determine the Quotient Ring $\Z[\sqrt{10}]/(2, \sqrt{10})$Determine the Quotient Ring $\Z[\sqrt{10}]/(2, \sqrt{10})$ Let \[P=(2, \sqrt{10})=\{a+b\sqrt{10} \mid a, b \in \Z, 2|a\}\] be an ideal of the ring \[\Z[\sqrt{10}]=\{a+b\sqrt{10} \mid a, b \in \Z\}.\] Then determine the quotient ring $\Z[\sqrt{10}]/P$. Is $P$ a prime ideal? Is $P$ a maximal ideal?   Solution. We […]

You may also like...

2 Responses

  1. R khan says:

    Good work …
    Plz more related proofs

  1. 08/11/2017

    […] Since the natural projections are surjective ring homomorphisms, the images $I$ and $J$ are ideals in $R$ and $S$, respectively. (see the post The Image of an Ideal Under a Surjective Ring Homomorphism is an Ideal.) […]

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.

More in Ring theory
Problems and solutions of ring theory in abstract algebra
No Nonzero Zero Divisor in a Field / Direct Product of Rings is Not a Field

(a) Let $F$ be a field. Show that $F$ does not have a nonzero zero divisor. (b) Let $R$ and...

Close