1.

Probar que 𝑆𝑛 es generado por las siguientes 𝑛 − 1 trasposiciones:

(1,2), (1,3), (1,4), … . , (1, 𝑛)

Demostración

Sea 𝜎 = (𝑖1 , 𝑖2 , … . , 𝑖𝑟 ) = (𝑖1 , 𝑖𝑟 )(𝑖1 , 𝑖𝑟−1 ) … . (𝑖1 , 𝑖2 ), luego tenemos que

(1𝑖1)(1, 𝑖𝑗)(1, 𝑖1) = (𝑖1, 𝑖𝑗), si 𝑖𝑖, 𝑖𝑗 ≠ 1, entonces como cada permutación es producto
de ciclos, esto implica que 𝑆𝑛 = 〈(1,2), (1,3), (1,4), … . , (1𝑛)〉

LQD

2. Probar que 𝑆𝑛 es generado por las siguientes 𝑛 − 1 trasposiciones:

(1,2), (2,3), (3,4), … . , (𝑛 − 1, 𝑛)

Demostración

Sea 𝜎 = (𝑖, 𝑖 + 1)(1, 𝑖)(𝑖, 𝑖 + 1) = (1, 𝑖 + 1) para todo 𝑖 < 𝑛, entonces tenemos que 𝑆𝑛 =
〈(1,2), (2,3), (3,4), … . , (𝑛 − 1, 𝑛)〉

LQD

3. Si 𝜎 = (𝑖1, 𝑖2, 𝑖3, … … . , 𝑖 𝑟) ∈ 𝑆𝑛 𝑦 𝜏 ∈ 𝑆𝑛 , entonces 𝜏𝜎𝜏−1 ∈ 𝑆𝑛 es el 𝑟 −

𝑐𝑖𝑐𝑙𝑜 (𝜏(𝑖1 )𝜏(𝑖2)𝜏(𝑖3) ∙∙∙∙∙∙ 𝜏(𝑖𝑟))

Demostración

Supongamos que 𝜎 = (𝑖1, 𝑖2, 𝑖3, … … . , 𝑖𝑟) es un 𝑟 − 𝑐𝑖𝑐𝑙𝑜, luego sea 𝜏(𝑖𝑗) = 𝑗𝑖 con

1 < 𝑖 < 𝑟, entonces si 𝑖(𝑘+1) = 𝑖1 𝑦 𝑗𝑘+1 = 𝑗1, esto implica que 𝜏𝜎𝜏−1 = 𝑗𝑖 =

𝜏𝜎𝜏−1 (𝜏(𝑖𝑗)) = 𝜏(𝜎(𝑖1)) = 𝑡(𝑖1 + 1) = 𝑗𝑖+1, para todo 1 < 𝑖 ≤ 𝑟, luego supongamos que 𝑠 ∉
{𝑗1, 𝑗2, … , 𝑗𝑟}, entonces 𝑠 ∉ {𝜏(𝑖1), 𝜏(𝑖2), … . . , 𝜏(𝑖𝑟)}, por lo tanto, 𝜏−1(𝑠) ∉
{𝑖1, 𝑖2, 𝑖3, … … . , 𝑖𝑟}, luego como 𝜏𝜎𝜏−1(𝑠) = 𝑠, esto implica que 𝜏𝜎𝜏−1 es

(𝑗1, 𝑗2, … , 𝑗𝑟) = (𝜏(𝑖1)𝜏(𝑖2)𝜏(𝑖3) ∙∙∙∙∙∙ 𝜏(𝑖𝑟)) es un 𝑟 − 𝑐𝑖𝑐𝑙𝑜.

LQD
 4. Demuestra que para 𝑛 ≥ 2 el grupo simétrico 𝑆𝑛 es generado por los dos ciclos
(12) 𝑦 (123, … . , 𝑛)

Demostración

Supongamos que ∅ = (12) 𝑦 𝜎 = (123, . . , 𝑛) entonces 𝜎 𝑘 ∅𝜎 −𝑘 = (𝜎 𝑘 (1)𝜎 𝑘 (2)), esto

implica que (𝑘 𝑘 + 1) si 1 ≤ 𝑘 < 𝑟 𝑦 (1𝑛) 𝑠𝑖 𝑘 = 𝑛.

Luego se tiene que las trasposiciones (12), (23), (34), … . . , (𝑛(𝑛 − 1)), (1𝑛) son
generadas, además (12)(23)(12) = (13) es decir, (13) es generado.

Se procederá por inducción (1𝑘)(𝑘 𝑘 + 1)(1𝑘) = (1 𝑘 + 1), de este modo se tiene que
todas las trasposiciones (1𝑘) son generadas, ya que (1𝑟)(1𝑘)(1𝑟) = (𝑟𝑘), entonces todas
las trasposiciones son generadas y como toda permutación es producto de trasposiciones
tenemos que el grupo simétrico 𝑆𝑛 es generado.

LQD

Bibliografía

UNADM. (2015). grupo de permutaciones y grupo cociente. Octubre 27, 2019, de unadm
Sitio web: https://unadmexico.blackboard.com/bbcswebdav/institution/DCEIT/2016_S1-
B2/MT/07/MADM1/U2/U2.Grupos_de_Permutaciones_y_Grupos_Cociente.pdf
UNADM. (2015). ALGEBRA Moderna 1. Octubre 27, 2019, de unadm Sitio web:
https://www.youtube.com/playlist?list=PLHh3oFQ_xhSqCKxZjuCbi0Ii3a8OjBXnk

Fernández P. (2003). Permutaciones. Octubre 27, 2019, de UAM Sitio web:

http://verso.mat.uam.es/~pablo.fernandez/capitulo3b.pdf