M as problemas resueltos sobre teora elemental

de Grupos
J. Armando Velazco
3 de marzo de 2013
Resumen
Seg un las estadsticas del sitio, una de las b usquedas m as recurrentes
por las que se ha llegado a este blog es buscando problemas resueltos de
teora de grupos. Cuando estamos aprendiendo matematicas muchas veces
no tenemos idea de como utilizar la teora expuesta por nuestro profesor
o, en el libro que estemos estudiando. Por ello decid, en parte tambien
como una practica para mi, ampliar la cantidad de problemas resueltos
(en la primera entrega s olo hay 7 problemas) para que, si alguien se anima,
discutir las soluciones en caso de que sean erroneas, o bien, dar un camino
mas facil para resolver determinado problema. No soy profesor, ni mucho
menos, soy un estudiante, por lo que posiblemente hallar a errores, as que
agradecere al lector que las haga saber mediante los comentarios, en caso
de que encuentre alguna.
Por ultimo, si alguien desea enviarme soluciones de ejercicios
resueltos, escaneados, con mucho gusto los paso a L
A
T
E
Xy vamos
ampliando este documento y entrada del blog (con el respectivo
reconocimiento de quien haya enviado la soluci on).
Ejercicio Demuestre que todo subgrupo de un grupo cclico es cclico.
Solucion Sea G = a un grupo multiplicativo generado por el elemento a.
Sea H G y sea m el menor entero para el cual a
m
H. De la denicion de
subgrupo tenemos que todo elemento b H b = a
j
G donde j Z, por el
algoritmo de la divisi on se tiene que
j = mq + r, 0 r < m
y as
b = a
j
= a
mq+r
= a
mq
a
r
= (a
m
)
q
a
r
Aplicando ahora las propiedades de grupo (cancelaci on por la izquierda) se tiene
que
a
r
= (a
m
)
q
a
j
Dado que (a
m
), a
j
H entonces el producto se halla en H y por lo tanto a
r
H
pero 0 r < m entonces r = 0 y por lo tanto
b = a
j
= (a
m
)
q
1
es decir H = a
m

Ejercicio Cual es el orden de un grupo G generado por los elementos x y y
sujeto a las relaciones x
3
= y
2
= (xy)
2
= e, donde e es el elemento identidad
del grupo?
Solucion Consideremos las relaciones
x
3
= e, y
2
= e, (xy)
2
= e
Entonces de las anteriores tenemos que
x
2
= x
1
, y = y
1
, xy = y
1
x
1
= yx
2
y ademas yx = x
2
y
es decir, G tiene 6 elementos, por lo que ord(G) = 6. Otro argumento lo podemos
presentar con combinatoria, tomando en cuenta solo los productos de la forma
x
i
y
j
(pues yx = x
2
y) con i = 0, 1, 2 y j = 0, 1 que nos da como resultado, por
el principio del producto un total de 6 posibles resultados. Los subgrupos los
determinaremos a partir de que
6 = 2 3
Por ello esperamos que de haber subgrupos, como una aplicacion directa del
teorema de Lagrange, estos deben tener orden 2 o 3 (m as a un, por el primer
teorema de Sylow sabemos que hallaremos subgrupos de orden 2 y 3), tales
subgrupos son:
{1, x, x
2
}, {1, y}, {1, xy}, {1, yx}
Ejercicio Si G es un grupo tal que (ab)
j
= a
j
b
j
para tres enteros consecutivos
j y para todos los a, b G. Muestre que G es un grupo abeliano.
Solucion Como parte de las hipotesis tenemos que
(ab)
j
= a
j
b
j
(ab)
j+1
= a
j+1
b
j+1
(ab)
j+2
= a
j+2
b
j+2
De aqu podemos tomar que (ab)
j+1
= (ab)(ab)
j
= a
j+1
b
j+1
luego entonces,
utilizando de manera adecuada la ley de cancelacion por la izquierda y por
la derecha, validas en cualquier grupo, en conjunto con la ley asociativa y las
hipotesis obtenemos lo siguiente
b(ab)
j1
a = a
j
b
j
(ba)
j
= a
j
b
j
= (ab)
j
As, de la misma forma se tiene tambien que
(ab)
j+2
= a
j+2
b
j+2
(ba)
j+1
= (ab)
j+1
2
Pero entonces
(ba)(ba)
j
= (ab)(ab)
j
= (ab)(ba)
j
Utilizando una vez mas la ley de cancelacion en G tenemos que
ab = ba a, b G
Luego, G es abeliano.
Ejercicio Sea G un grupo y sean H, K G tales que [G : H] < y [G : K] <
. Entonces el subgrupo HK tienendice nito en G, es decir [G : HK] < .
Solucion Sea g G entonces de (H K)g Hg y (H K)g Kg se tiene
que (HK)g Hg Kg. Por otro lado, observese tambien que si x Hg Kg
entonces
x = hg = kg h = k H K x (H K)g
As
(H K)g = Hg Kg
Por ultimo, como [G : H] < y [G : K] < entonces tenemos un n umero
nito de posibilidades para HgKg y por lo tanto se tiene el resultado deseado.

Observacion El ejercicio anterior tiene un nombre especial: Es conocido como

el Lema de Poincare.
Ejercicio Sea G = UV un grupo, donde U, V G. Entonces, todo subgrupo
H de G que satisface U H G puede ser factorizado como H = U(V H).
Solucion Sea h H entonces, dado que H G, h = uv, u U, v V . Ahora,
una clase lateral derecha de U en G siempre contiene a un elemento de V , pues
G = UV , y por lo tanto una clase lateral de U en H siempre tiene un elemento
de V : Como las clases laterales forman una partici on de H tenemos entonces
que H = U(V H) .
Observacion Este ejercicio es conocido tambien como Identidad de Dedekind.
Ejercicio Pruebe que si un grupo G no tiene subgrupos propios entonces G es
cclico.
Solucion Sea g G, g = e (e es la identidad de G) y sea H = {g
j
: j Z}
entonces H G pero como G no tiene subgrupos propios entonces H = G por
lo tanto G es cclico.
Ejercicio Si un grupo G no tiene subgrupos propios, muestre que G es cclico
de orden primo.
3
Solucion Por el problema anterior sabemos que G =< g > donde g = e supon-
gamos ahora que ord(G) = p y que, sin perdida de generalidad p = mq, m, q
Z
>1
m < p y q < p. Entonces M = {g
j
1
: j = 0, 1, 2, . . . , m1; g
1
G} = G
pues G no tiene subgrupos propios y entonces ord(G) = m < p que es una con-
tradiccion, analogamente se llegara a una conclusi on similar para q, as m =
1 o q = 1 y por lo tanto p es primo. .
Ejercicio Si H y K son subgrupos de un grupo abeliano G, de ordenes respec-
tivos m y n, muestre que si (m, n) = 1, es decir, son primos relativos, entonces
AB es un subgrupo de orden mn.
Solucion Basta con observar que A B A y A B B por lo tanto, por
el teorema de Lagrange se tiene que ord(A B)|ord(A) y ord(A B)|ord(B)
luego entonces
ord(A B) = 1 A B = {e}
y por lo tanto
ord(AB) =
ord(A)ord(B)
ord(A B)
= mn
Ejercicio Si p es un n umero primo, muestre que las unicas soluciones de
x
2
1 (mod p)
son x 1 (mod p) o x 1 (mod p)
Solucion Esta es una aplicacion directa de la teora de grupos a la teora de
los n umeros: x
2
1 (mod p) x
2
1 0 (mod p) (x +1)(x 1) 0 (mod p)
que implican el resultado deseado.
Ejercicio Muestre por medio de un ejemplo que es posible que la ecuaci on
x
2
= e puede tener mas de 2 soluciones en alg un grupo con identidad e.
Solucion Basta con considerar el 4-grupo de Klein, cada elemento es solucion
de la ecuaci on, como puede constatar a partir de la siguiente tabla de grupo:
e a b c
e e a b c
a a e c b
b b c e a
c c b a e

Ejercicio Sea G un grupo y sea G

n
= {g
n
: g G}. Bajo que hipotesis sobre
G podramos mostrar que G
n
G?
Solucion Un subgrupo en particular debe satisfacer la cerradura bajo la ope-
racion de grupo, por lo que para a, b G tales que a
n
, b
n
G
n
se tiene que
a
n
b
n
= (ab)
n
ab = ba es decir, necesitamos la hipotesis de conmutatividad
de la operaci on, dicho de otra manera, necesitamos que G sea abeliano.
4
Ejercicio Sean a, b G donde G es un grupo, entonces si ab tiene orden nito
n muestre que ba tambien tiene orden n.
Solucion Por hipotesis (ab)
n
= e entonces b(ab)
n
a = bea = (ba)e y as
(ba)(ba)
n
= (ba)e (ba)
n
= e
Si orden de (ba) fuera menor que n aplicando un argumento completamente
analogo llegaramos a la conclusi on de que el orden de (ab) sera menor o igual
a n contrario a lo que se haba supuesto en un principio.
Ejercicio Si A y B son subgrupos de ndice nito de un grupo G, es decir,
[G : A] < y [G : B] < y ademas ([G : A], [G : B]) = 1 (tales ndices son
primos relativos), entonces G = AB.
Solucion Dado que A G y B G entonces A B G y se tiene entonces
que
[G : A B] = [G : A][A : A B]
y
[G : A B] = [G : B][B : A B]
Lo que implica, pues ([G : A], [G : B]) = 1, que [G : A][G : B]|[G : A B]
[G : A B] [G : A][G : B]. Por otro lado, dado que [G : B] < entonces
[A : AB] < y [A : AB] [G : B]. Como se tiene tambien que [G : A] <
entonces [G : A B] [G : A][G : B]. As
[G : A B] = [G : A][G : B]
Lo que implica que G = AB.
Observacion Los resultados utilizados para resolver este problema los pode-
mos hallar en el libro Teora de los Grupos de Marshall Hall jr. en la secci on
1.5
5