Kernel Criterion for Injectivity

If $\varphi: G \to H$ is a group homomorphism, then $\varphi$ is injective if and only if

$\ker(\varphi) = \{e_G\}$.

Why it matters

This turns injectivity into a concrete subgroup computation.