El teorema de Cayley afirma que todo grupo G es isomorfo a un grupo de permutaciones (ie: un subgrupo del simétrico).