1. Probar que el subgrupo alternante 𝐴𝑛 , en realidad es un subgrupo de 𝑆𝑛 .

Demostración

Sea el producto de dos permutaciones, entonces como las permutaciones son

pares, esto implica que también es una permutación par, por lo tanto, 𝐴𝑛 es
cerrada.

Luego la identidad es una permutación par, y por lo tanto, está en 𝐴𝑛 , luego

tenemos que 𝜎 es una permutación par, entonces 𝜎 = 𝜎1 , 𝜎2 , … . , 𝜎𝑟 , donde 𝜎𝑖 son
trasposiciones y r es par.

Luego como la inversa de una trasposición es ella misma, es decir, 𝜎 −1 =

𝜎𝑟 , 𝜎𝑟−1 , … . 𝜎1 también están en 𝐴𝑛 .

Por lo tanto, el subgrupo 𝐴𝑛 es un subgrupo de 𝑆𝑛

LQD.

2. Pruebe que el grupo 𝐴4 no tiene subgrupo de orden 6.

Demostración

Supongamos que existe 𝐻 ≤ 𝐴4 tal que |𝐻| = 6, entonces se tiene que [𝐴4 : 𝐻3 ] =
2, por lo tanto, ∀ 𝛼 ∈ 𝐻, se tiene que 𝛼 ∗ 𝛼 = 𝛼 2 ∈ 𝐻, entonces si 𝛼 es un 3-ciclo,
entonces 𝛼 = 𝛼 4 = (𝛼 2 )2 ∈ 𝐻, por lo tanto, 𝐻 contiene a todos los 3-ciclos, pero
está es una contradicción, pues hay ocho 3-ciclos en 𝐴4 .

LQD.

Referencias bibliográficas

UNADM. (2015). grupo de permutaciones y grupo cociente. Mayo 14, 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. Mayo 14, 2019, de unadm Sitio web:
https://www.youtube.com/playlist?list=PLHh3oFQ_xhSqCKxZjuCbi0Ii3a8OjBXnk

TvUnADM. (2014). Grupos cíclicos. Mayo 14, de YouTube Sitio web:

https://www.youtube.com/watch?v=q84ODQWrdE4