Está en la página 1de 4

EL TEOREMA DE

CAYLEY
ESTR. ALG. SEMANA 7
TEOREMA DE CAYLEY
• Teorema. Todo grupo es isomorfo a un grupo de permutaciones
• Demostración.
• Definamos cierto subconjunto de S . Para a  G, sea,  la transformación
G a

de G en G dada por  a ( x)  xa para x G


.
•  es 1 a 1 pues si  ( x)   ( y)  xa  ya  x  y
a
a a

y  G   ( ya )  ( ya ) a  y
1 1

• También es sobre pues si a

a  a  SG
• De este modo es una permutación de G, es decir,
TEOREMA DE CAYLEY
• Sea G'    / a  G
a

• PASO 2. Afirmamos que G' es un subgrupo de SG , en efecto:


[  b  a ]( x)   b [  a ( x)]   b ( xa)  ( xa)b  x(ab)   ab ( x)

• Así  b  a   ab
y por tanto G’ es cerrado.
• Ahora, x  G,  e ( x)  xe  x , de modo que  e es la permutación
SG
identidad de G
y 'está en
 a 1  a   aa 1   e  (  a ) 1   a 1 , (  a ) 1  G '
• Además
TEOREMA DE CAYLEY
• En consecuencia G ' es un subgrupo de SG .
• PASO 3. P. que G es isomorfo al grupo G '
• Definamos  : G  G ' /  (a)   a , a  G

• En general si  (a )   (b)   a   b

• En particular  a (e)  b (e)  ea  eb  a  b y así  es inyectiva.


• Ahora como  (ab)   ab , y,  (a ) (b)   b  a y como  ab , y,  b  a
• Son la misma permutación de G, se concluye que  (ab)   (a ) (b)

También podría gustarte