Please Login to access more options.


Problem 92 (The First Isomorphism Theorem Proof)

Prove the First Isomorphism Theorem.

Theorem (The First Isomorphism Theorem)

Let $f:G\to H$ be a surjective homomorphism with kernel $K$. Because we know that $f(x)=f(y)$ for any $y\in Kx$ (elements in the same coset of the kernel have the same image under $f$), then we can define a map $\phi:G/K\to H$ by defining $\phi(Kg)=f(g)$. This map $\phi$ is always an isomorphism.



The following pages link to this page.