Universidad de Nari

no
Departamento de Matem
aticas y Estadstica
Licenciatura en Matem
aticas
Soluci
on Primer Parcial Teora de Grupos
Prof. John H. Castillo
28 de marzo de 2014

1. (Valor 1.5) Sea G un grupo y a, b elementos de G tales que

a) a5 = e, b4 = e, ab = ba3 , demuestre que a2 b = ba y que ab3 = b3 a2 .
Soluci
on:
Se quiere demostrar que a2 b = ba.
a2 b = a(ab) (por hipotesis ab = ba3 )
= a(ba3 ) = (ab)a3 = la operacion es asociativa en G
= (ba3 )a3 (por hipotesis ab = ba3 )
= ba6 = ba (por hipotesis a5 = e)
Por lo tanto a2 b = ba.
Vamos a probar que ab3 = b3 a2 . De a2 b = ba y teniendo en cuenta que b4 = e, se tiene
b3 (a2 b) = b3 (ba) = a (multiplicando a la izquierda por b3 )
(b3 a2 b)b3 = (a)b3 (multiplicando a la derecha por b3 ),
y como b4 = e, de la u
ltima igualdad se concluye que b3 a2 = ab3 .
n

b) a1 ba = br para alg
un entero r, demuestre que an ban = br para todo entero n.
Soluci
on:
0
Observe que la afirmaci
on es cierta para n = 0, dado que a0 ba0 = br = b
Se prueba por inducci
on que la afirmacion es cierta para n Z+ . Dado que por hip
otesis
1
1
r
r
a ba = b = b la afirmaci
on es cierta para n = 1. Ahora supongamos que vale para n = k,
k
es decir que ak bak = br . Se debe probar que esto implica que la afirmacion es cierta para
k+1
n = k + 1, esto es que ak+1 bak+1 = br .
De las hip
otesis se tiene que
ak+1 bak+1 = a1 (ak bak )a
k

= a1 (br )a = (a1 ba)a1 br

rk 1

= br (a1 b

a) = br (a1 ba)a1 br

rk 2

= b2r (a1 b

k 2

a)

continuando as se llega a que ak+1 bak+1 = brr = br

la afirmaci
on vale para todo entero n Z+ .
1

k 1

k+1

, como se quera probar. De esta forma

Ahora sup
ongase que n es un entero negativo y sea m = n Z+ . Luego an ban = br =
m
n
(m)
m
a
ba
= br
= br .
2. (Valor 1.0) Responda falso o verdadero, en cada una de las siguientes preguntas, respuesta sin
justificar no tiene ning
un valor
a) Una ecuaci
on de la forma axb = c siempre tiene solucion u
nica en un grupo. . . . . . . . . . . . . (V )
Porque en un grupo valen las leyes de cancelacion a izquerda y derecha, as la soluci
on es
1
1
x = a cb .
b) Todo subconjunto de un grupo es un subgrupo bajo la operacion inducida. . . . . . . . . . . . . . . (F )
Contraejemplo en Z10 el subconjunto H = {2} no es un subgrupo.
c) Sean H Z(G) y K Z(G), entonces H K es un subgrupo abeliano de G. . . . . . . . . . . . . (V )
Dado que H y K son subgrupos de Z(G), estos son subgrupos de G, dado que la operaci
on
en G es la misma que en Z(G). Luego H K es un subgrupo de G y como H K Z(G) se
concluye que H K es un subgrupo abeliano de G.
d ) Si H y K son subgrupos de G, entonces H K es un subgrupo de G. . . . . . . . . . . . . . . . . . . . (F )
En Z30 se tienen los subgrupos H = h2i y K = h3i. Ahora 2 H y 3 K, pero 2+3 = 5
/ HK
y en consecuencia H K no es un subgrupo de Z30 .
3. (Valor 1.5) Suponga que G es un grupo definido por medio de la siguiente tabla.

1
2
3
4
5
6
7
8

1
1
2
3
4
5
6
7
8

2
2
1
4
3
6
5
8
7

3
3
8
5
2
7
4
1
6

4
4
7
6
1
8
3
2
5

5
5
6
7
8
1
2
3
4

6
6
5
8
7
2
1
4
3

7
7
4
1
6
3
8
5
2

8
8
3
2
5
4
7
6
1

a) Encuentre el centralizador de cada elemento de G.

Solucion: De la tabla dada se tiene:
C(1) = G
C(2) = {1, 2, 5, 6}
C(3) = {1, 3, 5, 7}
C(4) = {1, 4, 5, 8}

C(5) = G
C(6) = {1, 2, 5, 6}
C(7) = {1, 3, 5, 7}
C(8) = {1, 4, 5, 8}

b) Encuentre Z(G).
Solucion: Se sabe que Z(G) = gG C(g), luego
Z(G) = {1, 5}.
c) Encuentre el orden de los elementos 1, 5 y 3.
Solucion: |1| = 1, |5| = 2 porque 52 = 1. Como 32 = 5, 33 = (3)32 = 3(5) = 7 y 34 = 3(33 ) =
3(7) = 1 y de esta forma |3| = 4.
4. (Valor 1.0)

a) Suponga a y b son elementos de un grupo tales que |a| = 2, b 6= e, y aba = b2 . Determine |ab|.
Solucion: Dado que b4 = b2 b2 = (aba)(aba) = ab(aa)ba = ab2 a = a(aba)a = a2 ba2 = b, luego
b4 = b y as b3 = e. Por otro lado b3 = b2 b = abab = (ab)2 , lo que implica (ab)2 = e. Adem
as
ab 6= e porque si ab = e, entonces b = a y as se tendra que b2 = e y por tanto b = e lo que
contradice la hip
otesis. En conclusion |ab| = 2.




0 1
0
1
b) Considere los elementos A =
y B =
en SL(2, R). Encuentre |A|, |B| y
1 0
1 1
|AB|.
Solucion: Para calcular |A| se realizan las siguientes operaciones:


 

0 1 0 1
1 0
A2 =
=
1 0
1 0
0 1


 

1 0
0 1
0 1
3
2
A =A A=
=
0 1 1 0
1 0


 

0 1 0 1
1 0
4
3
A =A A=
=
1 0 1 0
0 1
Por lo tanto, |A| = 2.
Por otro lado

 

1 1
0
1
0
1
=
B =
1
0
1 1 1 1

 


1 0
0
1
1 1
3
2
,
=
B =B B=
0 1
1 1
1
0
2

as |B| = 3. En cuanto al |AB| se tiene que


1
AB =
0

1
(AB)2 =
0

1
(AB)3 =
0

1
1

2
1

3
1

As se puede probar que para todo n Z+ ( por induccion sobre n) que (AB)n =
consecuencia |AB| es infinito.


1 n
y en
0 1