Foro de preguntas y respuestas de matemáticas, de cualquier nivel. Cuánto más interesantes, divertidas o intrépidas, mejor.
Aviso: Te invitamos a conocer la página de Facebook de la UCIM

Ganas puntos al hacer preguntas, contestarlas y, sobre todo, si tu respuesta es seleccionada como la mejor.
Registrate como usuario para participar en el foro. También puedes utilizar tu identidad de FB Utiliza el botón azul para ingresar (si usas tu identidad de FB y estás logeado en FB, automáticamente te reconoce).

El irracional tiene una página en FB. El Irracional






+3 votos
1) Sea $\rm G,G'$ grupos simples entonces ¿$\rm G\times{G'}$ es simple?.

2)  ¿Quienes son los subgrupos (propios)  normales de $\rm G\times{G}'$?
por (6,3m puntos) en Torito

1 Respuesta

+4 votos
La primera pregunta es fácil de contestar. La respuesta es ¡NO! La inclusión de un factor es el núcleo de la proyección en el otro por lo que la imagen de una inclusión es un subgrupo normal. Este proceso nos da al menos dos subgrupos normales del producto de dos grupos.

En este momento no se me ocurre cómo encontrar todos los subgrupos normales del producto, pero por ejemplo, si tomas $G=\mathbb{Z}_p$ y $G^{\prime}=\mathbb{Z}_q$ con $p$ y $q$ números primos distintos, entonces $G$ y $G^{\prime}$ son simples y su producto es cíclico de orden $pq$. En cíclicos, existe un único subgrupo por cada divisor del orden del grupo y en grupos abelianos todos sus subgrupos son normales. Por tanto, aquí sólo hay cuatro subgrupos normales del producto: el trivial, el total y las inclusiones de los factores.
por (9,2m puntos)
Complementando lo que dice Enrique, y respondiendo parcialmente la pregunta:

Para abelianos se prueba que todo subgrupo del producto es producto de subgrupos de los factores. Como los subgrupos normales coinciden con los subgrupos, esto nos da una caracterización de los subgrupos normales del producto en función de los subgrupos normales.
No es del todo cierta tu conclusión, estimado Antonio. Por ejemplo, cuando $G$ es abeliano se puede probar que la diagonal $\Delta := \{(g,g):g\in G\}$ es un subgrupo normal de $G \times G$...
Tienes razón José, me traicionó la memoria.
Y por que no agregasen que los grupos son finitos y algo mas.
Licencia Creative Commons
Este obra está bajo una Licencia Creative Commons Atribución-NoComercial-CompartirIgual 2.5 México.

powered by UCIM

...