Archivo de la etiqueta: Teorema de Cayley

Álgebra Moderna I: Acciones

Por Cecilia del Carmen Villatoro Ramos

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

Introducción

Antes de comenzar con el tema que nos compete, repasemos lo que hemos visto del Teorema de Cayley y su modificación de la entrada anterior. Primero, en el Teorema de Cayley, comenzamos tomando un grupo $G$, un $a$ en el grupo y actuamos con ese $a$ sobre el grupo, es decir multiplicamos los elementos. En resumen, nos permite mover los elementos del mismo grupo.

Con la modificación avanzamos en la abstracción. En el teorema nos tomamos el conjunto de clases laterales y ahora, $G$ actúa sobre las clases laterales. Detente un minuto para pensar, si cada vez somos más generales ¿cuál es el siguiente paso? ¿sobre quién queremos que actúe $G$ ahora?

La respuesta es: sobre un conjunto cualquiera $X$. Ahora queremos pensar que usamos los elementos de $G$ para mover elementos de $X$. Para eso necesitamos una especie de producto, además de algunos matices. Por ejemplo, para un $x\in X$ cuando $a = e$, el elemento $a\cdot x = x$ se quede fijo y que si se multiplica por $a$ y luego por $b$, que sea lo mismo que multiplicar por $ab$, es decir $a\cdot(b\cdot x) = ab\cdot x$. Si se cumplen estas dos condiciones diremos que $a$ es una acción de $G$ en el conjunto $X$.

Diagrama de qué es una acción.

Luces, cámara, ¡acción!

Como verás, hemos estado usando el verbo actuar para referirnos a esta transformación que sucede al operar un $a\in G$ y otro elemento, sea del mismo $G$ o de las clases laterales. Aunque no hayamos definido formalmente qué es una acción, la realidad es que ya usar actuar da una idea de lo que estamos queriendo decir. Estamos usando un elemento de un grupo para transformar un elemento de otro. A continuación definiremos formalmente a una acción.

Definición. Sea $G$ un grupo, $X$ un conjunto. Si existe una función:
\begin{align*}
G \times X &\to X\\
(a,x) &\mapsto a\cdot x
\end{align*}
para todos $a\in G, x\in X$, tal que:

  1. $e \cdot x = x$ para toda $x\in X$.
  2. $a \cdot (b\cdot x) = (ab)\cdot x $ para todas $a,b\in G, x\in X$,

decimos que la función es una acción de $G$ en $X$, y que $G$ actúa en $X$ o que $X$ es un $G$-conjunto.

Ejemplos.

Veamos algunos ejemplos nuevos y retomemos algunos otros, para verificar que esto es una generalización para lo que se hizo en el Teorema de Cayley y en su modificación.

Ejemplo 1. Sean $G$ grupo, $X=G$ definimos $a\cdot x = ax$ para todas $a\in G, x\in X$. Es decir, definimos una acción sobre sí mismo. Probemos las dos condiciones:

\begin{align*}
&e\cdot x = ex = x &\forall x\in X\\
&a\cdot(b\cdot x) = a\cdot(bx) = a(bx) = (ab)x = (ab)\cdot x &\forall a,b\in G,\; x\in X.
\end{align*}

Así, todo grupo $G$ actúa en sí mismo mediante su operación binaria. Como vimos en la entrada del Teorema de Cayley.

Ejemplo 2. Sean $G$ grupo, $H\leq G$, $X = \{gH | g\in G\}$. Definimos $a\cdot (gH)= agH$ para toda $a,g\in G$. Ahora, probemos las dos condiciones de una acción:

\begin{align*}
&e\cdot(gH) = egH = gH &\forall g\in G
\end{align*}
\begin{align*}
a\cdot(b\cdot(gH)) &= a\cdot(bgH) = a(bg)H = (ab)gH \\
&= ab\cdot (gH) &\forall a,b,g\in G
\end{align*}

Así se tiene una acción de $G$ en las clases laterales de $H$ en $G$. Este ejemplo lo vimos en la entrada de la modificación al Teorema de Cayley.

Por último, podemos ver un ejemplo nuevo.

Ejemplo 3. Sea $G = D_{2n}$ el grupo diédrico, $X = \{1,2,\cdots, n\}$ los distintos vértices de polígono regular de $n$ lados.

Dados $g\in G, i\in X$ definimos $g\cdot i = j$ si $g$ manda el vértice $i$ en el vértice $j$. Recordemos que los elementos de un grupo diédrico son las simetrías del polígono regular de $n$ lados, es decir, son transformaciones lineales del plano que mandan del polígono en sí mismo. En particular, los vértices van a dar a vértices bajo estas transformaciones.

Representación de una grupo diédrico.

Entonces, como son transformaciones del plano nuestra acción quedaría como una evaluación $g \cdot i = g(i)$. Así, para todos $i\in X, g,h\in G$,
\begin{align*}
\text{id}\cdot i &= \text{id}(i) = i \\
g\cdot (h\cdot i )& = g\cdot (h(i)) = g(h(i)) = (gh) (i) = (gh) \cdot i.
\end{align*}

Así, $D_{2n}$ actúa en el conjunto de vértices.

Recordemos que al escribir $(gh)\cdot i$, la operación que ocurre entre $g$ y $h$ es la composición. En este momento se omitió el símbolo $\circ$ para evitar confusiones con el símbolo $\cdot$ de acción.

Otra definición de Acción

Anteriormente hemos visto la noción de que los elementos de un grupo dan lugar a permutaciones. Usaremos esta idea para dar una definición de acción equivalente a la definición que acabamos de dar.

Teorema. Sean $G$ un grupo, $X$ un conjunto. Toda acción de $G$ en $X$ induce un homomorfismo de $G$ en $S_X$ y viceversa.

Demostración.

Sean $G$ un grupo y $X$ un conjunto.
Supongamos que $G\times X \to X$ es una acción de $G$ en $X$ tal que $(g,x)\mapsto g\cdot gx$. Para cada $g\in G$ definimos $\alpha_g : X\to X$ dada por $\alpha_g(x) = g\cdot x$ para toda $x\in X$.

Ilustración del efecto de $\alpha_g$.

Analicemos las funciones $\alpha_g$, veamos que son biyectivas:

\begin{align*}
\alpha_g\circ\alpha_{g^{-1}}(x) & = \alpha_g(\alpha_{g^{-1}}) = \alpha_g(g^{-1}\cdot x) = g\cdot(g^{-1}\cdot x)\\
&= (gg^{-1})\cdot x &\text{Condición 2 de acción}\\
&= e\cdot x = x &\text{Condición 1 de acción}.
\end{align*}

Entonces $\alpha_g\circ\alpha_{g^{-1}} = \text{id}_X$.

Anáogamente $\alpha_{g^{-1}}\circ \alpha_g = \text{id}_X$, entonces $\alpha_g$ es biyectiva, es decir $\alpha_g \in S_X$.

Definimos $\psi: G \to S_X$ con $\psi (g) = \alpha_g$ para toda $g\in G$.

Veamos que $\psi$ es un homomorfismo. Tomemos $g,h\in G$,
\begin{align*}
\psi(gh)(x) &= \alpha_{gh}(x) = (gh)\cdot x = g\cdot(h\cdot x) = \alpha_g(\alpha_h(x)) & \text{Condición 2}\\
&= \alpha_g \circ \alpha_g(h) = \psi(g) \psi(h)(x) &\forall x\in X.
\end{align*}

Entonces $\psi(gh) = \psi(g)\psi(h)$ para todos $g,h\in G$.

Por lo tanto $\psi$ es un homomorfismo.

Ahora de regreso. Supongamos ahora que se tiene un homomorfismo $\psi: G\to S_X$. Entonces, para cada $g\in G, \psi(g) \in S_x$.

Definimos la función $G\times X \to X$ donde $(g,x)\mapsto g\cdot x$. Entonces $g\cdot x = \psi(g)(x)$ para toda $g\in G, x\in X$. Además, $\psi(g)(x) \in X$.

Ahora veamos que esta función es una acción. La primera condición para ser acción se cumple de la siguiente manera:

Como $\psi$ es un homomorfismo, $\psi(e) = \text{id}_X$. Así,
\begin{align*}
e\cdot x& = \psi(e)(x) = \text{id}_X(x) = x &\forall x\in X
\end{align*}

Probemos la segunda condición de acción:

\begin{align*}
g\cdot (h\cdot x) &= \psi(g) (\psi(h)(x)) = \psi(g)\circ \psi(h)(x) \\
&= \psi(gh)(x) = (gh) \cdot x & \psi\text{ es un homomorfismo}.
\end{align*}
Para todas $g,h\in G, x\in X$. Así $G$ actúa en $X$.

$\blacksquare$

Una relación de equivalencia

Si tenemos un grupo $G$ actuando sobre un conjunto $X$, entonces podemos considerar $g\in G$ y $x,y\in X$. Con los dos elementos $x,y$ de $X$, podemos preguntarnos ¿es posible llegar de $x$ a $y$ usando a $g$?, algo como $y = g\cdot x$. En realidad esto no es siempre posible, entonces podemos crear una relación de $x$ con $y$ si existe tal $g\in G$. Esto lo veremos en el siguiente resultado.

¿Es posible llegar de $x$ a $y$ usando a $g$?

Lema. Sean $G$ un grupo, $X$ un $G$-conjunto. Para todo $x,y\in X$, la relación en $X$: $x\sim y$ si y sólo si $g\cdot x = y$ para algún $g\in G$ es una relación de equivalencia.

Demostración.
Sean $G$ un grupo, $X$ un $G$-conjunto. Definimos la relación en $X$ donde para todo $x,y\in X$.
\begin{align*}
x\sim y \Leftrightarrow g\cdot x = y \text{ para algún }g\in G.
\end{align*}

Primero, por la condición 1 de acción, $e\cdot x = x$ para toda $x\in X$ con $e\in G$, entonces $x\sim x$ para toda $x\in X$. Por lo que nuestra relación es reflexiva.

Si $x,y\in X$ son tales que $x\sim y$, entonces existe $g\in G$ tal que $g\cdot x = y$. Así,
\begin{align*}
g^{-1} \cdot y &= g^{-1}\cdot (g\cdot x) \\
&= (g^{-1}g)\cdot x & \text{por condición } 2\\
&= (e\cdot x )\\
&= x & \text{por condición } 1
\end{align*}

con $g^{-1} \in G$, entonces $y\sim x$. Por lo que tenemos una relación simétrica.

Si $x,y,z\in X$ son tales que $x\sim y$ y $y\sim z$, entonces existen $g,h\in G$ tales que $g\cdot x = y$, $h\cdot y = z$. Así
\begin{align*}
(hg)\cdot x &= h\cdot (g\cdot x) &\text{condición } 2\\
&= h \cdot y = z
\end{align*}
con $hg\in G$. Entonces $x\sim z$. Así, nuestra relación es transitiva.

Por lo tanto $\sim$ es una relación de equivalencia.

$\blacksquare$

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. En los siguientes incisos determina si la función dad es una acción de $G$ en $X$:
    • Considera un campo $K$ y $V$ un $K$-espacio vectorial. Sea $G= K^*$ con el producto y $X= V$. Definimos $\lambda\cdot v = \lambda v$ para cada $\lambda\in K^*$ y $v\in V$. (Nota que $K^*$ es el campo sin el neutro aditivo).
    • Sea $G$ un grupo y $X=G$. Definimos $g\cdot x = g^{-1}xg$ para cada $g\in G$ y cada $x\in X$.
    • Sea $G$ un grupo y $X = \{H|H\leq G\}$. Definimos $g\cdot H = gHg^{-1}$ para cada $g\in G$ y cada $H\in X$.
    • Sea $G$ un grupo y $X=N$ un subgrupo normal de $G$. Definimos $g\cdot n= gng^{-1}$ para cada $g\in G$ y cada $n\in N$.
  2. Sea $G$ un grupo y $X$ un $G$ conjunto. Considera el homomorfismo $\psi: G\to S_X$ asociado. ¿Es necesariamente $\psi$ un monomorfismo? Si lo es, pruébalo y si no, establece qué condiciones debería cumplir la acción para que lo sea.
  3. Para repasar lo que hemos visto desde el Teorema de Cayley, puedes consultar el video en inglés de Mathemaniac.

Más adelante…

Hemos expandido la idea de que un grupo puede mover a los elementos de otro hasta llamarlo una acción. Luego, encontramos una relación de equivalencia a partir de la acción. Como es usual en este tipo de cursos, estudiaremos la partición inducida por esta relación de equivalencia y a partir de estos conjuntos, definiremos otros tipos de acciones.

Entradas relacionadas

Álgebra Moderna I: Una modificación al Teorema de Cayley

Por Cecilia del Carmen Villatoro Ramos

(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 $\phi: G \to S_n$ con $\text{Núc }\phi \leq 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\leq 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{align*}
\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{align*}

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{align*}
\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{align*}

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{align*}
\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{align*}

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

Como $\#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.

$\blacksquare$

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 = \left<(1,2)\right>$ y el cociente $G/H = \{H, (1\;3)H, (2\;3)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{align*}
a \in \text{Núc }\psi &\Leftrightarrow \psi(a) = \text{id}_{G/N} \\ &\Leftrightarrow \tau_a(gH) = gH \;\; \forall g\in S_3\\
&\Leftrightarrow agH = gH \;\; \forall g\in S_3.
\end{align*}

Así, en este caso si $a\in \text{Núc }\psi$,
\begin{align*}
a(1\;3)H = (1\;3)H &\Rightarrow (1\;3) a (1\;3) \in H = \{(1), (1\;2)\}.
\end{align*}
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 $(1\;3)$ es él mismo.
\begin{align*}
&\Rightarrow a = (1) \text{ ó } a = (1\; 3) (1\; 2)(1\;3) = (3\;2).
\end{align*}

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

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

Por lo tanto, $\text{Núc }\psi = \{(1)\}\leq 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 \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\z^+$ el menor primo positivo que divide a $n$.

Supongamos que $H\leq 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 \leq H \leq G$, como secuencia del Teorema de Lagrange tenemos
\begin{align} \label{eq:orden}
[ G: \text{Núc }\psi] = [ G:H ] [ H: \text{Núc }\psi ] = p [ H:\text{Núc } \psi].
\end{align}

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

\begin{align*}
\Rightarrow& [ G: \text{Núc }\psi ] = \left|G/\text{Núc }\psi \right|\Big| |S_p|\\
\Rightarrow& p [ H: \text{Núc }\psi ] \Big| p! & \text{porque } |S_p| = p! \text{ y } (\ref{eq:orden})\\
\Rightarrow &[ H: \text{Núc }\psi ] \Big| (p-1)!
\end{align*}

Si $[ H: \text{Núc }\psi ] > 1$, existiría $q\in\z^+$ un primo que lo divide, entonces $q\Big| 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] \Big| |G|.$

Y como $q| [ H : \text{Núc }\psi ]$, entonces $q\Big||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 \leq H$ concluimos que $H = \text{Núc }\psi \unlhd G.$

Por lo tanto $H\unlhd G$.

$\blacksquare$

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 = \left< (1,0) \right>$. 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 $\phi$ de $G$ en $S_n$ con $\text{Núc }\phi \leq H.$ Da una condición necesaria y suficiente para que $\text{Núc }\phi = 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

Álgebra Moderna I: Teorema de Cayley

Por Cecilia del Carmen Villatoro Ramos

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

Introducción

¡Hoy es el día en el que comenzamos la Unidad 4!

A partir de esta unidad veremos cada uno de los elementos de los grupos (para cualquier grupo) se puede ver como una permutación. Para fines introductorios, ilustremos qué pasa en el caso de un grupo finito. Sea $G = \{e,g_2,\dots, g_n\}$, podemos escribir su tabla de producto ($*$):

$*$$e$$g_2$$g_3$$\cdots$$g_n$
$e$
$g_2$
$g_3$
$\vdots$
$a = g_i$$ae$$ag_2$$ag_3$$\cdots$$ag_n$
$\vdots$
$g_n$

¿Qué pasa si elegimos un elemento fijo? Fijemos $g_i$, para distinguirlo, denotémoslo como $a = g_i.$ Así, en la tabla del producto ese renglón quedaría $ae \;\; ag_2 \;\; ag_3 \;\; \cdots \;\; ag_n$. Como tanto $a = g_i$ como $e,g_2,\dots g_n$ están en $G$, ese renglón está conformado por elementos de $G$.

Podría darse el caso en que $ag_k = ag_t$ para algún $k,t\in \{1,\dots,n\}$, pero como $G$ es un grupo, podemos cancelar la $a$. Entonces $ag_k = ag_t \Leftrightarrow g_k = g_t$. Así, si suponemos que $g_k \neq g_t$ para todas $k \neq t$ con $k,t\in \{1,\dots,n\}$, en el renglón de $a$ aparecen $n$ elementos distintos. Es decir, aparecen todos los $n$ elementos de $G$ pero quizás en otro orden.

De esta manera, el efecto que tiene $a$ sobre los elementos de $G$ es de moverlos. Esto sucederá en cualquier renglón de la tabla, es decir, cualquier elemento de $G$ funciona como una permutación. Esto es importante porque nos permitirá visualizar a cualquier grupo como un grupo de permutaciones.

Ésta es la razón por la cual las permutaciones son tan importantes y por eso tenemos que estudiarlas bien.

La función tau $\tau$

Bajo la idea propuesta en la introducción de esta entrada, todo grupo se puede pensar como un subgrupo de un grupo de permutaciones. Para formalizar esta idea comenzaremos con un lema.

Lema. Sea $G$ un grupo, $a\in G$. La función $\tau_a:G \to G$ dada por $\tau_a(g) = ag$ para todo $g\in G$, es una biyección.

Demostración.

Sea $G$ un grupo, $a\in G$. Consideremos la función $\tau_a:G\to G$ con $\tau_a(g) = ag$ para todo $g\in G$.

P.D. $\tau_a$ es biyectiva.
Consideremos la función $\tau_{a^{-1}}:G\to G$ con $\tau_{a^{-1}} = a^{-1} g$, para toda $g\in G.$ Dado $g\in G$.
\begin{align*}
\tau_{a^{-1}}\circ\tau_a(g) & = \tau_{a^{-1}}(\tau_a(g)) = \tau_{a^{-1}}(ag) = a^{-1}(ag) = g\\
\tau_a\circ\tau_{a^{-1}}(g) &= \tau_a(\tau_{a^{-1}}(g)) = \tau_a(a^{-1}g) = a(a^{-1}g) = g.
\end{align*}

Donde todas las igualdades son por definición de $\tau_a$ y $\tau_{a^{-1}}$ ó por propiedades de grupo.

Así, $\tau_{a^{-1}}$ es la inversa de $\tau_a$ y entonces $\tau_a$ es biyectiva.

$\blacksquare$

Observación. Si $a\neq e$, $\tau_a$ no es un homomorfismo.
La demostración queda como ejercicio. Sucederá que si $a\neq e$, entonces $\tau_a$ seguirá siendo una función biyectiva, pero no un homomorfismo.

El título de la entrada

El Teorema de Cayley es quien nos dirá exactamente lo que queremos formalizar esta entrada.

Teorema. (Teorema de Cayley)
Todo grupo de $G$ es isomorfo a un subgrupo de $S_G$. En particular, todo grupo finito de orden $n$ es isomorfo a un subgrupo de $S_n$.

Demostración.
Sea $G$ un grupo. De acuerdo al lema anterior, para cada $a\in G$ se tiene que $\tau_a$ es una función biyectiva de $G$ en $G$, es decir $\tau_a\in S_G$ Definimos entonces
\begin{align*}
\phi: G \to S_G \text{ con } \phi(a) = \tau_a \; \forall a\in G.
\end{align*}

Veamos que $\phi$ es un homomorfismo.
Tomemos $a,b\in G$.
P.D. $\phi(ab) = \phi(a)\circ\phi(b)$.

Dado que en todas las funciones involucradas tanto el dominio como el condominio es $G$, basta probar que $\phi(ab) $ y $\phi(a)\circ\phi(b)$ tienen la misma regla de correspondencia. Sea entonces $g\in G,$ apliquemos la función $\phi(ab)$ a $g$.
\begin{align*}
\phi(ab)(g) &= \tau_{ab}(g)\\
&= (ab)g \\
&= a(bg) \\
&= \tau_a(\tau_b(g)) \\
& = \tau_a\circ\tau_b(g) = \phi(a)\circ\phi(b)(g).
\end{align*}

Por lo tanto $\phi(ab) = \phi(a)\circ\phi(b)$, probando así que $\phi$ es un homomorfismo.

Veamos ahora que $\phi$ es un monomorfismo. Sea $a\in \text{Núc }\varphi$,
\begin{align*}
a\in \text{Núc }\varphi \Rightarrow\; & \phi(a) = \text{id}_G & \text{Definición de Núc}\\
\Rightarrow\; & \phi(a) (g) = \text{id}_G(g) &\forall g\in G \\
\Rightarrow\; & \tau_a(g) = g & \forall g\in G\\
\Rightarrow\; &ag = g & \forall g\in G \\
\Rightarrow\; &a = e
\end{align*}

donde la última implicación se puede justificar considerando el caso particular $g = e$. De esta manera $\phi$ es un monomorfismo.

Así, al restringir el codominio de $\phi $ a la imagen $\text{Im }\phi$ obtenemos un isomorfismo.
Por lo tanto $G\cong \text{Im }\phi \leq S_G$. Con esto tenemos la primero parte del teorema demostrada.

En particular, si $|G| = n $ tenemos que $S_G \cong S_n$ y como $G\cong \text{Im }\phi \leq S_G\cong S_n$, entonces $G$ es isomorfo a un subgrupo de $S_n$.

$\blacksquare$

Ejemplo:

Tomemos $V = \{(0,0), (1,0), (0,1), (1,1)\}$ el grupo de Klein, con la suma entrada a entrada módulo 2.
Sean $a_1 = (0,0), a_2 = (1,0), a_3 = (0,1), a_4 = (1,1)$. Tenemos la tabla de suma de la siguiente manera:

$+$$a_1$$a_2$$a_3$$a_4$
$a_1$$a_1$$a_2$$a_3$$a_4$
$a_2$$a_2$$a_1$$a_4$$a_3$
$a_3$$a_3$$a_4$$a_1$$a_2$
$a_4$$a_4$$a_3$$a_2$$a_1$

Entonces $\tau_{a_2}$ intercambia $a_1$ y $a_2$ e intercambia $a_3$ y $a_4$ de lugar. Viendo a $a_2$ como una permutación, correspodería a $\sigma \in S_4$ con $\sigma = (1\;2)(3\;4).$

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. Demostrar la observación:
    Observación. Si $a\neq e$, $\tau_a$ no es un homomorfismo.
  2. Para los siguientes grupos $G$ y $g\in G$ determina cómo es la función $\tau_g:$
    • $G$ es cíclico de orden 6, $g$ un generador de $G$.
    • $G = D_{2(4)}$, $g = b$ la reflexión sobre el eje $x$.
    • $G = Q$, $g = -j$.
  3. En los diferentes inicios del ejercicio anterior, describe cómo se puede visualizar al elemento $g\in G$ como una permutación en $S_n$ con $n = |G|.$

Más adelante…

Esta entrada es la primera de la unidad 4 porque a partir de aquí vamos a abstraer aún más lo que se trabajó en el Teorema de Cayley. Aquí vimos que un grupo se puede ver como un subgrupo de permutaciones porque podemos multiplicar $g\in G$ con todos los elementos de $G$. Pero a lo largo de este curso vimos varias operaciones que están definidas a partir del producto de $G$, por ejemplo, si tenemos $aN \in G/N$ con $N$ normal en $G$, es perfectamente válido operar $gaN$. Siguiendo la lógica del Teorema de Cayley, ¿qué pasa si definimos una nueva función multiplicando las clases laterales por los elementos del grupo? ¿Será posible definir algún tipo de operación entre los elementos de un grupo y un conjunto ya no necesariamente de clases laterales? Éstas y más preguntas serán respondidas en las siguientes entradas.

Entradas relacionadas