title: Teorema de Cayley
text: # Teorema de Cayley
  
  El teorema de Cayley es un resultado de teoría de grupos que permite representar cualquier grupo como un grupo de permutaciones.
  * Todo grupo es isomorfo a un subgrupo de un grupo simétrico. Si el grupo es finito y tiene orden n, entonces es isomorfo a un subgrupo de $S_{n}$
  * Cayley
  
  # Teorema de Cayley
  ## Historia
  
  Aunque ahora parezca bastante elemental, en su época las definiciones modernas no existían y cuando Cayley introdujo lo que ahora se denomina grupo, no quedó claro de inmediato que eso era equivalente a los grupos previamente conocidos, que ahora se llaman grupos de permutación. El teorema de Cayley unificó ambos.
  Aunque Burnside atribuyó el teorema a Camille Jordan, Eric Nummela, sin embargo, argumentó que el nombre estándar —"Teorema de Cayley"— es de hecho apropiado. El matemático británico Arthur Cayley (1821-1895), en su artículo original de 1854, demostró que la correspondencia en el teorema era biunívoca, pero no pudo demostrar explícitamente que fuera un homomorfismo (y por lo tanto un isomorfismo). Sin embargo, Nummela señala que Cayley hizo que este resultado fuera conocido por la comunidad matemática dieciséis años antes de Jordan.
  
  # Teorema de Cayley
  ## Demostración
  
  Sea G un grupo y g un elemento de este grupo. Se define la aplicación $t_{g}$ de G en G como la traslación a la izquierda:
  $\forall x\in G\qquad t_{g}(x)=gx$
  La asociatividad de la ley de grupos confirma que:
  $(\star )\qquad \forall g,h\in G\qquad t_{gh}=t_{g}\circ t_{h}$
  Se deduce en particular que $t_{g}$ es una permutación de biyeccion recíproca $t_{g^{-1}}$, lo que permite definir una aplicación $\varphi$ de G en S(G) por:
  $\forall g\in G\qquad \varphi (g)=t_{g}$
  * Como $(\star )$, $\varphi$ es un homomorfismo de grupos.
  * Por tanto, la imagen de $\varphi$, notada Im($\varphi$), es un subgrupo de S(G).
  * Demostremos que $\varphi$ es inyectiva. Para ello se consideran g y h dos elementos del grupo. Si $t_{g}$ y $t_{h}$ son iguales, entonces las imágenes del elemento neutro por dos aplicaciones también son iguales y g es igual a h. Esto prueba que la aplicación es efectivamente inyectiva.
  * La aplicación $\varphi$ en Im($\varphi$) que a todo elemento $g~$ de G asocia $\varphi (g)$ es entonces también un morfismo inyectivo. Además es sobreyectiva por propia construcción, y por tanto un isomorfismo de grupos. Así pues, G es isomorfo a Im($\varphi$), un subgrupo de S(G) (Im($\varphi$)<S(G)).