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.