Image of Ideal under Ring Epimorphism is Ideal

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $f : A \to B$ be a ring epimorphism.

Let $I \subseteq A$ be an ideal.


Then its image $f(I) \subseteq B$ is an ideal.


Proof