Matemáticas

Séptimo Semestre

Álgebra Moderna I

Evidencia de aprendizaje:
Algunos subgrupos de las biyecciones sobre un círculo.

Unidad 2: Grupos de permutaciones y grupos cociente

Universidad Abierta y a Distancia de México

Lista de ejercicios de evidencia de aprendizaje

Algebra Moderna I
Unidad 2. Grupos de permutaciones y grupos cociente
Actividad: Evidencia de aprendizaje

a) Dentro del grupo de biyecciones del círculo construye una sucesión de subgrupos Gi tal
que Gi es un subgrupo de Gi+1 y además |Gi|=i!
Sea por el teorema de Lagrange: Sea 𝐺 un grupo finito de orden 𝑛 y sea 𝐻 un subgrupo
de 𝐺. Entonces el orden de 𝐻 divide al orden de 𝐺. (UNADM)
Si G es cualquier grupo, una serie normal de G es una cadena de subgrupos
(*) G=:G 0 ⊇ G1 ⊇ G2 ⊇ … ⊇ Gn=1
tal que Gi+1 ⊲ Gi para toda i. Los cocientes de la serie son los grupos Gi /G i+1 para 0 ≤ i <
n. (Zaldivar, 2006)
Por el Teorema de Frobenius. Sean G un grupo finito y Y un G- conjunto finito. Si r es el
número de orbitas de Y bajo la acción de G, entonces

por lo que

tal que r es un numero natural

Entonces sea H un subgrupo de Gi todas las clases laterales de σ i H tienen el mismo
cardinal de H y el número de estas clases es finito ya que G es finito.
q q
En el caso de que el número de clase es q i →|G|=∑ |σ i H|entonces r |G|=∑ |σ i H| y
i=1 i=1

q
considerando k =|H|=|σ i H|=r |G|=r ∑ k=rqk por lo tanto k divide a |G|.
i=1

Como r |G|=∑ |G x| y por el teorema de orbita estabilizador donde |G x|es el subgrupo de

xϵY

isotropía y al tener estructura de grupo y siendo un subrupo de G entonces el orden de un

subgrupo H ϵ G divide el orden del grupo. Por lo que queda demostrada la proposición.

UnADM | DCEIT | MT | MAMT1 2

Algebra Moderna I
Unidad 2. Grupos de permutaciones y grupos cociente
Actividad: Evidencia de aprendizaje
b) Para cualquier Gi según tu respuesta del inciso a), encuentra la clase de una rotación.
Sea la función biyectiva si es inyectiva y sobreyectiva al mismo tiempo. Consideremos
que

Como lo cual
implica que x, g son conmutativos.
Si utilizamos el inverso tenemos que:

Por tanto ψ es inyectiva y cada clase σ C G (g) lateral izquierda tiene su conjugado
entonces es sobreyectiva así ψ es biyectiva y los conjugados de g a la de clases laterales
izquierdas y derechas de σ C G ( g) dado que estas son el orden del grupo que divide el
orden de las clases laterales

c) De acuerdo a tu respuesta del inciso a) describe las clases de equivalencia de Gi modulo

Gi−1
Utilizando el teorema de Frobenius sustituimos las clases de equivalencia que son la
orbitas;

Lo cual implica que Y σ son conjuntos invariantes bajo σ y |C G ( g)|los conjuntos que
conmutan con σ , tal que σg=gσ →σg σ−1 el cual se mantiene invariantes bajo la
acción de la conjugación, entonces:

UnADM | DCEIT | MT | MAMT1 3

Algebra Moderna I
Unidad 2. Grupos de permutaciones y grupos cociente
Actividad: Evidencia de aprendizaje

Referencias

UNADM. (s.f.). UNADM. Obtenido de

https://campus.unadmexico.mx/contenidos/DCEIT/BLOQUE2/MT/07/MAMD1/U2/
descargables/MAMD1_U2_contenido.pdf

Zaldivar, F. (2006). Introducción a la Teoría de Grupos. Sociedad Matemática Mexicana y Reverté

ediciones.

UnADM | DCEIT | MT | MAMT1 4