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

Introducción

En la entrada anterior aprendimos que el Teorema de Cayley es muy útil porque nos permite visualizar a un grupo $G$ como un subgrupo del grupo de permutaciones. Si el grupo es de orden $n$, se puede visualizar como un subgrupo del grupo $S_n$ que tiene orden $n!$, entonces hemos visualizado a $G$ como parte de un grupo de permutaciones $S_n$ que es realmente mucho más grande que $G$. Lo que haremos en esta entrada es relacionar al grupo $G$ con un grupo simétrico pero más pequeño que $S_n$. Utilizaremos los elementos de $G$ no para mover sus propios elementos, si no, para mover clases laterales.

Después de probar este resultado, veremos una aplicación de esta modificación del Teorema de Cayley para trabajar con clase laterales. Esta aplicación generaliza el resultado que se probó para grupos normales, anteriormente establecimos que todo subgrupo de índice 2 es un subgrupo normal. Probaremos que si tomamos el menor primo que divide al orden de un grupo y tenemos un subgrupo ese índice, entonces este subgrupo tiene que ser normal.

Para esta entrada, es recomendable que repases los grupos de permutaciones.

Relacionemos a $G$ con un grupo simétrico más pequeño

En el siguiente teorema relaciona a $G$ con un grupo simétrico, pero en este caso $n$ no es el orden de $G$, si no el índice de $G$ con respecto a un subgrupo $H$.

Teorema. Sea $G$ un grupo, $H$ subgrupo de $G$ de índice finito, $[G:H]=n.$
Existe un homomorfismo $\varphi :G\to S_n$ con $\text{Núc }\varphi \le H$.

Observemos que el Teorema de Cayley nos da un isomorfismo y este teorema sólo nos da un homomorfismo (no necesariamente inyectivo). De todas maneras, se puede usar este teorema para probar otros resultados.

Demostración.

Sea $G$ un grupo, $H\le G$ de índice finito, digamos $[G:H]=n$. Para cada $a\in G$ definimos ${\tau }_a:G/H\to G/H$ con ${\tau }_a(gH)=agH$ para toda $g\in G$.

Para esta demostración, como $H$ no es necesariamente normal, $G/N$ no es un grupo. Sólo lo estamos pensando como la colección de todas las clases laterales de $G$ con respecto a $H$.

Dada $g\in G$,
$$\begin{array}{rl}{\tau }_a\circ {\tau }_{a^{-1}}(gH)& ={\tau }_a({\tau }_{a^{-1}}(gH))=a(a^{-1}g)H=gH\\ {\tau }_{a^{-1}}\circ {\tau }_a(gH)& ={\tau }_{a^{-1}}({\tau }_a(gH))=a^{-1}(ag)H=gH.\end{array}$$

Así, ${\tau }_{a^{-1}}$ es la inversa de ${\tau }_a$ y ${\tau }_a$ es biyectiva.

Definimos entonces $\psi :G\to S_{G/H}$ con $\psi (a)={\tau }_a$ para todo $a\in G$. Tomemos $a,b\in G$ y $g\in G$. A continuación demostraremos que $\psi$ es un homomorfismo:
$$\begin{array}{rl}\psi (ab)(gH)& ={\tau }_{ab}(gH)=(ab)gH=a(bg)H={\tau }_a({\tau }_b(gH))\\ & ={\tau }_a\circ {\tau }_b(gH)=\psi (a)\circ \psi (b)(gH)\end{array}$$

Observemos que las igualdades son producto exclusivamente de las definiciones de $\psi$ y de ${\tau }_a$. Así, $\psi (ab)=\psi (a)\circ \psi (b)$ para todo $a,b\in G$. Por lo que $\psi$ es un homomorfismo.

Ahora pasemos a la segunda parte del teorema.

Sí $a\in \text{Núc }\psi$, $\psi (a)={\text{id}}_{G/N}$ y entonces, para todo $g\in G$ obtenemos,
$$\begin{array}{rlr}\psi (a)(gH)=gH& \Rightarrow {\tau }_a(gH)=gH& \text{definición de }\psi \\ & \Rightarrow agH=gH& \text{pues }\psi (a)={\text{id}}_{G/N}\\ & \Rightarrow aH=H& \text{en particular, cuando }g=e\\ & \Rightarrow a\in H.\end{array}$$

Por lo tanto $\text{Núc }\psi \le H$.

Como $\mathrm{\#}G/N=n$, sabemos que $S_{G/N}\cong S_n$ y existe $\rho :S_{G/H}\to S_n$ un isomorfismo. Así $\rho \circ \psi :G\to S_n$ es el homomorfismo buscado.

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

Observación. Si $H=\{e\}$ se tienen el Teorema de Cayley.

Ilustremos lo aprendido

Veamos un ejemplo.

Ejemplo. Tomemos el grupo simétrico $G=S_3$, el subgrupo $H=⟨(1,2)⟩$ y el cociente $G/H=\{H,(13)H,(23)H\}$.

Retomemos la función de la demostración: $\psi :S_3\to S_{G/H}$, $\psi (a)={\tau }_a$ para toda $a\in S_3$. Entonces,

$$\begin{array}{rl}a\in \text{Núc }\psi & \iff \psi (a)={\text{id}}_{G/N}\\ & \iff {\tau }_a(gH)=gH\mathrm{\forall }g\in S_3\\ & \iff agH=gH\mathrm{\forall }g\in S_3.\end{array}$$

Así, en este caso si $a\in \text{Núc }\psi$,
$$\begin{array}{rl}a(13)H=(13)H& \Rightarrow (13)a(13)\in H=\{(1),(12)\}.\end{array}$$
Recordemos que dos clases laterales $aH,bH$ son iguales si y sólo si $b^{-1}ab\in H$. En este caso, el inverso de $(13)$ es él mismo.
$$\begin{array}{rl}& \Rightarrow a=(1)\text{ ó }a=(13)(12)(13)=(32).\end{array}$$

Sin embargo, como $a\in \text{Núc }\psi$, no sólo deja fijo a $(13)$, si no también a $(23)$, siguiendo un razonamiento similar obtenemos:
$$\begin{array}{rl}a(23)H=(23)H& \Rightarrow (23)a(23)\in H=\{(1),(12)\}\\ & \Rightarrow a=(1)\text{ ó }a=(23)(12)(23)=(13).\end{array}$$

Entonces, por un lado tenemos que $a=(1)\text{ ó }a=(32)$ y por el otro, tenemos que $a=(1)\text{ ó }a=(13)$. Así, $a=(1)$.

Por lo tanto, $\text{Núc }\psi =\{(1)\}\le H.$

Aplicación de la modificación

A continuación veremos la aplicación de la modificación del Teorema de Cayley que mencionamos en la introducción. La aplicación consiste en una generalización de un resultado visto previamente. En entradas anteriores, vimos que todo subgrupo de índice 2 es un subgrupo normal. Ahora veremos que si hay un subgrupo de orden el menor primo que divide al orden de un grupo, este subgrupo será normal.

Corolario. Si $G$ es un grupo finito y $p\in {\mathbb{Z}}^{+}$ es el menor primo positivo que divide al orden de $G$, entonces todo subgrupo de $G$ de índice $p$ es normal en $G$.

Demostración.

Sea $G$ un grupo finito, $|G|=n$, $p\in {\mathbb{Z}}^{+}$ el menor primo positivo que divide a $n$.

Supongamos que $H\le G$ con $[G:H]=p$. Probaremos que $H$ es normal.

Sea $\psi :G\to S_{G/H}$ con $\psi (a)={\tau }_a$ para toda $a\in G$ como en el teorema anterior. Sabemos que $\text{Núc }\psi \le H\le G$, como secuencia del Teorema de Lagrange tenemos
$$\begin{array}{}\text{(1)}& [G:\text{Núc }\psi ]=[G:H][H:\text{Núc }\psi ]=p[H:\text{Núc }\psi ].\end{array}$$

Por el Primer Teorema de Isomorfía, $$G/\text{Núc }\psi \cong \text{Im }\psi \le S_{G/H}\cong S_p,$$

$$\begin{array}{rl}\Rightarrow & [G:\text{Núc }\psi ]=\left|G/\text{Núc }\psi \right|||S_p|\\ \Rightarrow & p[H:\text{Núc }\psi ]|p!& \text{porque }|S_p|=p!\text{ y }(\text{1})\\ \Rightarrow & [H:\text{Núc }\psi ]|(p-1)!\end{array}$$

Si $[H:\text{Núc }\psi ]>1$, existiría $q\in {\mathbb{Z}}^{+}$ un primo que lo divide, entonces $q|a$ con $a\in \{1,2,\dots ,p-1\}$. Por lo tanto $q<p.$

Pero, por el Teorema de Lagrange, $$|G|=[G:\text{Núc }\psi ]|\text{Núc }\psi |=[G:H][H:\text{Núc }\psi ]|\text{Núc }\psi |.$$ Entonces $[H:\text{Núc }\psi ]||G|.$

Y como $q|[H:\text{Núc }\psi ]$, entonces $q||G|$.

Entonces, $q$ sería un divisor primo positivo de $n$, menor que $p$. Esto es una contradicción.

Así $[H:\text{Núc }\psi ]=1$, de donde $|H|=|\text{Núc }\psi |$ y como $\text{Núc }\psi \le H$ concluimos que $H=\text{Núc }\psi ⊴G.$

Por lo tanto $H⊴G$.

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

Observación. No siempre existe dicho subgrupo, por ejemplo $A_4$ no tiene subgrupos de índice 2.

Esto sucede porque $A_4$ tiene 12 elementos, el menor primo que divide a 12 es 2. Pero, de acuerdo a lo que estudiamos, $A_4$ no tiene subgrupos de orden 6, entonces no existen subgrupos de índice 2.

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. Demuestra la observación: Si $H=\{e\}$ se tienen el Teorema de Cayley.
2. Sea $V$ el grupo de Klein. $H=⟨(1,0)⟩$. Determina cómo son las funciones ${\tau }_a$ para cada $a\in V$ y describe cómo se puede visualizar a cada elemento $a\in V$ como una permutación en $\{(a,b)+H|(a,b)\in V\}$, y como una permutación en $S_2$.
3. Dado $G$ un grupo y $H$ un subgrupo de $G$ de índice finito $n$, sabemos que existe un homomorfismo $\varphi$ de $G$ en $S_n$ con $\text{Núc }\varphi \le H.$ Da una condición necesaria y suficiente para que $\text{Núc }\varphi =H.$
4. Sea $G$ un grupo finito de orden $n$ y $H$ un subgrupo de de índice primo $p$. ¿Es $H$ normal en $G$? Prueba o da un contraejemplo.

Más adelante…

Con este teorema hemos avanzado un pasito en la idea de usar elementos de un grupo para modificar otro, ahora usando clases laterales. El Teorema de Cayley y su modificación son importantes para el tema que veremos en la siguiente entrada, donde ahora sí, usaremos un grupo cualquiera para actuar sobre otro grupo cualquiera.

Entradas relacionadas

• Ir a Álgebra Moderna I.
• Entrada anterior del curso: Teorema de Cayley.
• Siguiente entrada del curso: Acciones.
• Resto de cursos: Cursos.