If \(x\) is even and a multiple of 3 in \(\mathbb{Z}_{6}\), then \(x=0\). So \(\varphi\) is injective; since both rings have 6 elements, it is an isomorphism.
If \(\varphi\colon R\to S\) is a ring homomorphism with kernel \(\ker\varphi\), the quotient ring of \(R\) by \(\ker\varphi\) is isomorphic to the image of \(\varphi\).
\[R/\ker\varphi\;\cong\;\varphi(R)\]
More practice problems: first isomorphism theorem for rings