Grupo Simétrico o de Permutaciones

Grupo simétrico o grupo de permutaciones
NIDIA YADIRA CAICEDO BRAVO
TEORIA DE GRUPOS (0701321)

Semestre B-2020
DEPARTAMENTO DE MATEMÁTICAS Y ESTADÍSTICA

UNIVERSIDAD DEL TOLIMA
Yadira Caicedo Grupo Simétrico

Grupo Simétrico
Sea A un conjunto no vacı́o y SA = {f : A −→ A / f es función biyectiva}.

Grupo Simétrico

Entonces (SA , ◦) forma un grupo, donde ◦ representa la composición usual
de funciones.

Grupo Simétrico

Entonces (SA , ◦) forma un grupo, donde ◦ representa la composición usual
de funciones.
Para f, g ∈ SA se define la compuesta de f con g o la composición de g y f

por
(g ◦ f )(x) = g(f (x)),
para todo x ∈ A.

Grupo Simétrico
SA 6= ∅

Grupo Simétrico
SA 6= ∅ porque la función identidad es biyectiva, donde
I : A −→ A
definida por
I(x) = x, ∀x ∈ A.

Grupo Simétrico
I : A −→ A
definida por
I(x) = x, ∀x ∈ A.
Es decir, I ∈ SA .

Grupo Simétrico
I : A −→ A
definida por
I(x) = x, ∀x ∈ A.
Es decir, I ∈ SA .
La operación ◦ es binaria en SA porque la compuesta de dos funciones

biyectivas es otra función biyectiva.

Grupo Simétrico
Además, la composición de funciones en general es asociativa.

Grupo Simétrico
Además, la composición de funciones en general es asociativa.
(h ◦ g) ◦ f = h ◦ (g ◦ f )

Grupo Simétrico
La función identidad I es el neutro de SA

Grupo Simétrico
La función identidad I es el neutro de SA porque para cada f ∈ SA

Grupo Simétrico
La función identidad I es el neutro de SA porque para cada f ∈ SA se cumple
(I ◦ f )(x) = I(f (x)) = f (x),

Grupo Simétrico
(I ◦ f )(x) = I(f (x)) = f (x),
(f ◦ I)(x) = f (I(x)) = f (x),

Grupo Simétrico
(I ◦ f )(x) = I(f (x)) = f (x),
(f ◦ I)(x) = f (I(x)) = f (x),
para todo x ∈ A.

Grupo Simétrico
(I ◦ f )(x) = I(f (x)) = f (x),
(f ◦ I)(x) = f (I(x)) = f (x),
para todo x ∈ A. Ası́, I ◦ f = f = f ◦ I.

Grupo Simétrico
(I ◦ f )(x) = I(f (x)) = f (x),
(f ◦ I)(x) = f (I(x)) = f (x),
Por último, dado que cada función en SA es biyectiva existe su inversa y es

única.

Grupo Simétrico
(I ◦ f )(x) = I(f (x)) = f (x),
(f ◦ I)(x) = f (I(x)) = f (x),
Por último, dado que cada función en SA es biyectiva existe su inversa y es

única. Ası́ se cumple, para cada f ∈ SA , existe f −1 ∈ SA tal que
f ◦ f −1 = I, y f −1 ◦ f = I.

Grupo Simétrico
El anterior grupo no es abeliano porque en general la composición de

funciones no es conmutativa, f ◦ g 6= g ◦ f .

Grupo Simétrico

Por ejemplo, si tomamos A = R y consideramos las funciones biyectivas

f, g : R −→ R definidas por f (x) = 3x − 4, g(x) = x3 , para cada x ∈ R.

Grupo Simétrico


Por ejemplo, para x = 2

Grupo Simétrico


Por ejemplo, para x = 2 tenemos que
(f ◦ g)(2)

Grupo Simétrico


(f ◦ g)(2) = f (g(2))

Grupo Simétrico


(f ◦ g)(2) = f (g(2)) = f (8)

Grupo Simétrico


(f ◦ g)(2) = f (g(2)) = f (8) = 20

Grupo Simétrico


(f ◦ g)(2) = f (g(2)) = f (8) = 20
(g ◦ f )(2)

Grupo Simétrico


(f ◦ g)(2) = f (g(2)) = f (8) = 20
(g ◦ f )(2) = g(f (2))

Grupo Simétrico


(f ◦ g)(2) = f (g(2)) = f (8) = 20
(g ◦ f )(2) = g(f (2)) = g(2)

Grupo Simétrico


(f ◦ g)(2) = f (g(2)) = f (8) = 20
(g ◦ f )(2) = g(f (2)) = g(2) = 8

Grupo Simétrico


(f ◦ g)(2) = f (g(2)) = f (8) = 20
(g ◦ f )(2) = g(f (2)) = g(2) = 8
(f ◦ g)(2) 6= (g ◦ f )(2)

Grupo Simétrico
En conclusión, (SA , ◦) es un grupo.

Grupo Simétrico
Este grupo se llama el grupo de transformaciones de A.

Grupo Simétrico
Si A es un conjunto finito con n elementos entonces SA toma el nombre de

GRUPO SIMÉTRICO de orden n

Grupo Simétrico

GRUPO SIMÉTRICO de orden n y se denota por
(Sn , ◦).

Grupo Simétrico

(Sn , ◦).
Observación: si A = {a1 , a2 , . . . , an } podemos establecer una correspon-

dencia biyectiva entre el conjunto A y el conjunto de los primeros n enteros
positivos {1, 2, . . . , n}.

Grupo Simétrico

(Sn , ◦).
Observación: si A = {a1 , a2 , . . . , an } podemos establecer una correspon-

dencia biyectiva entre el conjunto A y el conjunto de los primeros n enteros
positivos {1, 2, . . . , n}.
Trabajaremos con el conjunto A = {1, 2, . . . , n}.

Grupo Simétrico
Ejemplo
Sea A = {1, 2}, ¿cuántas funciones biyectivas existen A −→ A? Describirlas.

Grupo Simétrico
Ejemplo
Sea A = {1, 2}, ¿cuántas funciones biyectivas existen A −→ A? Describirlas.
Con este ejemplo, encontramos el grupos simétrico de orden 2, dado por

S2 = {I, f }, donde f : A −→ A está definida por
f (1) = 2, f (2) = 1.

Grupo Simétrico
Ejemplo
Sea A = {1, 2, 3}, ¿cuántas funciones biyectivas existen A −→ A?
Describirlas.

Grupo Simétrico
Ejemplo
Sea A = {1, 2, 3}, ¿cuántas funciones biyectivas existen A −→ A?
Describirlas.

Grupo Simétrico

Grupo Simétrico
I(1) = 1
I(2) = 2
I(3) = 3

Grupo Simétrico

Grupo Simétrico
α(1) = 2
α(2) = 3
α(3) = 1
Grupo Simétrico

Grupo Simétrico
β(1) = 3
β(2) = 1
β(3) = 2
Grupo Simétrico

Grupo Simétrico
f (1) = 1
f (2) = 3
f (3) = 2

Grupo Simétrico

Grupo Simétrico
g(1) = 3
g(2) = 2
g(3) = 1

Grupo Simétrico

Grupo Simétrico
h(1) = 2
h(2) = 1
h(3) = 3

Grupo Simétrico
S3 = {I, α, β, f, g, h}

Grupo Simétrico
S3 = {I, α, β, f, g, h}
I(1) = 1 α(1) = 2 β(1) = 3 f (1) = 1 g(1) = 3 h(1) = 2
I(2) = 2 α(2) = 3 β(2) = 1 f (2) = 3 g(2) = 2 h(2) = 1
I(3) = 3 α(3) = 1 β(3) = 2 f (3) = 2 g(3) = 1 h(3) = 3

Grupo Simétrico
I(1) = 1
I(2) = 2
I(3) = 3

Grupo Simétrico
 
I(1) = 1 1 2 3
I= 
I(2) = 2 1 2 3
I(3) = 3

Grupo Simétrico
 
I(1) = 1 1 2 3
I= 
I(2) = 2 1 2 3
I(3) = 3
α(1) = 2
α(2) = 3
α(3) = 1

Grupo Simétrico
 
I(1) = 1 1 2 3
I= 
I(2) = 2 1 2 3
I(3) = 3
 
α(1) = 2 1 2 3
α= 
α(2) = 3 2 3 1
α(3) = 1

Grupo Simétrico
I(1) = 1 α(1) = 2 β(1) = 3 f (1) = 1 g(1) = 3 h(1) = 2
I(2) = 2 α(2) = 3 β(2) = 1 f (2) = 3 g(2) = 2 h(2) = 1
I(3) = 3 α(3) = 1 β(3) = 2 f (3) = 2 g(3) = 1 h(3) = 3
     
1 2 3 1 2 3 1 2 3
I=  α=  β= 
1 2 3 2 3 1 3 1 2
     
1 2 3 1 2 3 1 2 3
f =  g=  h= 
1 3 2 3 2 1 2 1 3

Grupo Simétrico
S3 = {I, α, β, f, g, h}
     
1 2 3 1 2 3 1 2 3
I=  α=  β= 
1 2 3 2 3 1 3 1 2
     
1 2 3 1 2 3 1 2 3
f =  g=  h= 
1 3 2 3 2 1 2 1 3

Grupo Simétrico
¿ α ◦ h?

Grupo Simétrico
¿ α ◦ h?
(α ◦ h)(1)

Grupo Simétrico
¿ α ◦ h?
(α ◦ h)(1) = α(h(1))

Grupo Simétrico
¿ α ◦ h?
(α ◦ h)(1) = α(h(1)) = α(2)

Grupo Simétrico
¿ α ◦ h?
(α ◦ h)(1) = α(h(1)) = α(2) = 3

Grupo Simétrico
¿ α ◦ h?
(α ◦ h)(1) = α(h(1)) = α(2) = 3
(α ◦ h)(2)

Grupo Simétrico
¿ α ◦ h?
(α ◦ h)(1) = α(h(1)) = α(2) = 3
(α ◦ h)(2) = α(h(2))

Grupo Simétrico
¿ α ◦ h?
(α ◦ h)(1) = α(h(1)) = α(2) = 3
(α ◦ h)(2) = α(h(2)) = α(1)

Grupo Simétrico
¿ α ◦ h?
(α ◦ h)(1) = α(h(1)) = α(2) = 3
(α ◦ h)(2) = α(h(2)) = α(1) = 2

Grupo Simétrico
¿ α ◦ h?
(α ◦ h)(1) = α(h(1)) = α(2) = 3
(α ◦ h)(2) = α(h(2)) = α(1) = 2
(α ◦ h)(3)

Grupo Simétrico
¿ α ◦ h?
(α ◦ h)(1) = α(h(1)) = α(2) = 3
(α ◦ h)(2) = α(h(2)) = α(1) = 2
(α ◦ h)(3) = α(h(3))

Grupo Simétrico
¿ α ◦ h?
(α ◦ h)(1) = α(h(1)) = α(2) = 3
(α ◦ h)(2) = α(h(2)) = α(1) = 2
(α ◦ h)(3) = α(h(3)) = α(3)

Grupo Simétrico
¿ α ◦ h?
(α ◦ h)(1) = α(h(1)) = α(2) = 3
(α ◦ h)(2) = α(h(2)) = α(1) = 2
(α ◦ h)(3) = α(h(3)) = α(3) = 1

Grupo Simétrico
¿ α ◦ h?
(α ◦ h)(1) = α(h(1)) = α(2) = 3 = g(1)
(α ◦ h)(2) = α(h(2)) = α(1) = 2 = g(2)
(α ◦ h)(3) = α(h(3)) = α(3) = 1 = g(3)
α◦h=g

Grupo Simétrico
α◦h=g

Grupo Simétrico
α◦h=g
     
1 2 3 1 2 3 1 2 3
 ◦ = 
2 3 1 2 1 3 3 2 1

Grupo Simétrico
α◦h=g
     
1 2 3 1 2 3 1 2 3
 ◦ = 
2 3 1 2 1 3 3 2 1

Grupo Simétrico
α ◦ α =?

Grupo Simétrico
α ◦ α =?
   
1 2 3 1 2 3
 ◦ 
2 3 1 2 3 1

Grupo Simétrico
α ◦ α =?
     
1 2 3 1 2 3 1 2 3
 ◦ = 
2 3 1 2 3 1 3 1 2

Grupo Simétrico
α ◦ α =?
     
1 2 3 1 2 3 1 2 3
 ◦ = 
2 3 1 2 3 1 3 1 2
α◦α=β

Grupo Simétrico
f ◦ g =?

Grupo Simétrico
f ◦ g =?
   
1 2 3 1 2 3
 ◦ 
1 3 2 3 2 1

Grupo Simétrico
f ◦ g =?
     
1 2 3 1 2 3 1 2 3
 ◦ = 
1 3 2 3 2 1 2 3 1

Grupo Simétrico
f ◦ g =?
     
1 2 3 1 2 3 1 2 3
 ◦ = 
1 3 2 3 2 1 2 3 1
f ◦g =α

Grupo Simétrico
α ◦ h = g, α ◦ α = β, f ◦g =α
◦ I α β f g h
I
α
β
f
g
h

Grupo Simétrico
α ◦ h = g, α ◦ α = β, f ◦g =α
◦ I α β f g h
I
α
β
f
g
h g

Grupo Simétrico
α ◦ h = g, α ◦ α = β, f ◦g =α
◦ I α β f g h
I
α β
β
f
g
h g

Grupo Simétrico
α ◦ h = g, α ◦ α = β, f ◦g =α
◦ I α β f g h
I
α β
β
f
g α
h g

Grupo Simétrico
(S3 , ◦)
◦ I α β f g h
I I α β f g h
α α β I g h f
β β I α h f g
f f h g I β α
g g f h α I β
h h g f β α I

Grupo Simétrico
A = {1, 2, 3, 4}

Grupo Simétrico
Rotación de 90o

Grupo Simétrico
Reflexión sobre el eje vertical que para por los puntos medios

Grupo Simétrico

Grupo Simétrico

Grupo Simétrico
H ◦ R90 = D

Grupo Simétrico
R0 = I D=f
R90 = α D0 = g
R180 = β H=h
R270 = γ V =v

Grupo Simétrico
       
1 2 3 4 1 2 3 4 1 2 3 4 1 2 3 4
I= α =  β =  γ =  
1 2 3 4 2 3 4 1 3 4 1 2 4 1 2 3
       
1 2 3 4 1 2 3 4 1 2 3 4 1 2 3 4
f = g =  h =  v =  
1 4 3 2 3 2 1 4 2 1 4 3 4 3 2 1

Grupo Simétrico
|S4 | =

Grupo Simétrico
|S4 | = 24

Grupo Simétrico
|S4 | = 24
D4 = {I, α, β, γ, f, g, h, v}

Grupo Simétrico
|S4 | = 24
D4 = {I, α, β, γ, f, g, h, v}
|D4 | = 8

Grupo Simétrico
|S4 | = 24
D4 = {I, α, β, γ, f, g, h, v}
|D4 | = 8
D4 se llama Grupo Diédrico de orden 4.

Grupo Simétrico
|S4 | = 24
D4 = {I, α, β, γ, f, g, h, v}
|D4 | = 8
D4 se llama Grupo Diédrico de orden 4.
D4 ≤ S4

Grupo Simétrico
En general, el grupo simétrico (Sn , ◦) satisface |Sn | = n!

Grupo Simétrico
Dn se llama Grupo Diédrico de orden n,

Grupo Simétrico
Dn ≤ Sn

Grupo Simétrico
Dn ≤ Sn
y
|Dn | = 2n.

Grupo Simétrico

Grupo Simétrico
Para α ∈ Sn , denotamos
 
1 2 ··· n−1 n
α= 
α(1) α(2) ··· α(n − 1) α(n)

Grupo Simétrico
Para α ∈ Sn , denotamos
 
1 2 ··· n−1 n
α= 
α(1) α(2) ··· α(n − 1) α(n)
El grupo simétrico Sn es rico en subgrupos, por ejemplo S4 tiene 30 subgrupos

y S5 tiene más de 100 grupos.

Grupo Simétrico
Teorema de Cayley
Todo grupo (G, ∗) es isomorfo a un subgrupo del grupo de transformaciones
(SG , ◦), donde SG = {f : G −→ G / f es función biyectiva}.

Grupo Simétrico
Bosquejo de demostración.

Grupo Simétrico
Sea ϕ : G −→ SG

Grupo Simétrico
Sea ϕ : G −→ SG definida para cada a ∈ G por
ϕ(a) = πa ,

Grupo Simétrico
ϕ(a) = πa ,
donde πa : G −→ G

Grupo Simétrico
ϕ(a) = πa ,
donde πa : G −→ G se define por
πa (x) = a ∗ x,
para todo x ∈ G.

Grupo Simétrico
ϕ(a) = πa ,
πa (x) = a ∗ x,
para todo x ∈ G.
Probar que ϕ es un monomorfismo

Grupo Simétrico
ϕ(a) = πa ,
πa (x) = a ∗ x,
para todo x ∈ G.
Probar que ϕ es un monomorfismo y con esto se pude concluir que

G∼
= Im(ϕ),

Grupo Simétrico
ϕ(a) = πa ,
πa (x) = a ∗ x,
para todo x ∈ G.
Probar que ϕ es un monomorfismo y con esto se pude concluir que

G∼
= Im(ϕ), donde Im(ϕ) ≤ SG .

Grupo Simétrico
Corolario
Todo grupo finito de orden n es isomorfo a un subgrupo del grupo simétrico
(Sn , ◦).

Bibliografı́a
GALLIAN, J. CONTEMPORARY ABSTRACT ALGEBRA. Cengage

Learning. Novena Edición, 2016.
J. FRALEIGH, ÁLGEBRA ABSTRACTA, ADDISON-WESLEY

IBEROAMERICANA, WILMINGTON, 1987.

Grupo Simétrico o de Permutaciones

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Grupo Simétrico o de Permutaciones

Cargado por

Copyright:

Formatos disponibles

Grupo simétrico o grupo de permutaciones

NIDIA YADIRA CAICEDO BRAVO

TEORIA DE GRUPOS (0701321)

DEPARTAMENTO DE MATEMÁTICAS Y ESTADÍSTICA

Yadira Caicedo Grupo Simétrico

Sea A un conjunto no vacı́o y SA = {f : A −→ A / f es función biyectiva}.

Yadira Caicedo Grupo Simétrico

Sea A un conjunto no vacı́o y SA = {f : A −→ A / f es función biyectiva}.

Yadira Caicedo Grupo Simétrico

Sea A un conjunto no vacı́o y SA = {f : A −→ A / f es función biyectiva}.

Para f, g ∈ SA se define la compuesta de f con g o la composición de g y f

Yadira Caicedo Grupo Simétrico

Yadira Caicedo Grupo Simétrico

SA 6= ∅ porque la función identidad es biyectiva, donde

Yadira Caicedo Grupo Simétrico

SA 6= ∅ porque la función identidad es biyectiva, donde

Yadira Caicedo Grupo Simétrico

SA 6= ∅ porque la función identidad es biyectiva, donde

La operación ◦ es binaria en SA porque la compuesta de dos funciones

Yadira Caicedo Grupo Simétrico

Además, la composición de funciones en general es asociativa.

Yadira Caicedo Grupo Simétrico

Además, la composición de funciones en general es asociativa.

Yadira Caicedo Grupo Simétrico

La función identidad I es el neutro de SA

Yadira Caicedo Grupo Simétrico

La función identidad I es el neutro de SA porque para cada f ∈ SA

Yadira Caicedo Grupo Simétrico

La función identidad I es el neutro de SA porque para cada f ∈ SA se cumple

(I ◦ f )(x) = I(f (x)) = f (x),

Yadira Caicedo Grupo Simétrico

La función identidad I es el neutro de SA porque para cada f ∈ SA se cumple

(I ◦ f )(x) = I(f (x)) = f (x),

(f ◦ I)(x) = f (I(x)) = f (x),

Yadira Caicedo Grupo Simétrico

La función identidad I es el neutro de SA porque para cada f ∈ SA se cumple

(I ◦ f )(x) = I(f (x)) = f (x),

(f ◦ I)(x) = f (I(x)) = f (x),

Yadira Caicedo Grupo Simétrico

La función identidad I es el neutro de SA porque para cada f ∈ SA se cumple

(I ◦ f )(x) = I(f (x)) = f (x),

(f ◦ I)(x) = f (I(x)) = f (x),

para todo x ∈ A. Ası́, I ◦ f = f = f ◦ I.

Yadira Caicedo Grupo Simétrico

La función identidad I es el neutro de SA porque para cada f ∈ SA se cumple

(I ◦ f )(x) = I(f (x)) = f (x),

(f ◦ I)(x) = f (I(x)) = f (x),

para todo x ∈ A. Ası́, I ◦ f = f = f ◦ I.

Por último, dado que cada función en SA es biyectiva existe su inversa y es

Yadira Caicedo Grupo Simétrico

La función identidad I es el neutro de SA porque para cada f ∈ SA se cumple

(I ◦ f )(x) = I(f (x)) = f (x),

(f ◦ I)(x) = f (I(x)) = f (x),

para todo x ∈ A. Ası́, I ◦ f = f = f ◦ I.

Por último, dado que cada función en SA es biyectiva existe su inversa y es

Yadira Caicedo Grupo Simétrico

El anterior grupo no es abeliano porque en general la composición de

Yadira Caicedo Grupo Simétrico

El anterior grupo no es abeliano porque en general la composición de

Por ejemplo, si tomamos A = R y consideramos las funciones biyectivas

Yadira Caicedo Grupo Simétrico

El anterior grupo no es abeliano porque en general la composición de

Por ejemplo, si tomamos A = R y consideramos las funciones biyectivas