• Registro
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






Problema sobre homomorfismos.

+1 voto
Tengo este problema y he usado el primer teorema de isomorfismo, pero no veo cómo puedo probar la conclusión, quiero demostrar que el hecho de que $\mathbb{Z}$ tenga subgrupos de índice n para todo n entero positivo implica que $G$ también los tendría.

El problema dice así:

Sea $f$ un homomorfismo suprayectivo de $G$ en $\mathbb{Z}$. Demostrar que para todo entero positivo $n$, G tiene un subgrupo normal de índice $n$ (Sugerencia: Definir un homomorfismo suprayectivo de $G$ en $\mathbb{Z}_n$ y usar el primer teorema de isomorfia).
preguntado por LeviathanTheEsper (710 puntos) Oct 14, 2014 en Básicas
editado por LeviathanTheEsper Oct 14, 2014

1 Respuesta

+2 votos
Considera el homomorfismo $F:\mathbb{Z} \to \mathbb{Z}_{n}$ que a cada $z\in \mathbb{Z}$ lo manda a su clase de congruencia m\'odulo $n$. Se cumple entonces que $F\circ f$ es un homomorfismo sobreyectivo de $G$ en $\mathbb{Z}_{n}$ y que $G/ \mathrm{Ker}(F\circ f)$ es un grupo isomorfo a $\mathbb{Z}_{n}$.
respondido por José Hdz (39,570 puntos) Oct 14, 2014
Y entonces tiene cardinal n, de lo que cada Kernel es de índice n... vaya, gracias.
Licencia Creative Commons
Este obra está bajo una Licencia Creative Commons Atribución-NoComercial-CompartirIgual 2.5 México.

powered by UCIM

...