30 problemas resueltos de Algebra I

(Teor´ıa de Grupos)
Preparado por
Yolanda Fuertes y Dragan Vukoti´c
Universidad Aut´onoma de Madrid , Enero de 2007
Algunos de los ejercicios aqu´ı presentados se han visto en clase como
proposiciones o teoremas; otros se pueden encontrar en las hojas de prob-
lemas o en los ex´amenes de a˜ nos anteriores. Tambi´en hay unos cuantos
problemas adicionales.
Grupos. Propiedades b´ asicas
Problema 1. Si G es un grupo de orden par, demostrar que el n´ umero de
sus elementos de orden 2 es impar.
Soluci´ on. Los elementos de G pueden dividirse en dos clases disjuntas:
Q = ¦x ∈ G : x
2
= e¦ y G`Q. Si x ∈ Q, entonces x = x
−1
y o(x
−1
) = 2. Por
lo tanto, los elementos de Q van emparejados: cada x con su inverso x
−1
;
es decir, hay un n´ umero par de ellos. Se sigue que el n´ umero de elementos
en x ∈ G ` Q (para los cuales x
2
= e) tambi´en es par. De todos ellos,
solamente x = e no es de orden 2. Conclusi´on: G contiene un n´ umero impar
de elementos de orden 2.
Problema 2. Si G es un grupo y H, K ≤ G, demu´estrese que HK ≤ G si y
s´olo si HK = KH. (Como siempre, HK = H K = ¦hk : h ∈ H, k ∈ K¦.)
Soluci´ on. (⇒): Sea HK ≤ G. Vamos a demostrar que HK = KH.
Si a ∈ KH entonces a = kh, k ∈ K, h ∈ H. Por tanto, a
−1
= h
−1
k
−1

HK (siendo H un grupo y h ∈ H, se sigue que h
−1
∈ H y an´alogamente
para K). Puesto que HK ≤ G, tambi´en tenemos que el inverso de a
−1
pertenece a HK: a = (a
−1
)
−1
∈ HK. Esto demuestra que KH ⊂ HK.
Veamos ahora que HK ⊂ KH: si b ∈ HK entonces b
−1
∈ HK por ser
HK ≤ G; por consiguiente, b
−1
= hk, para ciertos elementos h ∈ H, k ∈ K.
Por tanto, b = (b
−1
)
−1
= k
−1
h
−1
∈ KH.
(⇐): Supongamos ahora que HK = KH. Para probar que HK ≤ G,
utilizaremos el criterio habitual: demostraremos que a, b ∈ HK implica
ab
−1
∈ HK. Si a, b ∈ HK, entonces a = hk, b = xy, h, x ∈ H, k,
1
y ∈ K. Por tanto, x
−1
∈ H, ky
−1
∈ K, luego (ky
−1
)x
−1
∈ KH = HK; por
consiguiente, (ky
−1
)x
−1
= uv, u ∈ H, v ∈ K. Finalmente,
ab
−1
= (hk)(y
−1
x
−1
) = h(ky
−1
)x
−1
= (hu)v ∈ HK ,
lo cual completa la prueba.
Problema 3. (a) Hallar un ejemplo de un grupo G infinito en el cual existe
exactamente un elemento de orden 2.
(b) Dar un ejemplo de un grupo G infinito en el cual todo elemento,
salvo el neutro, tiene orden 2.
Soluci´ on. (a) Sea G = Z ⊕ Z
2
, suponiendo las operaciones aditivas
habituales en Z y Z
2
. Es f´acil comprobar que a = (0, 1) es el ´ unico elemento
en G de orden 2; por ejemplo, todo elemento (a, 1) con a = 0 tiene orden
infinito, etc.
(b) Sea G el conjunto de todas las sucesiones de n´ umeros ±1:
G = ¦x = (x
n
)

n=1
: x
n
= −1 ´o 1 , para todo n ∈ N¦ ,
con la operaci´on de multiplicaci´on definida por coordenadas:
x y = (x
n
y
n
)

n=1
Entonces es obvio que G es cerrado respecto a la operaci´on definida, ya que
(±1) (±1) = (±1), la multiplicaci´on es asociativa, la sucesi´on estacionaria
1 = (1, 1, 1, . . .) act´ ua como neutro y cada elemento es obviamente su propio
inverso: x x = ((±1)
2
)

n=1
= 1.
Problema 4. (Teorema de Poincar´e) Sea G un grupo, posiblemente in-
finito, H y K ≤ G, ambos de ´ındice finito en G. Demostrar que el subgrupo
H ∩ K tambi´en tiene ´ındice finito en G.
Soluci´ on. El punto clave consiste en ver que para todo a ∈ G se tiene
(H∩K)a = Ha∩Ka, lo cual es f´acil de comprobar. En efecto, las inclusiones
obvias (H ∩ K)a ⊂ Ha y (H ∩ K)a ⊂ Ka implican (H ∩ K)a ⊂ Ha ∩ Ka.
Por otra parte, si x ∈ Ha ∩Ka, entonces x = ha = ka, h ∈ H, k ∈ K y, por
tanto, h = k ∈ H∩K, lo cual nos dice que x ∈ (H∩K)a. Por consiguiente,
Ha ∩ Ka ⊂ (H ∩ K)a tambi´en.
Puesto que el n´ umero de todas las clases por la derecha Ha es finito y lo
mismo se tiene para las clases Ka, por ser ambos subgrupos de ´ındice finito,
se sigue inmediatamente que el n´ umero de todas las posibles intersecciones
Ha ∩ Ka tambi´en es finito; por tanto, [G: H ∩ K] es finito.
2
Grupos c´ıclicos. Subgrupos normales. Conjugaci´ on. Centro
Problema 5. Sea G un grupo (no necesariamente finito) con neutro e y
N G de ´ındice n. Supongamos que x ∈ G y x
m
= e, donde (m, n) = 1.
Demostrar que x ∈ N.
Soluci´ on. Siendo N un subgrupo normal, el conjunto cociente G/N =
¦gN : g ∈ G¦, con la operaci´on dada por xN yN = xyN, es un grupo.
Consideremos su elemento xN. Observando que (xN)
m
= x
m
N = eN = N,
el neutro en G/N, obtenemos la conclusi´on de que o(xN)[m. Por el teorema
de Lagrange o(xN)[ [G/N[ = [G : N] = n. Por lo tanto, o(xN)[(m, n) = 1;
es decir, xN es el neutro de G/N: xN = N, con lo cual x ∈ N.
Problema 6. Sea G un grupo, H, N ≤ G y [G : N] = 2. Demostrar que
H ∩ N H.
Soluci´ on. Por un criterio visto en clase, NG, porque N un subgrupo
de ´ındice 2. La conclusi´on deseada se sigue del siguiente lema (visto en
clase): H ≤ G y N G implica H ∩ N H.
Repasemos la demostraci´on del lema. Comprobaremos que h(H∩N)h
−1
⊂ (H ∩ N) para todo h ∈ H. Por la inclusi´on trivial H ∩ N ⊂ H tenemos
h(H∩N)h
−1
⊂ hHh
−1
. Puesto que N es un subgrupo normal de G, tambi´en
tenemos h(H ∩ N)h
−1
⊂ hNh
−1
⊂ N para todo h ∈ H. Ahora bien,
h(H ∩ N)h
−1
⊂ H y h(H ∩ N)h
−1
⊂ N implican h(H ∩ N)h
−1
⊂ H ∩ N.
Problema 7. Supongamos que H ≤ G y x
2
∈ H para todo x ∈ G. De-
mostrar que H G y G/H es abeliano.
Soluci´ on. Observemos que para todo h ∈ H y todo x ∈ G tenemos
xhx
−1
= xhxhh
−1
x
−2
= (xh)
2
h
−1
(x
−1
)
2
∈ H ,
ya que (xh)
2
∈ H y (x
−1
)
2
∈ H. Esto demuestra que H G.
Recordemos un ejercicio conocido: si en un grupo el cuadrado de cada
elemento es el neutro, entonces el grupo es abeliano. Ahora s´olo hace falta
observar que para cada clase xH ∈ G/H, tenemos (xH)
2
= x
2
H = H. Por
lo tanto, el grupo G/H es abeliano.
3
Problema 8. (a) Si n ∈ N y G es un grupo que tiene un ´ unico elemento a
de orden n, demostrar que a ∈ Z(G) y n = 2.
(b) Hallar un ejemplo de un grupo G infinito en el cual hay exactamente
un elemento de orden 2.
Soluci´ on. (a) Recordemos que o(a) = o(xax
−1
) para cualquier x ∈ G.
Puesto que a es el ´ unico elemento en G de orden n, tenemos que a = xax
−1
para todo x ∈ G; es decir, a ∈ Z(G). Supongamos n > 2. Entonces existe
un m ∈ N tal que 1 < m < n y (m, n) = 1 (por ejemplo, sea m el primer
n´ umero primo entre 1 y n). Por una f´ormula vista en clase tenemos:
o(a
m
) =
n
(n, m)
= n = o(a) ;
pero a
m
= a, ya que 1 < m < n = o(a), lo cual contradice la hip´otesis del
problema. Se sigue que n = 2.
(b) He aqu´ı un ejemplo: G = Z⊕Z
2
, suponiendo las operaciones aditivas
habituales en Z y Z
2
. Es f´acil comprobar que a = (0, 1) es el ´ unico elemento
en G de orden 2.
Problema 9. Si G es un grupo con centro Z(G) y el grupo cociente G/Z(G)
es c´ıclico, demostrar que G es abeliano.
Soluci´ on. Por las hip´otesis, existe un a ∈ G tal que todo elemento del
grupo G/Z(G) es de la forma a
k
Z(G), para alg´ un k ∈ Z.
Sean x, y ∈ G dos elementos cualesquiera; queremos demostrar que
xy = yx. Para ello, observemos que x = xe ∈ xZ(G) y, por lo tanto,
x = a
m
g para alg´ un m ∈ Z y g ∈ Z(G). De manera similar se obtiene
y = a
n
h, para alg´ un n ∈ Z y h ∈ Z(G). Ahora es f´acil comprobar lo que
quer´ıamos:
xy = a
m
ga
n
h = a
m
a
n
gh = a
n
a
m
hg = a
n
ha
m
g = yx,
puesto que g, h ∈ Z(G).
Comentario: este resultado es muy ´ util e importante y conviene conocerlo
y saber usarlo; m´as adelante veremos sus aplicaciones en otros problemas.
Problema 10. Demostrar que si G no es abeliano y tiene orden p
3
(p es
un n´ umero primo), entonces Z(G) tiene orden p.
4
Soluci´ on. Puesto que Z(G) ≤ G y Z(G) = G, por el teorema de
Lagrange tenemos [Z(G)[ = 1, p o p
2
.
El ´ ultimo caso queda excluido enseguida: si Z(G) fuese un grupo de
orden p
2
, el grupo cociente G/Z(G) tendr´ıa p elementos y, por consiguiente,
ser´ıa c´ıclico. Por el problema anterior, esto es imposible, ya que G no es
abeliano.
Un corolario de la ecuaci´on de las clases de conjugaci´on, visto en clase,
dice lo siguiente: el centro de un p-grupo finito (es decir, de un grupo de
orden p
n
, p primo, n = 0) no puede ser trivial. Por lo tanto, el caso [Z(G)[ =
1 tambi´en es imposible.
(Para hacer esta soluci´on m´as completa, repasemos rapidamente la de-
mostraci´on del hecho mencionado arriba. La ecuaci´on de las clases de con-
jugaci´on es, en este caso:
p
3
= [G[ = [Z(G)[ +
n

i=1
[G : C
G
(a
i
)] ,
donde la suma contiene exactamente un elemento a
i
de cada clase de conju-
gaci´on C
G
(a
i
) = ¦x ∈ G : xa
i
= a
i
x¦. Pero todas las clases son subgrupos de
G. Siendo G un p-grupo, para cada i ambos n´ umeros [C
G
(a
i
)[ y [G : C
G
(a
i
)]
son divisores de [G[ = p
3
. Esto implica que
[Z(G)[ = [G[ −
n

i=1
[G : C
G
(a
i
)]
tambi´en tiene que ser divisible por p, pues no puede ser = 1.)
Conclusi´on: el ´ unico caso posible es [Z(G)[ = p.
Problema 11. Sea G un grupo finito tal que el ´ındice [G: Z(G)] es un
divisor de 15. Demostrar que G es conmutativo.
Soluci´ on. Por la hip´otesis del problema, [G : Z(G)] ∈ ¦1, 3, 5, 15¦.
Analicemos los cuatro casos.
El caso [G : Z(G)] = 1 es trivial: entonces G = Z(G) y, por consiguiente,
G es abeliano.
Si [G : Z(G)] = 3, entonces el grupo G/Z(G) es c´ıclico (siendo un grupo
de orden 3). Por el problema 9, G es abeliano.
El caso [G : Z(G)] = 5 es similar. Tambi´en lo es el caso [G : Z(G)] = 15,
por razones algo menos triviales. En general, un grupo cuyo orden no es
primo no tiene porque ser c´ıclico. Sin embargo, por la teor´ıa de los productos
5
semidirectos, sabemos que cualquier grupo de orden 15 tiene que ser isomorfo
a Z
15
y, por lo tanto, es necesariamente c´ıclico.
Problema 12. Sean p, q dos n´ umeros primos (iguales o distintos). Sea G
un grupo de orden pq que tiene un ´ unico subgrupo H de orden p. Demostrar
las siguientes afirmaciones:
(a) H G.
(b) El grupo cociente G/H es c´ıclico.
(c) Si H ⊂ Z(G), entonces G es abeliano.
Soluci´ on. (a) H es un subgrupo normal, ya que es el ´ unico subgrupo
de G de orden p (visto en clase; no obstante, repasaremos la demostraci´on).
Sea x ∈ G arbitrario. Entonces I
x
(H) = xHx
−1
, la imagen de H por el
automorfismo interno I
x
, denotada tambi´en a veces por H
x
, es un subrupo
de G y [xHx
−1
[ = [H[ = p. Por lo tanto, xHx
−1
= H. Esto significa que
H G.
(b) [G/H[ =
|G|
|H|
= q, un n´ umero primo. Se sigue que G/H es c´ıclico.
(c) Z(G) G ⇒[Z(G)[ ∈ ¦1, p, q, pq¦. Puesto que H ⊂ Z(G) y [H[ = p,
tenemos [Z(G)[ ∈ ¦p, pq¦ y, por lo tanto, [G/Z(G)[ ∈ ¦q, 1¦. En cada uno
de estos casos, G/Z(G) es un grupo c´ıclico y el problema 9 implica que G
es conmutativo.
Problema 13. Si H G y el grupo G/H es c´ıclico, ¿es G necesariamente
abeliano? Razonar la respuesta.
Soluci´ on. La respuesta es: NO. Ejemplo: sea G el grupo di´edrico
de orden 6, en la notaci´on de clase, D
3
= ¦I, A, A
2
, B, AB, A
2
B¦ donde
A
3
= I = B
2
y BA = A
−1
B. Sea H = ¦I, A, A
2
¦, el subgrupo c´ıclico
generado por A. Siendo H un subgrupo de ´ındice 2, por un teorema visto
en clase, es un subgrupo normal de H. El grupo cociente G/H de orden 2
es obviamente c´ıclico. Sin embargo, el grupo G no es abeliano.
Problema 14. Sea H < KG y, adem´as, sea K c´ıclico y finito. Demostrar
que H G.
Soluci´ on. Primero, para todo g ∈ G se tiene gHg
−1
⊂ gKg
−1
⊂ K,
puesto que H < K y K G. Segundo, gHg
−1
es un grupo. Por lo tanto,
para cualquier elemento g ∈ G, el conjunto gHg
−1
es un subgrupo de K.
6
Tambi´en sabemos que [gHg
−1
[ = [H[ (visto en clase). Luego, K es un grupo
c´ıclico y finito, y por lo tanto tiene un ´ unico subgrupo de orden [H[. Por lo
tanto, gHg
−1
= H, y esto vale para todo g ∈ G. Esto significa que H G.
Homomorfismos de grupos
Problema 15. Denotemos, como es habitual, por Z
n
al grupo aditivo m´odulo
n y por Hom(A, B) al conjunto de todos los homomorfismos de un grupo A
a otro grupo B.
(a) Demostrar que si f ∈ Hom(Z
m
, Z
n
), entonces f viene dado por
f(x) = xe, donde el orden del elemento e ∈ Z
m
divide a (m, n).
(b) Describir los conjuntos Hom(Z
21
, Z
10
), Hom(Z
21
, Z
12
) y Hom(Z
21
, Z
7
).
(c) ¿Cuantos de estos homomorfismos son sobreyectivos (inyectivos)?
Soluci´ on. (a) Cualquier f ∈ Hom(Z
m
, Z
n
) queda completamente de-
terminado por la imagen f(1), ya que para 0 ≤ x < m se tiene, por las
propiedades elementales de los homomorfismos, f(x) = xf(1) = xf(1). Por
lo tanto, todo f ∈ Hom(Z
m
, Z
n
) tiene la forma indicada en el enunciado
con r = f(1).
(Comentario: por lo que se ha visto en clase, la imagen f(Z
m
) ⊂ Z
n
es
un subgrupo de Z
n
. Aunque en algunos casos 1 ∈ Z
n
no pertenezca a esta
imagen, f(Z
m
), un elemento de f(Z
m
) desempe˜ nar´a el papel de generador
de f(Z
m
), y ´este ser´a precisamente r.)
La clase r = f(1), siendo un elemento del grupo c´ıclico Z
n
, tiene que
cumplir la condici´on o(r) [ o(Z
n
) = n. Tambi´en es evidente que
mr = f(m) = f(0) = 0 .
As´ı pues, o(r) [ m. Las dos conclusiones implican que o(r) [ (m, n).
(b) Usaremos el apartado (a). Si f ∈ Hom(Z
21
, Z
10
), entonces el orden
de f(1) divide a (21, 10) = 1 y, por tanto, f(1) = 0: el ´ unico homomofismo
es el trivial: f(x) = 0 para todo x ∈ Z
m
.
En el caso f ∈ Hom(Z
21
, Z
12
), el orden de f(1) tiene que ser un divisor
de (21, 12) = 3; es decir, 1 ´o 3. Por lo tanto, f(1) tiene que ser uno de los
elementos del (´ unico) subgrupo de orden 3 del grupo aditivo Z
12
: ¦0, 4, 8¦
(por una proposici´on vista en clase, si B es un grupo c´ıclico de orden n
y k [ n entonces G tiene un ´ unico subgrupo de orden k). As´ı pues, los
7
candidatos para ser homomorfismos, adem´as del homomorfismo trivial, son
los siguientes:
f
1
(x) = 4x ; f
2
(x) = 8x.
Es f´acil comprobar que ambos lo son. No hay nada interesante en comprobar
que f(x + y) = f(x) + f(y) (a primera vista, parece ser cierto siempre, sea
cual sea el elemento r). Pero tambi´en es importante comprobar que est´an
bien definidos:
x = y (mod 21) ⇒4x = 4y (mod 12) .
Dicho de otra manera (suponiendo, sin p´erdida de generalidad, que 0 < x,
y < 21):
21 [ (x −y) ⇒12 [ 4(x −y) ,
pero esto es inmediato. Lo mismo se obtiene con 8 en vez de 4. Hay tres
homomorfismos.
Hom(Z
21
, Z
7
): ahora o(ϕ(1)) [ 7, por lo cual ϕ(1) puede ser cualquiera
de los elementos de Z
7
, y es f´acil ver que todos lo son. En este caso, hay 7
homomorfismos distintos.
(c) En el caso de Hom(Z
21
, Z
10
), ya sabemos que no hay ning´ un homo-
morfismo sobreyectivo.
Para que un homomorfismo ϕ ∈ Hom(Z
m
, Z
n
) sea sobreyectivo, el el-
emento r = f(1) tiene que ser un generador de Z
n
y, por tanto, de orden
exactamente n. Esto nos dice que en el caso de Hom(Z
21
, Z
62
) tampoco
puede haber homomorfismos sobreyectivos. En el caso de Hom(Z
21
, Z
7
)
hay 6 homomorfismos (todos menos el trivial) son sobreyectivos, ya que los
elementos 1, 2, . . . , 6 de Z
7
todos tienen orden 7.
Evidentemente, ninguno de los homomorfismos considerados puede ser
inyectivo, puesto que se trata de aplicaciones de un conjunto de 21 elementos
en otros con menos elementos (10, 12, 7).
Problema 16. Para n ∈ N, describir el grupo Aut(Z
n
) de todos los auto-
morfismos del grupo aditivo Z
n
. En particular, para p primo, obtener una
caracterizaci´ on simple de Aut(Z
p
).
Soluci´ on. El argumento es parecido al anterior: si f ∈ Aut(Z
n
), en-
tonces r = f(1) tiene orden exactamente n (todo automorfismo es sobreyec-
tivo). Si elegimos 0 < r < n, se sigue que (r, n) = 1 (por la t´ıpica cuenta
para el orden de un elemento en un grupo c´ıclico). Cada r coprimo con n
genera un automorfismo y, por lo tanto, el grupo Aut(Z
n
) tiene exactamente
8
ϕ(n) elementos, donde ϕ es la funci´on de Euler. Es cierto algo m´as: los gru-
pos (Aut(Z
n
), ◦) (siendo ◦ la composici´on de aplicaciones) y (U(Z
n
), ), el
grupo multiplicativo de las unidades de Z
n
, son isomorfos; es obvio que una
composici´on de dos automorfismos f
r
(x) = rx y f
r
(x) = r

x da el siguiente
resultado:
(f
r
◦ f
r
)(x) = rr

x = f
rr
(x) ,
lo que sugiere un automorfismo natural F : Aut(Z
n
) → U(Z
n
) dado por
F(f) = f(1) = r. La igualdad escrita arriba nos dice que F(f
r
◦ f
r
) =
F(f
r
) F(f
r
).
En particular, para n = p (primo) tenemos (Aut(Z
p
), ◦)

= (U(Z
p
), ),
que es un grupo multiplicativo c´ıclico (de orden p − 1) y, por tanto, es
isomorfo al grupo aditivo (Z
p−1
, +).
Problema 17. Dado un grupo G y a ∈ G, denotemos por σ
a
el automor-
fismo interno dado por σ
a
(x) = axa
−1
, con frecuencia tambi´en denotado por
I
a
y por Int (G) al grupo de todos los automorfismos internos de G. Hemos
visto en clase que σ
a
◦ σ
b
= σ
ab
para todo a, b ∈ G y que Int G Aut G.
Demostrar que G/Z(G)

= Int G.
Soluci´ on. Sea φ: G → Int G, φ(a) = σ
a
. Entonces φ es obviamente
suprayectiva y es un homomorfismo de grupos, puesto que
φ(a) ◦ φ(b) = σ
a
◦ σ
b
= σ
ab
= φ(ab) .
Adem´as, el n´ ucleo de φ, N(φ) = ker φ es el centro de G: a ∈ N(φ) si y s´olo
si φ(a) = σ
a
=Id, lo cual se tiene si y s´olo si axa
−1
= x para todo x ∈ G; es
decir, si y s´olo si ga = ag para todo x ∈ G.
Aplicando el Primer teorema de isomorf´ıa, obtenemos G/Z(G) = G/N(φ)

= φ(G) = Int G.
Grupos de permutaciones
Problema 18. Decidir justificadamente si los ciclos α = (123) y β =
(25431) generan S
5
; es decir, si S
5
= 'α, β`.
Soluci´ on. Basta observar que α = (13)(12), β = (21)(23)(24)(25) y
que, por tanto, ambos ciclos son permutaciones pares. Esto significa que
'α, β` ≤ A
5
= S
5
.
Problema 19. Si n ≥ 3, demostrar que Z(S
n
) = I.
9
Soluci´ on. Sea σ ∈ S
n
, σ = I. Supongamos que σ(i) = j = i; un par
de n´ umeros i, j con esta propiedad existe ya que σ = I. Puesto que n ≥ 3,
existe k ∈ ¦1, 2, . . . , n¦ tal que k = i, j. Consideremos una permutaci´on
τ ∈ S
n
tal que τ(i) = i, τ(j) = k, τ(k) = j, por ejemplo, la trasposici´on
(jk). Entonces στ(i) = τσ(i) y, por tanto, σ y τ no conmutan.
Recordemos que este ´ ultimo ejercicio fue fundamental en la demostraci´on
del teorema de Abel.
Problema 20. Determinar el n´ umero de homomorfismos de Z
6
en S
5
que
(a) Son inyectivos.
(b) Tienen imagen de orden 3.
Soluci´ on.
(a) Dado que Z
6
es c´ıclico, para dar un homomorfismo de ´el, basta decir
donde va el generador. Para que el homomorfismo sea inyectivo, el orden
de la imagen del generador por el homomorfismo debe ser el mismo que el
orden del generador, es decir, igual a 6. Buscamos, por tanto, los elementos
de S
5
de orden 6. Los ´ unicos que existen son la composici´on disjunta de un
3-ciclo y una transposici´on. Por tanto, tenemos 2

5
3

= 20.
(b) Sea f : Z
6
→ S
5
un homomorfismo, entonces la imagen de f es lo
generado por f(
¯
1). Si queremos que la imagen tenga orden 3, tenemos que
enviar el generador de Z
6
,
¯
1, a un elemento de S
5
de orden 3, luego a un
3−ciclo y, por tanto, tenemos 2

5
3

= 20 tales homomorfismos.
Productos directos. Grupos abelianos finitos
Problema 21. Escribir U(Z
33
), el grupo multiplicativo de las unidades de
Z
33
, como producto de grupos c´ıclicos.
Soluci´ on. Primero, U(Z
33
) es un grupo conmutativo y tiene ϕ(33) =
ϕ(3)ϕ(11) = 210 = 20(= 2
2
5) elementos, seg´ un las propiedades b´asicas de
la funci´on de Euler. Aplicando el Teorema fundamental sobre la estructura
de grupos abelianos finitos, concluimos que U(Z
33
) es isomorfo o bien al
grupo c´ıclico Z
4
⊕Z
5

= Z
20
o bien al grupo Z
2
⊕Z
2
⊕Z
5

= Z
2
⊕Z
10
.
Para decidir entre estos dos grupos, conviene aplicar la siguiente t´ecnica
(que tambi´en puede ser ´ util en algunos ejercicios con varios productos semidi-
rectos): vamos a contar el n´ umero de elementos de cierto orden en cada uno
de los grupos. El orden de cada elemento de un grupo de 20 elementos es un
10
divisor de 20 (por Lagrange), ¿pero cu´al deber´ıamos elegir entre ellos? Va-
mos a elegir el m´as peque˜ no posible, en este caso 2. Si x ∈ Z
20
, 0 < x < 20
y 2 = o(x) =
20
(20,x)
entonces (20, x) = 10 y x = 10. Es decir, hay un ´ unico
elemento (10) de orden 2 en Z
20
.
Encontraremos ahora en el grupo U(Z
33
) m´as de un elemento de orden 2:
si x
2
≡ 1 (33), esto significa que 33 = 3 11 [ x
2
−1 = (x−1)(x+1). Puesto
que 3 y 11 son primos, concluimos que 3 [ (x−1) ´o 3 [ (x+1), y lo mismo para
11. Ahora es f´acil encontrar x = 10 y x = −1 = 32. Puesto que este grupo
tiene m´as de un elemento de orden 2, se sigue que no puede ser isomorfo a
Z
20
y, por lo tanto, es isomorfo al otro: U(Z
33
)

= Z
2
⊕Z
2
⊕Z
5

= Z
2
⊕Z
10
.
Problema 22. Hallar todos los grupos abelianos (no isomorfos) de orden
360.
Soluci´ on. Por el teorema fundamental sobre la estructura de los gru-
pos abelianos finitos (visto en clase), cualquier grupo conmutativo de orden
360 = 2
3
3
2
5 es una suma directa de 2-grupos, 3-grupos y Z
5
. Hay 3
grupos abelianos distintos (no isomorfos entre si) de orden 2
3
= 8:
Z
8
, Z
8
⊕Z
4
, Z
2
⊕Z
2
⊕Z
2
y dos grupos abelianos no isomorfos de orden 3
2
= 9:
Z
9
, Z
3
⊕Z
3
.
Por lo tanto, para un grupo abeliano de orden 360 hay, en total, 6 = 3 2
posibilidades:
Z
8
⊕Z
9
⊕Z
5

= Z
360
Z
8
⊕Z
3
⊕Z
3
⊕Z
5

= Z
3
⊕Z
120
Z
2
⊕Z
4
⊕Z
9
⊕Z
5

= Z
2
⊕Z
180
Z
2
⊕Z
4
⊕Z
3
⊕Z
3
⊕Z
5

= Z
6
⊕Z
60
Z
2
⊕Z
2
⊕Z
2
⊕Z
9
⊕Z
5

= Z
2
⊕Z
2
⊕Z
90
Z
2
⊕Z
2
⊕Z
2
⊕Z
3
⊕Z
3
⊕Z
5

= Z
2
⊕Z
6
⊕Z
30
.
Comentario: los grupos Z
8
y Z
2
⊕Z
4
no son isomorfos porque Z
8
tiene,
al menos, un elemento de orden 8 (por ejemplo, 1), mientras que el m´aximo
orden de un elemento de Z
2
⊕ Z
4
es 4. Este tipo de observaciones sobre
11
los ´ordenes de elementos constituyen una de las herramientas b´asicas para
demostrar que dos grupos dados no pueden ser isomorfos. Generalizando el
mismo razonamiento, podemos concluir que los grupos Z
mn
y Z
m
⊕Z
n
son
isomorfos si y s´olo si (m, n) = 1 (visto en clase).
Teoremas de Cauchy y de Sylow
Problema 23. Demostrar que no existe ning´ un grupo simple de orden 63.
Soluci´ on. Puesto que 63 = 3
2
7, el Primer Teorema de Sylow implica
la existencia de un subgrupo de orden 7 (7-subgrupo de Sylow en este caso, ya
que 7
2
[ 63). Seg´ un el Tercer Teorema de Sylow, el n´ umero de 7-subgrupos
de Sylow, denotado n
7
, cumple las condiciones n
7
= 1 + 7k y n
7
[9. Por
tanto, n
7
= 1: hay un subgrupo ´ unico de orden 7. Puesto que es el ´ unico de
ese orden, tiene que ser normal. Eso demuestra que un grupo de orden 63
siempre tiene un subgrupo normal no trivial y, por definici´on, no es simple.
Problema 24. Sea G un grupo de orden 20. Demostrar que G tiene un
subgrupo normal de orden 5.
Soluci´ on. Como 5 es un n´ umero primo que divide al orden de G, por
el Teorema de Cauchy, sabemos que existe un elemento a ∈ G de orden 5,
o equivalentemente, que el subgrupo generado por a, que denotaremos por
< a >= H, tiene orden 5. Para todo g ∈ G, denotaremos por H
g
= gHg
−1
al subgrupo de G que se obtiene conjugando H por g ∈ G; ya sabemos que
es un subgrupo de G y que tiene el mismo orden que H. Consideraremos el
subconjunto de G, H
g
H ⊆ G (para saber que es un subgrupo, alguno de
los dos grupos tendr´ı que ser normal).
´
Este satisface [H
g
H[ ≤ [G[ = 20.
Adem´as, H
g
∩H ≤ H, y por el Teorema de Lagrange tenemos que [H
g
∩H[
es un divisor de [H[ = 5, luego [H
g
∩ H[ = 1 ´o 5. Por otra parte,
[H
g
H[ =
[H
g
[ [H[
[H
g
∩ H[
=
5 5
[H
g
∩ H[
=

25
1
> 20 , imposible
25
5
= 5 , correcto
Luego, [H
g
∩H[ = 5 = [H[, de donde se deduce que H
g
∩H = H ∀g ∈ G
o, equivalentemente, H
g
= gHg
−1
= H ∀g ∈ G, luego H es un subgrupo
normal de G y es el que busc´abamos.
12
(Observar que el argumento anterior nos servir´a, siempre que tengamos
[G[ = ps (con un primo p > s, y s no necesariamente primo), para demostrar
que el subgrupo generado por el elemento de orden p es un subgrupo normal).
Productos semidirectos. Grupos de orden peque˜ no
Problema 25. Demostrar que no existe ning´ un grupo G que cumpla las dos
siguientes propiedades: [G : Z(G)] = 4 y a
2
∈ Z(G) para alg´ un a ∈ G` ¦e¦
(como siempre, e es el neutro del grupo G).
Soluci´ on. Supongamos que existe un grupo G con esas propiedades.
Entonces G/Z(G) es un grupo de orden 4 y, por tanto, o bien es isomorfo al
grupo c´ıclico Z
4
o bien al grupo de Klein V, producto directo de dos grupos
c´ıclicos de orden 2.
En el caso G/Z(G)

= Z
4
, el problema 9 implica que G es abeliano, es
decir, G = Z(G), lo cual es imposible, ya que a
2
∈ Z(G).
Recordemos que todo elemento de V distinto del neutro tiene orden 2;
por lo tanto, el cuadrado de cada elemento de V es el neutro. Si suponemos
que G/Z(G)

= V , se sigue que (xZ(G))
2
= x
2
Z(G) = Z(G) para todo
x ∈ G, o sea, x
2
∈ Z(G) para todo x ∈ G, mientras que a
2
∈ Z(G).
Contradicci´on.
Problema 26. Encontrar todos los grupos de orden 21.
Soluci´ on. Sea G un grupo tal que [G[ = 21, como 3 y 7 son n´ umeros
primos que dividen a 21, nuevamente por el teorema de Cauchy, existen
elementos a y b ∈ G con ´ordenes 7 y 3, respectivamente. Sea H =< a >,
vamos a probar que es un subgrupo normal de G, de manera similar a como
hicimos en el ejercicio anterior. Sea H
g
= gHg
−1
, para g ∈ G; sabemos que
H
g
H es un subconjunto de G, luego [H
g
H[ ≤ 21 = [G[ y [H
g
[ = [H[.
Adem´as, H
g
∩H es un subgrupo de H, y por el teorema de Lagrange tenemos
que [H
g
∩ H[ = 1 ´o 7. Por otra parte,
[H
g
H[ =
[H
g
[ [H[
[H
g
∩ H[
=
7 7
[H
g
∩ H[
=

49
1
> 21 , imposible
49
7
= 7 , correcto
Veamos ahora que < a > ∩ < b >= ¦e¦, donde e denota el elemento neutro
del grupo, lo cual implicar´ıa que G

=< a >
θ
< b > porque adem´as
13
tendr´ıamos
[ < a > < b > [ =
[ < a > [ [ < b > [
< a > ∩ < b > [
= 21 = [G[ ⇒< a > < b >= G.
∀g ∈< a > < b >⇒ [ < g > [ divide al m´aximo com´ un divisor 7 y 3 (los
´ordenes de a y b, respectivamente) que es 1, luego g = e.
Ahora nos falta analizar todos los posibles homomorfismos de grupos
θ :< b >→ Aut (< a >), que nos dar´ıan todos los posibles productos
semidirectos y, por tanto, todos los posibles grupos de orden 21.
Como < b > es un grupo c´ıclico, para definir el homomorfismo θ, basta
definir la imagen de un generador, es decir, basta definir θ(b) = σ
b
∈ Aut(<
a >), y a su vez σ
b
, por ser un automorfismo de < a >, queda determinado
por su acci´on sobre a, que adem´as por teor´ıa sabemos que es de la forma
σ
b
(a) = bab
−1
. Como < a > G ⇒ bab
−1
∈< a >, luego bab
−1
= a
s
, con
s ∈ ¦1, 2, 3, 4, 5, 6¦. Por otra parte, como θ es un homomorphismo lleva el
neutro (por ejemplo b
3
= e) al neutro (el automorfismo identidad, Id), es
decir, Id = θ(b
3
) = (θ(b))
3
, lo cual implica que a = Id(a) = (θ(b))
3
(a) = a
s
3
o, equivalentemente, a
s
3
−1
= 1, lo cual nos dice que 7 divide a s
3
− 1 o,
equivalentemente, que s
3
es congruente con 1 m´odulo 7. De ah´ı obtenemos
que s ∈ ¦1, 2, 4¦. As´ı pues, los casos posibles son:
i) s = 1 ⇒(θ(b))(a) = a ⇔θ ≡ cte. ⇒< a >
θ
< b > es un producto
directo, o equivalentemente,
G
1

=< a > < b >

= Z
7
Z
3

= Z
21
, grupo c´ıclico.
ii) s = 2 ⇒ (θ(b))(a) = a
2
= bab
−1
⇔ ba = a
2
b, lo cual implica que
obtenemos un grupo no conmutativo, llam´emosle G
2
, de la forma
G
2
= ¦a
i
b
j
: ba = a
2
b con 0 ≤ i ≤ 6, 0 ≤ j ≤ 2¦
iii) s = 4 ⇒ (θ(b))(a) = a
4
= bab
−1
⇔ ba = a
4
b, de donde aparente-
mente obtendr´ıamos otro posible grupo, generado por dos elementos con la
relaci´on descrita anteriormente. Observemos que la relaci´on anterior es la
misma que si describimos el grupo del apartado ii), G
2
, como el generado
por los elementos a y b
2
, en lugar de a y b, porque ba = a
2
b, aplicado
sucesivamente, nos da
b
2
a = b(ba) = b(a
2
b) = (ba)(ab) = (a
2
b)(ab) = a
2
(ba)b = a
2
(a
2
b)b = a
4
b ,
que es la misma relaci´on que satisfar´ıan los dos generadores del grupo
obtenido en este apartado iii), luego no obtenemos un grupo distinto.
Luego, s´olo tenemos dos grupos no isomorfos de orden 21, G
1
y G
2
.
14
Grupos resolubles
Problema 27. Demostrar que el grupo D
n
de las simetr´ıas de un pol´ıgono
regular de n lados es resoluble para todo n ≥ 3.
Soluci´ on. Como D
n
=< ¦a, b : a
n
= 1 = b
2
, bab
−1
= a
−1
¦ >, sabemos
que < a > es un subgrupo normal de ´ındice 2 en D
n
. Entonces tenemos la
resoluci´on
¦1¦ < a > D
n
porque el primer factor es c´ıclico, luego abeliano, y el segundo factor es un
grupo de orden 2, por tanto tambi´en c´ıclico.
Problema 28. Obtener una resoluci´on del grupo de los cuaterniones Q.
Soluci´ on. Como Q =< ¦a, b : a
4
= 1 = b
4
, b
2
= a
2
, bab
−1
= a
−1
¦ >
tenemos que < a > es un subgrupo normal de ´ındice 2 de Q. Entonces
tenemos la resoluci´on
¦1¦ < a > Q
porque el primer factor es c´ıclico, luego abeliano y el segundo factor es un
grupo de orden 2, por tanto tambi´en c´ıclico.
Problema 29. Sea G = P Q con P y Q subgrupos de G abelianos y P G.
Probar que G es resoluble.
Soluci´ on. Tenemos la resoluci´on:
¦1
G
¦ P G = P Q
El primer factor es P, que es abeliano. Por el Tercer teorema de isomorf´ıa,
el segundo factor es P Q/P = Q P/P

= Q/P ∩Q, cociente de un abeliano,
luego abeliano.
Problema 30. Sea G un grupo de orden 12 con generadores a y b satisfa-
ciendo las siguientes relaciones: a
4
= b
3
= 1 y aba
−1
= b
−1
.
(i) Ecribir todos los elementos de G en la forma a
k
b
j
, sin incurrir en
repeticiones.
(ii) Determinar si los subgrupos H =< a > y K =< b > son normales.
15
(iii) Determinar si G es resoluble y encontrar una serie normal de com-
posici´on para G.
Soluci´ on. (i) Dado que aba
−1
= b
−1
tenemos que ba
−1
= a
−1
b
−1
=
(ba)
−1
o, equivalentemente, tomando inversos, que ba = ab
−1
= ab
2
. Por
tanto, todos los elementos de G son los siguientes:
G = ¦1
G
, a, a
2
, a
3
, b, ab, a
2
b, a
3
b, b
2
, ab
2
, a
2
b
2
, a
3
b
2
¦
= ¦a
i
b
j
: 0 ≤ i ≤ 3, 0 ≤ j ≤ 2¦ .
(ii) Sea H =< a >. H no es un subgrupo normal de G porque, por
ejemplo, bab
−1
= ab / ∈< a >. Por otra parte, si K =< b > entonces K s´ı es
un subgrupo normal de G porque aba
−1
= b
−1
∈< b > y G est´a generado
por a y b.
(iii) G es resoluble porque como K =< b > es normal en G, G = H K
y H ∩ K = ¦1
G
¦, entonces tenemos la siguiente serie normal de G:
¦1
G
¦ K G
con cocientes K y H, respectivamente, ambos abelianos, luego dicha serie
normal es una resoluci´on de G.
16

la multiplicaci´n es asociativa. El punto clave consiste en ver que para todo a ∈ G se tiene (H ∩K)a = Ha∩Ka. ab−1 = (hk)(y −1 x−1 ) = h(ky −1 )x−1 = (hu)v ∈ HK . H y K ≤ G. por tanto. e 2 . ya que o (±1) × (±1) = (±1). 1. por ser ambos subgrupos de ´ ındice finito. suponiendo las operaciones aditivas habituales en Z y Z2 . Problema 3. ´ Solucion. por consiguiente. ky −1 ∈ K. Ha ∩ Ka ⊂ (H ∩ K)a tambi´n. las inclusiones a obvias (H ∩ K)a ⊂ Ha y (H ∩ K)a ⊂ Ka implican (H ∩ K)a ⊂ Ha ∩ Ka. Finalmente. lo cual completa la prueba. lo cual nos dice que x ∈ (H ∩ K)a. por tanto. 1) es el unico elemento a ´ en G de orden 2. Es f´cil comprobar que a = (0. luego (ky −1 )x−1 ∈ KH = HK. 1) con a = 0 tiene orden infinito. v ∈ K. Por consiguiente. Demostrar que el subgrupo H ∩ K tambi´n tiene ´ e ındice finito en G. (ky −1 )x−1 = uv. para todo n ∈ N} . 1. tiene orden 2. [G : H ∩ K] es finito. (a) Hallar un ejemplo de un grupo G infinito en el cual existe exactamente un elemento de orden 2. h ∈ H. .) act´a como neutro y cada elemento es obviamente su propio u inverso: x · x = ((±1)2 )∞ = 1. por ejemplo. (b) Sea G el conjunto de todas las sucesiones de n´meros ±1: u G = {x = (xn )∞ : xn = −1 ´ 1 . (Teorema de Poincar´) Sea G un grupo. h = k ∈ H ∩ K. ambos de ´ ındice finito en G. etc. e Puesto que el n´mero de todas las clases por la derecha Ha es finito y lo u mismo se tiene para las clases Ka. entonces x = ha = ka. . todo elemento (a. Por tanto. posiblemente ine finito. ´ Solucion. lo cual es f´cil de comprobar. salvo el neutro. o n=1 con la operaci´n de multiplicaci´n definida por coordenadas: o o x · y = (xn · yn )∞ n=1 Entonces es obvio que G es cerrado respecto a la operaci´n definida. u ∈ H.y ∈ K. Por otra parte. En efecto. si x ∈ Ha ∩ Ka. (b) Dar un ejemplo de un grupo G infinito en el cual todo elemento. (a) Sea G = Z ⊕ Z2 . se sigue inmediatamente que el n´mero de todas las posibles intersecciones u Ha ∩ Ka tambi´n es finito. la sucesi´n estacionaria o o 1 = (1. k ∈ K y. . x−1 ∈ H. n=1 Problema 4.

Problema 7. porque N un subgrupo de ´ ındice 2. Problema 6. N G. Observando que (xN )m = xm N = eN = N . con la operaci´n dada por xN · yN = xyN . h(H ∩ N )h−1 ⊂ H y h(H ∩ N )h−1 ⊂ N implican h(H ∩ N )h−1 ⊂ H ∩ N . xN es el neutro de G/N : xN = N . ´ Solucion. Por el teorema o de Lagrange o(xN )| |G/N | = [G : N ] = n. Por lo tanto. Demostrar que H ∩ N H. Por la inclusi´n trivial H ∩ N ⊂ H tenemos o −1 ⊂ hHh−1 . Por un criterio visto en clase. el neutro en G/N . H. Por lo tanto. Sea G un grupo. el grupo G/H es abeliano. 3 . Observemos que para todo h ∈ H y todo x ∈ G tenemos xhx−1 = xh xh h−1 x−2 = (xh)2 h−1 (x−1 )2 ∈ H . Recordemos un ejercicio conocido: si en un grupo el cuadrado de cada elemento es el neutro. tenemos (xH)2 = x2 H = H. Demostrar que x ∈ N . ya que (xh)2 ∈ H y (x−1 )2 ∈ H. con lo cual x ∈ N . n) = 1. entonces el grupo es abeliano. obtenemos la conclusi´n de que o(xN )|m. ´ Solucion. n) = 1. tambi´n h(H ∩N )h e tenemos h(H ∩ N )h−1 ⊂ hN h−1 ⊂ N para todo h ∈ H. Ahora s´lo hace falta o observar que para cada clase xH ∈ G/H. Supongamos que H ≤ G y x2 ∈ H para todo x ∈ G. Ahora bien. Repasemos la demostraci´n del lema. Demostrar que H G y G/H es abeliano. Conjugacion. Subgrupos normales. Siendo N un subgrupo normal. La conclusi´n deseada se sigue del siguiente lema (visto en o clase): H ≤ G y N G implica H ∩ N H. o Consideremos su elemento xN . donde (m. Sea G un grupo (no necesariamente finito) con neutro e y N G de ´ ındice n.´ Grupos c´ ıclicos. Esto demuestra que H G. Supongamos que x ∈ G y xm = e. o(xN )|(m. Centro Problema 5. N ≤ G y [G : N ] = 2. es decir. Puesto que N es un subgrupo normal de G. Comprobaremos que h(H ∩N )h−1 o ⊂ (H ∩ N ) para todo h ∈ H. ´ Solucion. el conjunto cociente G/N = {gN : g ∈ G}. es un grupo.

(a) Recordemos que o(a) = o(xax−1 ) para cualquier x ∈ G. demostrar que a ∈ Z(G) y n = 2. a ∈ Z(G). De manera similar se obtiene u y = an h. por lo tanto. Si G es un grupo con centro Z(G) y el grupo cociente G/Z(G) es c´ ıclico. (b) Hallar un ejemplo de un grupo G infinito en el cual hay exactamente un elemento de orden 2. u Sean x. Es f´cil comprobar que a = (0. tenemos que a = xax−1 ´ para todo x ∈ G. Supongamos n > 2. (b) He aqu´ un ejemplo: G = Z⊕Z2 . Para ello. demostrar que G es abeliano. x = am g para alg´n m ∈ Z y g ∈ Z(G). Demostrar que si G no es abeliano y tiene orden p3 (p es un n´mero primo). para alg´n n ∈ Z y h ∈ Z(G). suponiendo las operaciones aditivas ı habituales en Z y Z2 . observemos que x = xe ∈ xZ(G) y. 1) es el unico elemento a ´ en G de orden 2. h ∈ Z(G). ´ Solucion. m) pero am = a. queremos demostrar que xy = yx. Ahora es f´cil comprobar lo que u a quer´ ıamos: xy = am gan h = am an gh = an am hg = an ham g = yx . Se sigue que n = 2. Por una f´rmula vista en clase tenemos: u o o(am ) = n = n = o(a) . y ∈ G dos elementos cualesquiera. (a) Si n ∈ N y G es un grupo que tiene un unico elemento a ´ de orden n. Entonces existe un m ∈ N tal que 1 < m < n y (m. entonces Z(G) tiene orden p. m´s adelante veremos sus aplicaciones en otros problemas. Problema 9. existe un a ∈ G tal que todo elemento del o grupo G/Z(G) es de la forma ak Z(G). Puesto que a es el unico elemento en G de orden n. n) = 1 (por ejemplo. es decir. ´ Solucion. ya que 1 < m < n = o(a). u 4 . Por las hip´tesis. Comentario: este resultado es muy util e importante y conviene conocerlo ´ y saber usarlo. lo cual contradice la hip´tesis del o problema. para alg´n k ∈ Z. (n. sea m el primer n´mero primo entre 1 y n). a Problema 10.Problema 8. puesto que g.

Pero todas las clases son subgrupos de o G. donde la suma contiene exactamente un elemento ai de cada clase de conjugaci´n CG (ai ) = {x ∈ G : xai = ai x}. o o dice lo siguiente: el centro de un p-grupo finito (es decir. El caso [G : Z(G)] = 1 es trivial: entonces G = Z(G) y. el grupo cociente G/Z(G) tendr´ p elementos y. o ´ Problema 11. 3. por el teorema de Lagrange tenemos |Z(G)| = 1. [G : Z(G)] ∈ {1. un grupo cuyo orden no es primo no tiene porque ser c´ ıclico. por consiguiente. Si [G : Z(G)] = 3. e (Para hacer esta soluci´n m´s completa. repasemos rapidamente la deo a mostraci´n del hecho mencionado arriba. visto en clase. ya que G no es abeliano. En general. Por el problema anterior.´ Solucion. de un grupo de orden pn . 15}. o Analicemos los cuatro casos. para cada i ambos n´meros |CG (ai )| y [G : CG (ai )] u 3 . ´ Solucion. Esto implica que son divisores de |G| = p n |Z(G)| = |G| − i=1 [G : CG (ai )] tambi´n tiene que ser divisible por p. en este caso: o n p3 = |G| = |Z(G)| + i=1 [G : CG (ai )] . por consiguiente. e por razones algo menos triviales. Demostrar que G es conmutativo. p o p2 . entonces el grupo G/Z(G) es c´ ıclico (siendo un grupo de orden 3). el caso |Z(G)| = 1 tambi´n es imposible. esto es imposible. p primo. por la teor´ de los productos ıa 5 . Tambi´n lo es el caso [G : Z(G)] = 15. Sin embargo. Un corolario de la ecuaci´n de las clases de conjugaci´n. Sea G un grupo finito tal que el ´ ındice [G : Z(G)] es un divisor de 15. n = 0) no puede ser trivial. Por lo tanto. Por el problema 9. Por la hip´tesis del problema. 5. ıa ser´ c´ ıa ıclico. El ultimo caso queda excluido enseguida: si Z(G) fuese un grupo de ´ orden p2 . G es abeliano. G es abeliano. pues no puede ser = 1. El caso [G : Z(G)] = 5 es similar. Puesto que Z(G) ≤ G y Z(G) = G.) e Conclusi´n: el unico caso posible es |Z(G)| = p. La ecuaci´n de las clases de cono o jugaci´n es. Siendo G un p-grupo.

|G| (b) |G/H| = |H| = q. tenemos |Z(G)| ∈ {p. Por lo tanto. sabemos que cualquier grupo de orden 15 tiene que ser isomorfo a Z15 y. es un subgrupo normal de H. gHg −1 es un grupo. Problema 13. denotada tambi´n a veces por H x . (c) Si H ⊂ Z(G). 6 . G/Z(G) es un grupo c´ ıclico y el problema 9 implica que G es conmutativo. En cada uno de estos casos. D3 = {I. B. es necesariamente c´ ıclico. por un teorema visto en clase. A2 B} donde o A3 = I = B 2 y BA = A−1 B. Demostrar que H G. A2 . p. Ejemplo: sea G el grupo di´drico e de orden 6. El grupo cociente G/H de orden 2 es obviamente c´ ıclico. ´ Solucion. el conjunto gHg −1 es un subgrupo de K. Se sigue que G/H es c´ u ıclico. |G/Z(G)| ∈ {q. Sea H = {I. entonces G es abeliano. ´ Solucion. (a) H es un subgrupo normal. Sea H < K G y. el grupo G no es abeliano. por lo tanto. para todo g ∈ G se tiene gHg −1 ⊂ gKg −1 ⊂ K. A. en la notaci´n de clase. A. Problema 14. Siendo H un subgrupo de ´ ındice 2. puesto que H < K y K G. q. Demostrar ´ las siguientes afirmaciones: (a) H G. no obstante. la imagen de H por el Sea x ∈ G arbitrario. Sin embargo. o −1 . es un subrupo e de G y |xHx−1 | = |H| = p. pq} y. adem´s. Sean p. ¿es G necesariamente abeliano? Razonar la respuesta. (c) Z(G) G ⇒ |Z(G)| ∈ {1.semidirectos. ´ Solucion. xHx−1 = H. Sea G u un grupo de orden pq que tiene un unico subgrupo H de orden p. para cualquier elemento g ∈ G. Segundo. (b) El grupo cociente G/H es c´ ıclico. Entonces Ix (H) = xHx automorfismo interno Ix . La respuesta es: NO. 1}. repasaremos la demostraci´n). Primero. Por lo tanto. un n´mero primo. ya que es el unico subgrupo ´ de G de orden p (visto en clase. Esto significa que H G. pq}. Si H G y el grupo G/H es c´ ıclico. sea K c´ a ıclico y finito. el subgrupo c´ ıclico generado por A. Puesto que H ⊂ Z(G) y |H| = p. por lo tanto. A2 }. q dos n´meros primos (iguales o distintos). Problema 12. AB.

Zn ). Zn ) tiene la forma indicada en el enunciado con r = f (1). (a) Cualquier f ∈ Hom(Zm . (Comentario: por lo que se ha visto en clase. Las dos conclusiones implican que o(r) | (m. tiene que e cumplir la condici´n o(r) | o(Zn ) = n. Por lo tanto. es decir. Z10 ). y por lo tanto tiene un unico subgrupo de orden |H|. como es habitual. n). f (1) tiene que ser uno de los o elementos del (´nico) subgrupo de orden 3 del grupo aditivo Z12 : {0. gHg G. (b) Describir los conjuntos Hom(Z21 . Luego.) e a La clase r = f (1). (a) Demostrar que si f ∈ Hom(Zm . y ´ste ser´ precisamente r. 10) = 1 y.Tambi´n sabemos que |gHg −1 | = |H| (visto en clase). ı (b) Usaremos el apartado (a). siendo un elemento del grupo c´ ıclico Zn . la imagen f (Zm ) ⊂ Zn es un subgrupo de Zn . entonces el orden de f (1) divide a (21. Z7 ). Aunque en algunos casos 1 ∈ Zn no pertenezca a esta imagen. Por lo ´ −1 = H. Z10 ). Zn ) queda completamente determinado por la imagen f (1). 1 ´ 3. Z12 ) y Hom(Z21 . ya que para 0 ≤ x < m se tiene. Tambi´n es evidente que o mr = f (m) = f (0) = 0 . 8} u (por una proposici´n vista en clase. 4. Z12 ). el orden de f (1) tiene que ser un divisor de (21. Si f ∈ Hom(Z21 . n). los ´ ı 7 . (c) ¿Cuantos de estos homomorfismos son sobreyectivos (inyectivos)? ´ Solucion. donde el orden del elemento e ∈ Zm divide a (m. En el caso f ∈ Hom(Z21 . o(r) | m. f (Zm ). si B es un grupo c´ o ıclico de orden n y k | n entonces G tiene un unico subgrupo de orden k). B) al conjunto de todos los homomorfismos de un grupo A a otro grupo B. 12) = 3. Homomorfismos de grupos Problema 15. por las propiedades elementales de los homomorfismos. entonces f viene dado por f (x) = xe. As´ pues. Esto significa que H tanto. un elemento de f (Zm ) desempe˜ar´ el papel de generador n a de f (Zm ). por tanto. Por lo tanto. por Zn al grupo aditivo m´dulo o n y por Hom(A. Hom(Z21 . K es un grupo e c´ ıclico y finito. f (1) = 0: el unico homomofismo ´ es el trivial: f (x) = 0 para todo x ∈ Zm . f (x) = xf (1) = xf (1). y esto vale para todo g ∈ G. todo f ∈ Hom(Zm . As´ pues. Denotemos.

ya que los elementos 1. Z7 ): ahora o(ϕ(1)) | 7. por lo cual ϕ(1) puede ser cualquiera de los elementos de Z7 . En el caso de Hom(Z21 . Zn ) sea sobreyectivo. obtener una caracterizaci´n simple de Aut(Zp ). Z7 ) hay 6 homomorfismos (todos menos el trivial) son sobreyectivos. No hay nada interesante en comprobar a que f (x + y) = f (x) + f (y) (a primera vista. y es f´cil ver que todos lo son. parece ser cierto siempre. Hom(Z21 . por tanto. describir el grupo Aut(Zn ) de todos los automorfismos del grupo aditivo Zn . Si elegimos 0 < r < n. sea cual sea el elemento r). el grupo Aut(Zn ) tiene exactamente 8 . e y < 21): 21 | (x − y) ⇒ 12 | 4(x − y) . Para que un homomorfismo ϕ ∈ Hom(Zm . Es f´cil comprobar que ambos lo son. 12. o ´ Solucion. El argumento es parecido al anterior: si f ∈ Aut(Zn ). Para n ∈ N. Dicho de otra manera (suponiendo. En particular. 2. que 0 < x. ya sabemos que no hay ning´n homou morfismo sobreyectivo. f2 (x) = 8x . Z10 ). . (c) En el caso de Hom(Z21 .candidatos para ser homomorfismos. Hay tres homomorfismos. por lo tanto. Pero tambi´n es importante comprobar que est´n e a bien definidos: x = y (mod 21) ⇒ 4x = 4y (mod 12) . puesto que se trata de aplicaciones de un conjunto de 21 elementos en otros con menos elementos (10. . En este caso. Problema 16. se sigue que (r. Z62 ) tampoco puede haber homomorfismos sobreyectivos. Esto nos dice que en el caso de Hom(Z21 . . son a los siguientes: f1 (x) = 4x . 7). hay 7 a homomorfismos distintos. pero esto es inmediato. adem´s del homomorfismo trivial. ninguno de los homomorfismos considerados puede ser inyectivo. 6 de Z7 todos tienen orden 7. Lo mismo se obtiene con 8 en vez de 4. Cada r coprimo con n genera un automorfismo y. sin p´rdida de generalidad. de orden exactamente n. n) = 1 (por la t´ ıpica cuenta para el orden de un elemento en un grupo c´ ıclico). para p primo. . Evidentemente. el elemento r = f (1) tiene que ser un generador de Zn y. entonces r = f (1) tiene orden exactamente n (todo automorfismo es sobreyectivo).

denotemos por σa el automorfismo interno dado por σa (x) = axa−1 . = ´ Solucion. b ∈ G y que Int G Aut G. Demostrar que G/Z(G) ∼ Int G. puesto que φ(a) ◦ φ(b) = σa ◦ σb = σab = φ(ab) . β = (21)(23)(24)(25) y que. ◦) ∼ (U (Zp ). β ≤ A5 = S5 . es isomorfo al grupo aditivo (Zp−1 . Basta observar que α = (13)(12). si y s´lo si ga = ag para todo x ∈ G.ϕ(n) elementos. La igualdad escrita arriba nos dice que F (fr ◦ fr ) = F (fr ) · F (fr ). donde ϕ es la funci´n de Euler. es obvio que una composici´n de dos automorfismos fr (x) = rx y fr (x) = r x da el siguiente o resultado: (fr ◦ fr )(x) = rr x = frr (x) . Dado un grupo G y a ∈ G. Si n ≥ 3. por tanto. ambos ciclos son permutaciones pares. φ(a) = σa . 9 . Sea φ : G → Int G. N (φ) = ker φ es el centro de G: a ∈ N (φ) si y s´lo a u o si φ(a) = σa =Id. el o grupo multiplicativo de las unidades de Zn . Hemos visto en clase que σa ◦ σb = σab para todo a. β . es o decir. ◦) (siendo ◦ la composici´n de aplicaciones) y (U (Zn ). Adem´s. si S5 = α. o Aplicando el Primer teorema de isomorf´ obtenemos G/Z(G) = G/N (φ) ıa. es decir. Esto significa que α. lo que sugiere un automorfismo natural F : Aut(Zn ) → U (Zn ) dado por F (f ) = f (1) = r. Entonces φ es obviamente suprayectiva y es un homomorfismo de grupos. son isomorfos. demostrar que Z(Sn ) = I. ·). con frecuencia tambi´n denotado por e Ia y por Int (G) al grupo de todos los automorfismos internos de G. +). Problema 19. ∼ φ(G) = Int G. Decidir justificadamente si los ciclos α = (123) y β = (25431) generan S5 . por tanto. ·). Es cierto algo m´s: los gruo a pos (Aut(Zn ). = que es un grupo multiplicativo c´ ıclico (de orden p − 1) y. = Grupos de permutaciones Problema 18. el n´cleo de φ. para n = p (primo) tenemos (Aut(Zp ). ´ Solucion. lo cual se tiene si y s´lo si axa−1 = x para todo x ∈ G. Problema 17. En particular.

tenemos que 1). ´ Solucion. Aplicando el Teorema fundamental sobre la estructura o de grupos abelianos finitos. Buscamos. por tanto. j. Escribir U (Z33 ). u existe k ∈ {1. τ (k) = j. Grupos abelianos finitos Problema 21. Problema 20. ¯ a un elemento de S5 de orden 3. 3 Productos directos. basta decir e donde va el generador. luego a un 1. por tanto. Primero. conviene aplicar la siguiente t´cnica e (que tambi´n puede ser util en algunos ejercicios con varios productos semidie ´ rectos): vamos a contar el n´mero de elementos de cierto orden en cada uno u de los grupos. n} tal que k = i. un par de n´meros i.´ Solucion. igual a 6. . σ y τ no conmutan. tenemos 2 · 5 = 20 tales homomorfismos. como producto de grupos c´ ıclicos. el grupo multiplicativo de las unidades de Z33 . j con esta propiedad existe ya que σ = I. Sea σ ∈ Sn . (b) Tienen imagen de orden 3. Puesto que n ≥ 3. tenemos 2 · 5 = 20. Supongamos que σ(i) = j = i. ´ Solucion. 2. Determinar el n´mero de homomorfismos de Z6 en S5 que u (a) Son inyectivos. el orden de la imagen del generador por el homomorfismo debe ser el mismo que el orden del generador. es decir. U (Z33 ) es un grupo conmutativo y tiene ϕ(33) = ϕ(3)·ϕ(11) = 2·10 = 20(= 22 ·5) elementos. Recordemos que este ultimo ejercicio fue fundamental en la demostraci´n ´ o del teorema de Abel. . Para que el homomorfismo sea inyectivo. = = Para decidir entre estos dos grupos. (a) Dado que Z6 es c´ ıclico. Entonces στ (i) = τ σ(i) y. enviar el generador de Z6 . para dar un homomorfismo de ´l. entonces la imagen de f es lo generado por f (¯ Si queremos que la imagen tenga orden 3. seg´n las propiedades b´sicas de u a la funci´n de Euler. la trasposici´n o (jk). Consideremos una permutaci´n o τ ∈ Sn tal que τ (i) = i. concluimos que U (Z33 ) es isomorfo o bien al grupo c´ ıclico Z4 ⊕ Z5 ∼ Z20 o bien al grupo Z2 ⊕ Z2 ⊕ Z5 ∼ Z2 ⊕ Z10 . . Por tanto. los elementos de S5 de orden 6. σ = I. . τ (j) = k. 3−ciclo y. El orden de cada elemento de un grupo de 20 elementos es un 10 . por ejemplo. o 3 (b) Sea f : Z6 → S5 un homomorfismo. Los unicos que existen son la composici´n disjunta de un ´ o 3-ciclo y una transposici´n. por tanto.

Por el teorema fundamental sobre la estructura de los grupos abelianos finitos (visto en clase). por lo tanto. Es decir.x) entonces (20. hay un unico ´ elemento (10) de orden 2 en Z20 . en total. en este caso 2. mientras que el m´ximo a orden de un elemento de Z2 ⊕ Z4 es 4. Si x ∈ Z20 . = Comentario: los grupos Z8 y Z2 ⊕ Z4 no son isomorfos porque Z8 tiene.divisor de 20 (por Lagrange). ¿pero cu´l deber´ a ıamos elegir entre ellos? Vamos a elegir el m´s peque˜o posible. Hallar todos los grupos abelianos (no isomorfos) de orden 360. = = Problema 22. Z8 ⊕ Z4 . 3-grupos y Z5 . Hay 3 grupos abelianos distintos (no isomorfos entre si) de orden 23 = 8: Z8 . Encontraremos ahora en el grupo U (Z33 ) m´s de un elemento de orden 2: a si x2 ≡ 1 (33). Puesto que 3 y 11 son primos. Por lo tanto. y lo mismo para o 11. Z2 ⊕ Z2 ⊕ Z2 y dos grupos abelianos no isomorfos de orden 32 = 9: Z9 . 1). un elemento de orden 8 (por ejemplo. ´ Solucion. se sigue que no puede ser isomorfo a a Z20 y. concluimos que 3 | (x−1) ´ 3 | (x+1). al menos. 6 = 3 · 2 posibilidades: Z8 ⊕ Z9 ⊕ Z5 ∼ Z360 = Z8 ⊕ Z3 ⊕ Z3 ⊕ Z5 ∼ Z3 ⊕ Z120 = Z2 ⊕ Z4 ⊕ Z9 ⊕ Z5 ∼ Z2 ⊕ Z180 = Z2 ⊕ Z4 ⊕ Z3 ⊕ Z3 ⊕ Z5 ∼ Z6 ⊕ Z60 = Z2 ⊕ Z2 ⊕ Z2 ⊕ Z9 ⊕ Z5 ∼ Z2 ⊕ Z2 ⊕ Z90 = Z2 ⊕ Z2 ⊕ Z2 ⊕ Z3 ⊕ Z3 ⊕ Z5 ∼ Z2 ⊕ Z6 ⊕ Z30 . es isomorfo al otro: U (Z33 ) ∼ Z2 ⊕ Z2 ⊕ Z5 ∼ Z2 ⊕ Z10 . esto significa que 33 = 3 · 11 | x2 − 1 = (x − 1)(x + 1). Puesto que este grupo a tiene m´s de un elemento de orden 2. cualquier grupo conmutativo de orden 360 = 23 · 32 · 5 es una suma directa de 2-grupos. Este tipo de observaciones sobre 11 . Z3 ⊕ Z3 . x) = 10 y x = 10. 0 < x < 20 a n 20 y 2 = o(x) = (20. Ahora es f´cil encontrar x = 10 y x = −1 = 32. para un grupo abeliano de orden 360 hay.

denotado n7 . no es simple. Por tanto. o Problema 24. ya sabemos que es un subgrupo de G y que tiene el mismo orden que H. Puesto que 63 = 32 × 7. luego |H g ∩ H| = 1 ´ 5. o Teoremas de Cauchy y de Sylow u Problema 23. luego H es un subgrupo normal de G y es el que busc´bamos. que el subgrupo generado por a. n) = 1 (visto en clase). H g = gHg −1 = H ∀g ∈ G. ´ Solucion. tiene que ser normal.los ´rdenes de elementos constituyen una de las herramientas b´sicas para o a demostrar que dos grupos dados no pueden ser isomorfos. podemos concluir que los grupos Zmn y Zm ⊕ Zn son isomorfos si y s´lo si (m. alguno de ´ los dos grupos tendr´ que ser normal). Demostrar que G tiene un subgrupo normal de orden 5. de donde se deduce que H g ∩ H = H ∀g ∈ G o. ı g ∩ H ≤ H. imposible correcto Luego. que denotaremos por < a >= H. Como 5 es un n´mero primo que divide al orden de G. por definici´n. y por el Teorema de Lagrange tenemos que |H g ∩ H| Adem´s. sabemos que existe un elemento a ∈ G de orden 5. cumple las condiciones n7 = 1 + 7k y n7 |9. Sea G un grupo de orden 20. tiene orden 5. Para todo g ∈ G. o |H g · H| = 5·5 |H g | · |H| = = g ∩ H| |H |H g ∩ H| 25 1 25 5 > 20 . ´ Solucion. H g · H ⊆ G (para saber que es un subgrupo. Eso demuestra que un grupo de orden 63 siempre tiene un subgrupo normal no trivial y. Generalizando el mismo razonamiento. H a es un divisor de |H| = 5. Puesto que es el unico de ´ ´ ese orden. el n´mero de 7-subgrupos u u de Sylow. |H g ∩ H| = 5 = |H|. denotaremos por H g = gHg −1 al subgrupo de G que se obtiene conjugando H por g ∈ G. o equivalentemente. Demostrar que no existe ning´n grupo simple de orden 63. =5 . Seg´n el Tercer Teorema de Sylow. Este satisface |H g · H| ≤ |G| = 20. a 12 . equivalentemente. n7 = 1: hay un subgrupo unico de orden 7. ya que 72 | 63). Consideraremos el subconjunto de G. por u el Teorema de Cauchy. Por otra parte. el Primer Teorema de Sylow implica la existencia de un subgrupo de orden 7 (7-subgrupo de Sylow en este caso.

y por el teorema de Lagrange tenemos a que |H g ∩ H| = 1 ´ 7. como 3 y 7 son n´meros u primos que dividen a 21. ya que a2 ∈ Z(G). Supongamos que existe un grupo G con esas propiedades. Encontrar todos los grupos de orden 21. nuevamente por el teorema de Cauchy. o bien es isomorfo al grupo c´ ıclico Z4 o bien al grupo de Klein V. Sea G un grupo tal que |G| = 21. por tanto. x2 ∈ Z(G) para todo x ∈ G. o vamos a probar que es un subgrupo normal de G. Entonces G/Z(G) es un grupo de orden 4 y. =7 .(Observar que el argumento anterior nos servir´. Grupos de orden pequeno Problema 25. Adem´s. mientras que a2 ∈ Z(G). Si suponemos que G/Z(G) ∼ V . es = decir. el problema 9 implica que G es abeliano. respectivamente. se sigue que (xZ(G))2 = x2 Z(G) = Z(G) para todo = x ∈ G. donde e denota el elemento neutro del grupo. para demostrar que el subgrupo generado por el elemento de orden p es un subgrupo normal). existen elementos a y b ∈ G con ´rdenes 7 y 3. ´ Solucion. Sea H =< a >. producto directo de dos grupos c´ ıclicos de orden 2. o sea. Recordemos que todo elemento de V distinto del neutro tiene orden 2. siempre que tengamos a |G| = p·s (con un primo p > s. H g ∩H es un subgrupo de H. luego |H g · H| ≤ 21 = |G| y |H g | = |H|. o Problema 26. lo cual implicar´ que G ∼< a > ×θ < b > porque adem´s ıa a = 13 . por lo tanto. ˜ Productos semidirectos. de manera similar a como hicimos en el ejercicio anterior. e es el neutro del grupo G). sabemos que H g · H es un subconjunto de G. ´ Solucion. y s no necesariamente primo). G = Z(G). el cuadrado de cada elemento de V es el neutro. lo cual es imposible. para g ∈ G. Por otra parte. o |H g · H| = 7·7 |H g | · |H| = = |H g ∩ H| |H g ∩ H| 49 1 49 7 > 21 . Contradicci´n. Demostrar que no existe ning´n grupo G que cumpla las dos u 2 ∈ Z(G) para alg´n a ∈ G \ {e} siguientes propiedades: [G : Z(G)] = 4 y a u (como siempre. Sea H g = gHg −1 . En el caso G/Z(G) ∼ Z4 . imposible correcto Veamos ahora que < a > ∩ < b >= {e}.

3. as −1 = 1. que nos dar´ todos los posibles productos ıan semidirectos y. lo cual implica que a = Id(a) = (θ(b))3 (a) = as 3 o. ⇒< a > ×θ < b > es un producto directo. 4. para definir el homomorfismo θ. como θ es un homomorphismo lleva el neutro (por ejemplo b3 = e) al neutro (el automorfismo identidad. generado por dos elementos con la relaci´n descrita anteriormente. Por otra parte. 2. queda determinado por su acci´n sobre a. o Ahora nos falta analizar todos los posibles homomorfismos de grupos θ :< b >→ Aut (< a >). o equivalentemente. con s ∈ {1. Luego. basta definir θ(b) = σb ∈ Aut(< a >). De ah´ obtenemos o ı que s ∈ {1. =< = = ii) s = 2 ⇒ (θ(b))(a) = a2 = bab−1 ⇔ ba = a2 b. porque ba = a2 b. G2 . que adem´s por teor´ sabemos que es de la forma o a ıa σb (a) = bab−1 . es decir. 0 ≤ j ≤ 2} iii) s = 4 ⇒ (θ(b))(a) = a4 = bab−1 ⇔ ba = a4 b. luego g = e. G1 y G2 .tendr´ ıamos |<a>·<b>|= |<a>|·|<b>| = 21 = |G| ⇒< a > · < b >= G. es 3 decir. Id = θ(b3 ) = (θ(b))3 . s´lo tenemos dos grupos no isomorfos de orden 21. como el generado por los elementos a y b2 . todos los posibles grupos de orden 21. en lugar de a y b. llam´mosle G2 . de donde aparentemente obtendr´ ıamos otro posible grupo. 4}. y a su vez σb . luego no obtenemos un grupo distinto. lo cual nos dice que 7 divide a s3 − 1 o. que es la misma relaci´n que satisfar´ los dos generadores del grupo o ıan obtenido en este apartado iii). Id). Observemos que la relaci´n anterior es la o o misma que si describimos el grupo del apartado ii). Como < a > G ⇒ bab−1 ∈< a >. Como < b > es un grupo c´ ıclico. que s3 es congruente con 1 m´dulo 7. luego bab−1 = as . grupo c´ ıclico. basta definir la imagen de un generador. por tanto. o 14 . aplicado sucesivamente. los casos posibles son: ı i) s = 1 ⇒ (θ(b))(a) = a ⇔ θ ≡ cte. de la forma e G2 = {ai bj : ba = a2 b con 0 ≤ i ≤ 6. por ser un automorfismo de < a >. G1 ∼ a > × < b >∼ Z7 × Z3 ∼ Z21 . 5. equivalentemente. 2. equivalentemente. lo cual implica que obtenemos un grupo no conmutativo. nos da b2 a = b(ba) = b(a2 b) = (ba)(ab) = (a2 b)(ab) = a2 (ba)b = a2 (a2 b)b = a4 b . respectivamente) que es 1. As´ pues. 6}. <a>∩<b>| ∀g ∈< a > · < b >⇒ | < g > | divide al m´ximo com´n divisor 7 y 3 (los a u ´rdenes de a y b.

b : an = 1 = b2 . ´ Solucion. Problema 29. Sea G = P · Q con P y Q subgrupos de G abelianos y P Probar que G es resoluble. Entonces tenemos la resoluci´n o {1} < a > Q porque el primer factor es c´ ıclico. Como Q =< {a. 15 . por tanto tambi´n c´ e ıclico. luego abeliano y el segundo factor es un grupo de orden 2. y el segundo factor es un grupo de orden 2. Problema 28. ´ Solucion. cociente de un abeliano. b : a4 = 1 = b4 . = luego abeliano. b2 = a2 . por tanto tambi´n c´ e ıclico. Problema 30. sabemos que < a > es un subgrupo normal de ´ ındice 2 en Dn . Sea G un grupo de orden 12 con generadores a y b satisfaciendo las siguientes relaciones: a4 = b3 = 1 y aba−1 = b−1 . (i) Ecribir todos los elementos de G en la forma ak bj . El primer factor es P . luego abeliano. el segundo factor es P · Q/P = Q · P/P ∼ Q/P ∩ Q. (ii) Determinar si los subgrupos H =< a > y K =< b > son normales. o ´ Solucion. bab−1 = a−1 } > tenemos que < a > es un subgrupo normal de ´ ındice 2 de Q.Grupos resolubles Problema 27. Por el Tercer teorema de isomorf´ ıa. sin incurrir en repeticiones. Entonces tenemos la resoluci´n o {1} < a > Dn porque el primer factor es c´ ıclico. Tenemos la resoluci´n: o {1G } P G=P ·Q G. Como Dn =< {a. que es abeliano. bab−1 = a−1 } >. Obtener una resoluci´n del grupo de los cuaterniones Q. Demostrar que el grupo Dn de las simetr´ de un pol´ ıas ıgono regular de n lados es resoluble para todo n ≥ 3.

a. a2 b. (ii) Sea H =< a >. Por otra parte.(iii) Determinar si G es resoluble y encontrar una serie normal de composici´n para G. o ´ Solucion. bab−1 = ab ∈< a >. (iii) G es resoluble porque como K =< b > es normal en G. ab2 . a3 b2 } = {ai bj : 0 ≤ i ≤ 3. todos los elementos de G son los siguientes: G = {1G . G = H · K y H ∩ K = {1G }. b2 . a2 . respectivamente. ab. a3 b. ambos abelianos. o 16 . H no es un subgrupo normal de G porque. por ejemplo. tomando inversos. b. a2 b2 . Por (ba) tanto. (i) Dado que aba−1 = b−1 tenemos que ba−1 = a−1 b−1 = −1 o. luego dicha serie normal es una resoluci´n de G. equivalentemente. que ba = ab−1 = ab2 . 0 ≤ j ≤ 2} . si K =< b > entonces K s´ es / ı un subgrupo normal de G porque aba−1 = b−1 ∈< b > y G est´ generado a por a y b. entonces tenemos la siguiente serie normal de G: {1G } K G con cocientes K y H. a3 .

Sign up to vote on this title
UsefulNot useful