Confusion about 1st isomorphism theorem

162 Views Asked by At

I was thinking about the first isomorphism theorem, and something curious occurred to me. If φ is an injective homomorphism from group G to group H, then the kernel is trivial. But then G/kerφ is isomorphic to H, yes? But if kerφ = {e}, then isn't G/kerφ = G/{e} = G? But then wouldn't that make G isomorphic to H?

That doesn't make sense though because that would imply that every injective homomorphism is an isomorphism. What am I doing wrong?

2

There are 2 best solutions below

0
On BEST ANSWER

You makes some mistake. First isomorphism theorem states if $\phi:G\to H$ is a homomorphism then $$G/\operatorname{ker}\phi\cong\operatorname{Im}\phi$$ so $G/\operatorname{ker}\phi$ is not isomorphic to $H$ unless $\phi$ is epimorphism (i.e. surjective homomorphism).

0
On

The first isomorphism theorem says that if you have $\varphi: G \to H$ a surjective homomorphism, then $$G/\ker \varphi \cong H.$$

If $\varphi$ is injective, then $G/\ker \varphi \cong G \cong H$. And that's right, because $\varphi$ would be the isomorphism (both injective and surjective) between $G$ and $H$ itself.