Licenciatura en Matemáticas

Asignatura: Algebra Moderna 1

Unidad 2.- Grupos De Permutaciones y Grupos De Cociente.

Actividad 2.- Grupos de Permutaciones.

Alumna: Elda Josefina Vázquez Calderón

Grupo: MT-MAMD1-2301-B2-001

Docente: Prof. Alan Suarez Morales

 Actividad 2. Grupos de permutaciones
Lista de ejercicios Actividad 2

a) Probar que Sn es generado por las siguientes n-1 trasposiciones:

(12), (13), (14), . . . , (1n)

Demostración
𝑆𝑒𝑎 𝜎 = (𝑖1 , 𝑖2 , . . . , 𝑖𝑟 ) = (𝑖1 , 𝑖𝑟 )(𝑖1 , 𝑖𝑟−1 ) . . . (𝑖1 , 𝑖2 ), 𝑙𝑢𝑒𝑔𝑜 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑡𝑒𝑛𝑒𝑚𝑜𝑠 𝑞𝑢𝑒
(1𝑖1 )(1, 𝑖𝑗 )(1, 𝑖1 ) = (𝑖1 , 𝑖𝑗 ), 𝑠𝑖 𝑖𝑖 , 𝑖𝑗 ≠ 1, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑐𝑜𝑚𝑜 𝑐𝑎𝑑𝑎 𝑝𝑒𝑟𝑚𝑢𝑡𝑎𝑐𝑖𝑜𝑛 𝑒𝑠 𝑝𝑟𝑜𝑑𝑢𝑐𝑡𝑜 𝑑𝑒
𝑐𝑖𝑐𝑙𝑜𝑠, 𝑒𝑠𝑡𝑜 𝑖𝑚𝑝𝑙𝑖𝑐𝑎 𝑞𝑢𝑒 𝑆𝑛 = 〈(1,2), (1,3), (1,4),. . . , (1𝑛)〉

Por lo que queda demostrado

b) Probar que Sn es generado por las siguientes n-1 trasposiciones:

(1,2), (2,3), (3,4), . . . , (n-1, n)
𝑆𝑒𝑎 𝜎 = (𝑖, 𝑖 + 1)(1, 𝑖)(𝑖, 𝑖 + 1) = (1, 𝑖 + 1)𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑖 < 𝑛, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑡𝑒𝑛𝑒𝑚𝑜𝑠 𝑞𝑢𝑒
𝑆𝑛 = 〈(1,2), (2,3), (3,4),. . . , (𝑛 − 1, 𝑛)〉

Por lo que queda demostrado

c) Si 𝜎 = (𝑖1 𝑖2 𝑖3 … 𝑖𝑟 ) ∈ 𝑆𝑛 y 𝜏 ∈ 𝑆𝑛 entonces 𝜏𝜎𝜏 −1 ∈ 𝑆𝑛 es el r-ciclo

(𝜏(𝑖1 )𝜏(𝑖2 )𝜏(𝑖3 ) … 𝜏(𝑖𝑟 ))
Demostración
𝑆𝑢𝑝𝑜𝑛𝑔𝑎𝑚𝑜𝑠 𝑞𝑢𝑒 𝜎 = (𝑖1 , 𝑖2 , 𝑖3 , … …. , 𝑖𝑟 )𝑒𝑠 𝑢𝑛 𝑟 − 𝑐𝑖𝑐𝑙𝑜, 𝑙𝑢𝑒𝑔𝑜 𝑠𝑒𝑎 𝑟(𝑖𝑗 ) = 𝑗𝑖 𝑐𝑜𝑛

1 < 𝑖 < 𝑟. 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑠𝑖 𝑖(𝑘+1) = 𝑖1 𝑦 𝑗𝑘+1 = 𝑗1 𝑒𝑠𝑡𝑜 𝑖𝑚𝑝𝑙𝑖𝑐𝑎 τστ−1 = 𝑗𝑖 = τστ−1 (τ(𝑖𝑗 )) =

τ(𝜎(𝑖1 )) = t(𝑖1 + 1) = 𝑖𝑖+1 , 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑖 < 𝑖 ≤ 𝑟, 𝑙𝑢𝑒𝑔𝑜 𝑠𝑢𝑝𝑜𝑛𝑔𝑎𝑚𝑜𝑠 𝑞𝑢𝑒

𝑠 ∉ {𝑗1 , 𝑗2 , … , 𝑗𝑟 }, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑠 ∉ {𝜏(𝑖1 ), 𝜏(𝑖2 ), … , 𝜏(𝑖𝑟 )}, 𝑝𝑜𝑟 𝑙𝑜 𝑡𝑎𝑛𝑡𝑜 , 𝜏−1 (𝑠) ∉ (𝑖1 , 𝑖2 , 𝑖3 , … …. , 𝑖𝑟 )
luego como τστ−1 (𝑠) = (𝑠), 𝑒𝑠𝑡𝑜 𝑖𝑚𝑝𝑙𝑖𝑐𝑎 𝑞𝑢𝑒 τστ−1 𝑒𝑠 (𝑗1 𝑗2 , … 𝑗𝑟 )
= (𝜏(𝑖1 )𝜏(𝑖2 )𝜏(𝑖3 ) … 𝜏(𝑖𝑟 ))𝑒𝑠 𝑢𝑛 𝑟 − 𝑐𝑖𝑐𝑙𝑜
Por lo que queda demostrado
d) Probar que Sn es generado por los ciclos (12) y (123… n)
Para probar que el grupo simétrico Sn está generado por los ciclos (12) y (123...n),
debemos demostrar que cualquier permutación en Sn se puede obtener mediante una
combinación de estas dos permutaciones.

Primero, consideremos el ciclo (12). Esta permutación intercambia los elementos 1 y 2,

dejando los demás elementos sin cambios. Es decir, (12)(a1, a2, a3, ..., an) = (a2, a1,
a3, ..., an).

A continuación, consideremos el ciclo (123...n). Esta permutación mueve el elemento 1

al lugar del 2, el elemento 2 al lugar del 3, y así sucesivamente, hasta que el elemento
n ocupa el lugar original del elemento 1. Es decir, (123...n)(a1, a2, a3, ..., an) = (a2, a3,
a4, ..., an, a1).

Ahora, veamos cómo podemos generar cualquier permutación en Sn utilizando estos

dos ciclos. Tomemos una permutación arbitraria en Sn, denotada por σ. Queremos
demostrar que podemos expresar σ como una combinación de ciclos (12) y (123...n).

Comenzamos observando el elemento que σ envía al lugar de 1. Supongamos que σ(1)

= k. Podemos intercambiar los elementos 1 y k utilizando el ciclo (12), es decir, (12)(1,
σ(1), σ(2), ..., σ(n)). Después de esta operación, tenemos σ(1) = 1 y σ(k) = k.

A continuación, consideramos la restricción de σ a los elementos {2, 3, ..., n}.

Denotemos esta restricción como σ'. Ahora, σ' es una permutación en Sn-1, ya que los
elementos 1 y k ya no están involucrados.

Por hipótesis de inducción, podemos expresar σ' como una combinación de los ciclos
(12) y (123...(n-1)). Es decir, existe una expresión de σ' como una composición de
estos ciclos: σ' = (12)𝑚 (123. . . (n − 1)𝑟 , donde m y r son enteros.
 Ahora, podemos reconstruir σ utilizando σ' y los elementos 1 y k. Podemos escribir σ
como σ = (12)(1, σ(1), σ(2), ..., σ(n)) = (12)(1, k, σ'(2), σ'(3), ..., σ'(n)). Podemos ver que
σ se ha expresado como una combinación de los ciclos (12) y (123...n).

Por lo tanto, hemos demostrado que cualquier permutación en Sn se puede generar

utilizando los ciclos (12) y (123...n). Esto demuestra que Sn está generado por estos
ciclos.

e) Probar que Sn es generado por los ciclos (12) y (234… n)

Para demostrar que el grupo simétrico Sn está generado por los ciclos (12) y (234...n),
debemos demostrar que cualquier permutación en Sn se puede obtener mediante una
combinación de estas dos permutaciones.

En primer lugar, consideramos el ciclo (12). Esta permutación intercambia los

elementos 1 y 2, dejando los demás elementos sin cambios. Es decir, (12)(a1, a2, a3,
..., an) = (a2, a1, a3, ..., an).

A continuación, consideramos el ciclo (234...n). Esta permutación mueve el elemento 2

al lugar del 3, el elemento 3 al lugar del 4, y así sucesivamente, hasta que el elemento
n ocupa el lugar original del elemento 2. Es decir, (234...n)(a1, a2 , a3, ..., an) = (a1, a3,
a4, ..., an, a2).

Ahora, veamos cómo podemos generar cualquier permutación en Sn utilizando estos

dos ciclos. Tomemos una permutación arbitraria en Sn, denotada por σ. Queremos
demostrar que podemos expresar σ como una combinación de ciclos (12) y (234...n).

Comencemos por suponer que σ tiene el número 1 en la primera posición. Si no es así,

podemos obtener una permutación equivalente mediante una permutación de los
elementos, y luego aplicar la misma permutación al final para obtener σ.
Ahora, consideramos la restricción de σ a los elementos {2, 3, ..., n}. Denotemos esta
restricción como σ'. Ahora, σ' es una permutación en Sn-1, ya que el elemento 1 ya
está fijo.

Por hipótesis de inducción, podemos expresar σ' como una combinación de los ciclos
(12) y (234...(n-1)). Es decir, existe una expresión de σ' como una composición de
estos ciclos: σ' = (12)𝑚 (234. . . (n − 1)𝑟 , donde m y r son enteros.

Ahora, podemos reconstruir σ utilizando σ' y el elemento 1. Podemos escribir σ como σ

= (12)(1, σ'(2), σ'(3), ..., σ'(n)) = (12 )(1, (234. . . (n − 1))𝑟 (12){−𝑚}(2) , (234. . . (n − 1))𝑟
(12){−𝑚}(3) , ..., (234. . . (n − 1))𝑟 (12){−𝑚}(𝑛) )).

Podemos ver que σ se ha expresado como una combinación de los ciclos (12) y
(234...n).

Por lo tanto, hemos demostrado que cualquier permutación en Sn se puede generar

utilizando los ciclos (12) y (234...n). Esto demuestra que Sn está generado por estos
ciclos.
Referencias
UnADM Matemáticas/Algebra Moderna I/Contenido Nuclear Unidad 2/Grupos de
Permutaciones y Grupos de cocientes/México, D.F. Diciembre 2015.

Zaldívar. F. (2006). Introducción a la Teoría de Grupos. Primera edición. México:

Sociedad Matemática Mexicana.

J. M. Rodríguez, Una caracterización de los grupos cíclicos finitos, Aportaciones

Matemáticas, SMM, Serie Comunicaciones 25 (1999) 79–82.

G. Zappa, Fondamenti di Teoria dei Gruppi, volume secondo, Edizioni Cremonese,

Roma, 1970