Teorema de Cayley

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[1] atribuyó el teorema a Camille Jordan,[2] Eric Nummela,[3] 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,[4] 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.

Sea G un grupo y g un elemento de este grupo. Se define la aplicación ${\displaystyle t_{g}}$ de G en G como la traslación a la izquierda:

${\displaystyle \forall x\in G\qquad t_{g}(x)=gx}$.

La asociatividad de la ley de grupos confirma que:

${\displaystyle (\star )\qquad \forall g,h\in G\qquad t_{gh}=t_{g}\circ t_{h}}$.

Se deduce en particular que ${\displaystyle t_{g}}$ es una permutación de biyeccion recíproca ${\displaystyle t_{g^{-1}}}$, lo que permite definir una aplicación ${\displaystyle \varphi }$ de G en S(G) por:

${\displaystyle \forall g\in G\qquad \varphi (g)=t_{g}}$

• Como ${\displaystyle (\star )}$, ${\displaystyle \varphi }$ es un homomorfismo de grupos.

• Por tanto, la imagen de ${\displaystyle \varphi }$, notada Im(${\displaystyle \varphi }$), es un subgrupo de S(G).

• Demostremos que ${\displaystyle \varphi }$ es inyectiva. Para ello se consideran g y h dos elementos del grupo. Si ${\displaystyle t_{g}}$ y ${\displaystyle 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 ${\displaystyle \varphi }$ en Im(${\displaystyle \varphi }$) que a todo elemento ${\displaystyle g~}$ de G asocia ${\displaystyle \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(${\displaystyle \varphi }$), un subgrupo de S(G) (Im(${\displaystyle \varphi }$)<S(G)).

David Steven Dummit (2004). Abstract algebra (3rd edición). Wiley. ISBN 0471433349. |fechaacceso= requiere |url= (ayuda)