(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 $(\mathbb{Z},+)$. Para $a,b\in \mathbb{Z}$ es posible establecer una relación $\sim$ dentro de los enteros como sigue
$$\begin{array}{r}a\sim b\iff b-a\text{ es múltiplo de }n.\end{array}$$
Esta relación de equivalencia induce una partición de $\mathbb{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 \mathbb{Z}$,
$$\begin{array}{r}a\sim b\iff b-a\in H.\end{array}$$

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, $(\mathbb{Z},+)$ es un grupo abeliano, por lo que $b+(-a)\in H\iff (-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\le G.$ Entonces nuestra relación debe quedar, dados $a,b\in G$,
$$\begin{array}{r}a\sim b\iff a^{-1}b\in H.\end{array}$$

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{array}{r}a\sim b\iff a^{-1}b\in H.\end{array}$$

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\le G$.

Primero, tomamos $a\in G$.
También podemos tomar $a^{-1}$ . Así $a^{-1}a=e\in H$. Por lo tanto $a\sim a$ y nuestra relación es reflexiva.

Ahora tomamos $a,b\in G$. Si $a\sim b$, entonces $a^{-1}b\in H$.

$$\begin{array}{r}\Rightarrow b^{-1}a=(a^{-1}b{)}^{-1}\in H\Rightarrow b\sim a\end{array}$$

Por lo que nuestra relación es simétrica.

Sean $a,b,c\in G$. Si $a\sim b$ y $b\sim 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{array}{r}{a}^{-1}c=(a^{-1}b)(b^{-1}c)\in H\Rightarrow a\sim c.\end{array}$$

Así, nuestra relación es transitiva.

Por lo tanto, nuestra relación es una relación de equivalencia.

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

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{array}{rl}\overline{a}& =\{b\in G|a\sim 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\}=aH.\end{array}$$

Ahora veremos algunas observaciones de lo anterior.

Observación. Sean $G$ un grupo, $H\le G$ y $a,b\in G$, entonces
$$\begin{array}{rl}aH=bH& \iff a^{-1}b\in H.\end{array}$$

En particular,
$$\begin{array}{rl}H=bH& \iff b\in H\end{array}$$

Nota. Análogamente se puede trabajar con clases laterales derechas, i.e. ($Ha=Hb\iff b{a}^{-1}\in H$).

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

1. $aH\ne \mathrm{\varnothing }\mathrm{\forall }a\in G$ .
2. Si $a,b\in G$ son tales que $aH\cap bH\ne \mathrm{\varnothing }$, entonces $aH=bH$.
3. ${\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

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{array}{r}\mathrm{\#}\{aH|a\in G\}=\mathrm{\#}\{Ha|a\in G\}.\end{array}$$

Demostración.

Sea $\psi :\{aH|a\in G\}\to \{Ha|a\in G\}$, definida como $\psi (aH)=H{a}^{-1}\mathrm{\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 $\varphi :\{aH|a\in G\}\to \{Ha|a\in G\}$ tal que $\varphi (aH)=Ha$.

Tomemos $b\in G$ tal que $aH=bH$, para que $\varphi$ esté bien definida, necesitaríamos que $\varphi (aH)=\varphi (bH)$, es decir $Ha=Hb$. Por la relación que definimos, esto implica que si $a^{-1}b\in H$, entonces $b{a}^{-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 $H{a}^{-1}b=H$, y así $H{a}^{-1}=H{b}^{-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{array}{rl}aH=bH& \iff a^{-1}b\in H\\ & \iff H{a}^{-1}b=H\\ & \iff H{a}^{-1}=H{b}^{-1}\\ & \iff \psi (aH)=\psi (bH).\end{array}$$
Por tanto, $\psi$ está bien definida y es inyectiva.

Además, dada $Ha,a\in G$.

$$\begin{array}{r}Ha=H(a^{–1}{)}^{-1}=\psi (a^{-1}H)\end{array}$$

así $\psi$ es suprayectiva.

Por lo tanto $\mathrm{\#}\{aH|a\in G\}=\mathrm{\#}\{Ha|a\in G\}.$

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

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 índice de $H$ en $G$ es

$$\begin{array}{r}[G:H]=\mathrm{\#}\{aH|a\in G\}.\end{array}$$

Ejemplos

Retomemos los ejemplos que ya hemos visto.

1. Tomemos a $Q$ como los cuaternios, $H=⟨i⟩=\{\pm 1,\pm i\}$
   $[Q:H]=2$.
2. Ahora, tomemos $S_3$, $H=\{(1),(32)\}$. Como ya vimos,
   $[S_3:H]=3$.
3. Consideremos el grupo $(\mathbb{Z},+)$ y $H=\{6m|m\in \mathbb{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í, $[\mathbb{Z},H]=6$.

Tarea moral

1. 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$.
2. Considera $\{\pm 1\}\le ⟨i⟩\le Q$. Describe las clases laterales izquierdas de $\{\pm 1\}$ en $⟨i⟩$, las clases laterales izquierdas de $⟨i⟩$ en $Q$, y las clases laterales izquierdas de $\{\pm 1\}$ en $Q$. Encuentra $[Q:\{\pm 1\}]$, $[Q:⟨i⟩]$ y $[⟨i⟩:\{\pm 1\}]$.
3. Considera $⟨(123)⟩\le A_4\le S_4$. Describe las clases laterales izquierdas de $⟨(123)⟩$ en $A_4$, las clases laterales izquierdas de $A_4$ en $S_4$, y las clases laterales izquierdas de $⟨(123)⟩$ en $S_4$. Encuentra $[S_4:⟨(123)⟩]$, $[S_4:A_4]$ y $[A_4:⟨(123)⟩]$.
4. Puedes checar el video de Mathologer.

Más adelante…

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?

Entradas relacionadas

• Ir a Álgebra Moderna I.
• Entrada anterior del curso: Producto de subconjuntos y Clases Laterales.
• Siguiente entrada del curso: Teorema de Lagrange.
• Resto de cursos: Cursos.