lgebra Moderna I

Unidad 2 Evidencia de Aprendizaje

GRUPOS DE PERMUTACIONES Y GRUPOS COCIENTE

27 de noviembre de 2015
Autor: Laura Pontn

lgebra Moderna I
Unidad 2 Evidencia de Aprendizaje
i.- 7.10 Un isomorfismo de un grupo con l mismo es un automorfismo del grupo. Cuntos automorfismos hay
de , de de de Z y de ?

Para demostrar primero resulta que tiene n endomorfismos, siendo que si 1 es el elemento
generador de
Entonces
| = 0,1, , 1
= 1
pero el elemento z tambin se puede poner
=
1 + 1 + + 1

Definimos entonces una aplicacin ( + ) = ( ) + () | = =

(
1 + 1 + + 1 ) = (1 ) + (1 ) + + (1 ) = (1 )

y como (1 )puede tomar valores desde 0 hasta (n-1) por lo que entonces habr endomorfismos
Los automorfismos sern aquellos que tengan como imagen habr tantos automorfismos
como generadores tenga el grupo
Entonces
Para el grupo , resulta que es un grupo cclico generado por el elemento 1, tal que
cualquiera de sus elementos puede escribirse:
2 = 1| = 0,1

el orden de es 2
Por lo que en general se puede decir que un elemento x que pertenece a un grupo G engendra
al grupo si el mximo comn divisor de dicho elemento y el orden del grupo es 1.

lgebra Moderna I | 27/11/2015

() = . . . (2, ) = 1 = {1}

Por lo que 1 es el nico elemento que genera el grupo

De aqu procedemos de la misma manera para todos los grupos tal que:
Para el grupo

6 = 1| = 0,1, ,5

el orden de es 6

() = . . . (6,1) = 1 = {1, 5}
Por lo que estos son los dos elementos que generan el grupo
Para el grupo
8 = 1| = 0,1, ,7

el orden de es 8

7}
5,
() = . . . (8, ) = 1 = {1, 3,
Por lo que estos son los cuatro elementos que generan el grupo
Para el grupo

Para el grupo

17 = 1| = 0,1, ,16

el orden de es 17

3,
4,
7,
9,
10,
11
, 12,
13,
14

5, 6,
8,
() = . . . (17, ) = 1 = {1, 2,
, 15,16}
porque cualquier elemento de genera al grupo, tal que los elementos que generan al grupo son aquellos que
sean primos relativos con 17 porque si fuera el caso de que existieran elementos que no lo generaran, entonces
colapsaran al neutro al multiplicarse por s mismos un nmeros de veces menor al orden del grupo

Cuntos automorfismos hay de , de de de Z y de ?

lgebra Moderna I | 27/11/2015

Simplemente es 1 y -1 eso ya lo habamos demostrado en la Unidad 1 Actividad 2 Ejercicio

3.4
Tal que:
=< , +>
Tal que < , +>= , 1 =
10 = = 0
11 = 1
12 = 1 + 1 = 2
13 = 12 + 1 = 2 + 1 = 3
.
.
.
Ahora con los negativos
11 = (1)1 = 1
12 = (1)2 = 1 + (1) = 2
13 = (1)3 = (1)2 + (1) = 2 + (1) = 3
... Entonces si es un grupo cclico ya que el generador de este grupo es 1 = y 1 =

1 es el nico elemento que genera el grupo

{1, 5} son los 2 elementos que generan el grupo
7} son los 4 elementos que generan el grupo
5,
{1, 3,
1 1 son los 2 elementos que generan el grupo

3,
4,
7,
9,
10,
11
, 12,
13,
14

5, 6,
8,
{1, 2,
, 15,16} son los 16 elementos que generan el grupo

ii.-Sea G un grupo. Sea H el subconjunto de G que consta de la identidad y de todos los

elementos de G de orden 2.
Es H un subgrupo? Nopor qu?.
Bueno eso depende, porque la hiptesis no lo menciona, entonces supongamos que G es
abeliano pues tendramos que:
Ya sabemos que para que H sea subgrupo de G deber cumplir las siguientes condiciones:

lgebra Moderna I | 27/11/2015

(1) H lo cual es cierto, dado que por hiptesis consta de todos los elementos de G de orden 2
Tomando los criterios en desorden para plantear adecuadamente el problema, por hiptesis se nos dice que consta
de la identidad eso significa que e H por lo que se cumple el criterio de la identidad
Entonces, retomando que consta de todos los elementos de G de orden 2, digamos que , H 2 = 2 =

esto se sigue porque es abeliano por lo que cumple con el criterio de cerradura
Ahora, como ()2 = ()() = ()() = = entonces tambin ab H sabemos que H
es cerrado bajo la operacin de grupo.
Por ltimo para cumplir con el criterio de los inversos tenemos que cuando decimos que 2 =
implica que tiene un inverso tal que 1 =
Obviamente lo mismo ocurre para b |2 = implica que tiene un inverso tal que 1 =

Cumpliendo todos los criterios antes mencionados en el Teorema denominado 2.3.1. sabemos que H es
un subgrupo

Pero no todo es tan bello para ser cierto, ya que si H es abeliano, eso no implica que G sea
abeliano
Si G es abeliano, entonces H es un subgrupo?, por qu?.
Si G es abeliano, H es subgrupo
Si G no es abeliano, entonces H no necesariamente es subgrupo

ii) En el caso en que G no es abeliano, cmo sabe que H consta de slo estos elementos?.
Recuerde que H consta de todos los elementos que cumplen la propiedad.

En este caso, en el que no es abeliano, le sugiero ampliamente que busque un grupo que no
es abeliano tal que el conjunto H no es un subgrupo.
0.75 puntos.
CORRECCIN
bueno, si a es elemento de orden 2 = con e la identidad
entonces = por lo que e est en H
luego, si a y b son de orden 2 y estn en H, hay que ver si est en H
( ) ( ) =
di G fuera abeliano, entonces = = = = y por tanto si pertenece a H
pero si G no es abeliano, no veo como abab sea igual e, por tanto H no necesariamente es subgrupo de G

Considerando el grupo simtrico de orden 4, 4 , que es el grupo de las permutaciones de 4 elementos. Escritos
en notacin de ciclos los elementos de orden dos son = {(1,2), (1,3), (1,4), (2,3), (2,4), (3,4)}
Pero el elemento (1,2)(2,3) = (1,2,3) no tiene orden 2

Si G es abeliano, entonces H es un subgrupo?, por qu?.

Si G es abeliano, H es subgrupo
Si G no es abeliano, entonces H no necesariamente es subgrupo

Por el Teorema fundamental de los grupos abelianos finitamente generados, el nmero de

Betti es el nmero de factores Z.
En nuestro caso es 3.
Los coeficientes de torsin son los nmeros del grupo 1 2 que es
isomorfo al subgrupo de torsin T y donde divide a +1
Como el producto directo de dos grupos es isomorfo a si m.c.d(, ) = 1

lgebra Moderna I | 27/11/2015

iii.- Encuentre los coeficientes de torsin y el nmero de Betti del grupo

.

Como
=
Ahora se descompone cada orden como producto de factores primos, pero con los exponentes
ya operados
Por lo que se obtienen isomorfismos a grupos formados por productos directos

si es potencia de primo as se queda, slo los que sean productos de dos o ms primos diferentes se
separan.

T es isomorfo a

Al ordenar los nmeros por renglones, cada rengln para cada primo, puestos en orden creciente y alineados por la derecha. Tenemos a todos y
cada uno de ellos.
2

Considerando entonces las columnas y en cada una se realiza el producto.

lgebra Moderna I | 27/11/2015

Esos son entonces los coeficientes de torsin.

En la columna 1 tenemos 23

1 = 6

En la columna 2 tenemos 4.3.5

En la columna 3 tenemos 8.9.5

2 = 60

3 = 360

Por lo que tericamente estamos reordenando los grupos tal que T isomorfo a
Por lo que los que se encuentran juntos con m.c.d = 1 son isomorfos al grupo cclico de orden el producto de los rdenes
T isomorfo a ( )( ) ( ) isomorfo a

Nmero de Betty = 3
Coeficientes de torsin = 6,60,360 CORRECCIN

iv.- Sin usar el concepto de subgrupo normal, demuestre que todo grupo de orden primo
es abeliano.
Siento que podemos demostrarla de manera muy simple sin usar el concepto de subgrupo
normal:

Sea que por hiptesis tenemos un grupo de orden primo, al ser de orden primo G{1}y como es de orden primo
es finito, luego se sigue que por el Teorema de Lagrange, entonces, el orden de un subgrupo divide al orden del
grupo, y por el inciso iv de la proposicin 2, sabemos que no tiene subgrupos porque es de orden primo y no
tiene subgrupos diferentes de los triviales, de aqu se sigue entonces que es ciclico y como por la proposicin 2 i)
al ser cclico es abeliano.

(Zaldivar, 2006)
Si G fuera no abeliano, () y de acuerdo al lema 9.10 de Zaldivar ()
1 () = , /() tiene orden p de acuerdo al lema 9.9 de Zaldivar es cclico

lgebra Moderna I | 27/11/2015

Ahora tambin podemos plantearlo de esta manera: no es exactamente usando el concepto

de subgrupo normal, aunque un poco, porque es usando el concepto del centro de G, y
puede plantearse as:

v.- Sean H y K subgrupos normales de un grupo G. Si H es isomorfo a K, entonces G/H

es isomorfo a G/K?, por qu?.
Vemoslo de esta manera si podemos aplicar el tercer teorema de
isomorfismos.
Por el siguiente teorema:

Si por hiptesis tenemos que H y K son subgrupos normales en G y supongamos entonces que

| :
: () = , est bien definida por el simple hecho de ser biyectiva, es un
homomorfismo y adems pues es suprayectiva y el ncleo de es ker = { |
} =
( )( ) y como es suprayectiva por el primer teorema de
isomorfismo de Noether que dice:

Tenemos que ( )( ) = ( )/ =
Eso comprueba que efectivamente si H y K son subgrupos normales de un grupo GH
KG/H G/K

lgebra Moderna I | 27/11/2015

v)
Lamentablemente si le voy a decir lo que usted supuso que le iba a decir. Lo
que pasa es que por ejemplo, en Z2xZ2 se tiene que {0}xZ2 es isomorfo a
Z2x{0},pero no puede suponer que uno est contenido en el otro.

Adems, usted concluye que (G/H)/(K/H) isomorfo G/K, pero lo que aqu se pregunta es si G/H
es isomorfo a G/K.
Le voy a dar una sugerencia. La respuesta es no.
As que encuentre un ejemplo en el que H es isomorfo a K pero G/H y G/K no son isomorfos.
0 puntos.
CORRECCIN
La respuesta es no y aqu tenemos el ejemplo.
Sea = , = 2 (enteros mltiplos de 2) y = 3 (enteros mltiplos de 3)
Ambos son normales por ser subgrupos de un grupo abeliano.
Veamos que 2Z y 3Z son isomorfos

Sea a un elemento de 2Z, puede denotarse como 2n con n Z, entonces definimos el isomorfismo
: 2 3
2 3
Es inyectivo, sea = 2 = 2,
si = 3 = 3 = 2 = 2 =
Es sobreyectivo, elemento 3 3 tenemos a 2 2 | (2) = 3
Es homomorfismo,
(2 + 2) = (2( + )) = 3( + )
(2) + (2) = 3 + 3 = 3( + )
(2 + 2) = (2) + (2)
Y por ser un homomorfismo inyectivo y sobreyectivo ( o en otras palabras, monomorfismo y epimorfismo)
entonces es un isomorfismo.
Y ahora el grupo cociente /2 est formado por las clases de elementos relacionados por ( ) 2
Si n es impar todo m impar cumple 2, luego los impares es una clase de /2
Si n es par todo m par cumple n-m 2Z, luego los pares son otra clase de Z/2Z
Y ya est partido todo Z con esas dos clases, /2 tiene 2 elementos
Mientras que el grupo /3 tiene tres elementos.
Una las de los elementos 3n con n Z, otra la de los elementos 3 + 1 con n Z y otra la de los elementos
3 + 2.
Luego el orden de /3 3
Y teniendo orden distinto es imposible establecer un isomorfismo entre ellos.

Referencias Bibliogrficas
Zaldivar, F (2006) Introduccin a la Teora de Grupos. Sociedad Matemtica Mexicana.
Mxico.
Extrado de: http://www.matematicasypoesia.com.es/Probvarios/probTGR104.htm 06/12/15
Extrado de: http://departamento.us.es/da/planantiguo/notas-ant/algebra/t10.pdf 06/12/15
Extrado de: http://www.dim.uchile.cl/~mkiwi/ma31a/05/apunte.pdf 06/12/15
Extrado de: http://www.math.toronto.edu/agraboso/files/TGrup.pdf 06/12/15
Extrado de: http://www.dm.uba.ar/materias/algebra_2/2009/1/Algebra2.pdf 06/12/15
Extrado de:
http://sociedadmatematicamexicana.org.mx/SEPA/ECMS/resumen/P1TE10_1.pdf 06/12/15
Extrado de: http://www.saber.ula.ve/bitstream/123456789/15899/2/isomorfismos.pdf
06/12/15
Extrado de: http://www.ual.es/personal/jperalta/grupos.pdf 06/12/15
Extrado de: https://foones.wordpress.com/2013/01/11/teoremas-de-isomorfismo/06/12/15
Extrado de: https://www.uam.es/personal_pdi/ciencias/dragan/licenc/algI-0708-prob-res.pdf
06/12/15

lgebra Moderna I | 27/11/2015

Y ah est:
Hemos tomado dos grupos normales de un grupo que eran isomorfos y los grupos cociente generados no son
isomorfos, tal como queramos demostrar.