Archivo del Autor: Cecilia del Carmen Villatoro Ramos

Álgebra Moderna I: Factorización Completa

Por Cecilia del Carmen Villatoro Ramos

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

Introducción

Consideremos $α \in S_{7}$ como $α = (1 3 2) (6 4)$ , esta permutación fija a $5$ y a $7$ . Entonces también podemos escribirla como $α = (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 $α = (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 $α$ 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 $α$ 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 $α \in S_{n}$ . Una factorización completa de $α$ es una descomposición de $α$ en ciclos disjuntos con un $1 -$ ciclo por cada elemento fijado por $α$ .

Ejemplos.

Sea $α \in S_{8}$ como
$\begin{array}{r} α = (\begin{array}{c} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 \\ 3 & 2 & 1 & 5 & 7 & 6 & 4 & 8 \end{array}) \end{array}$

Entonces $α = (1 3) (4 5 7)$ es una factorización de $α$ en ciclos distintos pero no es una factorización completa de $α$ . Por otro lado $α = (1 3) (4 5 7) (2) (6) (8)$ sí es una factorización completa de $α$ .
Sea $β$ dada por $\begin{array}{r} β = (2 4 6 8) (1 3 5) (7) . \end{array}$

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

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

Recordemos la pregunta de la introducción ¿qué tienen en común todas las formas de describir a $α$ 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.

Supongamos por reducción al absurdo que existe $α \in S_{n}$ con dos factorizaciones completas distintas, no sólo por el orden de sus factores. Dado que en una factorización completa los $1 -$ ciclos corresponden a los elementos que quedan fijos, éstos coinciden en ambas factorizaciones. Igualando ambas factorizaciones y cancelando los $1 -$ ciclos y el resto de los factores comunes de ambas factorizaciones obtenemos $β_{1} \dots β_{r} = δ_{1} \dots δ_{s},$ con $r, s \in N^{+} .$ Notemos que $α = β_{1} \dots β_{r} = δ_{1} \dots δ_{s}$ .

Por la hipótesis de reducción al absurdo, alguno de los factores de la primera expresión de $α$ no aparece como factor en la segunda expresión de $α$ o viceversa. Sin pérdida de generalidad supongamos que $β_{1} \notin {γ_{1}, \dots, γ_{s}} .$

Sea $i \in {1, \dots, n}$ un elemento movido por $β_{1}$ , entonces, de acuerdo a lo que hemos estudiado, $β_{1}$ es de la forma $β_{1} = (i β_{1} (i) \dots β_{1}^{t - 1} (i)),$ con $t$ el menor natural positivo tal que $β_{1}^{t} (i) = i$ . Dado que $β_{1}, \dots, β_{r}$ son disjuntos, $α$ mueve a $i$ , y como $δ_{1}, \dots, δ_{s}$ también son disjuntos, exactamente un factor $δ_{1}, \dots, δ_{s}$ mueve a $i$ . Sin pérdida de generalidad supongamos que $δ_{1}$ mueve a $i$ , entonces $δ_{1}$ es de la forma $δ_{1} = (i δ_{1} (i) \dots δ_{1}^{k - 1} (i)),$ con $k$ el menor natural positivo tal que $δ_{1}^{k} (i) = i$ .

Pero, debido a que $β_{1}, \dots, β_{r}$ son disjuntos, conmutan, y entonces $α^{j} (i) = (β_{1} \dots β_{t})^{j} (i) = β_{1}^{j} \dots β_{t}^{j} (i) = β_{1}^{j} (i)$ para toda $j \in N^{+}$ . Análogamente $α^{j} (i) = δ_{1}^{j} (i)$ para toda $j \in N^{+}$ . Concluimos con ello que $β_{1}^{j} (i) = δ_{1}^{j} (i)$ para toda $j \in N^{+}$ y en consecuencia $t = k$ y $β_{1} = δ_{1}$ , contradiciendo la elección de $β_{1}$ .

Así, toda factorización completa es única salvo por el orden de los factores.

Tarea moral

Considera el siguiente elemento de $S_{9}$
$\begin{array}{r} α = (\begin{array}{c} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 \\ 9 & 8 & 1 & 4 & 3 & 7 & 6 & 2 & 5 \end{array}) . \end{array}$
Encuentra la factorización completa de $α$ .
Sea $α \in S_{n}$ y $α = β_{1} \dots β_{t}$ una factorización completa de $α$ . Analiza qué ocurre con $\sum_{i = 1}^{t} long β_{i}$ .
Considera el ejercicio 3 de la entrada de permutaciones:
Sean $α, β \in S_{10}$ ,
$\begin{array}{r} α = (\begin{array}{c} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 \\ 10 & 4 & 3 & 2 & 9 & 7 & 5 & 1 & 6 & 8 \end{array}) \\ β = (\begin{array}{c} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 \\ 10 & 9 & 8 & 7 & 6 & 5 & 4 & 3 & 2 & 1 \end{array}) . \end{array}$
Encuentra las factorizaciones completas de $α, β, α β, β α$ y $β^{- 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

Ir a Álgebra Moderna I.
Entrada anterior del curso: Permutaciones disjuntas.
Siguiente entrada del curso: Misma Estructura Cíclica, Permutación Conjugada y Polinomio de Vandermonde.
Resto de cursos: Cursos.

Álgebra Moderna I: Permutaciones disjuntas

Por Cecilia del Carmen Villatoro Ramos

Deja un comentario

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

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 sí, 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 $α, β \in S_{n}$ . Decimos que $α$ y $β$ son disjuntas o ajenas si sop $α \cap$ sop $β = \emptyset$ , es decir, dado $i \in {1, 2, \dots, n}$ se tiene que

$\begin{aligned} α (i) \neq i & \Rightarrow β (i) = i . \end{aligned}$

En consecuencia también ocurre que si $β (i) \neq i$ , entonces $α (i) = i .$

Observación. Si $α$ y $β$ 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 $α = (i_{1} \dots i_{r})$ y $β = (j_{1} \dots j_{t})$ con $r, t > 1$ . Entonces $α$ y $β$ 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)$ sí son disjuntas.

Las permutaciones disjuntas conmutan

Lema. Sean $α, β \in S_{n}$ . Si $α$ y $β$ son disjuntas, entonces conmutan.

P.D. $α β = β α$ .
Sea $i \in {1, \dots, n}$ .

Caso 1. Cuando $α (i) = i$ , $β (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{array}{r} α β (i) = α (i) = i = β (i) = β α (i) . \end{array}$

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

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

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

Toda permutación se puede descomponer en ciclos disjuntos

Comencemos como un ejemplo. Consideremos a la permutación $α \in S_{9}$

$\begin{array}{r} α = (\begin{array}{c} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 \\ 3 & 4 & 1 & 7 & 8 & 6 & 2 & 9 & 5 \end{array}) . \end{array}$

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:

Pero también se puede escribir algebraicamente como:

$\begin{array}{r} α = (1 3) (2 4 7) (5 8 9) (6) . \end{array}$

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

Analicemos primero cómo se construyen los ciclos a partir de un número en su soporte.

Observación 1. Sean $t \in N^{+}$ , $σ \in S_{n}$ un $t$ -ciclo e $i \in sop σ$ . Entonces $σ = (i σ (i) σ^{2} (i) \dots σ^{t - 1} (i))$ con $t = mín {j \in N^{+} | σ^{j} (i) = i} .$

Demostración.

Sean $t \in N^{+}$ , $σ \in S_{n}$ un $t$ -ciclo e $i \in sop σ$ . Sabemos que $σ$ es de la forma $σ = (i_{0} i_{1} \dots i_{t - 1})$ con $i_{0}, i_{1}, \dots, i_{t - 1}$ distintos. Como $i \in sop σ = {i_{0}, i_{1}, \dots, i_{t - 1}}$ podemos suponer sin pérdida de generalidad que $i = i_{0}$ por lo que $σ = (i i_{1} \dots i_{t - 1})$ . Entonces

$\begin{aligned} σ (i) & = i_{1}, \\ σ^{2} (i) & = σ (σ (i)) = σ (i_{1}) = i_{2} \end{aligned}$ y en general $σ^{j} (i) = i_{j}$ para toda $1 \leq j < t$ por lo que $σ = (i σ (i) σ^{2} (i) \dots σ^{t - 1} (i))$ con $i, σ (i), σ^{2} (i), \dots, σ^{t - 1} (i)$ distintos. En particular $σ (i), σ^{2} (i), \dots, σ^{t - 1} (i)$ son distintos de $i$ y además $σ^{t} (i) = σ (σ^{t - 1} (i)) = σ (i_{t - 1}) = i$ por lo que $t = mín {j \in N^{+} | σ^{j} (i) = i} .$

Veamos ahora qué ocurre si la permutación no es necesariamente un ciclo. Probemos que cada número movido por la permutación da lugar a un ciclo.

Lema 1. Sea $α \in S_{n}$ , $i \in {1, \dots, n}$ . Para cada $i \in sop α$ existe $j \in N^{+}$ tal que $α^{j} (i) = i$ , más aún, si $t_{i} = mín {j \in N^{+} ∣ α^{j} (i) = i}$ se tiene que $i, α (i), α^{2} (i), \dots, α^{t_{i} - 1} (i)$ son distintos.

Demostración.
Sea $α \in S_{n}$ , $i \in sop α$ . Consideremos
$\begin{array}{r} i, α (i), α^{2} (i), \dots \end{array}$

Sabemos que esta lista tiene elementos repetidos ya que consiste de números en el conjunto finito ${1, 2, \dots, n}$ . Existen entonces $r, s \in N$ distintos tales que $α^{r} (i) = α^{s} (i)$ , sin pérdida de generalidad $s < r,$ por lo cual $α^{r - s} (i) = i$ con $r - s \in N^{+}$ como se quería demostrar.

Así, el conjunto ${j \in N^{+} ∣ α^{j} (i) = i}$ es no vacío, y por el principio del buen orden tiene un elemento mínimo, digamos $t_{i}$ . Veamos ahora que $i, α (i), α^{2} (i), \dots, α^{t_{i} - 1} (i)$ son distintos. Supongamos que $α^{q} (i) = α^{l} (i)$ para algunos $0 \leq q \leq l < t_{i}$ , entonces $α^{l - q} (i) = i$ con $0 \leq l - q < t_{i}$ y por la elección de $t_{i}$ esto implica que $l - q = 0$ , es decir que $q = l$ . Por lo tanto $i, α (i), α^{2} (i), \dots, α^{t_{i} - 1} (i)$ son distintos.

Gracias al lema anterior podemos considerar el ciclo $(i α (i) \dots α^{t_{i} - 1} (i))$ :

Definición. Sea $α \in S_{n}$ , $i \in sop α$ . El ciclo definido por $α$ y por $i$ es

$σ_{α, i} = (i α (i) \dots α^{t_{i} - 1} (i)) con t_{i} = mín {j \in N^{+} ∣ α^{j} (i) = i} .$

Notemos que si $i \in sop α$ , entonces $σ_{α, i} = (i α (i) \dots α^{t_{i} - 1} (i)) = (α (i) \dots α^{t_{i} - 1} (i) i) = (α^{2} (i) \dots α^{t_{i} - 1} (i) i α (i)) = \dots, etc.,$ por lo que toda $k \in {i, α (i), \dots, α^{t_{i} - 1} (i)}$ define el mismo ciclo que $i$ , es decir:

Observación 2. Si $i \in sop α$ , entonces para toda $k \in {i, α (i), \dots, α^{t_{i} - 1} (i)}$ se tiene que $σ_{α, k} = σ_{α, i}$ y $t_{k} = t_{i} .$

En consecuencia tenemos el siguiente resultado:

Lema 2. Sea $α \in S_{n}$ , $i, j \in sop α$ , y consideremos $σ_{α, i}, σ_{α, j}$ como en la definición anterior. Si $σ_{α, i} \neq σ_{α, j},$ entonces $σ_{α, i}$ y $σ_{α, j}$ son disjuntos.

Demostración.

Sea $α \in S_{n}$ , $i, j \in sop α$ , $σ_{α, i} \neq σ_{α, j},$ como en la definición anterior. Probemos el lema por contrapuesta. Supongamos que $σ_{α, i}$ y $σ_{α, j},$ no son disjuntos. Existe entonces $k$ movido por ambos ciclos, es decir $k \in {i, α (i), \dots α^{t_{i} - 1} (i)} \cap {j, α (j), \dots, α^{t_{j} - 1} (j)} .$ Por la observación previa tenemos que $σ_{α, k} = σ_{α, i}$ y $σ_{α, k} = σ_{α, j}$ , de donde concluimos que $σ_{α, i} = σ_{α, j}$ .

Ahora veremos que al considerar todos los ciclos distintos del tipo $σ_{α, i}$ y componerlos, obtenemos una descomposición de la permutación inicial $α$ en ciclos disjuntos:

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

Demostración.

Sea $α \in S_{n}$ . Consideremos todos los ciclos $σ_{α, i}$ con $i \in sop α$ y eliminemos los ciclos repetidos, llamemos $γ_{1}, γ_{2}, \dots, γ_{r}$ a los ciclos restantes. Afirmamos que $α = γ_{1} γ_{2} \dots γ_{r}$ es una descomposición de $α$ en ciclos disjuntos. Por construcción $γ_{1} γ_{2} \dots γ_{r}$ es un producto de ciclos, y por el lema 2, dado que $γ_{1}, γ_{2}, \dots, γ_{r}$ son distintos, entonces son también disjuntos. Así, basta convencerse de que $α = γ_{1} γ_{2} \dots γ_{r}$ para terminar la demostración.

Sea $i \in {1, 2, \dots, n}$ . Si $i \in sop α$ tenemos que $σ_{α, i} \in {σ_{α, j} ∣ j \in sop α} = {γ_{1}, γ_{2}, \dots, γ_{r}}$ y entonces $σ_{α, i} = γ_{j}$ para alguna $1 \leq j \leq r$ . Así, $γ_{j} = σ_{α, i} = (i α (i) \dots α^{t_{i} - 1} (i))$ y $γ_{1} γ_{2} \dots γ_{r} (i) = γ_{j} (i) = α (i)$ (donde la primera igualdad se debe a que $γ_{1}, γ_{2}, \dots, γ_{r}$ son disjuntos). Si $i \notin sop α$ tenemos que $i \notin sop γ_{j}$ para toda $j \in {1, \dots, r}$ , por lo que $γ_{1} γ_{2} \dots γ_{r} (i) = i = α (i)$ . Por lo tanto $α = γ_{1} γ_{2} \dots γ_{r}$ .

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

$\begin{array}{r} α = (\begin{array}{c} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 \\ 4 & 1 & 7 & 9 & 6 & 8 & 3 & 5 & 2 & 10 \end{array}) . \end{array}$

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

$\begin{array}{r} 1, α (1) = 4, α^{2} (1) = 9, α^{3} (1) = 2, α^{4} (1) = 1. \end{array}$

Entonces, nombremos $γ_{1}$ a ese $4 -$ ciclo, $γ_{1} = (1 4 9 2)$ .

Ahora, tomemos un elemento que no esté en el soporte de $γ_{1}$ , digamos $3$ . De nuevo, aplicamos $α$ varias veces para descubrir el ciclo al que pertenece.
$\begin{array}{r} 3, α (3) = 7, α^{2} (3) = 3. \end{array}$

Tenemos así una transposición $γ_{2} = (3 7) .$

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

obteniendo el ciclo $γ_{3} = (5 6 8)$ .

Así, nuestra permutación quedaría como
$\begin{array}{r} α = (1 4 9 2) (3 7) (5 6 8) . \end{array}$

Tarea moral

Demuestra la observación: Si $n \geq 3$ , entonces $S_{n}$ no es abeliano.
Encuentra dos permutaciones disjuntas $α$ y $β$ . Encuentra $β α$ y $α β$ ¿qué observas al comparar $β α$ ? Intenta con otro ejemplo de dos permutaciones disjuntas $α$ y $β$ y analiza lo que ocurre.
Sean $α$ y $β$ dos permutaciones que conmutan ¿podemos concluir entonces $α$ y $β$ son disjuntas?
Considera el siguiente elemento de $S_{11}$
$\begin{array}{r} α = (\begin{array}{c} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 \\ 5 & 8 & 2 & 6 & 4 & 1 & 3 & 7 & 9 & 11 & 10 \end{array}) . \end{array}$
Encuentra una factorización en ciclos disjuntos de $α$ , y de $α^{- 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

Ir a Álgebra Moderna I.
Entrada anterior del curso: Permutaciones y Grupo Simétrico.
Siguiente entrada del curso: Factorización Completa.
Resto de cursos: Cursos.

Álgebra Moderna I: Permutaciones y Grupo Simétrico

Por Cecilia del Carmen Villatoro Ramos

Deja un comentario

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

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{array}{r} S_{X} = {σ : X \to X | σ es biyectiva} . \end{array}$

Si $X = {1, \dots, n}$ , $S_{X}$ se denota por $S_{n}$ . Si tomamos $α, β \in S_{X}$ la composición de $α$ seguida de $β$ se denota por $β α$ .

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 $α \in S_{n}$ , $i \in {1, 2, \dots, n}$ .

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

$\begin{array}{r} sop α = {i \in {1, \dots, n} : α (i) \neq i} . \end{array}$

Ejemplo

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

$\begin{array}{r} α = (\begin{array}{c} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 \\ 8 & 3 & 1 & 7 & 2 & 6 & 4 & 5 & 9 & 10 \end{array}) . \end{array}$

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 $α$ de cada elemento de la fila de arriba. Es decir, la matriz de $α$ se puede leer como: « $α$ manda al $1$ al $8$ », «el $2$ lo manda al $3$ », etc. Entonces tenemos que, $α$ mueve a $1, 2, 3, 4, 5, 7, 8$ y fija al $6, 9, 10$ . Así

$\begin{array}{r} sop α = {1, 2, 3, 4, 5, 7, 8} . \end{array}$

Definición de ciclo

Definición. Sea $α \in S_{n}$ , $r \in Z$ , $r > 1$ . Decimos que $α$ es un ciclo de longitud $r$ o un $r$ -ciclo si existen $i_{1}, \dots, i_{r} \in {1, \dots, n}$ distintos tales que $sop α = {i_{1}, \dots, i_{r}}$ y

$\begin{array}{r} α (i_{t}) = {\begin{cases} i_{t + 1} & si t \in {1, \dots, r - 1} \\ i_{1} & si t = r \end{cases} \end{array}$

Figura para ilustrar la definición de un ciclo.

Diremos que la permutación $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 $α$ , tal que cada $i_{j}$ va a $i_{j + 1}$ para cada $j \in {1, \dots, r - 1}$ y $i_{r}$ regresa a $i_{1}$ se denota como $α = (i_{1} i_{2} \dots i_{r})$ .
Además, denotamos como $r = long α$ a la longitud de $α$ .

Ejemplos

$α \in S_{8}$ con $α = (\begin{matrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 \\ 1 & 4 & 3 & 5 & 8 & 2 & 7 & 6 \end{matrix})$ .

$\begin{aligned} α & = (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{aligned}$

En este caso, $α$ es un $5 -$ ciclo y $long α = 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 $β \in S_{8}$ como

$\begin{array}{r} β = (\begin{array}{c} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 \\ 1 & 2 & 5 & 4 & 3 & 6 & 7 & 8 \end{array}), \end{array}$
entonces podemos decir que $β = (3 5)$ , porque a los otros elementos los deja fijos.

Si componemos $β$ con el $α$ del ejemplo anterior obtenemos:

$\begin{aligned} α β & = (2 4 5 8 6) (3 5) = (2 4 5 3 8 6) . \end{aligned}$

Para verificar qué ésta es efectivamente la composición de $β$ seguida de $α$ , 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 $β$ lo deja fijo, entonces nos fijamos a dónde lo manda $α$ , en este caso, el $2$ es mandado al $4$ . Así, $α β$ manda al $2$ en el $4$ .
Repetimos el proceso con el $4$ , $β$ lo deja fijo y $α$ lo manda al $5$ . Así, $α β$ manda al $4$ en el $5$ .
Ahora con el $5$ , $β$ manda al $5$ en $3$ , entonces ahora vemos a dónde manda $α$ al $3$ , en este caso lo deja fijo. Así, $α β$ 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, $β$ manda el $3$ al $5$ y $α$ manda el $5$ al $8$ , por lo tanto $α β$ manda el $3$ al $8$ .
Así continuamos con todos los elementos que aparezcan en la composición hasta terminar.

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

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{array}{r} (1 2 3 4) (2 4 5) = (1 2) (3 4 5) . \end{array}$

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

Demostrar la observación 1: $S_{X}$ con la composición es un grupo, se llama el Grupo Simétrico.
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}$ ?
Considera los siguientes elementos de $S_{10}$
$\begin{aligned} α & = (\begin{array}{c} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 \\ 10 & 4 & 3 & 2 & 9 & 7 & 5 & 1 & 6 & 8 \end{array}) \\ β & = (\begin{array}{c} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 \\ 10 & 9 & 8 & 7 & 6 & 5 & 4 & 3 & 2 & 1 \end{array}) . \end{aligned}$
Encuentra $α β, β α, α^{- 1}$ y $β^{- 1}$ .
Sea $a \in S_{n},$ con $n > 2$ . Si $α$ conmuta con toda permutación de $S_{n}$ ¿puedes decir quién debe ser $α$ ?

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

Ir a Álgebra Moderna I.
Entrada anterior del curso: Palabras.
Siguiente entrada del curso: Permutaciones disjuntas.
Resto de cursos: Cursos.

Álgebra Moderna I: Palabras

Por Cecilia del Carmen Villatoro Ramos

Deja un comentario

Introducción

En la entrada anterior tomamos un grupo $G$ y un subconjunto $X \subseteq G$ y, logramos encontrar al menor subgrupo de $G$ que contiene a $X$ . Este conjunto resultó ser la intersección de todos los subgrupos contenidos en $G$ que, a su vez, contienen a $X$ . Recordemos que se llama el subgrupo de $G$ generado por $X$ y se denota

$\begin{array}{r} ⟨ X ⟩ = ⋂_{\begin{array}{c} H \leq G \\ X \subseteq H \end{array}} H . \end{array}$

Sin embargo, esto no nos dice mucho sobre los elementos de $X$ . Ilustremos un poco lo que tenemos. Tomemos un grupo $G$ , un subconjunto $X \subseteq G$ y al generado $⟨ X ⟩ \subset G$ . Entonces, si tomamos $x_{1}, x_{2}, x_{3} \in X$ , sabemos que todas las potencias de esos elementos están en el generado de $X$ . Es decir, para todas $q, r, s \in Z$ , $x_{1}^{q}, x_{2}^{r}, x_{3}^{s} \in ⟨ X ⟩$ . Más aún, las diferentes multiplicaciones de esos elementos también están en $⟨ X ⟩$ , por ejemplo, si consideramos $x_{1}^{1}, x_{3}^{- 2}, x_{2}^{3}$ y $x_{1}^{- 4}$ , el elemento

$\begin{array}{r} (1) & x_{1}^{- 4} x_{3}^{- 2} x_{1}^{1} x_{2}^{3} \end{array}$

está en $⟨ X ⟩$ , por ser una multiplicación de elementos del subgrupo. Entonces, en el generado de $X$ estarán todos los elementos de $X$ , las potencias de esos elementos y todas las multiplicaciones entre dichas potencias.

Al elemento $(1)$ la llamamos una palabra en $X$ y es lo que estudiaremos en esta entrada. Además, las palabras nos permiten dar descripción del subgrupo generado. Esta idea es análoga a la que se estudia en álgebra lineal cuando se describe al subespacio generado por un conjunto como una colección de combinaciones lineales de vectores. Sin embargo, en el caso de subgrupos, esta descripción no es igual a la de álgebra lineal porque hay que recordar que un grupo en general no es abeliano. Esto influye en qué tanto se pueda simplificar una palabra.

Nuestra primera aproximación a las palabras

Definición. Sea $G$ un grupo, $X$ un subconjunto de $G$ . Una palabra en $X$ es, o bien el neutro $e$ , o bien un elemento de la forma

$x_{1}^{α_{1}}, \dots, x_{n}^{α_{n}}$

con $n \in N^{+}$ , $x_{1}, \dots, x_{n} \in X, α_{1}, \dots, α_{n} \in Z$ .

Notación. Denotamos por $W_{X}$ al conjunto de todas las palabras en $X$ .

Ejemplos

Ejemplo 1. Sea $G = D_{2 (4)}$ el grupo diédrico formado por las simetrías de un cuadrado centrado en el origen. Sea $a$ la rotación de $π / 2$ y $b$ la reflexión con respecto al eje $x$ .
$b a^{3} b a^{- 1} b^{- 4} a$ es una palabra en ${a, b}$ .

En este caso, la palabra sí se puede simplificar como:
$\begin{aligned} b a^{3} b a^{- 1} b^{- 4} a & = b a^{3} b a^{- 1} e a \\ = b a^{3} b a^{- 1} a \\ = b a^{3} b \end{aligned}$

Para la primera igualdad, recordemos que $b$ es la rotación por $π / 2$ , entonces al aplicar esa rotación $4$ veces, el cuadrado recupera su estado inicial, así por eso $b^{4} = e$ y de forma análoga como $b^{- 1}$ es la rotación por $- π / 2$ se tiene que $b^{4} = e$ .

Notación. Usaremos la notación $D_{2 (4)}$ para denotar las simetrías del cuadrado (que tiene 4 vértices), este grupo diédrico tiene 8 elementos. Otros autores pueden escribir simplemente $D_{8}$ , pero esto se puede confundir con el grupo de las simetrías de un octágono. De forma más general el grupo diédrico de un polígono de $n$ lados es el grupo de simetrías de un polígono regular de $n$ lados centrado en el origen, con la operación de composición. Lo denotatemos por $D_{2 n}$ y tendrá $2 n$ elementos.

Ejemplo 2. Consideremos el conjunto ${\pm 1, \pm i, \pm j, \pm k}$ . Este conjunto es llamado el grupo de los cuaterniones o cuaternios y se suele denotar por $Q$ o $Q_{8}$ porque tiene 8 elementos.

Las operaciones en el conjunto se definen como:
$\begin{aligned} 1 a & = a 1 = a & \forall a \in Q \\ (- 1) a & = a (- 1) = - a & \forall a \in Q \end{aligned}$

Además, las multiplicaciones no son conmutativas y están definidas así:
$\begin{aligned} i j & = k, & j k = i, & k i = j, \\ j i & = - k, & k j = - i, & i k = - j, \\ i^{2} & = j^{2} = k^{2} = - 1. \end{aligned}$

Una palabra en ${j}$ es $j^{5} j^{- 2} j^{3} j^{- 4}$ , resolviendo las potencias podemos concluir que esta palabra es igual a $- 1$ (verificarlo quedará como ejercicio). Podemos ahora considerar el conjunto de todas las palabras formadas con el elemento $j$ , es decir el conjunto de palabras en ${j}$ . Se puede ver que:
$\begin{array}{r} W_{{j}} = {j, - 1, - j, + 1} . \end{array}$

También podemos considerar el conjunto de palabras formadas con los elementos $j$ y $k$ , es decir el conjunto de palabras en ${j, k}$ . En este caso se tiene que:
$\begin{array}{r} W_{{j, k}} = {\pm 1, \pm i, \pm j, \pm k} = Q . \end{array}$

Palabras y el subgrupo generado por $X$

Lema. Sea $G$ un grupo y $X$ un subconjunto de $G$ . $W_{X}$ es un subgrupo de $G$ que contiene a $X$ .

Demostración.
Caso 1, cuando $X = \emptyset$ .
En este caso, $W_{X} = {e} \leq G$ y $X = \emptyset \subset {e} = W_{X}$ .

Caso 2, cuando $X \neq \emptyset$ .
P.D. $W_{X} \leq G$ .
Por definición $e \in W_{X}$ .
Sean $a, b \in W_{X}$ , entonces

$\begin{aligned} a & = x_{1}^{α_{1}} \dots x_{n}^{α_{n}} & α_{1}, \dots, α_{n}, β_{1}, \dots, β_{m} \in Z \\ b & = y_{1}^{β_{1}} \dots y_{m}^{β_{m}} & x_{1}, \dots, x_{n}, y_{1}, \dots, y_{m} \in X \\ n, m \in N^{+} \end{aligned}$

Entonces, podemos tomar $a b^{- 1}$ y verificar quién es

$\begin{aligned} a b^{- 1} & = (a_{1}^{α_{1}} \dots x_{n}^{α_{n}}) (y_{1} \dots y_{m}^{β_{m}})^{- 1} \\ = x_{1}^{α_{1}} \dots x_{n}^{α_{n}} y_{m}^{- β} \dots y_{1}^{- β_{1}} \in W_{X} . \end{aligned}$

Por lo tanto $W_{X} \leq G$ .

P.D. $X \subseteq W_{X}$ .
Sea $x \in X$ ,
$\begin{array}{r} x = x^{1} \in W_{X} . \end{array}$

Por lo tanto $X \subseteq W_{X}$ .

En ambos casos $W_{X}$ es un subgrupo de $G$ que contiene a $X$ .

Teorema. Sea $G$ un grupo, $X$ un subconjunto de $G$ . Entonces

$⟨ X ⟩ = W_{X}$ .

Demostración.
$\subseteq)$ Por el lema anterior, $W_{X} \in {H \leq G : X \subseteq H}$ . Entonces, por nuestra definición del subgrupo generado,
$\begin{array}{r} ⟨ X ⟩ = ⋂_{\begin{array}{c} H \leq G \\ X \subseteq H \end{array}} H \subseteq W_{X} . \end{array}$

$\supseteq)$ Sea $a \in W_{X}$ , entonces $a = x_{1}^{α_{1}} \dots x_{n}^{α_{n}}$ con, $n \in N^{+}$ , $α_{1}, \dots, α_{n} \in Z$ y $x_{1}, \dots, x_{n} \in X$ .

Como cada $x_{i} \in X$ , con $i \in {1, . ., n}$ , y $X \subseteq ⟨ X ⟩$ , entonces $x_{i} \in ⟨ X ⟩$ para toda $i \in {1, \dots, n}$ .
Como el generado es un subgrupo de $G$ , obtenemos que $x_{i}^{α_{i}} \in ⟨ X ⟩$ para toda $i \in {1, \dots, n}$ . Usando nuevamente que el generado es un subgrupo de $G$ tenemos que $a = x_{1}^{α_{1}} \dots x_{n}^{α_{n}} \in ⟨ X ⟩$ .

Por lo tanto, $⟨ X ⟩ = W_{X}$ .

¿Cuál es el orden de un producto?

Ya hemos hablado del orden de un elemento. Si tenemos un grupo $G$ y $a, b \in G$ y sabemos quién es $o (a)$ y $o (b)$ , ¿podemos saber cómo es $o (a b)$ ? En algunos casos podemos respuesta a esta pregunta dando una explicación más precisa de cómo es el orden de un producto en términos del orden de sus factores. El siguiente resultado aparece en el libro Grupos I de Avella, Mendoza, Sáenz y Souto mencionado en la bibliografía, Teorema 3.3.12:

Teorema. Sea $G$ un grupo y $a, b \in G$ .
Si $a$ y $b$ son de orden finito, sus ordenes son primos relativos y $a b = b a$ , entonces

$\begin{aligned} o (a b) & = o (a) o (b) \\ y ⟨ a, b ⟩ & = ⟨ a b ⟩ . \end{aligned}$

Demostración.
Sea $G$ un grupo, $a, b \in G$ de orden finito con $n = o (a)$ , $m = o (b)$ . Supongamos que $(n; m) = 1$ y $a b = b a$ .

P.D. $o (a b) = n m$ .
Entonces

$\begin{aligned} (a b)^{n m} & = a^{n m} b^{n m} & porque a b = b a \\ = (a^{n})^{m} (b^{m})^{n} & propiedades de los exponentes \\ = e^{m} e^{n} \\ = e \end{aligned}$

Ya teniendo que $(a b)^{n m} = e$ , tenemos que ver que $n m$ es el menor exponente positivo tal que al elevar $a b$ a ese exponente nos da el neutro, o bien ver que divide a cualquier otro $k$ tal que $(a b)^{k} = e$ . Procedamos de acuerdo a la segunda opción.

Sea $k \in Z$ tal que $(a b)^{k} = e$ , y como $a b = b a$ esto implica que $a^{k} b^{k} = e$ . Despejando, obtenemos $a^{k} = b^{- k}$ .

Así $(a^{k})^{m} = (b^{- k})^{m} = (b^{m})^{- k} = e^{- k} = e$ (porque $o (b) = m$ ), es decir $a^{k m} = e$ . Dado que $o (a) = n$ , entonces $n | k m$ y como $(n; m) = 1$ entonces $n | k$ .

Si consideramos ahora $(a^{k})^{n} = (b^{- k})^{n}$ y seguimos un argumento análogo obtenemos que $m | k$ .

Como $n | k$ y $m | k$ y $(n; m) = 1$ , entonces $n m | k$ .
Por lo tanto $o (a b) = n m$ .

P.D. $⟨ a, b ⟩ = ⟨ a b ⟩$ .
Como toda palabra en ${a b}$ es una palabra en ${a, b}$ entonces
$\begin{array}{r} ⟨ a b ⟩ \subseteq ⟨ a, b ⟩ . \end{array}$

Por otro lado, como $a b = b a$ , toda palabra en ${a, b}$ se reduce a una de la forma $a^{i} b^{j}$ con $i, j \in Z$ , y como $o (a) = n$ , $o (b) = m$ , la expresión $a^{i} b^{j}$ se puede reducir aún más a una expresión de la forma $a^{i} b^{i}$ con $0 \leq i < n$ y $0 \leq j < m$ .

Entonces $⟨ a, b ⟩ = {a^{i} b^{j} : 0 \leq i < n, 0 \leq j < m}$ . Luego, $| ⟨ a, b ⟩ | \leq n m$ .
Pero $⟨ a b ⟩ \subseteq ⟨ a, b ⟩$ , entonces $| ⟨ a b ⟩ | \leq | ⟨ a, b ⟩ |$ .
Así,

$\begin{aligned} n m = o (a b) = | ⟨ a b ⟩ | & \leq | ⟨ a, b ⟩ | \leq n m . \end{aligned}$

Por lo tanto $⟨ a b ⟩ = ⟨ a, b ⟩$ .

Tarea moral

En el grupo de los cuaternios definido anteriormente, verifica que $j^{5} j^{- 2} j^{3} j^{- 4} = - 1$ .
Considera $Q$ , el grupo de cuaternios. Reduce la siguiente palabra a uno de los elementos $\pm 1, \pm i, \pm j, \pm k$ ,
$\begin{array}{r} j^{7} k (- i) j k i^{2} j k^{- 6} \end{array}$
Sea $D_{2 n} = {id, a, \dots, a^{n - 1}, a b, \dots, a^{n - 1} b}$ el grupo diédrico formado por las simetrías de un polígono regular de $n$ lados, con $a$ la rotación de $\frac{2 π}{n}$ y $b$ la reflexión con respecto al eje $x$ .
1. Identifica geométricamente quiénes son $id, a, \dots, a^{n - 1}, a b, \dots, a^{n - 1} b$ .
2. Determina quién es el elemento $b a b$ y, de modo más general, quién es el elemento $b a^{i} b$ para toda $i \in Z$ .
3. Determina quién es el elemento $b a^{i}$ para toda $i \in Z$ .
Considera el grupo simétrico $S_{5}$ , $α$ la permutación que manda $1$ en $2$ , $2$ en $3$ y $3$ en $1$ , fija a $4$ y a $5$ , y $β$ la permutación que intercambia $4$ y $5$ .
1. Encuentra $β α$ y $α β$ .
2. Encuentra el orden de $α$ , $β$ , $α β$ y $β α$ .
Por último, te invitamos a que veas este video que habla sobre las aplicaciones tecnológicas del grupo de los cuaternios. El video está en inglés, pero tiene subtítulos en español.

Más adelante…

¡Felicidades por acabar la Unidad 1! Ya entiendes las bases de este curso, trata de recordarlas porque las estaremos usando implícitamente.
En la siguiente unidad estaremos viendo Permutaciones y Grupo Cociente, para no adelantar mucho, sólo diremos que ambas estructuras son grupos muy importantes en el álgebra y nuestros objetos de estudio en la siguiente unidad.

Entradas relacionadas

Ir a Álgebra Moderna I.
Entrada anterior del curso: Teoremas sobre subgrupos y Subgrupo generado por $X$ .
Siguiente entrada del curso: Permutación y Grupo Simétrico.
Resto de cursos: Cursos.

Álgebra Moderna I: Teoremas sobre subgrupos y Subgrupo generado por $X$

Por Cecilia del Carmen Villatoro Ramos

2 respuestas

Introducción

Ya vimos qué es un grupo cíclico. Ahora nos preguntamos si, teniendo $G$ un grupo cíclico y tomando cualquier subgrupo $H \subseteq G$ ¿será cierto que $H$ también es cíclico?

Ilustremos esto con un ejemplo. Consideremos $Z$ con la suma, en este caso $Z = ⟨ 1 ⟩$ ,

$\dots, - 3, - 2, - 1, 0, 1, 2, 3, \dots$ .

Entre posibles subgrupos podemos encontrar:

$\dots, - 6, - 4, - 2, 0, 2, 4, 6, \dots$
$\dots, - 9, - 6, - 3, 0, 3, 6, 9, \dots$

es decir $⟨ 2 ⟩$ y $⟨ 3 ⟩$ respectivamente. Pero también podemos observar que tanto $2$ como $3$ son la mínima potencia de $1$ que aparece en sus respectivos generados. Es decir, aunque el $1$ no esté en un subgrupo cíclico de $Z$ , el subgrupo será generado por la mínima potencia de $1$ que sí sea elemento del subgrupo. En esta entrada, comenzaremos probando este resultado.

En la segunda parte de esta entrada regresaremos a la problemática inicial planteada en la entrada Orden de un elemento y grupo cíclico. Si tenemos un subconjunto $X \subseteq G$ , con $G$ un grupo, ¿cuál es el mínimo subgrupo $H$ de $G$ tal que $H$ contenga a $X$ ?

Podemos estar de acuerdo en que es posible que $X$ esté contenido en más de un subgrupo, podemos considerar la familia de subgrupos de $G$ que contienen a $X$ . A estos subgrupos los denotaremos como $H_{i}$ con $i \in I$ . Como $X \subseteq H_{i}$ para toda $i$ , sabemos que $X \subseteq ⋂_{i \in I} H_{i}$ y éste resultará ser el menor subgrupo de $G$ que contiene a $X$ . Esto será lo que desarrollaremos en la segunda parte de la entrada.

Los subgrupos de un grupo cíclico, son cíclicos.

Teorema. Todo subgrupo de un grupo cíclico, es cíclico.

Demostración.
Sea $G$ un grupo cíclico, $H \leq G$ .
Como $G$ es cíclico, entonces $G = ⟨ a ⟩$ para algún $a \in G$ .

Para ver que $H$ es cíclico tenemos que proponer un generador de $H$ , este generador tiene que ser una potencia de $a$ , porque $H \subseteq G$ y $G$ es cíclico. Por lo que dijimos en la introducción, elegiremos la potencia de $a$ con el menor exponente positivo, que esté en $H$ . Pero, para ello, tenemos que asegurarnos primero que en $H$ existen potencias de $a$ con exponentes positivos. Así, consideraremos dos casos.

Si $H = {e} = ⟨ e ⟩$ que es cíclico.

Si $H \neq {e}$ , sea $h \in H ∖ {e}$ . Entonces como $H \leq G$ , $h \in G = ⟨ a ⟩$ . Así $h = a^{k}$ para algún $k \in Z$ y como $h \neq e$ entonces $k \neq 0$ .

Tenemos que $h^{- 1} = a^{- k} \in H$ pues $H$ es subgrupo.

Así $a^{k}$ , $a^{- k} \in H$ (con $k \in Z ∖ {0}$ ), entonces no importa si $k$ es positivo o negativo, siempre habrá un elemento en $H$ que se obtiene elevando $a$ a un entero positivo, es decir,

${n \in Z^{+} | a^{n} \in H} \neq \emptyset$ .

Sea $m = mín {n \in Z^{+} | a^{n} \in H}$ .
P.D. $H = ⟨ a^{m} ⟩$

$\supseteq]$
Por la elección de $m$ , $a^{m} \in H$ y como $H$ es un subgrupo entonces $⟨ a^{m} ⟩ \subseteq H$ .

$\subseteq]$
Sea $h \in H$ . Como $H \leq G = ⟨ a ⟩$ , entonces $h = a^{k}$ para algún $k \in Z$ .

Por el algoritmo de la división existen $q, r \in Z$ tales que $k = m q + r$ con $0 \leq r < m$ .
Entonces $h = a^{k} = a^{m q + r} = (a^{m})^{q} a^{r}$ . Esto implica que

$(a^{m})^{- q} h = a^{r} .$

Pero $a^{m} \in H$ , $h \in H$ y $H$ es subgrupo, entonces $a^{r} = (a^{m})^{- q} h \in H$ con $0 \leq r < m$ . Para no contradecir la elección de $m$ concluimos que $r = 0$ .

Así $h = a^{m q} = (a^{m})^{q} \in ⟨ a^{m} ⟩$ .
Por lo tanto $H = ⟨ a^{m} ⟩$ y $H$ es cíclico.

El menor subgrupo que contiene a cualquier subconjunto $X$

Teorema. La intersección de una familia no vacía de subgrupos de un grupo $G$ es un subgrupo de $G$ .

Cuando decimos familia no vacía nos referimos a que haya al menos un grupo en la familia, con el fin de que haya al menos un grupo a intersecar. Ésta es una condición que se pide para que a nivel conjuntista no haya problemas con la intersección.

Demostración.
Sea $G$ un grupo y ${H_{i} | i \in I}$ una familia de subgrupos de $G$ .
P.D. $⋂_{i \in I} H_{i} \leq G$ .

Como $H_{i} \leq G$ para toda $i \in I$ , entonces $e \in H_{i}$ para toda $i \in I$ y así $e \in ⋂_{i \in I} H_{i}$ .

Sea $a, b \in ⋂_{i \in I}$ . Tenemos que $a, b \in H_{i}$ para toda $i \in I$ .
Como $H_{i} \leq G$ para toda $i \in I$ , entonces $a b^{- 1} \in H_{i}$ para toda $i \in I$ y así $a b^{- 1} \in ⋂_{i \in I} H_{i}$ .

Por lo tanto $⋂_{i \in I} H_{i} \leq G$ .

Corolario. Sea $G$ un grupo y $X$ un subconjunto de $G$ . Existe un subgrupo de $G$ que contiene a $X$ y que estará contenido en cualquier subgrupo de $G$ que contenga a $X$ .

Demostración.
Sea $G$ un grupo y $X$ subconjunto de $G$ .
$G$ es un subgrupo de $G$ que contiene a $X$ y entonces la familia ${H \leq G | X \subseteq H}$ es no vacía. Entonces sí existen subgrupos de $G$ que contienen a $X$ .

Consideremos $⋂_{\begin{matrix} H \leq G \\ X \subseteq H \end{matrix}} H$ . Por el teorema anterior esta intersección es un subgrupo de $G$ y por construcción $X \subseteq ⋂_{\begin{matrix} H \leq G \\ X \subseteq H \end{matrix}} H$ .

Ahora, si $\hat{H}$ es un subgrupo de $G$ que contiene a $X$ , entonces $\hat{H} \in {H \leq G | X \subseteq H}$ , y al ser uno de los intersecandos, obtenemos

$⋂_{\begin{matrix} H \leq G \\ X \subseteq H \end{matrix}} H \subseteq \hat{H}$ .

Así, $⋂_{\begin{matrix} H \leq G \\ X \subseteq H \end{matrix}} H$ es un subgrupo de $G$ que contiene a $X$ y que está contenido en cualquier subgrupo de $G$ que contenga a $X$

El subgrupo de $G$ generado por $X$

Para concluir esta entrada, daremos una definición que resume lo visto.

Definición. Sea $G$ un grupo y $X$ un subgrupo de $G$ . El conjunto

$\begin{array}{r} ⋂_{\begin{array}{c} H \leq G \\ X \subseteq H \end{array}} H \end{array}$

es el subgrupo de $G$ generado por $X$ y se denota por $⟨ X ⟩$ .

Decimos que $X$ genera a $G$ si $⟨ X ⟩ = G$ .

Observación. Sea $G$ un grupo y sea $a \in G$ . Entonces

$\begin{array}{r} ⟨ {a} ⟩ = ⟨ a ⟩ . \end{array}$

Demostración. Se quedará como tarea moral.

Notación. Para $a_{1}, \dots, a_{n} \in G$ , el subgrupo $⟨ {a_{1}, \dots, a_{n}} ⟩$ se denota por $⟨ a_{1}, \dots, a_{n} ⟩$ .

Tarea moral

Sea $G$ un grupo tal que todos sus subgrupos propios son cíclicos, entonces $G$ es cíclico. Demuestra este enunciado o encuentra un contraejemplo.
Considera a los enteros con la suma. Describe a los subgrupos:
1. $⟨ {10, 15} ⟩$ (se denota por $⟨ 10, 15 ⟩$ ).
2. $⟨ {9, 20} ⟩$ (se denota por $⟨ 9, 20 ⟩$ ).
Demuestra la última observación: Sea $G$ un grupo y sea $a \in G$ . Entonces $⟨ {a} ⟩ = ⟨ a ⟩$ . Sugerencia: Usa la doble contención y el teorema anterior.

Más adelante…

Ya estudiamos a los elementos de la forma $a^{k}$ con $a \in G$ , $k \in Z$ y $G$ un grupo. En la siguiente entrada combinaremos varios elementos de esa forma. Estudiaremos qué son y algunas propiedades de las llamadas palabras. Además, la siguiente entrada es la última de esta unidad, ¡sigue avanzando! ya casi acabas.

Entradas relacionadas

Ir a Álgebra Moderna I.
Entrada anterior del curso: Orden de un grupo.
Siguiente entrada del curso: Palabras.
Resto de cursos: Cursos.

Introducción

Definición de una factorización completa

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

Tarea moral

Más adelante…

Entradas relacionadas

Introducción

Definición de permutaciones disjuntas

Las permutaciones disjuntas conmutan

Toda permutación se puede descomponer en ciclos disjuntos

Tarea moral

Más adelante…

Entradas relacionadas

Introducción

Primeras definiciones

Ejemplo

Definición de ciclo

Ejemplos

Tarea moral

Más adelante…

Entradas relacionadas

Introducción

Nuestra primera aproximación a las palabras

Ejemplos

Palabras y el subgrupo generado por X

¿Cuál es el orden de un producto?

Tarea moral

Más adelante…

Entradas relacionadas

Introducción

Los subgrupos de un grupo cíclico, son cíclicos.

El menor subgrupo que contiene a cualquier subconjunto X

El subgrupo de G generado por X

Tarea moral

Más adelante…

Entradas relacionadas

Palabras y el subgrupo generado por $X$

El menor subgrupo que contiene a cualquier subconjunto $X$

El subgrupo de $G$ generado por $X$