Note: G =~ G1 means G is isomorphic to G1
If G/K =~ H, show that there exists an onto homomorphism $:G -> H with kernel $ = K
Since G/K=~H, then there exists an isomorphism f: G/K->H. For any h in H, we can find a gK in G/K such that ...
Homomorphic groups are investigated.