Fundamental Theorem of Group Homomorphisms:

If f is a homomorphism from a group G_1 onto the group G_2, then G_1/ker(f) is isomorphic to G_2

...and that's the tea.