Definition
G and H are called isomorphic if there is an isomorphism from G to H
When is a surjective homomorphism an isomorphism. It is if and only if its kernel ={1}=\{1\}={1}