Group Isomorphism

Group isomorphism iff [what?]

Let $\phi :G\to H$ be a group homomorphism. Then $\phi$ is a group isomorphism iff [what?].