Archivo de la etiqueta: Algebra moderna

Álgebra Moderna I: Factorización Completa

Introducción

Consideremos $\alpha \in S_7$ como $\alpha = (1\,3\,2)(6\,4)$, esta permutación fija a $5$ y a $7$. Entonces también podemos escribirla como $\alpha = (1\,3\,2)(6\,4)(5)(7)$. Notamos que una de las cosas en las que difieren es que en la segunda descomposición estamos agregando uno ciclos, pero también $\alpha = (1 \, 3 \, 2) (7) (6 \, 4)(5)$ es otra forma diferente de expresar a la permutación escribiendo a los uno ciclos. En esta entrada nos planteamos la posibilidad de escribir a $\alpha$ como un producto de ciclos distintos incluyendo a todos los uno ciclos y analizamos en qué difieren todas las distintas maneras de hacerlo.

Antes de empezar, podrías intentar escribir todas las maneras posibles de describir a $\alpha$ escribiendo a los uno ciclos. ¿Notas algo en común entre todas? Al final de esta entrada, tendremos la respuesta más clara.

Definición de una factorización completa

Para empezar, necesitamos definir un nuevo concepto.

Definición. Sea $\alpha \in S_n$. Una factorización completa de $\alpha$ es una descomposición de $\alpha$ en ciclos disjuntos con un $1-$ciclo por cada elemento fijado por $\alpha$.

Ejemplos.

  1. Sea $\alpha \in S_8$ como
    \begin{align*}
    \alpha = \begin{pmatrix}
    1 & 2 & 3 & 4 & 5 & 6 & 7 & 8\\
    3 & 2 & 1 & 5 & 7 & 6 & 4 & 8
    \end{pmatrix}
    \end{align*}

    Entonces $\alpha = (1 \; 3)\,(4 \; 5 \; 7)$ es una factorización de $\alpha$ en ciclos distintos pero no es una factorización completa de $\alpha$. Por otro lado $\alpha = (1 \; 3)\,(4 \; 5 \; 7)\,(2) \,(6) \,(8)$ sí es una factorización completa de $\alpha$.
  2. Sea $\beta$ dada por \begin{align*}
    \beta = (2 \; 4 \; 6 \; 8) \, (1 \; 3 \; 5)\,(7).
    \end{align*}

    Esa es una factorización completa de $\beta \in S_8$, pero no en $S_{10}$, en $S_{10}$ una factorización completa de de $\beta$ sería
    \begin{align*}
    \beta = (2 \; 4 \; 6 \; 8) \, (1 \; 3 \; 5)\,(7)\, (9) \, (10).
    \end{align*}

Una herramienta misteriosa que nos ayudará más tarde

El siguiente resultado es un lema técnico que nos ayudará a resolver el problema planteado al inicio de esta entrada. De manera informal el lema nos dice que si tenemos una factorización de una permutación en factores distintos, el factor que mueve a un elemento de su soporte, moverá a ese elemento de la misma forma que la permutación misma. También nos dice que si dos ciclos y cada una de sus potencias mueven a un elemento de su soporte de la misma forma, entonces los ciclos son iguales.

Lema.

  1. Sea $\alpha \in S_n$, $\alpha = \beta_1 \cdots \beta_t$ una factorización en permutaciones disjuntas e $i \in \{1,\dots,n\}$. Si $\beta_1(i) \neq i$ entonces $\alpha^k(i) = \beta_1^k(i)$ para toda $k \in \z$.
  2. Sean $\beta,\gamma \in S_n$ ciclos. Si existe $i \in \{1, \dots, n\}$ tal que $\beta(i) \neq i \neq \gamma (i)$ y $\beta^k(i) = \gamma^k(i)$ para toda $k \geq 1$, entonces $\beta = \gamma$.

Demostración.

  1. Sea $\alpha = \beta_1 \cdots \beta_t \in S_n$ una factorización en permutaciones disjuntas. Sea $i \in \{1, \dots,n\}$ tal que $\beta_1(i) \neq i$.
    Entonces, $\alpha^k = (\beta_1(\beta_2 \cdots \beta_t))^k = \beta_1^k(\beta_2 \cdots\beta_t)^k$ para toda $k \in \z$ ya que como $\beta_1$ y $(\beta_2 \cdots\beta_t)$ son disjuntas, conmutan.
    Además, como $\beta_1(i)\neq i$, el hecho de que $\beta_1, \dots, \beta_t$ sean disjuntas implica que $\beta_2(i)=\dots \beta_t(i)=i$, entonces $\beta_2 \cdots \beta_t(i) = i$. Así $\alpha^k(i) = \beta_1^k (\beta_2\cdots \beta_t)^k(i) = \beta_1^k(i)$ para toda $k \in \z$.
  2. Sean $\beta, \gamma \in S_n$ ciclos, $i \in \{1, \dots, n\}$ tal que $\beta$ y $\gamma$ mueven a $i$ y $\beta^k(i) = \gamma^k(i)$ para todo $k \geq 1$.
    P.D. $\beta = \gamma$
    Como $\beta$ y $\gamma$ son ciclos que mueven a $i$, entonces los podemos escribir como $\beta = (i \; i_1 \; \cdots \; i_r)$ y $\gamma = (i \; j \; \cdots \; j_l)$.
    Si observamos cómo mueven a los elementos, tenemos que
    \begin{align*}
    \beta^k(i) = i_k, \; k\in \{1, \dots, r\}, \; \beta^{r+1}(i) = i \\
    \gamma^k(i) = j_k, \; k \in \{1, \dots, l\}, \; \beta^{l+1}(i) = i
    \end{align*}
    Supongamos que $r \neq l$, sin pérdida de generalidad, $r < l$.
    \begin{align*}
    i &= \beta^{r+1}(i) \\
    & = \gamma^{r+1}(i) & \text{porque }\beta^k(i) = \gamma^k(i) \;\; \forall k \geq 1 \\
    & = j_{r+1} \neq i & r+1 \leq l
    \end{align*}
    Esto es una contradicción.
    Así, $r = l$ y $i_k = \beta^k(i) = \gamma^k(i) = j_k$ para toda $k \in \{1,\dots,r\}$.
    Por lo tanto $\beta = \gamma$.

$\square$

No es UNA factorización completa, es LA factorización completa

Recortemos la pregunta de la introducción ¿qué tienen en común todas las formas de describir a $\alpha$ como un producto de ciclos distintos en el que se incluyen todos los uno ciclos? He aquí la respuesta.

Teorema. Una factorización completa es única salvo por el orden de los factores.

Demostración.

Dado que en una factorización completa los $1-$ciclos corresponden a los elementos que quedan fijos, basta probar que los ciclos de longitud mayor a $1$ que aparecen en toda factorización completa coinciden.

Haremos inducción sobre $k = \#$sop $\alpha$.

Caso base. Cuando $k = 0$, entonces $\alpha =$ id y por lo tanto no tiene ciclos de longitud mayor a 1.

Sea $k > 0$.
Hipótesis de Inducción. Supongamos que si $\beta \in S_n$ con $\#$sop $\beta < k$, cualesquiera dos factorizaciones completas de $\beta$ tienen exactamente los mismos ciclos de longitud mayor a 1.

Sean $\alpha = \beta_1 \cdots \beta_t = \gamma_1 \cdots \gamma_s$, con $t,s \in \n^+$ dos factorizaciones de $\alpha$ obtenidas de omitir los $1-$ciclos en dos factorizaciones completas de $\alpha$.

Como $k>0$, existe $i \in \{1,\dots,n\}$ tal que $\alpha(i) \neq i$ y entonces también deben existir algún $\beta_j$ y algún $\gamma_l$ que muevan a $i$. Sin pérdida de generalidad supongamos que $\beta_1(i) \neq i \neq \gamma_1(i)$.

Entonces, por el inciso 1 del lema anterior,
\begin{align*}
\beta_i^k(i) = \alpha^k(i) = \gamma_1(i)^k \qquad \forall k \in \z
\end{align*}

y, por el inciso 2 del mismo lema,
\begin{align*}
\beta_1 = \gamma_1 .
\end{align*}

Así, cancelando $\beta_1$ tenemos que

\begin{align*}
\beta_2 \cdots \beta_t = \gamma_2 \cdots \gamma_s.
\end{align*}

Pero $\beta_2 \cdots \beta_t = \gamma_{2} \cdots \gamma_s$ son dos factorizaciones de una permutación que mueve menos de $k$ elementos con ciclos disjuntos de longitud mayor a $1$.

Por la hipótesis de inducción, $t = s$ y $\beta_2, \dots, \beta_t$son los mismos que $\gamma_2, \dots, \gamma_t$ salvo por el orden.

Por lo tanto, $\beta_1,\dots,\beta_t$ son los mismos que $\gamma_1,\dots,\gamma_s$ salvo por el orden.

$\square$

Tarea moral

  1. Considera el siguiente elemento de $S_9$
    \begin{align*}
    \alpha = \begin{pmatrix}
    1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 \\
    9 & 8 & 1 & 4 & 3 & 7 & 6 & 2 & 5
    \end{pmatrix}
    \end{align*}
    Encuentra la factorización completa de $\alpha$.
  2. Sea $\alpha \in S_n$ y $\alpha = \beta_1 \dots \beta_t$ una factorización completa de $\alpha$. Analiza qué ocurre con $\displaystyle \sum_{i= 1}^t \text{long } \beta_i$.
  3. Considera el ejercicio 3 de la entrada de permutaciones:
    Sean $\alpha, \beta \in S_{10}$,
    \begin{align*}
    \alpha = \begin{pmatrix}
    1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 \\
    10 & 4 & 3 & 2 & 9 & 7 & 5 & 1 & 6 & 8
    \end{pmatrix} \\ \\
    \beta = \begin{pmatrix}
    1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 \\
    10 & 9 & 8 & 7 & 6 & 5 & 4 & 3 & 2 & 1
    \end{pmatrix}
    \end{align*}
    Encuentra las factorizaciones completas de $\alpha, \beta, \alpha\beta, \beta\alpha$ y $\beta^{-1}$.

Más adelante…

Entonces ya sabemos que existe una factorización única para cada permutación. La usaremos para definir el concepto de estructura cíclica en la siguiente entrada.

Entradas relacionadas

Álgebra Moderna I: Permutaciones disjuntas

Introducción

Repasemos un poco el último ejemplo de la entrada anterior. En $S_5$ teníamos la composición $(1 \; 2 \; 3 \; 4)(2 \; 4 \; 5)$ y fijándonos en qué ocurre con cada elemento, concluimos que esta composición es igual a $(1 \; 2)(3 \; 4 \; 5)$. Entonces obtuvimos dos composiciones distintas para escribir a esa permutación. En el dibujo, es más claro que en la primera los dos ciclos se están entrelazando entonces es más difícil entender qué es lo que hace la permutación. Pero cuando vemos la representación de $(1 \; 2)(3 \; 4 \; 5)$ es más fácil entender qué es lo que está haciendo nuestra permutación. Así, es más conveniente trabajar con la segunda notación.

La representación de $(1 \; 2 \; 3 \; 4)(2 \; 4 \; 5) = (1 \; 2)(3 \; 4 \; 5)$

A simple vista podemos observar que $(1 \; 2 \; 3 \; 4)$ y $(2 \; 4 \; 5)$ comparten el 2, pero $(1 \; 2)$ y $(3 \; 4 \; 5)$ no comparten ningún elemento. En este caso, se dice que $(1 \; 2)$ y $(3 \; 4 \; 5)$ son ciclos disjuntos. Más aún, ¿será que cualquier permutación se puede descomponer en ciclos disjuntos? la respuesta es que , esto lo demostraremos también en esta entrada.

Definición de permutaciones disjuntas

Antes de definir lo que significa que dos permutaciones sean disjuntas, nos gustaría recordar la última observación de la entrada anterior.
Observación. Si $n \geq 3$, entonces $S_n$ no es abeliano.
Esto nos sirve para establecer que, en general, trabajaremos con grupos no abelianos.

Ahora sí definamos lo que son permutaciones disjuntas.
Definición. Sean $\alpha, \beta \in S_n$. Decimos que $\alpha$ y $\beta$ son disjuntas o ajenas si sop$\alpha \cap $sop$\beta = \emptyset$, es decir,

\begin{align*}
\text{Si }\alpha(i) \neq i &\Rightarrow \beta(i) = i \\
\text{Si }\beta(i) \neq i & \Rightarrow \alpha(i) = i
\end{align*}

Observación. Si $\alpha$ y $\beta$ son disjuntas, pueden fijar a un mismo elemento pero no mover a un mismo elemento.

En particular, si tenemos dos ciclos de longitud mayor a uno, podemos obtener la siguiente equivalencia.
Observación. Sean $\alpha = (i_1 \dots i_r)$ y $\beta = (j_1 \dots j_t)$ con $r,t > 1$. Entonces $\alpha$ y $\beta$ son disjuntas si y sólo si $\{i_1, \dots, i_r\} \cap \{j_1, \dots, j_t\} = \emptyset$

Ejemplos.

  • $(1 \; 2 \; 3 \; 4)$ y $(2 \; 4 \; 5)$ no son disjuntas.
  • $(1 \; 2)$ y $(3 \; 4 \; 5)$ son disjuntas.

Las permutaciones disjuntas conmutan

Lema. Sean $\alpha, \beta \in S_n$. Si $\alpha$ y $\beta$ son disjuntas, entonces conmutan.

P.D. $\alpha \beta = \beta \alpha$.
Sea $i \in \{1, \dots, n\}$.

Caso 1. Cuando $\alpha(i) = i$, $\beta(i) = i$. Ambas fijan al mismo elemento, esto es posible en permutaciones disjuntas. Entonces, al componer, no importará que permutación se aplique primero.
\begin{align*}
\alpha\beta(i) = \alpha(i) = i = \beta(i) = \beta\alpha(i).
\end{align*}

Caso 2. Cuando $\alpha(i) = i$, $\beta(i) \neq i$.
Si componemos, obtenemos $\beta\alpha(i) = \beta(i)$.
Como $\beta$ es inyectiva y $\beta(i) \neq i$, entonces $\beta(\beta(i)) \neq \beta(i)$. Así $\beta$ mueve a $\beta(i)$ y como $\alpha$ y $\beta$ son disjuntas $\alpha$ fija a $\beta(i)$. Entonces
\begin{align*}
\alpha\beta(i) = \alpha(\beta(i)) = \beta(i)
\end{align*}
Por lo tanto $\beta\alpha(i) = \alpha\beta(i)$.

Caso 3. Cuando $\alpha(i) \neq i$, $\beta(i) = i$.
Este es análogo al caso 2.

El caso $\alpha(i) \neq i$, $\beta(i) \neq i$ no se da pues $\alpha$ y $\beta$ son disjuntas.
Por lo tanto $\alpha\beta = \beta\alpha$.

$\square$

Toda permutación se puede descomponer en ciclos disjuntos

Comencemos como un ejemplo. Consideremos a la permutación $\alpha \in S_9$

\begin{align*}
\alpha = \begin{pmatrix}
1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 \\
3 & 4 & 1 & 7 & 8 & 6 & 2 & 9 & 5
\end{pmatrix}.
\end{align*}

  • El 1 va al 3 y el 3 regresa al 1, entonces tenemos una transposición $(1 \; 3)$.
  • Luego, observemos que el 2 va al 4, el 4 al 7 y el 7 al 4. Así tenemos un $3-$ciclo, $(2 \; 4 \; 7)$.
  • De los números que no han aparecido hasta ahora, podemos tomar el 5, este va al 8, el 8 al 9 y el 9 regresa al 5. Entonces tenemos otro $3-$ciclo $(5 \; 8 \; 9)$.
  • Por último, el 6 queda fijo.

Esto se puede dibujar de la siguiente manera:

Representación gráfica de $\alpha$.

Pero también se puede escribir algebraicamente como:

\begin{align*}
\alpha = (1 \; 3)\,(2 \; 4 \; 7)\,(5 \; 8 \; 9)\,(6).
\end{align*}

Ahora veremos que cualquier permutación se puede descomponer en un producto de ciclos disjuntos.

Teorema. Toda permutación en $S_n$ es un ciclo o un producto de ciclos disjuntos.

Demostración.
Sea $\alpha \in S_n$. Lo demostraremos con inducción sobre sop$\alpha = k$.

Caso Base. Supongamos que $k = 0$, entonces sop$\alpha = \emptyset$. Entonces $\alpha = $id$= (1)$ que es un $1-$ciclo.

Supongamos ahora que $k > 0$.
Hipótesis de Inducción. Supongamos que si $\beta \in S_n$ y $\#$sop$\beta < k$, entonces $\beta$ es un ciclo o un producto de ciclos disjuntos.
Como $k = \#$sop$(\alpha) > 0$, existe $i \in $ sop$\alpha$. Consideremos
\begin{align*}
i , \alpha(i), \alpha^2(i), \dots
\end{align*}

Sabemos que esta lista tienen elementos repetidos ya que consiste de números en $\{1,2,\dots,n\}$. Sea
\begin{align*}
r = \text{mín}\{t \in \n | i, \alpha(i), \dots, \alpha^t(i) \text{ tiene repeticiones}\}.
\end{align*}

Por la elección de $r$
\begin{align*}
\alpha^r(i) &= \alpha^s(i) & \text{para algún } 0 \leq s < r \\
\Rightarrow \, \alpha^{r-s}(i) &= i & \text{con } 0 < r-s \leq r
\end{align*}

Por lo tanto, $i, \alpha(i), \dots, \alpha^{r-s}(i)$ tiene repeticiones con $r-s \leq r$.

Para no contradecir la elección de $r$ tenemos que $r-s = r$. Así $s = 0$ y $\alpha^r(i) = \alpha^0(i) = i$.

Obs. Observemos que $j \in \{i, \alpha(i), \alpha^{r-1}(i)\}$ si y sólo si $\alpha(j) \in \{i, \alpha(i), \alpha^{r-1}(i)\}$. Demostraremos esto.

$|\Rightarrow)$ Supongamos que existe $0 \leq t < r$ tal que $j = \alpha^{t}(i)$, entonces $\alpha(j) = \alpha^{t+1}(i)$ donde $0 < t+1 \leq r$.

Pero en el caso donde $t+1 = r$, $\alpha(j) = \alpha^r(i) = i$.
Así, $\alpha(j) \in \{i, \alpha(i), \dots, \alpha^{r-1}(i)\}$

$\Leftarrow)$ Supongamos que existe $0\leq t < r$ tal que $\alpha(j) = \alpha^t(i)$.

Entonces $j = \alpha^{t-1}(i)$ para $-1 \leq t-1 < r$.

Pero en el caso cuado $-1 = t-1$, $j = \alpha^{-1} = \alpha^{-1}(i) = \alpha^{-1}(\alpha^r(i)) = \alpha^{r-1}(i)$.
Así $j \in \{i, \alpha(i), \dots, \alpha^{r-1}(i)\}$.

Ahora, sea $\sigma = (i \; \alpha(i) \; \dots \; \alpha^{r-1})$. Entonces $\sigma^{-1} = (\alpha^{r-1}(i) \; \dots \; \alpha(i) \; i)$.

Sea $\alpha’ = \sigma^{-1}\alpha$. Veamos la regla de correspondencia:
Si $j \in \{i, \alpha(i), \dots, \alpha^{r-1}(i)\}$ entonces existe $0 \leq t < r$ tal que $j = \alpha^t(i)$.
\begin{align*}
\alpha'(j) &= \sigma^{-1}\alpha(j) \\
&= \sigma^{-1}\alpha(\alpha^t(i)) \\
&= \sigma^{-1}(\alpha^{t+1}(i)) \\
&= \alpha^t(i) = j
\end{align*}

Si $j \not\in \{i, \alpha(i), \dots, \alpha^{r-1}(i)\}$, por la observación, $\alpha(j) \not\in \{i, \alpha(i), \dots, \alpha^{r-1}(i)\}$, entonces
\begin{align*}
\alpha'(j) = \sigma^{-1}\alpha(j) = \sigma^{-1}(\alpha(j)) = \alpha(j)
\end{align*}
Así sop$\alpha’ = $ sop$\alpha \setminus$ sop$\sigma$.

Entonces $\alpha’$ y $\sigma$ son disjuntos y $\#$sop$\alpha’ < \#$sop$\alpha = k$.
Por la H.I. $\alpha’$ es un ciclo o un producto de ciclos disjuntos.

Concluimos que $\alpha = \sigma\alpha’$ es un producto de ciclos disjuntos.

$\square$

Ejemplo.
Sea $\alpha \in S_{10}$ como sigue

\begin{align*}
\alpha = \begin{pmatrix}
1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 \\
4 & 1 & 7 & 9 & 6 & 8 & 3 & 5 & 2 & 10
\end{pmatrix}
\end{align*}

Veamos qué sucede con el $1 \in $ sop$\alpha$. Le aplicamos $\alpha$ varias veces para formar el primer el ciclo.

\begin{align*}
1, \alpha(1) = 4, \alpha^2(1) = 9, \alpha^3(1) = 2, \alpha^4(1) = 1
\end{align*}

Entonces, nombremos $\sigma$ a ese $4-$ciclo, $\sigma = (1 \; 4 \; 9 \; 2)$.

Ahora, tomemos un elemento que no esté en $\sigma$, digamos $3$. De nuevo, aplicamos $\alpha$ varias veces para descubrir el ciclo al que pertenece.
\begin{align*}
3, \alpha(3) = 7, \alpha^2(3)=3
\end{align*}

Tenemos así una transposición $(3\; 7).$

Volvemos a tomar un número que no aparezca hasta ahora, digamos $5$. Aplicando $\alpha$ varias veces, podemos descubrir el ciclo,
\begin{align*}
5, \alpha(5) = 6, \alpha^2(5) = 8, \alpha^3(5) = 5.
\end{align*}

Ponemos ahora un $1$-ciclo por cada elemento que sea fijado por $\alpha$, en este caso sólo para el $10$.

Así, nuestra permutación quedaría como
\begin{align*}
\alpha = (1 \; 4 \; 9 \; 2 ) (3 \; 7)( 5 \; 6 \; 8)(10).
\end{align*}

$\square$

Tarea moral

  1. Demuestra la observación: Si $n \geq 3$, entonces $S_n$ no es abeliano.
  2. Encuentra dos permutaciones disjuntas $\alpha$ y $\beta$. Encuentra $\beta\alpha$ y $\alpha\beta$ ¿qué observas al comparar $\beta\alpha$? Intenta con otro ejemplo de dos permutaciones disjuntas $\alpha$ y $\beta$ y analiza lo que ocurre.
  3. Sean $\alpha$ y $\beta$ dos permutaciones que conmutan ¿podemos concluir entonces $\alpha$ y $\beta$ son disjuntas?
  4. Considera el siguiente elemento de $S_{11}$
    \begin{align*}
    \alpha = \begin{pmatrix}
    1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11\\
    5 & 8 & 2 & 6 & 4 & 1 & 3 & 7 & 9 & 11 & 10
    \end{pmatrix}
    \end{align*}
    Encuentra una factorización en ciclos disjuntos de $\alpha$, y de $\alpha^{-1}$.

Más adelante…

Ya conocemos qué son las permutaciones disjuntas y que cualquier permutación se puede ver como multiplicación de ciclos disjuntos. También, puede que hayas notado que comenzamos a escribir los $1-$ciclos de los elementos que se quedan fijos en las permutaciones. Esto nos encamina al tema principal de la siguiente entrada, la factorización completa, que no es más que la descomposición de una permutación en ciclos disjuntos incluyendo los $1-$ciclos.

Entradas relacionadas

Álgebra Moderna I: Permutaciones y Grupo Simétrico

Introducción

La Unidad 2 empieza con algunas definiciones nuevas. Veremos un ejemplo específico de grupo, primero definiremos qué es una permutación y luego, el conjunto de todas las permutaciones, al que llamaremos grupo simétrico junto con la composición. Este grupo es importante porque más adelante descubriremos que los grupos se pueden visualizar como subgrupos de grupos de permutaciones.

Primeras definiciones

Definición. Una permutación de un conjunto $X$ es una función biyectiva de $X$ en $X$.

Notación. Denotaremos por $S_X$ al conjunto

\begin{align*}
S_X = \{\sigma: X \to X | \sigma \text{ es biyectiva}\}
\end{align*}

Si $X = \{1,…,n\}$, $S_X$ se denota por $S_n$. Si tomamos $\alpha, \beta \in S_X$ la composición de $\alpha$ seguida de $\beta$ se denota por $\beta\alpha$.

Observación 1. $S_X$ con la composición es un grupo, se llama el Grupo Simétrico.

Observación 2. $|S_n| = n!$

Definición. Sea $\alpha \in S_n$, $i \in \{1,2,…,n\}$.

Decimos que $\alpha$ mueve a $i$ si $\alpha(i) \neq i$, y que $\alpha$ fija a $i$ si $\alpha(i) = i$. El soporte de $\alpha$ es

\begin{align*}
\text{sop }\alpha = \{i \in \{1,\dots, n\}: \alpha(i) \neq i\}.
\end{align*}

Ejemplo

Sea $\alpha \in S_{10}$, definida como

\begin{align*}
\alpha = \begin{pmatrix}1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10\\
8 & 3 & 1 & 7 & 2 & 6 & 4 & 5 & 9 & 10 \end{pmatrix}
\end{align*}

La matriz es una manera de representar una permutación, la fila de arriba son todos los elementos de $X= \{1,2,3,4,5,6,7,8,9,10\}$ y la fila de abajo está formada por las imágenes bajo $\alpha$ de cada elemento de la fila de arriba. Es decir, la matriz de $\alpha$ se puede leer como: «$\alpha$ manda al $1$ al $8$», «el $ 2 $ lo manda al $3$», etc. Entonces tenemos que, $\alpha$ mueve a $1,2,3,4,5,7,8$ y fija al $6,9,10$. Así

\begin{align*}
\text{sop } \alpha = \{1,2, 3, 4, 5, 7, 8\}.
\end{align*}

Definición de ciclo

Definición. Sea $\alpha \in S_n$, $r\in\z$, $r>1$. Decimos que $\alpha$ es un ciclo de longitud $r$ o un $r$-ciclo si existen $i_1, \dots, i_r \in \{1, \dots, n\}$ distintos tales que $\text{sop }\alpha = \{i_1, \dots, i_r\}$ y

\begin{align*}
\alpha(i_t) = \begin{cases}
i_{t+1} & \text{si } t \in \{1, \dots, r-1\} \\
i_1 & \text{si } t = r
\end{cases}
\end{align*}

Figura para ilustrar la definición de un ciclo.

Diremos que la permutación $\text{id}\in S_n$ es un ciclo de longitud $1$ o un $1$-ciclo. Los ciclos de longitud dos se llaman transposiciones.

Las transposiciones son muy importantes porque, como veremos más adelante, nos permitirán describir a las demás permutaciones.

Notación.

  • Un $r$-ciclo $\alpha$, tal que cada $i_j$ va a $i_{j+1}$ para cada $j \in \{1,…,r-1\}$ y $i_r$ regresa a $i_1$ se denota como $\alpha = (i_1\; i_2 \; \dots \; i_r)$.
  • Además, denotamos como $r = \text{long } \alpha$ a la longitud de $\alpha$.

Ejemplos

  1. $\alpha \in S_8$ con $\alpha = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 \\ 1 & 4 & 3 & 5 & 8 & 2 & 7 & 6 \end{pmatrix}$.

\begin{align*}
\alpha &= (2 \; 4 \; 5 \; 8 \; 6) = (4 \; 5 \; 8 \; 6 \; 2) \\
& = (5 \; 8 \; 6 \; 2 \; 4) = (8 \; 6 \; 2 \; 4 \; 5) \\
& = (6 \; 2 \; 4 \; 5 \; 8)
\end{align*}

Representación de $\alpha$.

En este caso, $\alpha$ es un $5-$ciclo y $\text{long }\alpha = 5$.
Observemos que el ciclo se puede comenzar a escribir con cualquier elemento de su soporte, siempre y cuando se cumpla la regla de correspondencia establecida.

2. Ahora, consideremos $\beta \in S_8$ como

Representación de $\beta$.

\begin{align*}
\beta =\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 \\ 1 & 2 & 5 & 4 & 3 & 6 & 7 & 8\end{pmatrix}
\end{align*}
entonces podemos decir que $\beta = (3 \; 5)$, porque a los otros elementos los deja fijos.

Si componemos $\beta$ con el $\alpha$ del ejemplo anterior obtenemos:

\begin{align*}
\alpha\beta &= (2 \; 4 \; 5 \; 8 \; 6) (3 \; 5) = (2 \; 4 \; 5 \; 3 \; 8 \; 6).
\end{align*}

Para verificar qué ésta es efectivamente la composición de $\beta$ seguida de $\alpha$, tenemos que observar a dónde manda a cada elemento:

  • Comenzamos con el $2$ (esto es arbitrario, se puede comenzar con el número que sea), observamos que $\beta$ lo deja fijo, entonces nos fijamos a dónde lo manda $\alpha$, en este caso, el $2$ es mandado al $4$. Así, $\alpha\beta$ manda al $2$ en el $4$.
  • Repetimos el proceso con el $4$, $\beta$ lo deja fijo y $\alpha$ lo manda al $5$. Así, $\alpha\beta$ manda al $4$ en el $5$.
  • Ahora con el $5$, $\beta$ manda al $5$ en $3$, entonces ahora vemos a dónde manda $\alpha$ al $3$, en este caso lo deja fijo. Así, $\alpha\beta$ manda al $5$ en el $3$.
  • Entonces ahora tenemos que observar a dónde es mandado el $3$ después de la composición. Primero, $\beta$ manda el $3$ al $5$ y $\alpha$ manda el $5$ al $8$, por lo tanto $\alpha\beta$ manda el $3$ al $8$.
  • Así continuamos con todos los elementos que aparezcan en la composición hasta terminar.

    Ahora, veamos qué sucede con $\beta\alpha$. El proceso es análogo:
    \begin{align*}
    \beta\alpha &= (3 \; 5) (2 \; 4 \; 5 \; 8 \; 6) = (3 \; 5 \; 8 \; 6 \; 2 \; 4)
    \end{align*}
    Por lo tanto $\alpha\beta \neq \beta\alpha$.

3. En $S_5$. Podemos considerar la siguiente permutación: $(1 \; 2 \; 3 \; 4)(2 \; 4 \; 5)$. A esta permutación la podemos simplificar usando el mismo procedimiento que en el ejemplo 2.

Observamos a dónde lleva cada uno de sus elementos:

  • Comencemos con el 2, la primera parte de la permutación, lleva el 2 al 4 y, la segunda parte lleva el 4 al 1.
  • Ahora veamos a dónde va el 1. La primera parte lo deja fijo y la segunda lo lleva al 2. Entonces obtenemos una permutación $(1\;2)$. Pero todavía falta ver el resto de elementos.
  • Ahora, veamos qué sucede con el 3. La primera parte lo deja fijo y la segunda lo manda al 4.
  • La primera parte de nuestra permutación manda el 4 al 5 y, el 5 se queda fijo.
  • Por último, el 5 es mandado al 2 por la primera parte de la permutación y, la segunda parte manda al 2 en el 3. Por lo tanto, el 5 regresa al 3. Esto se puede escribir como:

\begin{align*}
(1 \; 2 \; 3 \; 4)(2 \; 4 \; 5) = (1 \; 2) (3 \; 4 \; 5)
\end{align*}

Es decir:

Representación de $(1 \; 2 \; 3 \; 4)(2 \; 4 \; 5) = (1 \; 2) (3 \; 4 \; 5)$.

Este ejemplo nos permite intuir que en ocasiones las permutaciones se pueden simplificar.

Observación. Si $n \geq 3$, entonces $S_n$ no es abeliano.

Tarea moral

  1. Demostrar la observación 1: $S_X$ con la composición es un grupo, se llama el Grupo Simétrico.
  2. Sea $X$ un conjunto infinito, $H$ la colección de permutaciones de $S_X$ que mueven sólo un número finito de elementos y $K$ la colección de permutaciones que mueven a lo más $50$ elementos. ¿Son $H$ y $K$ subgrupos de $S_X$?
  3. Considera los siguientes elementos de $S_{10}$
    \begin{align*} \alpha &= \begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 \\
    10 & 4 & 3 & 2 & 9 & 7 & 5 & 1 & 6 & 8 \end{pmatrix} \\\\
    \beta &= \begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 \\
    10 & 9 & 8 & 7 & 6 & 5 & 4 & 3 & 2 & 1 \end{pmatrix} \end{align*}
    Encuentra $\alpha \beta, \beta \alpha, \alpha^{-1}$ y $\beta^{-1}$.
  4. Sea $a \in S_n, $ con $n > 2$. Si $\alpha$ conmuta con toda permutación de $S_n$ ¿puedes decir quién debe ser $\alpha$?

Más adelante…

Por el momento continuaremos hablando de las permutaciones. El último ejemplo visto nos da la noción de permutaciones disjuntas, este tema es el que profundizaremos en la siguiente entrada, pero por el momento ¿puedes imaginarte de qué se trata?

Entradas relacionadas

Álgebra Moderna I: Orden de un elemento y Grupo cíclico

Introducción

En la entrada anterior aprendimos qué es un subgrupo, sus características y hablamos de los subgrupos finitos. Pero en general, si tenemos un conjunto $G$ y escogemos un subconjunto $X$ de $G$, $X$ no tendría por qué ser un subgrupo. A partir de esta entrada comenzaremos a estudiar qué necesitamos agregarle a $X$ para que se vuelva un subgrupo.

Particularmente, ahora hablaremos sobre el orden de un elemento y de cómo este orden puede inducir ciertos grupos y subgrupos. Por ejemplo, definiremos qué es un subconjunto generado por $a$, con $a \in G$.

El orden de un elemento

Definición. (Orden de un elemento)
Sea $G$ un grupo, $a \in G$. Si $a^k = e$ para algún $k \in \mathbb{Z}^+$ decimos que $a$ es de orden finito y en ese caso definimos el orden de $a$ como

$o(a) = \text{mín}\{k\in \z^+ \,|\, a^k = e\}$.

En caso contrario decimos que $a$ es de orden infinito.

Ejemplos.

  1. $\Gamma_8 = \{ \xi^k \, | \, 0 \leq k < 8 \}$ con $\xi=e^{\frac{\pi i}{4}}$. Entonces $o(\xi^2) = 4$.
  2. Consideremos el conjunto $V = \{ (0,0), (1,0), (0,1) (1,1)\}$ con la suma entrada a entrada módulo $2$. Éste se conoce como el grupo de Klein. Tenemos que
    • $o((1,0)) = 2$ ya que $(1,0) \neq (0,0)$ pero $2(1,0) = (1,0) + (1,0) = (0,0)$.
    • $o((0,0)) = 1$, $o((1,0)) = o((0,1)) = o((1,1)) = 2$.
  3. Consideremos $\z$, $o(0) = 1$ y para toda $a \in \z \setminus \{0\}$, $a$ es de orden infinito.

Lema. Sea $G$ un grupo, $a \in G$ de orden finito. Si $a^k = e$ para alguna $k \in \z$, entonces $o(a)$ divide a $k$.

Demostración.
Sea $a \in G$ de orden finito. Supongamos que $a^k = e$ para algún $k \in \z$.

P.D. $o(a) | k$
Por el algoritmo de la división en $\z$ existen $q,r \in \z$ tales que

$\begin{align*}
k &= o(a) \, q + r & \text{con } 0 \leq r < o(a)
\end{align*}$

Entonces

$\begin{align*}
e &= a^k \\
& = a^{o(a)q + r} \\
& = (a^{o(a)})^q a^r \\
& = e^q a^r \\
& = e a^r \\
& = a^r
\end{align*}$

Así $e = a^r$, con $0 \leq r < o(a)$. Pero $o(a)$ es el mínimo entero positivo tal que al colocarlo como exponente en $a$ da $e$, entonces $r=0$. Por lo tanto $o(a) | k$.

$\square$

Lema. Sea $G$ un grupo, $a \in G$ de orden finito. Sea $n \in \z^+$. Si se cumple que

  1. $a^n = e$
  2. $a^k = e$ con $k \in \z$ implica que $n|k$

entonces $n = o(a)$.

Demostración.
Sea $G$ un grupo, $a \in G$ de orden finito. Sea $n \in \z^+$ tal que cumple los incisos 1 y 2.

P.D. $n = o(a)$
Como se cumple el inciso 1, $a^n = e$. Entonces

$n \in \{k \in \z^+ \,|\, a^k = e\}$.


Veamos que $n$ es el elemento mínimo.
Sea $k \in \z^+$ tal que $a^k = e$. Por el inciso 2, se tiene que $n | k$, entonces $|n|\leq |k|$ pero $n, k \in \z^+$ entonces $n\leq k$.

Por lo tanto $n = \text{mín}\{k \in \z^+ \,|\, a^k = e\} = o(a)$.

$\square$

El subgrupo cíclico

Proposición. Sea $G$ un grupo y $a \in G$. El conjunto $\{a^n \,|\, n \in \z\}$ es un subgrupo de $G$.

Notación. A partir de ahora, al conjunto anterior lo denotaremos como $\left< a \right> = \{a^n \,|\, n \in \z\}$

Demostración de la proposición.
Sean $G$ un grupo y $a \in G$.

P.D. $\left< a\right> \leq G$
$e = a^0 \in \left< a \right>$
Sean $x, y \in \left< a \right>$, entonces $x = a^n$, $y = b^m$ con $n,m \in \z$.
Tenemos que $x y^{-1} = a^n(a^m)^{-1} = a^n a^{-m} = a^{n-m} \in \left< a \right>$.
Por lo tanto $\left< a \right> \leq G$.

$\square$

Definición. Sean $G$ un grupo y $a \in G$,

$\left< a \right> = \{a^n \,|\, n \in \z\}$

se llama el subgrupo cíclico de $G$ generado por $a$. Decidimos que $G$ es un grupo cíclico si $G= \left< a \right>$ para alguna $a \in G$ y en ese caso decimos que $a$ es un generador de $G$.

Ejemplo.

  1. $G = \{\xi^k \,|\, 0 \leq k < 8\}$ con $\xi=e^{\frac{\pi i}{4}}$.
    $G$ es un grupo cíclico, pues $G = \left<\xi\right>$ y $\xi$ es un generador de $G$.
    El conjugado de $\xi$, $\bar{\xi}$, es otro generador de $G$.
    $\{1,i,-1,-i\} = \left< \xi^2 \right>$ es el subgrupo cíclico de $G$ generado por $i$.
  2. $\z = \left< 1\right>$ es un grupo cíclico, $1$ y $-1$ son generadores de $\z$.
  3. Sea $V = \{(0,0), (1,0), (0,1), (1,1)\}$ el grupo de Klein definido al inicio de esta entrada. Tenemos que $\left<(1,0)\right> =\{(1,0),(0,0)\}$ es un subgrupo cíclico de $V$ generado por $(1,0)$. Se puede verificar que los elementos de $V$ generan subgrupos de uno o dos elementos. Por lo tanto $V$ no es cíclico.
  4. Sea $m\in\mathbb{Z}^+$. El conjunto de unidades de $\z_{m}$ se define como las clases módulo $m$ que tienen inverso multiplicativo, o bien $ \{\overline{n} \in \z_{m} \,|\, (n,m)=1\}$ y se denota por $U(\z_{m})$. Se puede probar que éste es un grupo con el producto. Consideremos ahora el grupo $U(\z_{10}) = \{\overline{n} \in \z_{10} \,|\, (n,10)=1\}$.
    Tenemos que $U(\z_{10}) = \{\overline{1}, \overline{3}, \overline{7}, \overline{9}\}$.
    Como $\overline{3}^2 = \overline{9}$, $\overline{3}^3 = \overline{27} = \overline{7}$,
    $\overline{3}^4 =$$\overline{3}^3 \, \overline{3} = $$\overline{7}\, \overline{3}= $$\overline{21}= $$\overline{1}$, entonces $U(\z_{10}) = \left<\overline{3} \right>$ y $U(\z_{10})$ es cíclico.

Tarea moral

  1. Sea $G= GL(2, \mathbb{Q})$ (recuerda las definiciones en los ejemplos importantes de matrices). Considera las matrices
    $A = \begin{pmatrix}0 & -1 \\ 1 & 0 \end{pmatrix}$, $B = \begin{pmatrix}0 & 1 \\ -1 & 1 \end{pmatrix}$
    Muestra que $A$ y $B$ tienen orden finito pero $AB$ no.
  2. Prueba que las siguientes 4 matrices forman un grupo multiplicativo y encuentra el orden de cada elemento.
    $\begin{pmatrix}1 & 0 \\ 0 & 1 \end{pmatrix}$, $\begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix}$, $\begin{pmatrix}1 & 0 \\ 0 & -1 \end{pmatrix}$, $\begin{pmatrix}-1 & 0 \\ 0 & 1 \end{pmatrix}$
  3. Prueba o da un contraejemplo: Si $a^k = e$, entonces $k$ es el orden de $a$.
  4. Considera el grupo diédrico formado por las simetrías de un hexágono. Sea $R$ la rotación de $\frac{2 \pi}{3}$.
    • Determina el orden de $R$.
    • Encientra otros cincos valores $k$ enteros tales que $R^k = id$ y analiza si existe alguna relación entre $o(a)$ y estos valores de $k$.

Más adelante…

Ahora ya conocemos el subgrupo generado por $a$. En las siguientes entradas profundizaremos en las características de éste, definiremos el orden de un grupo y la relación que podemos encontrar entre ambos.

Entradas relacionadas

Álgebra Moderna I: Subgrupos

Introducción

Ya vimos la definición de un grupo. Es un conjunto con una operación binaria que se comporta «bien», es decir, que es asociativa, tiene un neutro y tal que todo elemento tiene un inverso.

Ahora nos interesa trabajar con una subcolección de $G$, llamémosla $H$. Estudiaremos qué se necesita para que $H$ sea un grupo en sí mismo. La idea es trabajar con la misma operación de $G$, pero ahora usando sólo los elementos de $H$. Para que la operación $*$ siga siendo binaria en $H$, necesitamos que $*$ sea cerrada en $H$. Además, necesitamos que el neutro de $G$, $e_G$, sea elemento de $H$. Porque si $e_G$ deja fijos a todos los elementos de $G$, en particular deja fijos a todos los elementos de $H$. Y la tercera condición es la de los inversos, para todo elemento en $H$, su inverso también debe estar en $H$. La asociatividad, se «hereda» al restringir la operación $*$ a $H$. De esta manera, nos podremos olvidar de $G$ y concentrarnos en $H$.

En esta entrada veremos la definición formal de subgrupos y algunos ejemplos para que quede más clara la definición y la utilidad de definir un grupo dentro de otro.

Definiendo a los subgrupos

Comencemos con la definición formal de subgrupos.

Definición. (Subgrupo)
Sea $G$ un grupo, $H$ subconjunto de $G$. Decimos que $H$ es un subgrupo de $G$ si cumple lo siguiente:

  1. El neutro $e_G$ de $G$ está en $H$, es decir, $e_G \in H$.
  2. $H$ es cerrado con la operación, es decir si $a, b \in H$, entonces, $ab\in H$.
  3. Todo elemento de $H$ tiene su inverso en $H$. Es decir, si $a \in H$, entonces $a^{-1} \in H$.

Notación. $H \leq G$ denotará que $H$ es subgrupo de $G$.

Ejemplos.

  1. Si $G$ es un grupo, $\{e\}$ y $G$ son subgrupos de $G$. Puede haber muchos más, pero al menos esos dos seguro son subgrupos.
  2. Sea $X$ un conjunto, $\cS_X = \{f:X \to X | \; f \text{ es biyectiva en } G\}$ es un grupo con la composición.
    Dado $x_0 \in X$ consideramos todos los elementos de $\cS_X$ que dejan fijo a $x_0$
    $\{f \in \cS_X \;|\; f(x_0) = x_0\}$. Este es un subgrupo de $\cS_X$.
  3. Consideremos $(\z, +)$ y su subconjunto $\{n \in \z \;|\; n \text{ es múltiplo de } 2\} \leq \z$.
    Podemos generalizarlo, dado $m\in\z$ consideremos el conjunto de todos los múltiplos de $m$. Este conjunto se denota como $m\z := \{n \in \z \;|\; n \text{ es múltiplo de } m\} \leq \z$ y se tiene que $m\z \leq \z$.

Caracterizaciones de los subgrupos

Observación 1. Dado $G$ un grupo y $H$ un subconjunto de $G$, $H$ es un subgrupo de $G$ si y sólo si

  1. $H \neq \emptyset$.
  2. Si $a,b\in H$, entonces $ab^{-1}\in H$.

Demostración. La demostración quedará como ejercicio.

Observación 2. Dado $G$ un grupo, $H$ un subconjunto de $G$, $H$ es un subgrupo de $G$ si y sólo si $H$ es un grupo con la operación restringida a $H$.

Demostración.

$|\Rightarrow)$ Supongamos que $H \leq G$.

Por el inciso 2 de la definición de subgrupo, la operación es cerrada en $H$, entonces es una operación binaria en $H$.

Por el inciso 1 de la definición, $e_G \in H$, y sabemos que $e_G * a = a * e_G$ para toda $a \in G$. En particular $e_G * a = a * e_G$ para toda $a \in H$. Así $e_G$ es neutro en $H$.

Sea $a\in H$, por el inciso 3 de la definición de subgrupo, $a^{-1}\in H$, es decir el inverso de $a$ en $G$ está en $H$, entonces existe $a^{-1} \in H$ tal que $aa^{-1} = a^{-1}a = e_G = e_H$, y así $a^{-1}$ es el inverso de $a$ en $H$.

Por lo tanto, $H$ es un grupo con la operación restringida.

$\Leftarrow |)$ Supongamos que $H$ es un grupo con la operación restrigida. Entonces, $H$ tiene un neutro $e_H \in H$.

Aquí hay que hacer una observación. En principio no sabemos que el neutro de $G$ y el neutro de $H$ son el mismo, porque $e_H$ es un neutro restringido a $H$ y puede no serlo fuera del subconjunto. Además, que sean distintos no rompe la unicidad del neutro ya que $e_H$ es el neutro en $H,$ no en $G$ así que no estamos hablando de dos neutros distintos en $G;$ y si $e_G$ es el neutro en $G,$ pero $e_G \not\in H,$ de nuevo no se rompe la unicidad pues sólo hay un neutro en $H$. Así, lo primero que tenemos que demostrar, es que $e_H = e_G$. Las siguientes operaciones las realizaremos en $G$, porque no podemos asegurar que $e_G$ es un elemento de $H$.

$\begin{align*}
e_H e_G &= e_H & e_G \text{ es neutro en } G \\
&= e_H e_H & e_H \text{ es neutro en } H
\end{align*}$

Entonces $e_H e_G = e_H e_H$ y por la cancelación en $G$, $e_G = e_H$. Así $e_G \in H$.

Sean $a,b \in H$. Como $H$ es un grupo con la operación restringida, esta operación es una operación binaria en $H$ y por tanto cerrada. Así $ab\in H$.

Sea $a\in H$, como $H$ es un grupo con la operación restringida, $a$ tiene un inverso en $H$, digamos $\hat{a} \in H$, tal que $a \hat{a} = \hat{a} a = e_H$.

Sea $a^{-1}$ el inverso de $a$ en $G$, entonces $aa^{-1} = a^{-1}a = e_G$. Como $e_H = e_G$

$\begin{align*}
a \hat{a} &= a a^{-1}\\
\hat{a} &= a^{-1} & \text{por la ley de cancelación en } G
\end{align*}$

Así $a^{–1} \in H$.

Por lo tanto $H \leq G$.

$\square$

Caracterización de subgrupos finitos

Ya teniendo la definición de subgrupo, podemos considerar sólo subconjuntos finitos de un grupo $G$. En este caso basta pedir sólo dos condiciones al subconjunto para que sea un subgrupo: que sea no vacío y que sea cerrado bajo la operación.

Proposición. Sea $G$ un grupo, $H$ un subconjunto finito de $G$, no vacío. $H$ es un subgrupo de $G$ si y sólo si $ab \in H \quad \forall a,b \in H$.

Demostración. Sea $G$ un grupo. Consideremos $H$ un subconjunto finito no vacío de $G$.

$|\Rightarrow)$ Supongamos que $H\leq G$, entonces se cumple la definición de subgrupo. En particular se cumple el inciso 2, es decir, el producto en $H$ es cerrado.

$\Leftarrow|)$ Supongamos que el producto en $H$ es cerrado.
Como $H\neq \emptyset$ consideremos $h \in H$.

Como el producto de $H$ es cerrado, tenemos que $h^n \in H$ para toda $n \in \z^+$. Entonces los elementos de la lista: $h, h^2, h^3, \cdots$ están en $H$, y como $H$ es finito debe haber repeticiones.

Sean $l, m \in \z^+$ con $l < m$ tales que $h^l = h^m$. Como $h^l \in G$ consideremos su inverso $h^{-l} \in G$. Multiplicando por $h^{-l}$ tenemos que

$h^m h^{-l} = h^l h^{-l} = e_G$

Por las leyes de los exponentes

$h^{m-l} = e_G\quad$ con $\; m-l \in \z^+$

Recordemos que $h^n \in H$ para toda $n \in \z^+$, entonces $e_G \in H$.
Además, $h h^{m-l-1} = e_G$. Entonces tenemos dos casos.
Si $m-l-1 = 0$, entonces $h=e_G\in H$ y $h$ es su propio inverso.
Si $m-l-1\in \z^+$, entonces $h^{m-l-1} \in H$, y como $h h^{m-l-1} = e_G$, entonces $h^{m-l-1}$ es el inverso de $H$.

Así $H$ es cerrado bajo inversos y por lo tanto $H$ es un subgrupo de $G$.

Tarea moral

  1. Demuestra que el ejemplo 2 de la definición de subgrupo efectivamente es un subrupo de $\cS_X$.
  2. Para que un subconjunto $H$ de un grupo $G$ sea un subgrupo ¿es necesario pedir que $H$ tenga al neutro o se puede deducir de la condición de cerradura bajo producto y de la cerradura de los inversos?
  3. Demuestra la observación 1.
  4. Prueba o da un contraejemplo: un subconjunto $H$ de un grupo $G$ es un subgrupo si y sólo si $H$ es no vacío y para cualesquiera dos elementos $a,b \in H$ se tiene que $ab \in H$.
  5. De acuerdo las definiciones en los ejemplos importantes de matrices, prueba que
    • $SL(2, \r) \leq GL(2,\r)$
    • $GL(2, \mathbb{Q}) \leq GL(2,\r)$
  6. Investiga lo que es el diagrama reticular o diagrama de Hasse de los subgrupos de un grupo.

Más adelante…

En la siguiente entrada seguiremos profundizando en los subgrupos. Especialmente analizaremos cuántas veces podemos multiplicar un elemento por sí mismo sin que se repita el resultado. En el caso en que se trate de un subgrupo finito el hecho de que existan repeticiones en las potencias de un elemento se puede justificar con los argumentos que se dieron en la prueba de la última proposición que vimos.

Entradas relacionadas