1 Ejercicios de producto directo 1. Probar que S3 y Cpn , p primo no son producto directo de sus subgrupos propios. Esquema de solución: Para S3 se necesita el concurso de C3 y C2 . Pero un tal producto directo es C6 , abeliano. Para Cpn se necesitarı́a el concurso de r Cpmi , con mi = n. Ahora bien, dicho grupo no puede ser cı́clico, pues el orden de cada elemento, es pm , donde m = max mi . 2. Probar que (C3 × C2 ) × C2 ∼ = C6 × C2 . Esquema de solución: (C3 × C2 ) ∼ = C6 C2 ∼ = C2 =⇒ (C3 × C2 ) × C2 ∼ = C6 × C2 3. Sea G un grupo abeliano y {x1 , . . . , xr } un sistema generador minimal1 de G tal que o(xi ) = p, i = 1, . . . , r. Probar que G ∼ = Z/Zp × · · · × Z/Zp . Esquema de solución: G es producto directo interno de los < xi > que son Cp ; ahora cada Cp es isomorfo a Z/pZ 4. Probar que G = G1 × · · · × Gn =⇒ G = G1 × · · · × Gn Dar un ejemplo de grupo perfecto (G = G ) no simple Esquema de solución: Por inducción, sea G = A × B. Puesto que (A × B)/(A × B ) ∼ = A/A × B/B abeliano (A × B) ≤ A × B . Recı́procamente, cualquier generador de A × B : ([a1 , a2 ], [b1 , b2 ]) = [(a1 , b1 ), (a2 , b2 )] ∈ (A × B) 5. Pruébese que el producto directo de n grupos resolubles, lo es. Esquema de solución: La serie derivada debe terminar; de otra forma, se deduce del caso n = 2, por inducción, y del hecho: (A × B)/A ∼ =B 1 ningún resoluble y subconjunto propio genera G A resoluble =⇒ (A × B) resoluble 2 TEORIA DE GRUPOS 6. Dar un ejemplo de 4 grupos A, B, C, D tales que (A × B) ∼ = (C × D) pero A∼ C, D = B∼ C, D = Esquema de solución: Cp , Cq , Cpq , 1 7. Sean M, N ✁ G. Probar que G/(M ∩ N ) es isomorfo a un subgrupo de G/M × G/N . Deducir que si G/M , G/N son abelianos, nilpotentes, resolubles, G/(M ∩ N ) lo es. Esquema de solución: x −→ (xM, xN ) tiene por núcleo M ∩ N 8. Sea N ✁ G = G1 × · · · × Gn . Probar que N ≤ Z(G) o corta no trivialmente a algún Gi . Esquema de solución: [n, gi ] ∈ N ∩ Gi Por tanto, N ∩ Gi = 1, ∀i =⇒ [n, gi ] = 1, ∀n ∀gi ∀i =⇒ N ≤ Z(G) 9. Dar un ejemplo de un producto directo A×B con un subgrupo normal N = 1 que corte trivialmente a A y a B Esquema de solución: Klein 10. Dar ejemplos que contradigan las siguientes afirmaciones: A∼ =B C∼ = D =⇒ A/C ∼ = B/D A∼ =B A/C ∼ = B/D =⇒ C ∼ =D ∼ B/D =⇒ A ∼ C∼ = D A/C = =B Esquema de solución: A = C = D = 2Z B = Z A = B = D4 A = C4 C = C2 × C2 C = D = C2 D = C4 B = C2 × C2 11. Dar un ejemplo (existe al menos uno muy sencillo) para probar que no se puede suprimir la hipótesis de H abeliano en el teorema 8.21 Esquema de solución: < (1 2) > × < (1 3) > y S3