Estructuras Algebraicas U.
Complutense de Madrid
Grupos M3 & M4 Curso 2023-2024
Hoja de problemas 3
(Soluciones)
1. Sea G un grupo abeliano y sea Tor(G) el subconjunto formado por los elementos de G de
orden finito. Es decir:
Tor(G) := {x ∈ G | o(x) es finito}.
Demostrar que Tor(G) es un subgrupo de G.
Solución. Claramente e ∈ Tor(G). Además, dados x, y ∈ Tor(G), los números naturales
m = o(x) y n = o(y) satisfacen que xm = e = y n . Como G es abeliano, tenemos que
(xy)mn = xmn y mn = (xm )n (y n )m = en em = e
y en consecuencia o(xy) | nm. En particular o(xy) es finito y por tanto xy ∈ Tor(G).
Finalmente, el subconjunto Tor(G) está cerrado bajo inversos ya que o(x) = o(x−1 ) para
todo x ∈ G, con lo que Tor(G) es un subgrupo de G.
2. Sea G un grupo y sean x, y ∈ G. Demostrar:
(a) o(xy) = o(yx).
(b) o(x−1 yx) = o(y)
Solución. (a) Para cualquier número natural r ≥ 1 se satisface
(xy)r = e ⇔ xy(xy)r−1 = e ⇔ y(xy)r−1 = x−1 ⇔ y(xy)r−1 x = e ⇔ (yx)r = e,
con lo que o(xy) = o(yx).
(b) Sabemos que el orden se preserva bajo isomorfismos. Como la función fx : G → G,
definida por fx (y) = x−1 yx, es un automorfismo deducimos que o(fx (y)) = o(y), como
querı́amos.
3. Sean G un grupo y n ≥ 2 un número entero tales que existe x ∈ G de modo que x es el
único elemento de G de orden n. Calcular el valor de n y demostrar que x ∈ Z(G).
Solución. Sea x ∈ G el único elemento de orden n. Como o(x) = o(x−1 ), la hipótesis de
unicidad de x implica que x = x−1 y por tanto n = o(x) = 2.
Por otro lado, tenemos para g ∈ G arbitrario que o(g −1 xg) = o(x), por el ejercicio anterior,
con lo que g −1 xg = x por la hipótesis de unicidad de x. Como g ∈ G era arbitrario, esto
implica que x ∈ Z(G).
4. Sea H un subgrupo de un grupo G y sea x ∈ G un elemento de orden n. Sea m un número
entero tal que mcd(m, n) = 1 y que xm ∈ H. Demostrar que x ∈ H.
n
Solución. Como n = o(x) y o(xm ) = mcd(m,n) = n, deducimos que ⟨xm ⟩ tiene los mismos
m
elementos que ⟨x⟩. Al ser ⟨x ⟩ ⊂ ⟨x⟩, tenemos la igualdad de conjuntos y deducimos que
x ∈ ⟨x⟩ = ⟨xm ⟩ ⊂ H.
5. ¿Existe un grupo G infinito tal que todos sus elementos tienen orden finito?
Solución. Consideramos Tor(C∗ ) el cual es de hecho el subgrupo n≥1 Un .
S
6. Sea G un grupo infinito cualquiera. Demuestra que G contiene un subgrupo H con la
propiedad que {e} =
̸ H ̸= G.
Solución. Si G no es un grupo cı́clico entonces basta tomar H = ⟨a⟩, para cualquier
a ∈ G \ {e}. En caso contrario, el grupo G es cı́clico generado por un elemento g ∈ G.
Por tanto G = ⟨g⟩ = {g i | i ∈ Z} (y es isomorfo a Z). En particular, tomando H = ⟨g 2 ⟩,
vemos que {e} = ̸ H ̸= G, ya que g ̸= g 2j para todo j ∈ Z; si no tendrı́amos que g 2j−1 = e,
lo cual es claramente imposible.
1
7. Se llama grupo de cuaterniones al grupo Q := {1, −1, i, j, k, −i, −j, −k} cuya operación
queda definida por la siguiente tabla:
· 1 −1 i j k −i −j −k
1 1 −1 i j k −i −j −k
−1 −1 1 −i −j −k i j k
i i −i −1 k −j 1 −k j
j j −j −k −1 i k 1 −i
k k −k j −i −1 −j i 1
−i −i i 1 −k j −1 k −j
−j −j j k 1 −i −k −1 i
−k −k k −j i 1 j −i −1
(a) Calcular el orden de cada elemento de Q y describir todos sus subgrupos.
(b) ¿Es Q abeliano? Calcular el centro de Q.
(c) Encontrar un sistema generador minimal de Q. Escribir todos los elementos de Q
como palabras en los miembros de dicho sistema generador.
(d) Demostrar que para cada entero positivo n se cumple la igualdad in jin = j.
(e) ¿Son los grupos Q y D4 isomorfos?
Solución. (a) Los elementos ±i, ±j, ±k tienen orden 4, el elemento −1 tiene orden 2 y
el neutro 1 tiene orden 1. Los subgrupos, además de Q y {1}, son
⟨±i⟩ = {1, −1, i, −i}, ⟨±j⟩ = {1, −1, j, −j} y ⟨±k⟩ = {1, −1, k, −k}, (∗)
que tienen orden 4, y ⟨−1⟩ = {1, −1} de orden 2. No hay más subgrupos. En efecto,
supongamos que H es un subgrupo de Q distinto de los anteriores. En tal caso, como Q
solo tiene un elemento de orden 2 y H ̸= ⟨±1⟩, deducimos que H posee algún elemento de
orden 4. Además, como H no es ninguno del los subgrupos de (∗), debe poseer al menos
3 elementos de orden 4. Pero en tal caso, como i · j = k, k · i = j e j · k = i, el subgrupo
H posee todos los elementos de orden 4, con lo que H = Q, contradicción.
(b) No, pues i · j = k pero j · i = −k. Se verifica que el centro es Z(Q) = {1, −1}.
(c) Tenemos Q = ⟨i, j⟩. Los elementos distintos de i y j se escriben como:
1 = i0 , −1 = i2 , −i = i3 , −j = j3 , k = i · j y − k = j · i
(d) Por inducción en n, siendo el caso n = 1 trivial pues iji = ki = j. Para n > 1
arbitrario,
ind.
in jin = iin−1 jin−1 i = iji = j.
(e) No, pues D4 posee 4 elementos de orden 2, pero Q solamente posee 1.
