First theorem of isomorphisms

Now that we know what quotient groups, a kernel, and normal subgroups are, we can look at the first isomorphism theorem.

It states that the quotient group created by the kernel of a homomorphism is isomorphic to the (second) group in the homomorphism.