Ring Monomorphism from Integers to Rationals

Theorem
Let $\phi: \Z \to \Q$ be the mapping from the integers $\Z$ to the rational numbers $\Q$ defined as:
 * $\forall x \in \Z: \map \phi x = \dfrac x 1$

Then $\phi$ is a (ring) monomorphism, but specifically not an epimorphism.

Proof
First note that:
 * $\forall a, b \in \Z: a \ne b \implies \dfrac a 1 = \map \phi a \ne \map \phi b = \dfrac b 1$

and so clearly $\phi$ is an injection.

However, take for example $\dfrac 1 2$:
 * $\not \exists a \in \Z: \map \phi a = \dfrac 1 2$

as $\dfrac 1 2 \notin \Img \phi$.

So $\phi$ is not a surjection.

Next let $a, b \in \Z$.

So $\phi$ can be seen to be an injective, but not surjective, ring homomorphism.

Hence the result by definition of ring monomorphism and ring epimorphism.