Two groups, G, G' are isomorphic if:

  1. There is a 1-1 correspondence of elements
  2. (g1*g2)'=g1'*g2' <=> homomorphism
source
jl@crush.caltech.edu index
symmetric_group
representation
homomorph
cyclic