(Trabajo de titulación asesorado por la Dra. Diana Avella Alaminos)

Introducción

Comencemos introduciendo la idea del Segundo Teorema de Isomorfía. Para ello tomemos $H,K$ dos subgrupos de $G$ tales que $H⊴G$. Por favor, apóyate en el diagrama de retícula.

Observemos el cociente $HK/H$, este es posible porque $H⊴HK$ (como se hizo notar en la entrada anterior y esto se indica en el diagrama). Por nuestra experiencia manejando fracciones, podríamos pensar que es posible cancelar la $H$ y obtener que $HK/H\cong K$. Sin embargo, esto no es cierto porque $K$ puede tener elementos en común con $H$. Por ejemplo, si tomamos el caso cuando $H=K$ el isomorfismo $HK/H\cong K$ ya no se cumple.

¡Pero no temais! porque sí existe un isomorfismo para $HK/H$, en esta entrada el Segundo Teorema de Isomorfía nos dice que $$HK/H\cong K/(H\cup K).$$

Cabe notar que en la literatura suelen mezclarse el Segundo y el Tercer Teorema de Isomorfía entre sí. El Primer Teorema de Isomorfía siempre es el que enunciamos en la entrada pasada, pero a veces el Segundo puede ser el Tercero y viceversa. Esto lo aclaramos por si el teorema que tratamos en esta entrada no es el que te esperabas.

Segundo Teorema de Isomorfía

El segundo Teorema de isomorfía también es llamado del Teorema del Diamante por la forma del diagrama de retícula asociado.

Teorema. (2do Teorema de Isomorfía)
Sean $G$ un grupo, $H,K$ subgrupos de $G$ con $H⊴G$. Entonces $HK\le G$, $H⊴HK$, $H\cap K⊴K$ y
$$\begin{array}{r}HK/H\cong K/(H\cap K).\end{array}$$

Demostración.
Sean $G$ un grupo, $H⊴G$, $K\le G$.
Como $H⊴G$, entonces $HK\le G$. Tenemos que $H\le HK$ y como $H⊴G$, entonces $H⊴HK$.

En esta demostración queremos usar el Primer Teorema de Isomorfía. Para ello bastaría construir un homomorfismo cuyo núcleo sea $H\cap K$ y cuya imagen sea $HK/H$. Comencemos definiendo dicho homomorfismo:

Sea
$$\begin{array}{r}\phi :K\to HK/H\end{array}$$
con $\phi (k)=kH,\mathrm{\forall }k\in K$.

P.D. $\phi$ es un homomorfismo.

Sean $k,\tilde{k}\in K$,
$$\begin{array}{r}\phi (k\tilde{k})=k\tilde{k}H=kH\tilde{k}H=\phi (k)\phi (\tilde{k}).\end{array}$$
Así, $\phi$ es un homomorfismo.

Ahora veamos quién es el núcleo de $\phi$:
$$\begin{array}{rl}\text{Núc }\phi & =\{k\in K|\phi (k)=e_{HK/H}\}\\ & =\{k\in K|kH=H\}\\ & =\{k\in K|k\in H\}=H\cap K.\end{array}$$
De este modo, $H\cap K=\text{Núc }\phi ⊴K$.

Veamos ahora que $\phi$ es suprayectiva.
Sea $x\in HK/H$, $x=hkH$ con $h\in H,k\in K$.
$$\begin{array}{r}x=hkH=(k{k}^{-1})hkH=k(k^{-1}hk)H=kH\end{array}$$
ya que $k^{-1}hk\in H$ pues $H⊴G$.

Entonces $x=kH=\phi (k)\in \text{Im }\phi$. Por lo que $\phi$ es suprayectiva y además, $\text{Im }\phi =HK/H$.

Por el 1er Teorema de Isomorfía,
$$\begin{array}{r}K/\text{Núc }\phi \cong \text{Im }\phi \end{array}$$
entonces
$$\begin{array}{r}K/(H\cap K)\cong HK/H.\end{array}$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Un ejemplo para reforzar del STI

Consideremos $G=GL(2,\mathbb{C}),H=\{z{I}_2|z\in {\mathbb{C}}^{\ast }\}$ y $K=SL(2,\mathbb{C})$. Recordemos que $K$ es el grupo lineal especial.

Dado $z\in {\mathbb{C}}^{\ast }$ y $A\in GL(2,\mathbb{C})$,
$$\begin{array}{r}A(z{I}_2)A^{-1}=zA{I}_2{A}^{-1}=z{I}_2.\end{array}$$
Así $H⊴G$.

Además,
$$\begin{array}{rl}H\cap K& =\{z{I}_2|det(z{I}_2)=1\}\\ & =\{\left(\begin{array}{cc}z& 0\\ 0& z\end{array}\right):z^2=1\}\\ & =\{\left(\begin{array}{rr}1& 0\\ 0& 1\end{array}\right),\left(\begin{array}{rr}-1& 0\\ 0& -1\end{array}\right)\}=\{I_2,-I_2\}.\end{array}$$

Por el Segundo Teorema de Isomofía,
$$\begin{array}{r}HSL(2,\mathbb{C})/H\cong SL(2,\mathbb{C})/\{I_2,-I_2\}.\end{array}$$

Analicemos qué pasa con $HSL(2,\mathbb{C})$. Primero $HSL(2,\mathbb{C})\le GL(2,\mathbb{C})$, y si $A\in GL(2,\mathbb{C})$.
$$\begin{array}{r}A=\left(\sqrt{detA}{I}_2\right)\left(\frac{1}{\sqrt{detA}}\right)A.\end{array}$$

Como el primer término está en $H$ y el segundo está en $SL(2,\mathbb{C}),$ entonces $A\in HSL(2,\mathbb{C})$.
Así, tenemos que $HSL(2,\mathbb{C})=GL(2,\mathbb{C})$.

Reescribiendo lo que nos dice el Segundo Teorema de Isomorfía obtenemos:
$$\begin{array}{r}GL(2,\mathbb{C})/H\cong SL(2,\mathbb{C})/\{I_2,-I_2\}.\end{array}$$

Analicemos ahora cómo es $GL(2,\mathbb{C})/H$. Tomemos $A,B\in GL(2,\mathbb{C})$,
$$\begin{array}{rl}AH=BH& \iff A^{-1}B\in H\\ & \iff A^{-1}B=\left(\begin{array}{cc}z& 0\\ 0& z\end{array}\right)\text{con }z\in {\mathbb{C}}^{\ast }\\ & \iff B=A\left(\begin{array}{cc}z& 0\\ 0& z\end{array}\right)=zA\text{con }z\in {\mathbb{C}}^{\ast }\end{array}$$

es decir, en el cociente identificamos a matrices que difieren por un escalar no nulo.

Ahora, analicemos el cociente $SL(2,\mathbb{C})/\{I_2,-I_2\}$. Tomemos $A,B\in SL(2,\mathbb{C})$,
$$\begin{array}{rl}A\{I_2,-I_2\}=B\{I_2,-I_2\}& \iff A^{-1}B\in \{I_2,-I_2\}\\ & \iff A^{-1}B=\pm I_2\\ & \iff B=\pm A\end{array}$$
es decir, identificamos a los matrices que difieren a lo mucho por su signo.

Versión intuitiva del ejemplo

Veamos ahora el ejemplo de una manera más intuitiva (con dibujos) para entender por qué esos cocientes son isomorfos.

Lo que hicimos fue tomar el grupo general lineal $GL(2,\mathbb{C})$ y hacer un cociente respecto a $H$, que consiste en todas las matrices escalares con escalares no nulos. Esto hace que cada matriz $A$ se identifique con cualquier otra de la forma $zA$, con $z$ un escalar no nulo.

En el caso del grupo especial lineal $SL(2,\mathbb{C})$, hicimos un cociente con $H\cap K$ que consta solamente de la identidad $I_2$ y de su inverso aditivo $-I_2$. De acuerdo con lo que analizamos, las clases de equivalencia tienen 2 elementos. Cada matriz $A$ se identifica con su inverso aditivo $-A$.

Luego, regresando a $GL(2,\mathbb{C})$, si nos tomamos la matriz dada por $\frac{1}{\sqrt{\text{det }A}}A$, ésta está en la misma clase de equivalencia que $A$ ya que es de la forma $zA$ con $z=\frac{1}{\sqrt{\text{det }A}}$ un escalar no nulo. Pero además, $\frac{1}{\sqrt{\text{det }A}}A$ es de determinante igual a 1. Entonces, en la misma clase de equivalencia dos matrices con determinante 1:

$$\begin{array}{r}\frac{1}{\sqrt{\text{det }A}}A,-\frac{1}{\sqrt{\text{det }A}}A.\end{array}$$

Además, éstas son las únicas dos opciones con determinante 1. Esto sucede porque ya $\text{det}(zA)=z^2\text{det }A$ debido a las propiedades del determinante. Entonces si queremos que $zA$ sea de determinante uno, obtendríamos:
$$\begin{array}{rl}1=\text{det}(zA)=z^2\text{det }A& \iff z^2=\frac{1}{\text{det }A}\\ & \iff z=\pm \frac{1}{\sqrt{\text{det }A}}.\end{array}$$

Entonces, podemos usar alguna de esas dos matrices de determinante uno como representante de la clase de equivalencia de $A$. De la misma manera $I_2,-I_2\in H$ tienen determinante uno, por lo que podríamos usar alguna de ellas como representante de la clase $H$.

Al trabajar en el contexto de $SL(2,\mathbb{C})$ consideraríamos sólo las matrices con determinante uno, así que en la clase $H\cap K$ sólo quedarían $I_2$ y $-I_2$. De modo más general, en $GL(2,\mathbb{C})$ módulo $H$ cada matriz $A$ se identifica con cualquiera de la forma $zA$, y sabemos que sólo $\pm \frac{1}{\sqrt{\text{det }A}}A$ tienen determinante uno, así que al trabajar ahora en $SL(2,\mathbb{C})$ la clase de cada matriz $A$ en $SL(2,\mathbb{C})$ consistirá sólo de $\pm \frac{1}{\sqrt{\text{det }A}}A$, y como $\text{det }A=1$, en cada clase tendríamos sólo a la matriz y a su inverso aditivo $\pm A$ .

Esto es lo hay de fondo cuando decimos que los cocientes son isomorfos:

$$\begin{array}{r}GL(2,\mathbb{C})/H\cong SL(2,\mathbb{C})/\{I_2,-I_2\}.\end{array}$$

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

1. Sea $G$ un grupo finito, $H$ y $K$ subgrupos de $G$ con $H$ normal en $G$. ¿Cuál es la cardinalidad de $HK$ en términos de la de $H$ y de la de $K$? ¿Qué sucede si $H$ no es normal?
2. Sea $G$ un grupo finito, $S$ y $T$ subconjuntos de $G$. ¿Cuál es la cardinalidad de $ST$ en términos de la de $S$ y la de $T$?
3. Da otra prueba del 2do Teorema de Isomorfía encontrando un homomorfismo adecuado $\phi :HK\to K/(H\cap K)$.
4. Sean $G=Q$ el grupo de los cuaternios, $H=⟨i⟩$, $K=⟨k⟩$. Calcula los cocientes $HK/H$ y $K/(H\cap K)$ encontrando explícitamente su orden, el orden de sus elementos y su tabla de multiplicar, y a partir de ello compara ambos cocientes.
5. Sean $G=\mathbb{Z}\times \mathbb{Z}\times \mathbb{Z}$ con la suma entrada a entrada, $H=\mathbb{Z}\times \mathbb{Z}\times \{0\}$, $K=\{0\}\times \mathbb{Z}\times \mathbb{Z}$.
   • Analiza cómo es el cociente $(H+K)/H$ entendido qué se requiere para que $(a,b,c)+H=(d,f,g)+H$.
   • Analiza cómo es el cociente $K/(H\cap K)$ entendiendo qué se requiere para que $(a,b,c)+H\cap K=(d,f,g)+H\cap K$.
   • Encuentra un homomorfismo $\phi :\{0\}\times \mathbb{Z}\times \mathbb{Z}\to \mathbb{Z}$ que te permita entender cómo es el cociente $K/(H\cap K)$.

Más adelante…

Ahora ya conocemos al que llamaremos el Segundo Teorema de Isomorfía, a diferencia del PTI, éste no se usa para probar el Tercero, pero igual lo ocupando en las unidades siguientes.

Entradas relacionadas

• Ir a Álgebra Moderna I.
• Entrada anterior del curso: Primer Teorema de Isomorfía.
• Siguiente entrada del curso: Tercer Teorema de Isomorfía.
• Resto de cursos: Cursos.