Kernel and Image Criterion for Group Isomorphisms