A homomorphism first identifies the elements it cannot distinguish, then embeds the resulting quotient into its target.
This is the meeting point of Normal Subgroups and Quotient Groups. For a compact way to remember the statement, see What a kernel remembers.