es.wikipedia.org

Teoremas de isomorfismo - Wikipedia, la enciclopedia libre

De Wikipedia, la enciclopedia libre

Este aviso fue puesto el 2 de noviembre de 2015.

Los teoremas de isomorfismo o, más propiamente, teoremas de isomorfismo de Noether, 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 isomorfismo

[editar]

Sea {\displaystyle f:G\longrightarrow H} un homomorfismo de grupos. Entonces existe un isomorfismo {\displaystyle {\bar {f}}:G/(\ker f)\longrightarrow \mathrm {im} \ f}, y por tanto

{\displaystyle G/(\ker f)\cong \mathrm {im} \ f.}

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

donde {\displaystyle \pi :G\longrightarrow G/\ker f} es la proyección canónica de {\displaystyle G} en {\displaystyle G/\ker f}.

El primer teorema de isomorfismo de Noether es una consecuencia inmediata del teorema fundamental de homomorfismos.

  • Considérese el epimorfismo natural {\displaystyle f:(\mathbb {Z} ,+)\longrightarrow (\mathbb {Z} _{n},+)} dado por

{\displaystyle f(i)=[i]_{n}.\,\!}

Es claro que {\displaystyle f(i)=[0]_{n}\,\!} si y sólo si {\displaystyle n\mid i}, luego {\displaystyle \ker f=n\mathbb {Z} }, así que

{\displaystyle (\mathbb {Z} /n\mathbb {Z} ,+)\cong (\mathbb {Z} _{n},+).}

{\displaystyle S_{n}/A_{n}\cong \left(\{-1,1\},\cdot \right).}

Segundo teorema de isomorfismo

[editar]

Si {\displaystyle N} y {\displaystyle H} son subgrupos de un grupo {\displaystyle G}, con {\displaystyle N} normal en {\displaystyle G}, entonces

{\displaystyle H/(H\cap N)\cong (HN)/N.}

Este segundo teorema de isomorfismo se deduce del primero, pues si {\displaystyle N} es normal a G entonces también lo es {\displaystyle H\cap N} en {\displaystyle H}, y puede demostrarse que el epimorfismo

{\displaystyle {\begin{array}{rcl}\varphi :H&\longrightarrow &(HN)/N\\h&\mapsto &hN\end{array}}}

cumple con {\displaystyle \ker \varphi =H\cap N}. Si {\displaystyle \pi :HN\longrightarrow (HN)/N} y {\displaystyle \rho :H\longrightarrow H/(H\cap N)} son proyecciones canónicas, entonces la construcción del isomorfismo {\displaystyle \psi :H/(H\cap N)\longrightarrow (HN)/N} se describe por el diagrama conmutativo siguiente:

Tercer teorema de isomorfismo

[editar]

Si {\displaystyle N} y {\displaystyle H} son subgrupos normales de un grupo {\displaystyle G}, con {\displaystyle N\subseteq H}, entonces

{\displaystyle G/H\cong (G/N)/(H/N)}

Esto da lugar al diagrama conmutativo siguiente:


donde {\displaystyle \varphi _{1},\varphi _{2}} son proyecciones canónicas, {\displaystyle {\mbox{id}}\,\!} 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 isomorfismo. Para una demostración de este teorema, así como de los dos primeros teoremas de isomorfismo, véase, por ejemplo, el wikilibro de Álgebra, Subgrupos normales.

Cuarto teorema de isomorfismo

[editar]

Si {\displaystyle N} es un subgrupo normal de un grupo {\displaystyle G}, entonces hay una biyección entre los subgrupos de {\displaystyle G} que contienen a {\displaystyle N} y los subgrupos de {\displaystyle G/N}. Este teorema tiene generalizaciones para cualquier homomorfismo desde {\displaystyle G}.

  1. ↑ Rotman, 1999, p. 35.
  • Aragno, Deborah C. (1999). Schaum's Outline of Abstract Algebra. McGrawHill. 0-07-06995-0.
  • Ayres, Frank (1965). Schaum's Outline of Modern Abstract Algebra. McGrawHill. ISBN 0-07002-655-6.
  • Dean, Richard A. (1990). Classical Abstract Algebra 1990. Harper & Row. 0-06-041601-7.
  • Fraleigh, John B. (2002). A first course in Abstract Algebra. Addison Wesley. 0-20176-390-7.
  • Herstein, I. N. (1975). Topics In Algebra. Wiley. 0-471-01090-1.
  • Jacobson, Nathan (2009). Basic Algebra I 2nd Ed. Dover.
  • McCoy, Nel Henry (1995). Introduction to Modern Algebra. 5th Ed (5th edición). Primis. 0-69727-769-0.
  • Rotman, Joseph J. (1999). An Introduction to the Theory of Groups (4ª edición). Springer.
  • Steinberger, Mark (1994). Algebra (en inglés). International Thomson Publishing.