Pauta Interrogación 1 - MAT2205

Pregunta 1. [5pts] Sea H < G. Muestre que H < CG (H) sı́ y sólo si H es abeliano.
Solución: Sabemos CG (H) = {g ∈ G : gh = hg ∀h ∈ H}.
⇐ Si H es abeliano, dado k ∈ H se tiene kh = hk para todo h ∈ H. Luego k ∈ CG (H).
⇒ Si H < CG (H), entonces H ⊆ CG (H). Dados k, h ∈ H, como k ∈ H ⊆ CG (H), tenemos
kh = hk. Por lo tanto H es abeliano.

Pregunta 2. Un grupo abeliano (G, ⋆) con más de un elemento es divisible si para cada g ∈ G y
para cada k ∈ Z \ {0}, existe h ∈ G tal que hk = g.

(a) [5pts] Demuestre que (Q, +) es un grupo divisible.

p
Solución: Sabemos que (Q, +) es abeliano. Dados p/q ∈ Q y k ∈ Z \ {0}, el elemento kq cumple
p p p p
kq + · · · + kq = k kq = q . Por lo tanto este es un grupo divisible.

(b) [5pts] Demuestre que un grupo abeliano finito no puede ser divisible.
Solución: Sea G abeliano finito. Como es abeliano, debe fallar la otra condición. Sean eG ̸= g ∈ G
y k = |G|. Por Lagrange sabemos que ∀h ∈ G se tiene hk = eG ̸= g, ası́ que G no es divisible.

(c) [5pts] Muestre que si H ̸= ⟨eH ⟩ y K ̸= ⟨eK ⟩ son grupos abelianos, entonces H × K es divisible
sı́ y sólo si H y K son ambos divisibles.
Solución: ⇒ Sea H × K divisible. Dados h ∈ H y k ∈ Z \ {0}, para el elemento (h, eK ) ∈ H × K
existe (h̄, k̄) con (h̄, k̄)k = (h, eK ). Luego h̄k = h y H es divisible. Divisibilidad de K es similar.
⇐ Sean H, K divisibles. Como son abelianos, H × K es abeliano. Dados (h, g) ∈ H × K y
k ∈ Z \ {0}, existen h̄ ∈ H, ḡ ∈ K con h̄k = h, ḡ k = g. De esto (h̄, ḡ)k = (h, g) y H × K es divisible.

Pregunta 3. [10pts] Sea G un grupo y H < G subgrupo cı́clico. Muestre que si H ◁ G, entonces
cada subgrupo de H es también normal en G.
Solución: Dado ⟨h⟩ = H ◁ G, conozcamos sus subgrupos: Dado ⟨eG ⟩ ̸= K < H, sea i el menor
exponente positivo de h en K. Como K < H, tenemos ⟨hi ⟩ ⊆ K. Si hj ∈ K con i ∤ j, entonces
j = iq + r con 0 < r < i, luego hr ∈ K obteniendo una contradicción. Luego K = ⟨hi ⟩ con i ∈ Z.
Dado ⟨hj ⟩ < H, sea g ∈ G y consideramos g(hj )m g −1 ∈ g⟨hj ⟩g −1 . Tenemos

g(hj )m g −1 = (ghm g −1 )(ghm g −1 ) . . . (ghm g −1 ) = (hn ) · · · (hn ) = (hn )j = (hj )n ∈ ⟨hj ⟩,

ası́ que ∀g ∈ G se tiene g⟨hj ⟩g −1 ⊆ ⟨hj ⟩ y por lo tanto ⟨hj ⟩ ◁ G.

Pregunta 4. [10pts] Demuestre que D6 /⟨r3 ⟩ = ∼ D3 usando el primer teorema de isomorfismo.

Solución: Consideramos la función f : D6 → D3 , ri sj 7→ Ri S j (usamos mayúsculas para los
elementos de D3 para evitar confusiones).
• f homom: Si j par, tenemos f (ri sj rm sn ) = f (ri+m sn ) = Ri+m S n = Ri S j Rm S n = f (ri sj )f (rm sn ).
Si j impar, f (ri sj rm sn ) = f (ri r6−m sj sn ) = Ri R6−m S j S n = Ri R3−m S j S n = Ri S j Rm S n =
f (ri sj )f (rm sn ).
• Sobre: Dado Ru S v ∈ D3 , el elemento ru sv ∈ D6 se envı́a a él.
• Kernel: ker(f ) = {ri sj : Ri S j = eD3 } = {ri sj : j par e i múltiplo de 3}. También se puede
verificar a mano con los 12 elementos de D6 .
Por el primer teorema de isomorfismo concluimos D6 /⟨r3 ⟩ ∼ = D3 .