Two groups, G, G' are isomorphic if: 1. There is a 1-1 correspondence of elements 2. (g1*g2)'=g1'*g2' <=> homomorphism