Isomorfismo de grupos

En teoría de grupos, se dice que dos grupos son isomorfos o isomórficos si existe un isomorfismo entre ellos, es decir, un homomorfismo de grupos biyectivo. Desde un punto de vista abstracto, los grupos isomorfos tienen la misma estructura y mismas propiedades y sólo se diferencian por los símbolos utilizados para denotar al conjunto subyacente, sus elementos y la operación.^[1]

El isomorfismo de grupos es una relación de equivalencia, y por tanto permite clasificar los grupos «salvo isomorfismo». Cuando dos grupos son isomorfos, se dice que pertenecen a la misma clase de isomorfía o que tienen el mismo tipo de isomorfismo.^[2]

Definición[editar]

Una aplicación $\phi :G\longrightarrow {\bar {G}}$ entre los grupos $(G,\cdot )$ y $({\bar {G}},*)$ es un isomorfismo de grupos si se cumplen las dos condiciones siguientes:^[2]

$\phi$ es un homomorfismo de grupos: para todo par de elementos $x,y\in G$ se cumple que $\phi (x\cdot y)=\phi (x)*\phi (y)$ .
$\phi$ es una biyección: hace corresponder de manera biunívoca los elementos de $G$ con los de ${\bar {G}}$ .

En tal situación se dice que los grupos $G$ y ${\bar {G}}$ son isomorfos y se denota por $G\thickapprox {\bar {G}}$ .

Ejemplos[editar]

El grupo multiplicativo de los reales positivos y el grupo aditivo de los reales son isomorfos bajo la aplicación exponencial: $f(x)=e^{x}$ .
El grupo diedral del triángulo D₃ y el grupo de permutaciones de tres elementos S₃ son isomorfos.
El grupo de Klein V (de las simetrías de un rectángulo) es isomorfo al producto directo C₂ × C₂ .
Dado un número primo p, todos los grupos de orden p son isomorfos entre sí.

Equivalencia de grupos isomorfos[editar]

Los isomorfismos de grupos permiten describir una relación matemática, que se puede expresar como: «el grupo G es isomorfo al grupo H» si existe un isomorfismo $G\to H$ . Esta relación es una relación de equivalencia:

es reflexiva: Todo grupo G es isomorfo a sí mismo bajo la función identidad $id_{G}:G\to G:x\mapsto x$ . Esta función es obviamente una biyección, y es un homomorfismo, pues

id_{G}(x\cdot y)=x\cdot y=id_{G}(x)\cdot id_{G}(y)

.

es simétrica: si G es isomorfo a H entonces H es isomorfo a G. Dado un isomorfismo $\phi :G\to H$ , la aplicación inversa $\phi ^{-1}:H\to G$ es también un isomorfismo.^[3]

Demostración
Dados `y₁`, `y₂` $\in H$ cualesquiera, existen `x₁`, `x₂` $\in G$ tales que $y_{1}=\phi (x_{1})$ , $y_{2}=\phi (x_{2})$ por ser $\phi$ biyectiva. Por tanto ${\begin{aligned}\phi ^{-1}(y_{1}y_{2})&=\phi ^{-1}(\phi (x_{1})\phi (x_{2}))\\&=\phi ^{-1}(\phi (x_{1}x_{2}))\\&=x_{1}x_{2}\\&=\phi ^{-1}(y_{1})\phi ^{-1}(y_{2})\end{aligned}}$

es transitiva: si G es isomorfo a H y H es isomorfo a K entonces G es isomorfo a K. Sean $(G,\cdot ),\ (H,*)$ y $(K,\times )$ tres grupos, y sean $\phi :G\to H$ y $\psi :H\to K$ isomorfismos. Entonces la composición $\psi \circ \phi :G\to K$ es también un isomorfismo.

Demostración
Dados `x`, `y` $\in G$ cualesquiera, entonces ${\begin{aligned}(\psi \circ \phi )(x\cdot y)&=\psi (\phi (x\cdot y))\\&=\psi (\phi (x)*\phi (y))\\&=\psi (\phi (x))\times \psi (\phi (y))\\&=(\psi \circ \phi )(x)\times (\psi \circ \phi )(y)\end{aligned}}$ luego $\psi \circ \phi$ es un homomorfismo. Como $\phi$ y $\psi$ son aplicaciones biyectivas entonces su composición es biyectiva. Por tanto $\psi \circ \phi$ es un isomorfismo.

Teoremas de isomorfismo de grupos[editar]

Artículo principal: Teoremas de isomorfía

Existen tres teoremas, formulados por Emmy Noether, que relacionan cocientes, subgrupos normales y homomorfismos, y que tienen análogos para la mayoría de estructuras algebraicas.^[4]

El primer teorema es un caso particular del teorema fundamental de homomorfismos:

Sea $f:G\longrightarrow G'$ un homomorfismo de grupos, con núcleo $ker\ f=K\triangleleft G$ . Entonces $G/K\thickapprox im\ f\leq G'$ .

Segundo teorema:

Si $N$ y $H$ son subgrupos de un grupo $G$ , con $N$ normal en $G$ , entonces $NH$ es un subgrupo de $G$ , $N\cap H$ es normal en $H$ y $H/(N\cap H)\cong (NH)/N$ .

Tercer teorema:

Si $N$ y $H$ son subgrupos normales de un grupo $G$ , con $N\subseteq H$ , entonces $G/H\cong (G/N)/(H/N)$ .

Grupos de automorfismos[editar]

En general, un homomorfismo es una función entre dos grupos distintos. Sin embargo, dado un grupo G es posible definir endomorfismos: funciones de la forma $\phi :G\to G$ que son homomorfismos de G en sí mismo. No todos son biyectivos, pero cuando lo son decimos que $\phi$ es un automorfismo.

El conjunto de automorfismos de un grupo G, junto con la operación de composición de funciones, tiene estructura de grupo, que se denomina grupo de automorfismos de G, y se denota Aut(G). Entre estos hay un subgrupo de particular importancia formado por los automorfismos interiores de G, que son aquellos definidos por la conjugación respecto de un elemento del grupo. Este subgrupo, que es normal, se denota por Inn(G). El cociente Aut(G)/Inn(G) se denomina grupo de automorfismos exteriores, y se denota por Out(G).

Referencias[editar]

↑ «Group Isomorphism Theorems | Brilliant Math & Science Wiki». brilliant.org (en inglés estadounidense). Consultado el 10 de junio de 2019.
↑ ^a ^b Dummit y Foote, 2004, p. 37.
↑ Rivero, Francisco. A L G E B R A: Estructuras Algebraicas. Consultado el 10 de junio de 2019.
↑ Rotman, 1999, «The Isomorphism Theorems».

Bibliografía[editar]

Dummit, David S.; Foote, Richard M. (2004). Abstract Algebra (3ª edición). Wiley. ISBN 978-81-265-3228-5.
Rotman, Joseph J. (1999). An Introduction to the Theory of Groups (4ª edición). Springer.

Enlaces externos[editar]

Weisstein, Eric W. «Isomorphic Groups». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.

Datos: Q742064

[1] «Group Isomorphism Theorems | Brilliant Math & Science Wiki». brilliant.org (en inglés estadounidense). Consultado el 10 de junio de 2019.

[FOOTNOTEDummitFoote200437-2] Dummit y Foote, 2004, p. 37.

[:0-3] Rivero, Francisco. A L G E B R A: Estructuras Algebraicas. Consultado el 10 de junio de 2019.

[FOOTNOTERotman1999The_Isomorphism_Theorems-4] Rotman, 1999, «The Isomorphism Theorems».

[1]

[2]

[3]

[4]