Preimage of Prime Ideal under Ring Homomorphism is Prime Ideal/Proof 2

Theorem

Let $A$ and $B$ be commutative rings with unity.

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

Let $\mathfrak p \subseteq B$ be a prime ideal.

Then its preimage $\map {f^{-1} } {\mathfrak p}$ is a prime ideal of $A$.

Proof

By Preimage of Ideal under Ring Homomorphism is Ideal, $\map {f^{-1} } {\mathfrak p}$ is a ideal of $A$.

Let $B / \mathfrak p$ be the quotient ring.

By Prime Ideal iff Quotient Ring is Integral Domain, $B / \mathfrak p$ is an integral domain.

By Kernel of Quotient Ring Epimorhpism, the quotient ring epimorphism $B \to B / \mathfrak p$ has kernel $\mathfrak p$.

By Kernel of Composition of Ring Homomorphisms, the composition $A \overset f \to B \to B / \mathfrak p$ has kernel $\map {f^{-1} } {\mathfrak p}$.

By Universal Property of Quotient Ring, there exists a ring homomorphism $A / \map {f^{-1} } {\mathfrak p} \to B / \mathfrak p$.

A specific link is needed here.
In particular: a theorem why it is injective
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by searching for it, and adding it here.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{LinkWanted}} from the code.