proof of third isomorphism theorem
We’ll give a proof of the third isomorphism theorem using the Fundamental homomorphism theorem.
Let be a group, and let be normal subgroups of . Define to be the natural homomorphisms
from to , respectively:
is a subset of , so there exists a unique homomorphism so that .
is surjective, so is surjective as well; hence . The kernel of is . So by the first isomorphism theorem
we have