EXAMEN-PRACTICAS-2022-RESUELTO.

pdf

TelecoMates

Estructuras Algebraicas I

2º Doble grado en Matemáticas e Ingeniería de Tecnologías y

Servicios de Telecomunicación

Escuela Técnica Superior de Ingeniería de Telecomunicación

Universidad Politécnica de Valencia

Reservados todos los derechos.

No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.
 Examen de Prácticas-Estructuras Algebraicas I (GMAT)-2022/2023-TIPO A

• Las soluciones de cada pregunta del examen se entregarán por separado.

• Recordar que se debe poner el NOMBRE en todas las hojas de examen.
• En cada ejercicio escribe las instrucciones que introduces en GAP (SOLO INPUTS; NO OUTPUTS).
• Se debe JUSTIFICAR y RAZONAR adecuadamente todos los resultados en las preguntas.
• Cada una de ellas se puntuará con un máximo de 10 puntos.
• La nota del examen es la media de las notas de las cuatro preguntas.

NOMBRE:

P1 (a) Utiliza GAP para demostrar que el grupo S3 × D4 tiene tres subgrupos de ı́ndice 3.
(b) Demuestra con GAP que estos tres subgrupos son isomorfos.
(c) Determina con GAP si son abelianos y si son cı́clicos. Clasifica estos subgrupos.

Solución:

(a) gap> S3:=SymmetricGroup(3);;

gap> D4:=DihedralGroup(4);;
gap> G:=DirectProduct(S3,D4);;
gap> S:=AllSubgroups(G);;
gap> L:=Filtered(S,x->Index(G,x)=3);;
gap> Length(L);
3
Por tanto, G = S3 × D4 tiene exactamente 3 subgrupos de ı́ndice 3.
(b) Cargaremos la librerı́a “Sonata” para poder utilizar el comando IsIsomorphicGroup.
gap> LoadPackage("Sonata");;
gap> IsIsomorphicGroup(L[1],L[2]);
true
gap> IsIsomorphicGroup(L[1],L[3]);
true
Por tanto, los tres subgrupos de ı́ndice 3 son isomorfos.
(c) gap> IsAbelian(L[1]);
true
gap> IsCyclic(L[1]);
false
Vemos que se trata de grupos abelianos que no son cı́clicos.
Aplicando el Teorema de Lagrange, los tres subgrupos de ı́ndice 3 tienen orden 8. Por tanto,
hemos de ver cuáles son los grupos de orden 8 no isomorfos.
gap> List(AllSmallGroups(Size,8),StructureDescription);
[ "C8", "C4 x C2", "D8", "Q8", "C2 x C2 x C2" ]
Vemos, por tanto, que existen 5 grupos de orden 8 no isomorfos: C8 , C4 ×C2 , D8 , Q8 y C2 ×C2 ×C2 .
Como hemos visto que los subgrupos de S3 ×D4 de ı́ndice 3 son abelianos pero no cı́clicos, tenemos
dos posibilidades: C4 ×C2 y C2 ×C2 ×C2 . Para ver de cuál de las dos posiblidades se trata podemos
proceder, por ejemplo, de una de estas dos maneras:
ˆ Como el grupo C4 ×C2 posee elementos de orden 4, pero C2 ×C2 ×C2 no, podemos discriminar
entre ambos calculando los órdenes de los elementos:
gap> L:=Elements(R[1]);;
gap> List(R[1],Order);
[ 1, 2, 2, 2, 2, 2, 2, 2 ]
Vemos que se trata de grupos isomorfos a C2 × C2 × C2 .
ˆ Podemos usar la instrucción IsIsomorphicGroup:
gap> IsIsomorphicGroup(R[1],DirectProduct(CyclicGroup(4),CyclicGroup(2)));
false

a64b0469ff35958ef4ab887a898bd50bdfbbe91a-7105613

Reservados todos los derechos. No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.
 Por tanto, concluı́mos que se trata de grupos isomorfos a C2 × C2 × C2 .

P2 (a) Define el GAP el subgrupo G de GL(2, C) generado por las siguientes matrices:
   
0 1 0 1
a := y b := .
i 0 −1 0

Calcula el orden de G.
(b) Determina si el siguiente elemento pertenece a G:

Reservados todos los derechos. No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.
 
0 i
c := .
i 0

En caso afirmativo expresa c en función de los generadores a y b de G (es decir, como producto de
elementos en {a, b, a−1 , b−1 }).
(c) Determina si el grupo G/Z(G) es abeliano y clasifı́calo.

Solución:

(a) gap> a:=[[0,1],[E(4),0]];;

gap> b:=[[0,1],[-1,0]];;
gap> G:=Group([a,b]);;
gap> Order(G);
32
Se trata de un grupo de orden 32.
(b) gap> c:=[[0,E(4)],[E(4),0]];;
gap> c in G;
true
gap> Factorization(G,c);
x1^-1*x2*x1
Por tanto c = a−1 ba.
(c) gap> H:=G/Center(G);;
gap> IsAbelian(H);
false
gap> Order(H);
8
Vemos que se trata de un grupo de orden 8 no abeliano. Según hemos visto en el ejercicio anterior,
solo hay dos posibilidades: D8 o Q8 . Para discriminar entre ambas podemos utilizar el comando
IsIsomorphicGroup:
gap> IsIsomorphicGroup(H,DihedralGroup(8));
true
Por tanto, H es isomorfo a D8 .

P3 Sean S = C21 = ⟨x⟩ y T = C12 = ⟨y⟩, subgrupos cı́clicos de órdenes 21 y 12, respectivamente.

(a) Define un homomorfismo f de S y T tal que f (x) = y 4 .

(b) Halla el núcleo e imagen de f .¿El homomorfismo f es suprayectivo o inyectivo? Calcula la imagen de
x14 por f .
(c) Sea H = f −1 (y). Determina este conjunto con GAP. ¿Es H subgrupo de S?

Solución:

(a) Vamos a calcular la función f .

a64b0469ff35958ef4ab887a898bd50bdfbbe91a-7105613

Si tienes el Bono Cultural Joven pasa de pagar 14€ al mes a 56€ por todo el año. TE RENTA!
Estructuras Algebraicas I
Banco de apuntes de la
 gap>S:=CyclicGroup(21);
gap>T:=CyclicGroup(12);
gap>s:=GeneratorsOfGroup(S);List(Elements(s),x->Order(x));
gap>t:=GeneratorsOfGroup(T);List(Elements(t),x->Order(x));
gap>f:=GroupHomomorphismByImages(S,T,[a],[c]);
[ f1 ] -> [ f3 ]

(b) gap>IsInjective(f);

Reservados todos los derechos. No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.
gap>IsSurjective(f);
gap>K:=Kernel(f);
gap>Image(f);
gap>a:=s[1];;b:=t[1];;c:=t[3];;
gap>Image(f,a^(14));

Por tanto, f no es ni inyectiva ni suprayectiva.

(c) gap>H:=Elements(PreImages(f,b));
Error, usage: PreImages(<map>), PreImages(<map>,<img>),
PreImages(<map>,<coll>\)
gap>IsSubgroup(S,H);
false
Observamos que el elemento b no tiene antiimagen; por tanto no es subgrupo H.

P4 Consideramos el grupo G =SmallGroup(12,1).

(a) Encuentra un subgrupo normal H = ⟨x⟩ de orden 3 y un subgrupo cı́clico L = ⟨l⟩ de orden 4 del
grupo G.
(b) Define un homomorfismo f de L en el grupo de automorfismos de H no inyectivo.¿Es f una repre-
sentación fiel de una acción vı́a automorfismos?
(c) Calcula la imagen de T = f (L) y la estructura del producto semidirecto de T y H.

Solución:

(a) En primer lugar vamos a encontrar un subgrupo normal cı́clico H de orden 3 que será unico. :
gap>N:=NormalSubgroups(G);
gap>List(Elements(N),x->Order(x)=3);
[ false, false, true, false, false ]
gap> t:=GeneratorsOfGroup(G);;
[ f1, f2, f3 ]
gap>H:=Subgroup(G,[t[3]]);
Group([ f3 ])
gap>IsNormal(G,H);Size(H);
true
3
A continuación, vamos a determinar un subgrupo L cı́clico de orden 4. Veremos que en este caso
L no es único y tomaremos uno de estos subgrupos:

gap>S:=AllSubgroups(G);
gap> Filtered(S,x->Order(x)=4);
gap>L:=Subgroup(G,[t[1],t[2]]);
Group([ f1, f2 ])
gap>IsNormal(G,L);Size(L);IsCyclic(L);List(GeneratorsOfGroup(L), x->Order(x)); k:=GeneratorsO
false
4
true

a64b0469ff35958ef4ab887a898bd50bdfbbe91a-7105613

Si tienes el Bono Cultural Joven pasa de pagar 14€ al mes a 56€ por todo el año. TE RENTA!
 [ 4, 2 ]
f1
f2

Observamos que aunque tenemos dos generadores de L el grupo es cı́clico y está generado por el
generador de orden 4 que es k.
(b) Calculamos el grupo de automorfismos de H. Veamos que solo posee dos automorfismos.
gap>au:=AutomorphismGroup(H);e:=Elements(au);e[1];
<group of size 2 with 1 generators>
[ IdentityMapping( Group([ f3 ]) ), [ f3 ] -> [ f3^2 ] ]
IdentityMapping( Group([ f3 ]) )
gap>s:=GeneratorsOfGroup(au);a:=s[1];
[ [ f3 ] -> [ f3^2 ] ]
[ f3 ] -> [ f3^2 ]
gap>f:=GroupHomomorphismByImages(L,au,[k,n],[e[2],e[1]]);
[ f1, f2 ] -> [ [ f3 ] -> [ f3^2 ], IdentityMapping( Group([ f3 ]) ) ]
gap>Kernel(f);
Group([ <identity> of ..., f2 ])

Efectivamente, el homomorfismo f no es inyectivo. Por tanto, f es la representación de la acción de L

sobre H vı́a automorfismos no fiel.

(c) Vamos a definir el subgrupo T :

gap>T:=Images(f);

Finalmente, definimos el producto semidirecto de T y H y analizamos su estructura.

gap>G1:=SemidirectProduct(T,H);
<pc group with 2 generators>
gap>StructureDescription(G1);
"S3"

Por tanto, el producto semidirecto es isomorfo al grupo simétrico de orden 6.

a64b0469ff35958ef4ab887a898bd50bdfbbe91a-7105613

Reservados todos los derechos. No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.