Archivo de la etiqueta: grupo abeliano

Álgebra Moderna I: Teorema de Cauchy

Por Cecilia del Carmen Villatoro Ramos

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

Introducción

Hemos llegado a uno de los resultados más importantes del curso: el Teorema de Cauchy. Éste nos asegura la existencia de un elemento de determinado orden en el grupo. De forma más precisa nos dice que para cada primo que divida al orden del grupo, existe un elemento con orden exactamente ese primo.

Con este resultado nos nace una nueva pregunta: ¿cómo se relaciona esto con los $p$ -grupos? y otra más: ¿se puede relacionar esto con el centro de un grupo? Tal vez no parezcan preguntas que te harías directamente después de ver el teorema, pero igual las responderemos. Es especialmente interesante lo del centro de un grupo porque en ocasiones podemos concluir que ciertos grupos deben ser abelianos.

Uno de los resultados más importantes del curso

Teorema de Cauchy.
Sea $G$ un grupo finito, $p \in Z^{+}$ un primo que divida a $| G | .$ Entonces existe $g \in G$ de orden $p .$

Demostración.
Sea $G$ un grupo finito, $p \in Z^{+}$ un primo tal que $p | | G | .$

P.D. Existe un elemento $g \in G$ de orden $p$ .

Para esta demostración, queremos usar el último teorema de la entrada anterior. Pero este sólo aplica para un conjunto finito y un $p$ -grupo. Por lo que comenzaremos definiendo un conjunto finito a partir de $G$ .

Consideremos
$\begin{array}{r} X = {(g_{1}, \dots, g_{p}) | g_{1}, \dots, g_{p} \in G, g_{1} \dots g_{p} = e} \end{array}$
el conjunto de las $p -$ adas cuyo producto dé el neutro.

Observemos que podemos elegir las primeras $p - 1$ entradas de un elemento en $X$ como sea, pero la última no porque la condición $g_{1} \dots g_{p} = e$ nos indica que $g_{p} = (g_{1} \dots g_{p - 1})^{- 1} .$ Así $# X = | G |^{p - 1}$ y como $p$ divide al orden de $G$ , entonces $p | # X$ .

Sea $H = ⟨ (1 2 \dots p) ⟩ \leq S_{p}$ , el cual es un $p$ -grupo. $H$ actúa en $X$ permutando los subíndices, es decir,
$\begin{array}{r} (1 2 \dots p) \cdot (g_{1}, \dots, g_{p}) = (g_{2}, g_{3}, \dots, g_{p}, g_{1}) \end{array}$
y en general, si $σ = (1 2 \dots p)$ , entonces para toda $j \in Z$
$\begin{array}{r} σ^{j} \cdot (g_{1}, \dots, g_{p}) = (g_{σ^{j} (1)}, \dots, g_{σ^{j} (p)}) . \end{array}$

Tenemos que observar que la acción está bien definida. Esto sucede ya que si $(g_{1}, \dots, g_{p}) \in X$ tenemos que $g_{1} = (g_{2}, \dots, g_{p})^{- 1}$ y así $(g_{2} \dots g_{p}) g_{1} = e .$

Entonces $(1 2 \dots p) \cdot (g_{1}, \dots, g_{p}) = (g_{2}, \dots, g_{p}, g_{1}) \in X .$ Así, $H$ manda elementos de $X$ en elementos de $X$ .

Por otro lado,
$\begin{array}{r} id \cdot (g_{1}, \dots, g_{p}) = (g_{id (1)}, \dots, g_{id(p)}) = (g_{1}, \dots, g_{p}) \end{array}$
y además
$\begin{aligned} σ^{j} \cdot (σ^{t} \cdot (g_{1}, \dots, g_{p})) & = σ^{j} \cdot (g_{σ^{t} (1)}, \dots, g_{σ^{t} (p)}) & Aplicamos σ^{t} \\ = (g_{σ^{j} (σ^{t} (1))}, \dots, g_{σ^{j} (σ^{t} (p))}) & Aplicamos σ^{j} \\ = (g_{σ^{j + t} (1)}, \dots, g_{σ^{j + t} (p)}) \\ = σ^{j + t} \cdot (g_{1}, \dots, g_{p}) = (σ^{j} σ^{t}) \cdot (g_{1}, \dots, g_{p}) . \end{aligned}$

Así, efectivamente tenemos una acción de $H$ en $X$ .

Como $| H | = p$ , por el teorema de la entrada anterior
$\begin{array}{r} # X \equiv # X_{H} (mód p) . \end{array}$
Pero recordemos que $p ∣ # X$ , entonces $p ∣ # X_{H} .$

Ahora vamos a analizar cómo es $# X_{H}$ . Comencemos por entender quién es el conjunto $X_{H}$ ,
$\begin{aligned} X_{H} & = {(g_{1}, \dots, g_{p}) \in X | σ^{j} \cdot (g_{1}, \dots, g_{p}) = (g_{1}, \dots, g_{p}) \forall j} \\ = {(g_{1}, \dots, g_{p}) \in X | σ \cdot (g_{1}, \dots, g_{p}) = (g_{1}, \dots, g_{p})} & si σ fija a un elemento, también σ^{j} \\ = {(g_{1}, \dots, g_{p}) \in X | (g_{2}, \dots, g_{p}, g_{1}) = (g_{1}, \dots, g_{p})} & Definición de σ \\ = {(g_{1}, \dots, g_{p}) \in X | g_{1} = \dots = g_{p}} & Implicación directa . \end{aligned}$

En particular, $(e, \dots, e) \in X_{H}$ por lo que $# X_{H} \geq 1$ . Pero no puede haber exactamente un elemento en $X_{H}$ porque $p | # X_{H}$ , entonces $# X_{H} > 1.$ Existe entonces $(g, \dots, g) \in X_{H}$ con $g \in G$ tal que $g \neq e .$

Como $(g, \dots, g) \in X$ se tiene que $g^{p} = g \dots g = e$ con $g \in G$ con $g \neq e .$

Así $g$ es un elemento en $G$ de orden $p$ .

Corolario. Sea $p \in Z^{+}$ un primo, $G$ un grupo finito. $G$ es un $p$ -grupo si y sólo si para todo $g \in G$ el orden $o (g)$ es una potencia de $p$ .

Proposición. Sea $p \in Z^{+}$ un primo. Si $G$ es un $p$ -grupo con $G \neq {e}$ (no trivial) entonces $Z (G) \neq {e} .$

Demostración.
Sea $p \in Z^{+}$ un primo, $G$ un $p$ -grupo con $G \neq {e} .$ Por la ecuación de clase
$\begin{array}{r} | G | = | Z (G) | + \sum_{j = 1}^{k} [G : C_{G} (x_{j})] \end{array}$
con $x_{1}, \dots, x_{k}$ representantes de las distintas clases de conjugación con más de un elemento, por lo que
$\begin{aligned} 1 < # x_{j}^{G} & = [G : C_{G} (x_{j})] = \frac{| G |}{| C_{G} |} | | G | . \end{aligned}$

Como $| G | = p^{t}$ , $t \in N$ , entonces $p | [G : C_{G} (x_{j})]$ para toda $j \in {1, \dots, k}$ .

Así
$\begin{array}{r} p | | G | - \sum_{j = 1}^{k} [G : C_{G} (x_{j})] = | Z (G) | . \end{array}$

Como $| Z (G) |$ es múltiplo de $p$ no nulo, no puede ser 1. Entonces $Z (G) \neq {e} .$

¿Grupos abelianos de nuevo?

Lema. Sea $G$ un grupo. Si $G / Z (G)$ es cíclico, entonces $G$ es abeliano.

Demostración.
Sea $G$ un grupo tal que $G / Z (G)$ es cíclico.

Entonces $G / Z (G) = ⟨ g Z (G) ⟩$ con $g \in G .$

Sean $a, b \in G$ . Como $a Z (G), b Z (G) \in G / Z (G) = ⟨ g Z (G) ⟩$ entonces
$\begin{aligned} a Z (G) & = g^{k} Z (G) \\ b Z (G) & = g^{t} Z (G) & con k, t \in Z . \end{aligned}$

Así,
$\begin{aligned} a & = g^{k} z_{1} \\ b & = g^{t} z_{2} & con k, t \in Z, z_{1}, z_{2} \in Z (G) . \end{aligned}$

Entonces
$\begin{aligned} a b & = (g^{k} z_{1}) (g^{t} z_{2}) = g^{k + t} z_{1} z_{2} & Como z_{1} \in Z (G), entonces z_{1} conmuta con g^{t} \\ b a & = (g^{t} z_{2}) (g^{k} z_{1}) = g^{t + k} z_{2} z_{1} & Como z_{2} \in Z (G), entonces z_{2} conmuta con g^{k} . \end{aligned}$

Así $a b = b a$ . Por lo tanto $G$ es abeliano.

Corolario. Sea $p \in Z^{+}$ un primo. Si $G$ es un grupo de orden $p^{2}$ , entonces $G$ es abeliano.

Demostración.
Sea $p \in Z^{+}$ un primo, $G$ un grupo con $| G | = p^{2}$ .

$G$ es entonces un $p$ -grupo con $G \neq {e}$ , por la proposición previa $Z (G) \neq {e} .$

Como $Z (G) \leq G$ , entonces $| Z (G) | | | G | = p^{2}$ , con $| Z (G) | \neq 1.$ Así que $| Z (G) | = p$ ó $| Z (G) | = p^{2} .$

Si $| Z (G) | = p,$ entonces
$\begin{array}{r} | G / Z (G) | = \frac{| G |}{| Z (G) |} = \frac{p^{2}}{p} = p, \end{array}$
entonces $G / Z (G)$ es cíclico. Por el lema se tiene que $G$ es abeliano y entonces $Z (G) = G$ . Esto es una contradicción porque $| G | = p^{2}$ y estamos suponiendo que $| Z (G) | = p$ .

En consecuencia, obtenemos que $| Z (G) | = p^{2}$ , entonces $Z (G) = G$ y así $G$ es abeliano.

Tarea moral

Demuestra el primer corolario de esta entrada: Sea $p \in Z^{+}$ un primo, $G$ un grupo finito. $G$ es un $p$ -grupo si y sólo si para todo $g \in G$ el orden $o (g)$ es una potencia de $p$ . (Sugerencia: Usa el Teorema de Cauchy).
Sea $p$ un primo, prueba que cada grupo $G$ de orden $2 p$ es cíclico o isomorfo a $D_{2 p} .$
Prueba o da un contraejemplo: Todo grupo de orden $p^{3}$ con $p \in Z^{+}$ un primo, es abeliano.
Demuestra que si $G$ es un $p$ -grupo finito no abeliano tal que $| G | = p^{3} .$ Entonces, $Z (G) ≅ Z_{p} .$

Más adelante…

Nos estamos encaminando a demostrar los Teoremas de Sylow, para ello todavía nos faltan un par de definiciones. En la siguiente entrada definiremos a los $p$ -subgrupos de Sylow y usaremos el Teorema de Cauchy para probar que estos subgrupos siempre existen.

Entradas relacionadas

Ir a Álgebra Moderna I.
Entrada anterior del curso: Clase de Conjugación, Centro de $G$ , Ecuación de Clase y $p$ -Grupo.
Siguiente entrada del curso: $p$ -Subgrupo de Sylow y el Normalizador de $H$ en $G$ .
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: Definición de Grupos

Por Cecilia del Carmen Villatoro Ramos

Deja un comentario

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

Introducción

Ahora sí, comenzaremos con el tema de este curso. Después de estudiar las operaciones binarias por fin veremos para qué nos sirven. Los grupos son una estructura algebraica. Están constituidos por dos partes, un conjunto y una operación ¿Puedes imaginarte de qué tipo de operación estamos hablando?

Para motivarlo, veamos cómo resolvemos esta ecuación:

$\begin{aligned} x + 8 & = 5 \\ (x + 8) + (- 8) & = 5 + (- 8) \\ x + 0 & = - 3 \\ x & = - 3 \end{aligned}$

Al resolver la ecuación, formalmente estamos usando las siguientes propiedades:

Asociatividad
Inverso aditivo
Neutro

En ese mismo orden.

En esta entrada definiremos formalmente a los grupos y daremos muchos ejemplos para que te empapes de la definición. Revisaremos los ejemplos que vimos en entradas anteriores y determinaremos cuáles son un grupo y cuáles no.

¿Qué es un grupo?

Definición. Sea $G$ un conjunto con una operación binaria $*$ . Decimos que $(G, *)$ es un grupo si

La operación $*$ es asociativa, es decir, $(a * b) * c = a * (b * c) \forall a, b, c \in G$
Existe $e \in G$ tal que $e * a = a * e = a \forall a \in G$ .
A $e$ se le llama neutro en $G$ .
Para toda $a \in G$ existe $\tilde{a} \in G$ tal que $a * \tilde{a} = \tilde{a} * a = e$ .
En este caso, $\tilde{a}$ se llama inverso de a.

Si además * es conmutativa, es decir $a * b = b * a \forall a, b \in G$ , decimos que $(G, *)$ es un grupo abeliano.

Nota. Sea $G$ conjunto con una operación binaria $*$ :

Si $G \neq \emptyset$ , $(G, *)$ se llama magma.
Si $G \neq \emptyset$ y se cumple 1, $(G, *)$ se llama semigrupo.
Si se cumplen 1 y 2, $(G, *)$ se llama monoide.

Repaso de ejemplos anteriores

Veamos de nuevo algunos ejemplos de las entradas anteriores y comprobemos si cumplen con la definición de grupo.

$G := Z^{+}$ , $a * b = máx {a, b}$ .
- En la entrada anterior vimos que $*$ es asociativa y conmutativa.
- $1$ es el neutro.
  Demostración. $1 * a = a * 1 = máx {1, a} = a \forall a \in Z^{+}$ .
- $2$ no tiene inverso.
  Demostración. $2 * a = máx {2, a} \geq 2 \forall a \in Z^{+}$ , por lo que $2 * a \neq 1 a \in Z^{+}$ .

$∴ (Z^{+}, *)$ NO es un grupo.

$G := Z^{+}$ , $a * b = a$ .
- No tiene neutro, si existiera $e \in Z^{+}$ neutro, entonces para toda $a \in Z^{+}$ , por la definción de la operación $e * a = e$ , pero la definición de neutro requiere que $e * a = a$ . Entonces, esto implica que $e = a$ y como esto no es necesariamente cierto, pues $a$ es un entero positivo cualquiera, obtenemos una contradicción.

$∴ (Z^{+}, *)$ NO es un grupo.

$(M_{2 \times 2} (Z), +)$ es un grupo abeliano, la demostración queda como ejercicio.
$({f | f : R \to R}, \circ)$ no es un grupo, pues aunque ${id}_{R}$ es neutro, no todo elemento tiene inverso, como se ve en Álgebra Superior I.
$(S_{3}, \circ)$ es un grupo no abeliano. Generalizaremos este ejemplo más adelante y le llameremos grupo simétrico.
$S = {2, 4, 6}$ con la operación

$*$	$2$	$4$	$6$
$2$	$2$	$4$	$6$
$4$	$4$	$4$	$6$
$6$	$6$	$6$	$6$

Si observamos la tabla, podemos concluir que:

$2$ es neutro.
$4$ y $6$ no tienen inversos.

Por lo tanto, NO es un grupo.

$S = {2, 4, 6}$ con la operación

$*$	$2$	$4$	$6$
$2$	$2$	$2$	$2$
$4$	$4$	$4$	$4$
$6$	$6$	$6$	$6$

No hay un neutro.

Como no hay neutro, ni siquiera tiene sentido pensar en la existencia de inversos. Por lo tanto, NO es un grupo.

$S = {1, - 1}$

$*$	$1$	$- 1$
$1$	$1$	$- 1$
$- 1$	$- 1$	$1$

El $1$ es el neutro.
La operación es asociativa.
$1$ , $- 1$ son sus propios inversos.
Además, la operación conmuta, porque la operación es el producto usual.

Por lo tanto es un grupo abeliano.

$(Z, +)$ es un grupo.
Sea $K$ un campo y $K^{*} = K ∖ {0_{K}}$ . Si consideramos $(K^{*}, \cdot)$ tenemos un grupo abeliano. Le quitamos el $0_{K}$ pues es el único número que no tiene inverso multiplicativo.

$S^{'} = {z \in C | | z | = 1}$ . Es decir, los complejos con norma igual a $1$ . Es un grupo abeliano con el producto.

Dentro de los complejos podemos considerar $Γ_{n} = {ξ^{k} | 0 \leq k < n},$ con $ξ = e^{\frac{2 π i}{n}}$ . Geométricamente corresponden a los vértices de un polígono regular de $n$ lados y algebraicamente son las raíces $n$ -ésimas de la unidad. Forman un grupo abeliano con el producto.

Representación geográfica del conjunto cuando $n = 6$ .

Ejemplos importantes de matrices

Los siguientes son ejemplos de algunos grupos importantes. Recuérdalos porque son ejemplos que serán recurrentes en futuras entradas. Recuerda que no todas las matrices tienen inverso multiplicativo y que el producto de matrices no es conmutativo. Para refrescar tu memoria, puedes consultar las entradas de matrices inversas y operación de matrices.

$G L (n, R) = {A \in M_{n \times n} (R) | det A \neq 0},$ con el producto usual es un grupo no abeliano. Este par ordenado $(G L (n, r), \cdot)$ es conocido como el grupo lineal general.
$S L (n, R) = {A \in M_{n \times n} (R) | det A = 1},$ con el producto usual es un grupo no abeliano. Este es el grupo lineal especial.
$S O (n, R) = {A \in M_{n \times n} (R) | A A^{t} = I_{n}, det A = 1},$ con el producto usual es un grupo no abeliano. A éste se le conoce como grupo ortogonal especial.
$O (n, R) = {A \in M_{n \times n} (R) | A A^{t} = I_{n}},$ con el producto usual es un grupo no abeliano. Este es conocido como el grupo ortogonal.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

Determina, en cada uno de los siguientes casos, si el sistema descrito es grupo o no. En caso negativo, señala cuál o cuáles de los axiomas de grupo no se verifican. En caso afirmativo demuestra que es un grupo:
- $G = R ∖ {- 1}$ , $a * b := a + b + a b$ .
- $G = R^{*}$ , $a * b = | a | b$ .
- $G = {r \in Q | r se puede expresar como r = \frac{p}{q} con (p, q) = 1 y q impar}$ , $a * b = a + b$ (la adición usual).
- Sea $X$ un conjunto. Considera $G = P (X)$ el conjunto potencia de $X$ con la operación binaria $A △ B = (A \cup B) ∖ (A \cap B)$ para todo $A, B \in P (X)$ .
Demuestra la siguientes afirmaciones referentes a grupos, dadas en los ejemplos anteriores:
- $(M_{2 \times 2} (Z), +)$ es un grupo abeliano.
- $(S_{3}, \circ)$ es un grupo no abeliano.
- $(Z, +)$ es un grupo.
- $(K^{*}, \cdot)$ con $K$ un campo, es un grupo abeliano.
- $(Γ_{n}, \cdot)$ es un grupo abeliano, con $\cdot$ el producto.
Demuestrá por qué los ejemplos importantes de matrices son grupos no abelianos.

Más adelante…

Después de tantas definiciones y ejemplos, comenzaremos a ver más teoremas y demostraciones. En la siguiente entrada profundizaremos en las propiedades de grupos derivadas de su definición. Además, veremos un teorema conocido como la «Definición débil de Grupo».

Entradas relacionadas

Ir a Álgebra Moderna I.
Entrada anterior del curso: Operación binaria asociativa y conmutativa.
Siguiente entrada del curso: Propiedades de grupos y Definición débil de grupo.
Resto de cursos: Cursos.

El blog de Leo

Aprendiendo, creando y compartiendo matemáticas

Archivo de la etiqueta: grupo abeliano

Álgebra Moderna I: Teorema de Cauchy

Introducción

Uno de los resultados más importantes del curso

¿Grupos abelianos de nuevo?

Tarea moral

Más adelante…

Entradas relacionadas

Álgebra Moderna I: Permutaciones disjuntas

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

Álgebra Moderna I: Definición de Grupos

Introducción

¿Qué es un grupo?

Repaso de ejemplos anteriores

Ejemplos importantes de matrices

Tarea moral

Más adelante…

Entradas relacionadas