Los teoremas de isomorfía o, más propiamente, teoremas de isomorfía de Noether (también llamados teoremas de isomorfismo o teoremas sobre isomorfismo), son tres resultados importantes de la teoría de grupos. Estos teoremas relacionan a los grupos con sus grupos cociente, y son de gran utilidad para construir isomorfismos entre diversos grupos y grupos cociente.

Pocos cambios no esenciales hacen a estos teoremas válidos también en términos de anillos y módulos en lugar de grupos.

Su nombre se debe a la matemática alemana Emmy Noether, quien formuló estos resultados de forma general en 1927.

Primer teorema de isomorfía

Sea un homomorfismo de grupos. Entonces existe un isomorfismo , y por tanto

La construcción del isomorfismo cuya existencia afirma el primer teorema de isomorfismo se puede expresar mediante el diagrama conmutativo siguiente:

centrado|170px

donde es la proyección canónica de en .

El primer teorema de isomorfía es una consecuencia inmediata del teorema fundamental de homomorfismos.

Ejemplos

Considérese el epimorfismo natural dado por

Es claro que si y sólo si , luego , así que

Si es el subgrupo alternante del grupo simétrico , entonces

Segundo teorema de isomorfía

Si y son subgrupos de un grupo , con normal en , entonces

Este segundo teorema de isomorfía se deduce del primero, pues si es normal a G entonces también lo es en , y puede demostrarse que el epimorfismo

cumple con . Si y son proyecciones canónicas, entonces la construcción del isomorfismo se describe por el diagrama conmutativo siguiente:

Tercer teorema de isomorfía

Si y son subgrupos normales de un grupo , con , entonces

Esto da lugar al diagrama conmutativo siguiente:

400px

donde son proyecciones canónicas, es la aplicación identidad y donde las flechas horizontales forman una sucesión de homomorfismos exacta.

Este teorema es también consecuencia del primer teorema de isomorfía. Para una demostración de este teorema, así como de los dos primeros teoremas de isomorfismo, véase, por ejemplo, el wikilibro Álgebra, Subgrupos normales.

Existe también un llamado «cuarto teorema de isomorfía», aunque no suele mencionarse como tal.

Si es un subgrupo normal de un grupo , entonces hay una biyección entre los subgrupos de que contienen a y los subgrupos de . Este teorema tiene generalizaciones para cualquier homomorfismo desde . Referencias

Bibliografía

Enlaces externos

Categoría:Teoría de grupos Isomorfía