(Trabajo de titulación asesorado por la Dra. Diana Avella Alaminos)
Introducción
En la entrada anterior vimos que si tenemos un grupo $G$ y nos agarramos un subgrupo $H$, obtenemos una partición $H, a_1H, a_2H, a_3H, \dots, a_tH$ donde \begin{align*} |H| = \#a_2 H = \#a_3 H = \cdots = a_t H. \end{align*}
Recuerda que $|G|$ se refiere al orden de un grupo y $\#a_iH$ es el orden de un conjunto que no es necesariamente un grupo. Esto quiere decir que el orden de $G$ es un $t$ veces del orden de $H$, en decir $|G| = t|H|.$ Este resultado sencillo pero importante es conocido como el Teorema de Lagrange, el teorema al que está dedicado esta entrada.
Joseph-Louis Lagrange, conocido simplemente como Lagrange, nació en 1739 y falleció en 1813.
Ejemplo de la partición $\{H, a_1H,\dots, a_tH\}$.
A pesar de que vivió antes de que la teoría de conjuntos se desarrollara en el siglo XIX, su trabajo fue muy importante para ella. Por eso este teorema tiene su nombre.
Ingredientes para la demostración
Lema. Sea $G$ un grupo, $H$ un subgrupo de $G$, $a\in G$. Entonces $$\# aH = |H|.$$
Demostración. Sean $G$ un grupo, $H\leq G$ y $a \in G$.
Consideremos $\varphi : H \to a \, H$, tal que $h \mapsto ah$.
Veamos que $\varphi$ es inyectiva ya que si tomamos $h, \bar{h} \in H$ son tales que $\varphi(h) = \varphi(\bar{h})$ entonces $ah = a \varphi$ y por cancelación, $h = (\bar h)$.
Además, $\varphi$ es suprayectiva ya que dado $ah \in aH$ con $h\in H$ tenemos $$ ah = \varphi(h) \in \text{Im}\varphi. $$
Donde $\text{Im}\varphi$ es la imagen de $\varphi$.
Por lo tanto $|H| = \# a H$.
$\blacksquare$
Señoras y señores, les presento a Lagrange
Ahora ya tenemos todos los ingredientes para demostrar el teorema de Lagrange.
Teorema. (Teorema de Lagrange) Sea $G$ un grupo finito, $H$ subgrupo de $G$. Entonces $|H|$ divide al orden de $G$ y $$[ G:H ] = \frac{|G|}{|H|}.$$
Demostración. Sea $G$ un grupo finito, $H\leq G$. Como $G$ es finito debe haber una cantidad finita de clases laterales izquierdas de $G$ en $G$, notemos que cada una es no vacía con al menos un elemento.
Sean $a_1, \dots , a_t \in G$ representantes de las distintas clases laterales izquierdas de $H$ en $G$, con $t = [ G : H ]$. Sabemos que $\displaystyle G = \bigcup^{t}_{i=1} a_i H$. Como $a_iH \cap a_jH = \emptyset$ para $i\neq j$, con $i,j\in\{1,\dots, t\}$, entonces la unión, es una unión disjunta. Así podemos hacer,
Así $|G| = [ G : H ] |H|$, enconces $|H|\Big| |G|$ y $\displaystyle [ G : H ] = \frac{|G|}{|H|}$.
$\blacksquare$
Consecuencias del teorema
Corolario 1. Sea $G$ un grupo finito, $a\in G$. Entonces $o(a) \Big| |G|$. Así $a^{|G|} = e$.
Demostración. Sea $G$ un grupo finito, $a\in G$. Consideremos $\left< a \right> \leq G$. Por el teorema de Lagrange:
$$ o(a) = |\left< a \right>|\Big| |G| \Rightarrow o(a)\Big| |G|.$$
Así $|G| = o(a)q$, para algún $q \in \z$, $$a^{|G|} = a^{o(a)q} = \left( a^{o(a)}\right)^q = e^q = e.$$
$\blacksquare$
Corolario 2. Todo grupo finito de orden primo es cíclico.
Demostración. Sea $G$ un grupo finito, $|G| = p$ con $p$ primo.
Como $|G| > 1$ sea $a \in G \setminus \{e\}$. Por el corolario 1, $$1 < o(a) \Big| |G| = p.$$
Entonces $o(a) = p$. Así $\left< a \right> = G$ y $G$ es cíclico.
$\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.
Sea $G$ un grupo finito, $H$ y $K$ subgrupos de $G$ con $K\subseteq H$. En cada inciso (son los ejercicios 2 y 3 de la entrada anterior) justifica usando el teorema de Lagrange ¿cómo es $[G:K]$ en términos de $[G:H]$ y $[H_K]$?
$G = Q$ los cuaternios, $H = \left<i\right>$ y $K = \{\pm 1\}$.
$G = S_4$, $H = A_4$ y $K = \left<(1\;2\;3)\right>$.
Encuentra todos los subgrupos del grupo de los cuaternios y de $\z_8$ ¿de qué orden son? ¿cuántos hay del mismo orden?
El teorema de Lagrange es uno de los resultados más importantes del curso. Se usará multiples veces. Por lo pronto, en la siguiente entrada, revisitaremos los grupos cíclicos y usaremos el teorema de Lagrange para probar una caracterización de esos grupos.
(Trabajo de titulación asesorado por la Dra. Diana Avella Alaminos)
Introducción
Como pudiste darte cuenta por el título, en esta entrada definiremos una relación de equivalencia en un grupo. Permítenos dar una motivación usando un grupo que tal vez ya hayas estudiado en cursos anteriores como el de Álgebra Superior II.
Dicho grupo tan importante, es el de los enteros con la suma $(\z, +)$. Para $a,b\in \z$ es posible establecer una relación $\thicksim$ dentro de los enteros como sigue \begin{align*} a \thicksim b \Leftrightarrow b-a \text{ es múltiplo de } n. \end{align*} Esta relación de equivalencia induce una partición de $\z$, con exáctamente $n$ conjuntos. Donde cada conjunto es una de las clases módulo $n$. En esta entrada queremos introducir una relación parecida, pero generalizada a cualquier grupo.
Comencemos modificando este ejemplo un poco. Primero, llamemos $H$ al conjunto de todos los enteros múltiplos de $n$. Así nuestra relación quedaría, para $a,b\in \z$, \begin{align*} a \thicksim b \Leftrightarrow b-a \in H. \end{align*}
Luego, notemos que a pesar de que la operación que usamos para definir el grupo es la suma usual, nuestra relación está definida usando la resta. En realidad, lo que está pasando es que estamos sumando $b$ con el inverso aditivo de $a$, es decir $-a$. Entonces $b -a = b + (-a)$. Además, $(\z,+)$ es un grupo abeliano, por lo que $b + (-a) \in H \Leftrightarrow (-a) + b \in H$. Para nuestra generalización usaremos el segundo caso.
Así, tenemos que comenzar agarrando un subgrupo cualquiera de $G$, es decir, nos tomamos $H\leq G.$ Entonces nuestra relación debe quedar, dados $a,b\in G$, \begin{align*} a \thicksim b \Leftrightarrow a^{-1}b\in H. \end{align*}
Ya al tener esa relación y demostrar que es una relación de equivalencia, usaremos las propiedades de grupo para descubrir que las clases de equivalencia son las clases laterales vistas en la entrada anterior.
Relación Generalizada
Lo anterior queda formalizado en la siguiente definición.
Definición. Sea $G$ un grupo y $H$ un subgrupo de $G$. Definimos una relación en $G$ del siguiente modo: dados $a,b \in G$,
\begin{align*} a \thicksim b \Leftrightarrow a^{-1}b \in H. \end{align*}
Ahora, demostraremos que esa relación, así como la de la introducción, es una relación de equivalencia.
Observación. La definición anterior es una relación de equivalencia.
Demostración. Sean $G$ un grupo y $H\leq G$.
Primero, tomamos $a \in G$. También podemos tomar $a^{-1}$ . Así $a^{-1}a = e \in H$. Por lo tanto $a \thicksim a$ y nuestra relación es reflexiva.
Ahora tomamos $a,b \in G$. Si $a \thicksim b$, entonces $a^{-1} b\in H$.
\begin{align*} \Rightarrow b^{-1}a = (a^{-1}b)^{-1} \in H \Rightarrow b \thicksim a \end{align*}
Por lo que nuestra relación es simétrica.
Sean $a,b,c \in G$. Si $a \thicksim b$ y $b \thicksim c$, entonces $a^{-1}b \in H$ y $b^{-1}c \in H$, entonces usando la cerradura de $H$ y asociando de otra manera, obtenemos
\begin{align*} a^{-1}c = (a^{-1}b)(b^{-1}c) \in H \Rightarrow a \thicksim c. \end{align*}
Así, nuestra relación es transitiva.
Por lo tanto, nuestra relación es una relación de equivalencia.
$\square$
Nótese que para probar las tres propiedades de una relación de equivalencia (reflexividad, simetría y transitividad) usamos las tres condiciones de un subgrupo (la existencia del neutro, la cerradura de los inversos y la cerradura del producto).
A continuación, veamos cómo son las clases de equivalencia: Sea $a \in H$.
\begin{align*} \bar{a} &= \{b \in G | a \thicksim b\} = \{b \in G | a^{-1}b \in H\} \\ &= \{b \in G | a^{-1}b = h, h \in H\} = \{b \in G | b = ah, h \in H\} \\ &= \{ah | h \in H\} = a H. \end{align*}
Ahora veremos algunas observaciones de lo anterior.
Observación. Sean $G$ un grupo, $H\leq G$ y $a,b\in G$, entonces \begin{align*} a H = bH & \Leftrightarrow a^{-1}b \in H. \end{align*}
En particular, \begin{align*} H = bH & \Leftrightarrow b \in H \end{align*}
Nota. Análogamente se puede trabajar con clases laterales derechas, i.e. ($Ha = Hb \Leftrightarrow ba^{-1}\in H$).
Como $\thicksim$ es una relación de equivalencia, esta induce una partición y, como sus clases de equivalencia son las clases laterales, tenemos el siguiente teorema.
Teorema. Sea $G$ un grupo, $H$ subgrupo de $G$.
$aH \neq \emptyset \quad \forall a \in G$ .
Si $a,b \in G$ son tales que $aH \cap bH \neq \emptyset$, entonces $aH = bH$.
$\displaystyle \bigcup_{a\in G} aH = G$
Claramente el teorema anterior enuncia las características de una partición, por lo que no hay nada que probar.
Ejemplos
Consideremos al grupo de los cuaternios $Q$ , tomemos el subgrupo $H = \left< i \right> = \{\pm 1 , \pm i\}$. Veamos qué sucede con sus clases laterales. \begin{align*} jH &= \{j(+1), j(-1), j(+i), j(-i)\}\\ &= \{j, -j, -k k\} \\ &= Hj. \end{align*} La última igualdad la puedes comprobar tú, multiplicando los mismos elementos por $j$, pero ahora del lado izquierdo. Así, las clases laterales son:
Clases laterales izquierdas: $H, jH$.
Clases laterales derechas: $H, Hj$.
Tomemos $S_3$ y $H = \{(1), (32)\}$. Primero, veamos cómo se ven las clases laterales izquierdas. Primero, tenemos la clase del neutro, es decir $(1) H = H$. Luego, tenemos que tomarnos un elemento de $S_3$ que no esté en $H$, digamos $(1\;2\;3)$, entonces, \begin{align*} (1\;2\;3)H &= \{(1\;2\;3)(1), (1\;2\;3)(3\;2)\}\\ &= \{(1\;2\;3), (1\;2)\}. \end{align*} Repetimos lo anterior, tomamos un elemento de $S_3$ que no esté $H$ y sea distinto al que ya nos tomamos para obtener una clase distinta. Esto nos da \begin{align*} (1\;3\;2)H &= \{(1\;3\;2)(1), (1\;3\;2)(3\;2)\} \\ & = \{(1\;3\;2)(1\;3)\}.\\ \end{align*} Por lo que las clases laterales izquierdas son: \begin{align*} &(1)H = H\\ &(1\;2\;3)H = \{(1\;2\;3), (1\;2)\}\\ &(1\;3\;2)H = \{(1\;3\;2)(1\;3)\}.\\ \end{align*} De la misma manera obtenemos las clases laterales derechas: \begin{align*} &H(1) = H \\ &H(1\;2\;3) = \{(1)(1\;2\;3), (3\;2)(1\;2\;3)\} = \{(1\;2\;3), (1\;3)\} \\ &H(1\;3\;2) = \{(1)(1\;3\;2), (3\;2)(1\;3\;2)\} = \{(1\;3\;2), (1\;2)\}.\\ \end{align*} Este ejemplo nos permite ver que las clases laterales izquierdas y las clases laterales derechas no siempre coinciden.
Partición del ejemplo 1.Partición de las clases laterales izquierdas del ejemplo 2.Partición de las clases laterales derechas del ejemplo 2.
Número de elementos en las clases laterales
El último ejemplo nos dice que las clases laterales derechas e izquierdas no siempre coinciden, sin embargo probaremos que siempre hay la misma cantidad de ambas.
Teorema. Sea $G$ un grupo, $H$ un subgrupo de $G$. Entonces
\begin{align*} \#\{a H | a \in G\} = \#\{Ha | a \in G\}. \end{align*}
Demostración.
Sea $\psi: \{a H | a \in G\} \to \{Ha | a \in G\}$, definida como $\psi(aH) = Ha^{-1} \quad \forall a \in G$. Probaremos que esta función es biyectiva.
Pequeño paréntensis:
Antes de comenzar con la demostración, pongamos atención a la definición de $\psi$. En un inicio podríamos pensar ¿por qué no hacemos $\psi(aH) = Ha$? La respuesta es simple, porque esto no funcionaría. Definamos una nueva función para ejemplificar, sea $\phi: \{a H | a \in G\} \to \{Ha | a \in G\} $ tal que $\phi(aH ) = Ha$.
Tomemos $b\in G$ tal que $aH = bH$, para que $\phi$ esté bien definida, necesitaríamos que $\phi(aH) = \phi(bH)$, es decir $Ha = Hb$. Por la relación que definimos, esto implica que si $a^{-1}b \in H$, entonces $ba^{-1} \in H$, pero esto no necesariamente es cierto porque el grupo puede no ser abeliano. Lo que sí sabemos es que si $a^{-1}b\in H$, entonces $Ha^{-1}b = H$, y así $Ha^{-1} = Hb^{-1}$.
Por esto es que escogimos a $\psi$ de esa manera.
Termina paréntesis. Ahora sí comencemos con la demostración.
Sean $a,b \in G$,
\begin{align*} aH = bH & \Leftrightarrow a^{-1}b \in H \\ &\Leftrightarrow Ha^{-1}b = H \\ & \Leftrightarrow Ha^{-1} = Hb ^{-1} \\ & \Leftrightarrow \psi (aH) = \psi (bH). \end{align*} Por tanto, $\psi$ está bien definida y es inyectiva.
Además, dada $Ha, a \in G$.
\begin{align*} Ha = H(a^{–1})^{-1} = \psi(a^{-1} H) \end{align*}
así $\psi$ es suprayectiva.
Por lo tanto $\# \{aH | a \in G\} = \# \{Ha|a\in G\}.$
$\square$
Ahora, ya sabemos que la cantidad de clases laterales izquierdas es la misma que la de clases laterales derechas. Entonces podemos nombrar esto como el índice.
Definición. Sea $G$ un grupo, $H$ un subgrupo de $G$. El índicede $H$ en $G$ es
Tomemos a $Q$ como los cuaternios, $H= \left< i \right> = \{\pm 1, \pm i\}$ $[Q:H]= 2$.
Ahora, tomemos $S_3$, $H = \{(1), (3 2)\}$. Como ya vimos, $[S_3:H]= 3$.
Consideremos el grupo $(\z, +)$ y $H = \{6m | m \in \z\}$. Hay 6 clases laterales: $H, 1+H, 2+H, 3+H, 4+H, 5+H$. Que serían los múltiplos de $6$, $6+1$, $6+2$, $\dots$ respectivamente. Así, $[\z, H ]= 6$.
Tarea moral
Analizando los ejemplos que tienes hasta ahora observa si existe alguna relación entre el orden de un grupo $G$, el orden del subgrupo $H$ y la cantidad de clases laterales de $H$ en $G$.
Considera $\{\pm 1\} \leq \left< i \right> \leq Q$. Describe las clases laterales izquierdas de $\{\pm 1\}$ en $\left< i \right>$, las clases laterales izquierdas de $\left< i \right>$ en $Q$, y las clases laterales izquierdas de $\{\pm 1\}$ en $Q$. Encuentra $[Q: \{\pm 1\}]$, $[Q:\left< i \right>]$ y $[\left< i \right>: \{\pm 1\}]$.
Considera $\left< (1\;2\;3) \right> \leq A_4 \leq S_4$. Describe las clases laterales izquierdas de $\left< (1\;2\;3) \right>$ en $A_4$, las clases laterales izquierdas de $A_4$ en $S_4$, y las clases laterales izquierdas de $\left< (1\;2\;3) \right>$ en $S_4$. Encuentra $[S_4:\left< (1\;2\;3) \right>]$, $[S_4: A_4]$ y $[A_4: \left< (1\;2\;3) \right>]$.
Ahora conoces el índice de $H$ en $G$. Recúerdalo para la siguiente entrada, porque intentaremos describir el orden de $G$ en términos del orden de $H$ y del índice. Sin hacer trampa, ¿cómo crees que se puede relacionar el orden de $G$ y el índice?