Algebra Moderna I

Unidad 2 Actividad 3

GRUPOS DE PERMUTACIONES
19 de noviembre de 2015
Autor: Laura Pontn

Algebra Moderna I
Unidad 2 Actividad 3
9.10 Sea G un grupo abeliano de orden 72
Por el teorema fundamental sobre la estructura de los grupos abelianos finitos cualquier grupo conmutativo de
orden 72
23 . 32 = 8 9
23 . 3.3 = 8 3 3
22 . 2. 32 = 4 2 9
22 . 2.3.3 = 4 2 3 3
2. 2.2. 32 = 2 2 2 9
2. 2.2.3.3 =
Si consideramos que a partir de ah tambin tenemos la siguiente descomposicin
72 , 8 9 , 2 36 , 3 24 , 2 2 18 , 6 12
Su descomposicin se observa de la siguiente manera:
8 9

3.3

. .

3 3

2 36

2.2.3.3

36

4 9

2 2 3 3

24

8 3

2 2 2 3

18

2 9

Algebra Moderna I | 19/11/2015

3 24

2.2.2.3

2 2 18
.
.

2.3.3

2 3 3

6 12
.

2.2.3

12

4 3

2 2 3

a) Cuntos subgrupos de orden 8 tiene G Por qu?

Como se desprende de la tabla anterior en realidad slo tiene un subgrupo de orden 8, Tal que (1,0)

entonces el subgrupo de orden 8 consiste de todos aquellos elementos que tienen un orden que divide 8
b) Cuntos subgrupos de orden 4 tiene G Por qu?
Como se desprende tambin de la tabla anterior slo tiene un subgrupo de orden 4
Tal que {(, ), (, ), (, ), (, )}
Aunque como vimos desde el principio que se generan los grupos isomrficos nos damos cuenta de que es
isomorfo a 2 4 9, entonces tiene ms de un subgrupo de orden 4 , tal que
{(, , ), (, , ), (, , ), (, , )} y {(, , ), (, , ), (, , ), (, , )}
de 8 hay un subgrupo de orden {, , , }

Entonces si:

Algebra Moderna I | 19/11/2015

9.18 Sean G, H y K grupos abelianos finitamente generados mustrese que si

H
K

Tal que

Por lo que los grupos que aparecen en las descomposiciones de y de son nicos excepto por el orden
de los factores.
Debido a que son isomorfos, stos factores en sus descomposiciones deben ser los mismos.
Tal que las descomposiciones de pueden ser ambos escritos en el orden con los factores de la ltima
K tendrn los mismos factores en su expresin en la descomposicin | son isomorfos.

Ejercicio 9.18
Pero qu pasa en el caso en el que hay factores de K que coinciden con los de G y
H?
0.5 puntos.
La pregunta que Usted hace es muy extraa, porque no tiene vuelta de hoja, si todos los
grupos son isomorfos a el producto de esos grupos cclicos, entonces todos los grupos
G,H y K son isomorfos entre s.

Algebra Moderna I | 19/11/2015

Teniendo eso en cuenta y que todos los grupos son abelianos y segn el teorema 9.3 todo
grupo finitamente generado y abeliano es isomorfo al producto de esos grupos cclicos
que se mencionan. Entonces podemos tomar uno solo de esos productos directos el cual
ser isomorfo a G,H y K. y ya directamente por transitividad G,H y K son isomorfos entre
s.

As que, teniendo en cuenta el teorema 9.3 de hecho sale sobrando si GXK~HXK, ya que
al ser G,H,K finitamente generados y abelianos son isomorfos a algn producto directo
de los ya mencionados y bueno de ah si tanto G,H y K son isomorfos a ese producto,
pues entonces son isomorfos entre s.