Group homomorphism/Injectivity and kernel/Fact

Kernel criterion for injectivity

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

A

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

of ${}\varphi$ is trivial.

Proof, Write another proof