Kernel of injective group homomorphism

Solution 1:

Theorem: Let $\phi:G\to G'$ be a group homomorphism, then $\phi$ is $1-1$ $\iff$ $Ker\;\phi =\{e\}$

Proof:

Firstly assume $\phi$ be $1-1$.

Let $x\in Ker\;\phi$, then $\phi(x)=e'=\phi(e)\implies x=e$.

Hence, $Ker\;\phi=\{e\}$

Conversely, assume $Ker\;\phi=\{e\}$.

Let, $\phi(x)=\phi(y)\\\implies \phi(x)-\phi(y)=e'\\\implies\phi(x-y)=e'\\\implies x-y=e'\\\implies x=y$

Thus, $\phi$ is $1-1.$