Álgebra Moderna

GAP a System for Computational Discrete Algebra

November 11, 2020

Generadores, Isomorsmos, Grupos

1. La siguiente página web pertence a John Jones de la universidad del estado de Arizona (ASU).
Abra la página
https://hobbes.la.asu.edu/groups/groups.html

Uno de los objetivos de está práctica es determinar los generadores de los grupos Zn , Dn , Z∗n , Zn ×
Zm y el grupo de las matrices singulares 2 × 2 con coecientes en Z2 , GL2 (Z2 ).

(a) Elija un grupo de los siguientes Z1 , Z2 , Z3 , Z4 , Z6 , Z∗10 , Z∗8 , Z∗5 , D3 y D4 .

(b) Genere la tabla del grupo que eligió en la página web, antes mencionada.
(c) Una vez generada la tabla, ubíquese en uno de los números (elementos) de la parte izquierda
de la tabla y haga un click en el número (elemento), hasta que se ponga de color amarillo,
después haga click en Generate Subgroup. La tabla se tiene que colorear de distintos
colores si solo aparece un color (amarillo), esto signica que el número que seleccionado
previamente genera a todo el Grupo.

1
Segunda Práctica GAP Groups • Álgebra Moderna •

Conteste lo que se le pide:

Cúales son los generadores de Z1 , Z2 , Z3 , Z4 y Z6 ?

Escriba los elementos del subgrupo h2i en el Grupo Z3 , Z4 y en el grupo Z6 .

Cúales son los generadores de Z∗10 , Z∗8 y Z∗5 ?

Escriba los elementos del subgrupo h9i en el Grupo Z∗10 y del subgrupo h5i en el grupo
Z∗8 . Qué orden tienen esos elementos?

Cúales son los generadores de D3 , D4 ?

Qué orden tienen los elementos, de D3 y D4 , respectivamente?

A continuación se contestará una parte de las preguntas anteriores con GAP:

gap>h:=DihedralGroup(6);
<pc group of size 6 with 2 generators>
gap> Elements(h);
<identity> of ..., f1, f2, f1*f2, f2^2, f1*f2^2 ]

Página 2 de 6
Segunda Práctica GAP Groups • Álgebra Moderna •

gap>list:=Elements(h);;

gap> g1:=list[1];
<identity> of ...
gap> g2:=list[2];
f1
gap> g3:=list[3];
f2
gap> g4:=list[4];
f1*f2
gap> g5:=list[5];
f2^2
gap> g6:=list[6];
f1*f2^2
gap> Order(g1);
1
gap> Order(g2);
2
gap> Order(g3);
3
gap> Order(g4);
2
gap> Order(g5);
3
gap> Order(g6);
2

2. En la clase 11 vimos ejemplos de grupos de orden pequeño. A continuación daremos un listado

de los grupos de orden 1, . . . , 6 y su forma de implementarlos en GAP.
a) Zn es el grupo cíclico de orden n, (también b) Dihn : el grupo dihédrico de orden 2n (al-
se denota Cn ) y es isomorfo a (Zn , +mod n ). gunas veces de denota Dn or D2n ).
c) Sn : es el grupo simétrico de grado n, que d) Q4 : el grupo de cuaterniones de orden 8.
contiene las n! permutaciones of n elementos.

Página 3 de 6
Segunda Práctica GAP Groups • Álgebra Moderna •

Orden Tipo de Grupo Características Implementación en GAP

Cíclico, Abeliano,
Z 1 = C1 ∼
= Z1 ∼
= S1 Elemental,
1 Simétrico gap> G := SmallGroup(1,1);

Cíclico, Abeliano,
Elemental,
2 Z2 = C2 ∼ = Dih1 ∼
= Z2 ∼ = S2 Simétrico, Sim- gap> H := SmallGroup(2,1);
ple
Cíclico, Abeliano,
Z 3 = C3 ∼
= Z3 Elemental, Simple
3 gap> K := SmallGroup(3,1);

Cíclico, Abeliano,
Z 4 = C4 ∼
= Z3 Simple
4 gap> F := SmallGroup(4,1);

Abeliano, Elemen-
tal
Z∗8 = V4 ∼ = Dih2
= Z2 × Z2 ∼ gap> V := SmallGroup(4,2);

Cíclico, Abeliano,
Z 5 = C5 ∼
= Z5 Elemental, Simple
5 gap> C := SmallGroup(5,1);

Cíclico, Abeliano

6 Z6 = C6 ∼
= Z6 ∼
= Z2 × Z3 gap> F := SmallGroup(6,2);

No Abeliano,
D6 = Dih3 ∼
= S3 Simétrico
gap> D := SmallGroup(6,1);

gap> D :=SymmetricGroup(3);

gap> D := DihedralGroup(6);

Más información puede ser encontrada en:

https://en.wikipedia.org/wiki/List_of_small_groups#cite_note-14.
Recuerde que el programa Conexp usa una interface que nos permite dibujar los diagramas

Página 4 de 6
Segunda Práctica GAP Groups • Álgebra Moderna •

asociados a conjuntos parcialmente ordenados. En dichos diagramas un círculo representa un

elemento del conjunto y dos elementos estarán conectados si por una línea, si existe una relación
de cobertura entre ellos. Ocupe la tabla anterior para llenar el siguiente contexto formal.
Orden Cíclico Abeliano Simétrico Simple Elemental
Orden 1
Orden 2
Orden 3
Orden 4 X X
Orden 5 X X X X
Orden 7
3. Explore las características del contexto para determinar que se debe de cumplir para que un
grupo sea ELEMENTAL.

4. Isomorsmos Ocupe GAP para demostrar que Dih3 ∼

= S3

gap> M:=DihedralGroup(6);
<pc group of size 6 with 2 generators>
gap> V:=SymmetricGroup(3);
Sym( [ 1 .. 3 ] )
gap> StructureDescription(V);
"S3"
gap> I:=IsomorphismGroups(M,V);
[ f1, f2 ] -> [ (2,3), (1,2,3) ]
gap>gen:=GeneratorsOfGroup(M);

5. Homomorsmo y Kernel

gap> gens:=[(1,2,3,4),(1,2)];
[ (1,2,3,4), (1,2) ]
gap> g:=Group(gens);
Group([ (1,2,3,4), (1,2) ])
gap> h:=Group((1,2,3),(1,2));
Group([ (1,2,3), (1,2) ])
gap> hom:=GroupHomomorphismByImages(g,h,gens,[(1,2),(1,3)]);
[ (1,2,3,4), (1,2) ] -> [ (1,2), (1,3) ]
gap> Image(hom,(1,4));
(2,3)
gap> StructureDescription(g);
"S4"
gap> StructureDescription(h);
"S3"
gap> K:=Kernel(hom);

Página 5 de 6
Segunda Práctica GAP Groups • Álgebra Moderna •

Group([ (1,4)(2,3), (1,2)(3,4) ])

gap> StructureDescription(K);
"C2 x C2"

Página 6 de 6