Kernel Criterion for Injectivity

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

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

Why it matters

This turns injectivity into a concrete subgroup computation.