Group homomorphism/Injectivity and kernel/Fact

Let ${\displaystyle {}G}$ and ${\displaystyle {}H}$ be groups.

A

group homomorphism ${\displaystyle {}\varphi \colon G\rightarrow H}$ is injective if and only if the kernel

of ${\displaystyle {}\varphi }$ is trivial.