Archivo de la etiqueta: partición

Álgebra Moderna I: Relación de equivalencia dada por un subgrupo e índice de $H$ en $G$

Por Cecilia del Carmen Villatoro Ramos

(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$.

  1. $aH \neq \emptyset \quad \forall a \in G$ .
  2. Si $a,b \in G$ son tales que $aH \cap bH \neq \emptyset$, 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

Ejemplo 1. 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$.

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

\begin{align*}
[G:H ] = \# \{aH | a\in G\}.
\end{align*}

Ejemplos

Retomemos los ejemplos que ya hemos visto.

  1. Tomemos a $Q$ como los cuaternios, $H= \left< i \right> = \{\pm 1, \pm i\}$
    $[Q:H]= 2$.
  2. Ahora, tomemos $S_3$, $H = \{(1), (3 2)\}$. Como ya vimos,
    $[S_3:H]= 3$.
  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

  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\} \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\}]$.
  3. 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>]$.
  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

Teoría de los Conjuntos I: Conjunto cociente

Por Gabriela Hernández Aguilar

Introducción

En esta entrada partimos de una relación de equivalencia y con ella definimos al conjunto cociente. Dicho conjunto tendrá como elementos a las clases de equivalencia de una relación. Además probaremos que toda relación de equivalencia induce una partición y viceversa.

Conjunto cociente

A continuación definimos un nuevo conjunto. Como parte de los ejercicios de la tarea moral, se incluye verificar que en efecto esta definición da un conjunto a partir de los axiomas.

Definición. Sea $R$ una relación de equivalencia en $A$. Definimos al conjunto cociente por la relación $R$ como el conjunto:

$A/R=\set{[a]_R: a\in A}$.

Veamos algunos ejemplos.

Ejemplo.

Sea $A=\set{1,2,3,4}$ y $R$ la relación identidad en $A$. Sabemos que $R$ es de equivalencia en $A$. Luego, siguiendo la definición de conjunto cociente tenemos que $A\diagup R=\set{[1]_R, [2]_R, [3]_R, [4]_R}$, donde $[1]_R=\set{1}$, $[2]_R=\set{2}$, $[3]_R=\set{3}$, $[4]_R=\set{4}$.

$\square$

Ejemplo.

Sean $A=\set{1,2,3,4}$ y $R=\set{(1,1), (2,2), (3,3), (4,4), (1,4), (4,1)}$. Se tiene que $R$ es una relación de equivalencia en $A$. Luego, tenemos que

$A\diagup R=\set{[1]_R, [2]_R, [3]_R, [4]_R}$,

donde

  • $[1]_R=\set{1,4}$,
  • $[2]_R=\set{2}$,
  • $[3]_R=\set{3}$,
  • $[4]_R=\set{4,1}$, pero este conjunto es igual a $[1]_R$.

Por lo tanto, $A\diagup R=\set{[1]_R, [2]_R, [3]_R}$.

$\square$

Cada relación de equivalencia induce una partición

Teorema. Sea $R$ una relación de equivalencia en $A$. El conjunto cociente $A\diagup R$ es una partición de $A$.

Demostración.

Supongamos que $R$ es una relación de equivalencia en $A$. Veamos que $A\diagup R$ es una partición de $A$.

  1. Sea $a\in A$, vimos en la entrada de particiones que $[a]_R\not=\emptyset$.
  2. Sean $[a]_R,[b]_R\in A\diagup R$ tales que $[a]_R\not=[b]_R$ y veamos que $[a]_R\cap [b]_R=\emptyset$. En la entrada anterior probamos que $aRb$ si y sólo si $[a]_R=[b]_R$ lo cual ocurre si y sólo si $[a]_R\cap[b]_R=\emptyset$. De este modo, si $[a]_R\not=[b]_R$, $[a]_R\cap[b]_R=\emptyset$.
  3. Por último, $\bigcup_{a\in A} [a]_R= A$ pues para cada $a\in A$, $a\in [a]_R$.

$\square$

Este último teorema demuestra que toda relación de equivalencia induce una partición.

Las particiones inducen una relación de equivalencia

El teorema anterior nos permitió probar que cada relación de equivalencia induce una partición y de hecho, esta partición será el conjunto cociente, Podemos preguntarnos si el resultado se cumple «de regreso», en el sentido de si dada una partición podemos inducir una relación de equivalencia. Veamos el siguiente ejemplo.

Ejemplo.

Este ejemplo es todavía algo informal, pues no hemos introducido formalmente a los números naturales, a los pares y los impares. Haremos esto más adelante. Por el momento, puedes usar lo que ya sabes de los números naturales y de su paridad.

Sea $A=\set{0,1,2, 3, \cdots}$ y sean $A_1=\set{0,2,4,\cdots}$ y $A_2=\set{1,3, 5,\cdots}$. Resulta que $\mathcal{P}$ es una partición de $A$ pues tanto $A_1$ y $A_2$ son conjuntos no vacíos, además $A_1\cap A_2=\emptyset$ y $A_1\cup A_2=A$.

Queremos ver si existe la manera de relacionar a los elementos de $A$ tal que la relación que resulte sea de equivalencia. Consideremos la relación definida como sigue:

$R_\mathcal{P}=\set{(a,b)\in A\times A: a,b\in A_1\vee a,b\in A_2}$.

Notemos que la relación $R_\mathcal{P}$ es una relación en $A$ y además relaciona a los elementos si pertenecen a un mismo conjunto de la partición.

Veamos que $R_\mathcal{P}$ es una relación de equivalencia, para ello verifiquemos si es una relación reflexiva, simétrica y transitiva.

  1. Sea $a\in A$. Si $a$ es un número par (existe $k$ tal que $a= 2k$), entonces $a\in A_1$ y por lo tanto $(a,a)\in R_\mathcal{P}$.
    Si $a$ es un número impar (existe $k$ tal que $a= 2k+1$), entonces $a\in A_2$ y por lo tanto $(a,a)\in R_\mathcal{P}$.
    Por lo tanto, $R_\mathcal{P}$ es una relación reflexiva.
  2. Supongamos que $(a,b)\in R_\mathcal{P}$ y veamos que $(b,a)\in R_\mathcal{P}$.
    Como $(a,b)\in R_\mathcal{P}$ entonces $a,b\in A_1$ o $a,b\in A_2$, lo que es equivalente a decir que $b,a\in A_1$ o $b,a\in A_2$, es decir, $(b,a)\in R_\mathcal{P}$.
    Por lo tanto, $R_\mathcal{P}$ es una relación simétrica.
  3. Supongamos que $(a,b)\in R_\mathcal{P}$ y $(b,c)\in R_\mathcal{P}$.
    Como $(a,b)\in R_\mathcal{P}$ entonces $a,b\in A_1$ o $a,b\in A_2$. Luego, como $(b,c)\in R_\mathcal{P}$ entonces $b,c\in A_1$ o $b,c\in A_2$. Si $a,b\in A_1$, entonces $b,c\in A_1$, pues de lo contrario $b,c\in A_2$ y, por tanto, $b\in A_1$ al mismo tiempo que $b\in A_2$ y así, $b$ es par e impar, lo cuál no puede ocurrir. Por lo tanto, $b,c\in A_1$, de modo que $a,c\in A_1$ y así, $(a,c)\in R_\mathcal{P}$. Análogamente, si $a,b\in A_2$, entonces, $b,c\in A_2$ y, por tanto, $a,c\in A_2$ y $(a,c)\in R_{\mathcal{P}}$. Por lo tanto $R_\mathcal{P}$ es una relación transitiva.

Por lo tanto, $R_\mathcal{P}$ es una relación de equivalencia.

$\square$

Podemos demostrar que esto ocurre para cualquier conjunto y cualquier partición. Veamos el siguiente teorema.

Teorema. Toda partición induce una relación de equivalencia.

Demostración.

Sea $A$ un conjunto y $\mathcal{P}$ una partición de $A$. Defimos a $R_\mathcal{P}$ como el siguiente conjunto:

$R_\mathcal{P}=\set{(a,b)\in A\times A: \exists p\in \mathcal{P}\ \text{tal que}\ a,b\in p}$.

Notemos que $R_\mathcal{P}$ es una relación en $A$ pues es un subconjunto de $A\times A$. Veamos que $R$ es de equivalencia, es decir, $R$ es reflexiva, simétrica y transitiva.

  1. Sea $a\in A$. Dado que $\mathcal{P}$ es una partición de $A$, entonces $A=\bigcup\mathcal{P}$. Entonces existe $p\in \mathcal{P}$ tal que $a\in p$, de donde $(a,a)\in R_\mathcal{P}$. Por lo tanto, $R_\mathcal{P}$ es una relación reflexiva.
  2. Supongamos que $(a,b)\in R_\mathcal{P}$ y veamos que $(b,a)\in R_\mathcal{P}$.
    Como $(a,b)\in R_\mathcal{P}$, existe $p\in \mathcal{P}$ tal que $a, b\in p$. Lo que es equivalente a decir que existe $p\in \mathcal{P}$ tal que $b,a\in p$, es decir, $(b,a)\in R_\mathcal{P}$. Por lo tanto, $R_\mathcal{P}$ es una relación simétrica.
  3. Supongamos que $(a,b)\in R_\mathcal{P}$ y $(b,c)\in R_\mathcal{P}$.
    Como $(a,b)\in R_\mathcal{P}$, existe $p\in \mathcal{P}$ tal que $a, b\in p$. Luego, como $(b,c)\in R_\mathcal{P}$, existe $q\in \mathcal{P}$ tal que $b,c\in q$. Además $p=q$ pues de lo contrario, $p\not= q$ y $b\in p$ al mismo tiempo que $b\in q$ y así, $b\in p\cap q$ lo cual es una contradicción a la definición de partición. Por lo tanto, $p=q$ y así $a,c\in p$, por lo que $(a,c)\in R_\mathcal{P}$. Por lo tanto, $R_\mathcal{P}$ es una relación transitiva.

Por lo tanto, $R_\mathcal{P}$ es una relación de equivalencia en $A$.

$\square$

Con este último teorema hemos probado que en efecto, así como cada relación de equivalencia induce una partición, se cumple que cada partición induce una relación de equivalencia. Además, estas correspondencias son en cierto sentido «una la inversa de la otra» como explorarás en los ejercicios a continuación.

Tarea moral

La siguiente lista de ejercicios te ayudará a reforzar el contenido de esta entrada:

  1. Demuestra mediante los axiomas que si $A$ es un conjunto y $R$ es una relación de equivalencia en $A$, entonces $A\diagup R$ es un conjunto.
  2. Sea $A=\set{1,2,3,4,5,6}$ y $R=\set{(1,1), (2,2), (3,3), (4,4), (5,5), (6,6), (5,6), (6,5), (4,6), (6,4), (4,5), (5,4)}$ relación de equivalencia en $A$. Determina al conjunto cociente de $A$ con respecto a $R$.
  3. Demuestra mediante los axiomas que $R_{\mathcal{P}}$ del último teorema en efecto es un conjunto.
  4. Demuestra lo siguiente, en términos de la notación usada en esta entrada:
    • Si $A$ es conjunto y $R$ es relación de equivalencia en $A$, entonces $R_{A\diagup R}=R$.
    • Si $A$ es conjunto $\mathcal{P}$ es partición de $A$, entonces $A\diagup R_{\mathcal{P}}=\mathcal{P}$.
  5. Si $R_1$ y $R_2$ son relaciones de equivalencia en $A$, ya demostramos que $R_1\cap R_2$ también lo es. ¿Cómo es $A\diagup (R_1\cap R_2)$ con respecto a $A\diagup R_1$ y $A\diagup R_2$?

Más adelante…

En la siguiente entrada introduciremos el concepto de orden parcial y de orden total. Estos son otro tipo especial de relaciones. Volveremos a usar las propiedades de reflexividad y transitividad. Sin embargo, tendremos que introducir otras como la asimetría, la antisimetría y la irreflexibilidad.

Entradas relacionadas

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 3»