4 votos

Pregunta sobre la prueba del teorema del segundo isomorfismo

El Segundo Teorema De Isomorfismo: Deje $H$ ser un subgrupo de un grupo de $G$ e $N$ un subgrupo normal de $G$. Entonces $$H/(H\cap N)\cong(HN)/N$$

No es la prueba de Álgebra Abstracta Thomas W. Judson:

Definir un mapa de $\phi$ de $H$ a $HN/N$ por $H\mapsto hN$. El mapa de $\phi$ a, ya que cualquier coset $hnN=hN$ es la imagen de $h$ en $H$. También sabemos que $\phi$ es un homomorphism porque $$\phi(hh')=hh'N=hNh'N=\phi(h)\phi(h')$$ Por el Primer Teorema de Isomorfismo, la imagen de $\phi$ es isomorfo a $H/\ker\phi$, que es $$HN/N=\phi(H)\cong H/\ker\phi$$ Desde $$\ker\phi=\{h\in H:h\in N\}=H\cap N$$ $HN/N=\phi(H)\cong H/H\cap N$

Mi pregunta:

Es necesario probar que el mapa de $\phi$ a? Podemos sólo prueban que $\phi$ está bien definido y la imagen de $\phi$ es un subconjunto de a$HN/N$? Y, a continuación, podemos utilizar el Primer Teorema de Isomorfismo y continuar la prueba.

Gracias.

4voto

Alqatrkapa Puntos 772

El primer teorema de isomorfismo establece que si $\varphi: G \to G'$ , entonces $\mathrm{im}(\varphi) \cong G/\mathrm{ker}(\varphi)$ . Si no sabemos que su $\phi$ es superyectivo, entonces el teorema del primer isomorfismo solo nos muestra que $H/H \cap N \cong \mathrm{im}(\phi) \subseteq HN/N$ , que no termina el trabajo.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X