Archivo de la etiqueta: clases laterales

Álgebra Moderna I: Una modificación al Teorema de Cayley

Por Cecilia del Carmen Villatoro Ramos

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

Introducción

En la entrada anterior aprendimos que el Teorema de Cayley es muy útil porque nos permite visualizar a un grupo $G$ como un subgrupo del grupo de permutaciones. Si el grupo es de orden $n$ , se puede visualizar como un subgrupo del grupo $S_{n}$ que tiene orden $n!$ , entonces hemos visualizado a $G$ como parte de un grupo de permutaciones $S_{n}$ que es realmente mucho más grande que $G$ . Lo que haremos en esta entrada es relacionar al grupo $G$ con un grupo simétrico pero más pequeño que $S_{n}$ . Utilizaremos los elementos de $G$ no para mover sus propios elementos, si no, para mover clases laterales.

Después de probar este resultado, veremos una aplicación de esta modificación del Teorema de Cayley para trabajar con clase laterales. Esta aplicación generaliza el resultado que se probó para grupos normales, anteriormente establecimos que todo subgrupo de índice 2 es un subgrupo normal. Probaremos que si tomamos el menor primo que divide al orden de un grupo y tenemos un subgrupo ese índice, entonces este subgrupo tiene que ser normal.

Para esta entrada, es recomendable que repases los grupos de permutaciones.

Relacionemos a $G$ con un grupo simétrico más pequeño

En el siguiente teorema relaciona a $G$ con un grupo simétrico, pero en este caso $n$ no es el orden de $G$ , si no el índice de $G$ con respecto a un subgrupo $H$ .

Teorema. Sea $G$ un grupo, $H$ subgrupo de $G$ de índice finito, $[G : H] = n .$
Existe un homomorfismo $ϕ : G \to S_{n}$ con $Núc ϕ \leq H$ .

Observemos que el Teorema de Cayley nos da un isomorfismo y este teorema sólo nos da un homomorfismo (no necesariamente inyectivo). De todas maneras, se puede usar este teorema para probar otros resultados.

Demostración.

Sea $G$ un grupo, $H \leq G$ de índice finito, digamos $[G : H] = n$ . Para cada $a \in G$ definimos $τ_{a} : G / H \to G / H$ con $τ_{a} (g H) = a g H$ para toda $g \in G$ .

Para esta demostración, como $H$ no es necesariamente normal, $G / N$ no es un grupo. Sólo lo estamos pensando como la colección de todas las clases laterales de $G$ con respecto a $H$ .

Dada $g \in G$ ,
$\begin{aligned} τ_{a} \circ τ_{a^{- 1}} (g H) & = τ_{a} (τ_{a^{- 1}} (g H)) = a (a^{- 1} g) H = g H \\ τ_{a^{- 1}} \circ τ_{a} (g H) & = τ_{a^{- 1}} (τ_{a} (g H)) = a^{- 1} (a g) H = g H . \end{aligned}$

Así, $τ_{a^{- 1}}$ es la inversa de $τ_{a}$ y $τ_{a}$ es biyectiva.

Definimos entonces $ψ : G \to S_{G / H}$ con $ψ (a) = τ_{a}$ para todo $a \in G$ . Tomemos $a, b \in G$ y $g \in G$ . A continuación demostraremos que $ψ$ es un homomorfismo:
$\begin{aligned} ψ (a b) (g H) & = τ_{a b} (g H) = (a b) g H = a (b g) H = τ_{a} (τ_{b} (g H)) \\ = τ_{a} \circ τ_{b} (g H) = ψ (a) \circ ψ (b) (g H) \end{aligned}$

Observemos que las igualdades son producto exclusivamente de las definiciones de $ψ$ y de $τ_{a}$ . Así, $ψ (a b) = ψ (a) \circ ψ (b)$ para todo $a, b \in G$ . Por lo que $ψ$ es un homomorfismo.

Ahora pasemos a la segunda parte del teorema.

Sí $a \in Núc ψ$ , $ψ (a) = {id}_{G / N}$ y entonces, para todo $g \in G$ obtenemos,
$\begin{aligned} ψ (a) (g H) = g H & \Rightarrow τ_{a} (g H) = g H & definición de ψ \\ \Rightarrow a g H = g H & pues ψ (a) = {id}_{G / N} \\ \Rightarrow a H = H & en particular, cuando g = e \\ \Rightarrow a \in H . \end{aligned}$

Por lo tanto $Núc ψ \leq H$ .

Como $# G / N = n$ , sabemos que $S_{G / N} ≅ S_{n}$ y existe $ρ : S_{G / H} \to S_{n}$ un isomorfismo. Así $ρ \circ ψ : G \to S_{n}$ es el homomorfismo buscado.

Observación. Si $H = {e}$ se tienen el Teorema de Cayley.

Ilustremos lo aprendido

Veamos un ejemplo.

Ejemplo. Tomemos el grupo simétrico $G = S_{3}$ , el subgrupo $H = ⟨ (1, 2) ⟩$ y el cociente $G / H = {H, (1 3) H, (2 3) H}$ .

Retomemos la función de la demostración: $ψ : S_{3} \to S_{G / H}$ , $ψ (a) = τ_{a}$ para toda $a \in S_{3}$ . Entonces,

$\begin{aligned} a \in Núc ψ & \Leftrightarrow ψ (a) = {id}_{G / N} \\ \Leftrightarrow τ_{a} (g H) = g H \forall g \in S_{3} \\ \Leftrightarrow a g H = g H \forall g \in S_{3} . \end{aligned}$

Así, en este caso si $a \in Núc ψ$ ,
$\begin{aligned} a (1 3) H = (1 3) H & \Rightarrow (1 3) a (1 3) \in H = {(1), (1 2)} . \end{aligned}$
Recordemos que dos clases laterales $a H, b H$ son iguales si y sólo si $b^{- 1} a b \in H$ . En este caso, el inverso de $(1 3)$ es él mismo.
$\begin{aligned} \Rightarrow a = (1) ó a = (1 3) (1 2) (1 3) = (3 2) . \end{aligned}$

Sin embargo, como $a \in Núc ψ$ , no sólo deja fijo a $(1 3)$ , si no también a $(2 3)$ , siguiendo un razonamiento similar obtenemos:
$\begin{aligned} a (2 3) H = (2 3) H & \Rightarrow (2 3) a (2 3) \in H = {(1), (1 2)} \\ \Rightarrow a = (1) ó a = (2 3) (1 2) (2 3) = (1 3) . \end{aligned}$

Entonces, por un lado tenemos que $a = (1) ó a = (3 2)$ y por el otro, tenemos que $a = (1) ó a = (1 3)$ . Así, $a = (1)$ .

Por lo tanto, $Núc ψ = {(1)} \leq H .$

Aplicación de la modificación

A continuación veremos la aplicación de la modificación del Teorema de Cayley que mencionamos en la introducción. La aplicación consiste en una generalización de un resultado visto previamente. En entradas anteriores, vimos que todo subgrupo de índice 2 es un subgrupo normal. Ahora veremos que si hay un subgrupo de orden el menor primo que divide al orden de un grupo, este subgrupo será normal.

Corolario. Si $G$ es un grupo finito y $p \in Z^{+}$ es el menor primo positivo que divide al orden de $G$ , entonces todo subgrupo de $G$ de índice $p$ es normal en $G$ .

Demostración.

Sea $G$ un grupo finito, $| G | = n$ , $p \in Z^{+}$ el menor primo positivo que divide a $n$ .

Supongamos que $H \leq G$ con $[G : H] = p$ . Probaremos que $H$ es normal.

Sea $ψ : G \to S_{G / H}$ con $ψ (a) = τ_{a}$ para toda $a \in G$ como en el teorema anterior. Sabemos que $Núc ψ \leq H \leq G$ , como secuencia del Teorema de Lagrange tenemos
$\begin{array}{r} (1) & [G : Núc ψ] = [G : H] [H : Núc ψ] = p [H : Núc ψ] . \end{array}$

Por el Primer Teorema de Isomorfía, $G / Núc ψ ≅ Im ψ \leq S_{G / H} ≅ S_{p},$

$\begin{aligned} \Rightarrow & [G : Núc ψ] = | G / Núc ψ | | | S_{p} | \\ \Rightarrow & p [H : Núc ψ] | p! & porque | S_{p} | = p! y (1) \\ \Rightarrow & [H : Núc ψ] | (p - 1)! \end{aligned}$

Si $[H : Núc ψ] > 1$ , existiría $q \in Z^{+}$ un primo que lo divide, entonces $q | a$ con $a \in {1, 2, \dots, p - 1}$ . Por lo tanto $q < p .$

Y como $q | [H : Núc ψ]$ , entonces $q | | G |$ .

Entonces, $q$ sería un divisor primo positivo de $n$ , menor que $p$ . Esto es una contradicción.

Así $[H : Núc ψ] = 1$ , de donde $| H | = | Núc ψ |$ y como $Núc ψ \leq H$ concluimos que $H = Núc ψ ⊴ G .$

Por lo tanto $H ⊴ G$ .

Observación. No siempre existe dicho subgrupo, por ejemplo $A_{4}$ no tiene subgrupos de índice 2.

Esto sucede porque $A_{4}$ tiene 12 elementos, el menor primo que divide a 12 es 2. Pero, de acuerdo a lo que estudiamos, $A_{4}$ no tiene subgrupos de orden 6, entonces no existen subgrupos de índice 2.

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.

Demuestra la observación: Si $H = {e}$ se tienen el Teorema de Cayley.
Sea $V$ el grupo de Klein. $H = ⟨ (1, 0) ⟩$ . Determina cómo son las funciones $τ_{a}$ para cada $a \in V$ y describe cómo se puede visualizar a cada elemento $a \in V$ como una permutación en ${(a, b) + H | (a, b) \in V}$ , y como una permutación en $S_{2}$ .
Dado $G$ un grupo y $H$ un subgrupo de $G$ de índice finito $n$ , sabemos que existe un homomorfismo $ϕ$ de $G$ en $S_{n}$ con $Núc ϕ \leq H .$ Da una condición necesaria y suficiente para que $Núc ϕ = H .$
Sea $G$ un grupo finito de orden $n$ y $H$ un subgrupo de de índice primo $p$ . ¿Es $H$ normal en $G$ ? Prueba o da un contraejemplo.

Más adelante…

Con este teorema hemos avanzado un pasito en la idea de usar elementos de un grupo para modificar otro, ahora usando clases laterales. El Teorema de Cayley y su modificación son importantes para el tema que veremos en la siguiente entrada, donde ahora sí, usaremos un grupo cualquiera para actuar sobre otro grupo cualquiera.

Entradas relacionadas

Ir a Álgebra Moderna I.
Entrada anterior del curso: Teorema de Cayley.
Siguiente entrada del curso: Acciones.
Resto de cursos: Cursos.

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

Por Cecilia del Carmen Villatoro Ramos

Deja un comentario

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

Introducción

Como pudiste darte cuenta por el título, en esta entrada definiremos una relación de equivalencia en un grupo. Permítenos dar una motivación usando un grupo que tal vez ya hayas estudiado en cursos anteriores como el de Álgebra Superior II.

Dicho grupo tan importante, es el de los enteros con la suma $(Z, +)$ . Para $a, b \in Z$ es posible establecer una relación $\sim$ dentro de los enteros como sigue
$\begin{array}{r} a \sim b \Leftrightarrow b - a es múltiplo de n . \end{array}$
Esta relación de equivalencia induce una partición de $Z$ , con exáctamente $n$ conjuntos. Donde cada conjunto es una de las clases módulo $n$ . En esta entrada queremos introducir una relación parecida, pero generalizada a cualquier grupo.

Comencemos modificando este ejemplo un poco. Primero, llamemos $H$ al conjunto de todos los enteros múltiplos de $n$ . Así nuestra relación quedaría, para $a, b \in Z$ ,
$\begin{array}{r} a \sim b \Leftrightarrow b - a \in H . \end{array}$

Luego, notemos que a pesar de que la operación que usamos para definir el grupo es la suma usual, nuestra relación está definida usando la resta. En realidad, lo que está pasando es que estamos sumando $b$ con el inverso aditivo de $a$ , es decir $- a$ . Entonces $b - a = b + (- a)$ . Además, $(Z, +)$ es un grupo abeliano, por lo que $b + (- a) \in H \Leftrightarrow (- a) + b \in H$ . Para nuestra generalización usaremos el segundo caso.

Así, tenemos que comenzar agarrando un subgrupo cualquiera de $G$ , es decir, nos tomamos $H \leq G .$ Entonces nuestra relación debe quedar, dados $a, b \in G$ ,
$\begin{array}{r} a \sim b \Leftrightarrow a^{- 1} b \in H . \end{array}$

Ya al tener esa relación y demostrar que es una relación de equivalencia, usaremos las propiedades de grupo para descubrir que las clases de equivalencia son las clases laterales vistas en la entrada anterior.

Relación Generalizada

Lo anterior queda formalizado en la siguiente definición.

Definición. Sea $G$ un grupo y $H$ un subgrupo de $G$ . Definimos una relación en $G$ del siguiente modo: dados $a, b \in G$ ,

$\begin{array}{r} a \sim b \Leftrightarrow a^{- 1} b \in H . \end{array}$

Ahora, demostraremos que esa relación, así como la de la introducción, es una relación de equivalencia.

Observación. La definición anterior es una relación de equivalencia.

Demostración.
Sean $G$ un grupo y $H \leq G$ .

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

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

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

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

Sean $a, b, c \in G$ . Si $a \sim b$ y $b \sim c$ , entonces $a^{- 1} b \in H$ y $b^{- 1} c \in H$ , entonces usando la cerradura de $H$ y asociando de otra manera, obtenemos

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

Así, nuestra relación es transitiva.

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

Nótese que para probar las tres propiedades de una relación de equivalencia (reflexividad, simetría y transitividad) usamos las tres condiciones de un subgrupo (la existencia del neutro, la cerradura de los inversos y la cerradura del producto).

A continuación, veamos cómo son las clases de equivalencia:
Sea $a \in H$ .

$\begin{aligned} \bar{a} & = {b \in G | a \sim b} = {b \in G | a^{- 1} b \in H} \\ = {b \in G | a^{- 1} b = h, h \in H} = {b \in G | b = a h, h \in H} \\ = {a h | h \in H} = a H . \end{aligned}$

Ahora veremos algunas observaciones de lo anterior.

Observación. Sean $G$ un grupo, $H \leq G$ y $a, b \in G$ , entonces
$\begin{aligned} a H = b H & \Leftrightarrow a^{- 1} b \in H . \end{aligned}$

En particular,
$\begin{aligned} H = b H & \Leftrightarrow b \in H \end{aligned}$

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

Como $\sim$ es una relación de equivalencia, esta induce una partición y, como sus clases de equivalencia son las clases laterales, tenemos el siguiente teorema.

Teorema. Sea $G$ un grupo, $H$ subgrupo de $G$ .

$a H \neq \emptyset \forall a \in G$ .
Si $a, b \in G$ son tales que $a H \cap b H \neq \emptyset$ , entonces $a H = b H$ .
$⋃_{a \in G} a H = G$

Claramente el teorema anterior enuncia las características de una partición, por lo que no hay nada que probar.

Ejemplos

Ejemplo 1. Consideremos al grupo de los cuaternios $Q$ , tomemos el subgrupo $H = ⟨ i ⟩ = {\pm 1, \pm i}$ . Veamos qué sucede con sus clases laterales.
$\begin{aligned} j H & = {j (+ 1), j (- 1), j (+ i), j (- i)} \\ = {j, - j, - k k} \\ = H j . \end{aligned}$

La última igualdad la puedes comprobar tú, multiplicando los mismos elementos por $j$ , pero ahora del lado izquierdo.

Así, las clases laterales son:

Clases laterales izquierdas: $H, j H$ .
Clases laterales derechas: $H, H j$ .

Ejemplo 2. Tomemos $S_{3}$ y $H = {(1), (32)}$ .
Primero, veamos cómo se ven las clases laterales izquierdas.

Primero, tenemos la clase del neutro, es decir $(1) H = H$ . Luego, tenemos que tomarnos un elemento de $S_{3}$ que no esté en $H$ , digamos $(1 2 3)$ , entonces,
$\begin{aligned} (1 2 3) H & = {(1 2 3) (1), (1 2 3) (3 2)} \\ = {(1 2 3), (1 2)} . \end{aligned}$

Repetimos lo anterior, tomamos un elemento de $S_{3}$ que no esté $H$ y sea distinto al que ya nos tomamos para obtener una clase distinta. Esto nos da
$\begin{aligned} (1 3 2) H & = {(1 3 2) (1), (1 3 2) (3 2)} \\ = {(1 3 2) (1 3)} . \end{aligned}$

Por lo que las clases laterales izquierdas son:
$\begin{aligned} (1) H = H \\ (1 2 3) H = {(1 2 3), (1 2)} \\ (1 3 2) H = {(1 3 2) (1 3)} . \end{aligned}$

De la misma manera obtenemos las clases laterales derechas:
$\begin{aligned} H (1) = H \\ H (1 2 3) = {(1) (1 2 3), (3 2) (1 2 3)} = {(1 2 3), (1 3)} \\ H (1 3 2) = {(1) (1 3 2), (3 2) (1 3 2)} = {(1 3 2), (1 2)} . \end{aligned}$

Este ejemplo nos permite ver que las clases laterales izquierdas y las clases laterales derechas no siempre coinciden.

Partición de las clases laterales izquierdas del ejemplo 2.

Partición de las clases laterales derechas del ejemplo 2.

Número de elementos en las clases laterales

El último ejemplo nos dice que las clases laterales derechas e izquierdas no siempre coinciden, sin embargo probaremos que siempre hay la misma cantidad de ambas.

Teorema. Sea $G$ un grupo, $H$ un subgrupo de $G$ . Entonces

$\begin{array}{r} # {a H | a \in G} = # {H a | a \in G} . \end{array}$

Demostración.

Sea $ψ : {a H | a \in G} \to {H a | a \in G}$ , definida como $ψ (a H) = H a^{- 1} \forall a \in G$ . Probaremos que esta función es biyectiva.

Pequeño paréntensis:

Antes de comenzar con la demostración, pongamos atención a la definición de $ψ$ . En un inicio podríamos pensar ¿por qué no hacemos $ψ (a H) = H a$ ? La respuesta es simple, porque esto no funcionaría. Definamos una nueva función para ejemplificar, sea $ϕ : {a H | a \in G} \to {H a | a \in G}$ tal que $ϕ (a H) = H a$ .

Tomemos $b \in G$ tal que $a H = b H$ , para que $ϕ$ esté bien definida, necesitaríamos que $ϕ (a H) = ϕ (b H)$ , es decir $H a = H b$ . Por la relación que definimos, esto implica que si $a^{- 1} b \in H$ , entonces $b a^{- 1} \in H$ , pero esto no necesariamente es cierto porque el grupo puede no ser abeliano. Lo que sí sabemos es que si $a^{- 1} b \in H$ , entonces $H a^{- 1} b = H$ , y así $H a^{- 1} = H b^{- 1}$ .

Por esto es que escogimos a $ψ$ de esa manera.

Termina paréntesis. Ahora sí comencemos con la demostración.

Sean $a, b \in G$ ,

$\begin{aligned} a H = b H & \Leftrightarrow a^{- 1} b \in H \\ \Leftrightarrow H a^{- 1} b = H \\ \Leftrightarrow H a^{- 1} = H b^{- 1} \\ \Leftrightarrow ψ (a H) = ψ (b H) . \end{aligned}$
Por tanto, $ψ$ está bien definida y es inyectiva.

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

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

así $ψ$ es suprayectiva.

Por lo tanto $# {a H | a \in G} = # {H a | a \in G} .$

Ahora, ya sabemos que la cantidad de clases laterales izquierdas es la misma que la de clases laterales derechas. Entonces podemos nombrar esto como el índice.

Definición. Sea $G$ un grupo, $H$ un subgrupo de $G$ . El índice de $H$ en $G$ es

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

Ejemplos

Retomemos los ejemplos que ya hemos visto.

Tomemos a $Q$ como los cuaternios, $H = ⟨ i ⟩ = {\pm 1, \pm i}$
$[Q : H] = 2$ .
Ahora, tomemos $S_{3}$ , $H = {(1), (32)}$ . Como ya vimos,
$[S_{3} : H] = 3$ .
Consideremos el grupo $(Z, +)$ y $H = {6 m | m \in Z}$ .
Hay 6 clases laterales: $H, 1 + H, 2 + H, 3 + H, 4 + H, 5 + H$ . Que serían los múltiplos de $6$ , $6 + 1$ , $6 + 2$ , $\dots$ respectivamente.
Así, $[Z, H] = 6$ .

Tarea moral

Analizando los ejemplos que tienes hasta ahora observa si existe alguna relación entre el orden de un grupo $G$ , el orden del subgrupo $H$ y la cantidad de clases laterales de $H$ en $G$ .
Considera ${\pm 1} \leq ⟨ i ⟩ \leq Q$ . Describe las clases laterales izquierdas de ${\pm 1}$ en $⟨ i ⟩$ , las clases laterales izquierdas de $⟨ i ⟩$ en $Q$ , y las clases laterales izquierdas de ${\pm 1}$ en $Q$ . Encuentra $[Q : {\pm 1}]$ , $[Q : ⟨ i ⟩]$ y $[⟨ i ⟩ : {\pm 1}]$ .
Considera $⟨ (1 2 3) ⟩ \leq A_{4} \leq S_{4}$ . Describe las clases laterales izquierdas de $⟨ (1 2 3) ⟩$ en $A_{4}$ , las clases laterales izquierdas de $A_{4}$ en $S_{4}$ , y las clases laterales izquierdas de $⟨ (1 2 3) ⟩$ en $S_{4}$ . Encuentra $[S_{4} : ⟨ (1 2 3) ⟩]$ , $[S_{4} : A_{4}]$ y $[A_{4} : ⟨ (1 2 3) ⟩]$ .
Puedes checar el video de Mathologer.

Más adelante…

Ahora conoces el índice de $H$ en $G$ . Recúerdalo para la siguiente entrada, porque intentaremos describir el orden de $G$ en términos del orden de $H$ y del índice. Sin hacer trampa, ¿cómo crees que se puede relacionar el orden de $G$ y el índice?

Entradas relacionadas

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

Álgebra Moderna I: Producto de subconjuntos y Clases Laterales

Por Cecilia del Carmen Villatoro Ramos

Deja un comentario

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

Introducción

Antes de comenzar conviene que recordemos que estamos trabajando con grupos. Un conjunto con una operación da lugar a un grupo si cumple ciertas condiciones, entre ellas tener un neutro y ser cerrado bajo su operación. Ahora nos interesamos por los subconjuntos cualquiera del grupo, no necesariamente subgrupos. Esta entrada está dedicada al estudio del producto de dichos subconjuntos.

La primera parte comienza definiendo a nuestro producto y lo ilustramos con unos ejemplos. La segunda parte pretende responder a la pregunta ¿cuándo es el producto de dos subconjuntos un subgrupo? En la tercera parte, nos imaginamos un caso particular, ¿qué pasa cuando uno de los subconjuntos elegidos es unitario? Es decir, estamos multiplicando un subgrupo de $G$ por un solo elemento de $G$ .

Producto de $S$ con $T$

Definición. Sea $G$ un grupo, $S, T$ subconjuntos no vacíos de $G$ . El producto de $S$ con $T$ es el conjunto

$S T = {s t | s \in S, t \in T} .$

El orden de los elementos de $S T$ es importante, recordemos que $G$ no es necesariamente abeliano. Más adelante analizaremos más al respecto.

Nota: Cuando escribimos $s t$ nos referimos a la operación que pertenece al grupo $(G, \cdot)$ . Por ejemplo, si tomamos a $Z$ , la operación sería la suma $+$ usual.

Tomamos dos subgrupos $S$ y $T$ de $G$ . Si multiplicamos sus elementos, el resultado queda en $G$

Ejemplos.

Tomemos las permutaciones de $S_{3} = {(1), (1 2), (1 3), (2 3), (1 2 3), (1 3 2)}$ . Consideramos a $S$ como $S = {(1 2)}$ y a $T$ como $T = {(1 2 3), (1 3 2)}$ . Entonces, su producto queda
$\begin{aligned} S T & = {(1 2) (1 2 3), (1 2) (1 3 2)} \\ = {(2 3), (1 3)} . \end{aligned}$
Si consideramos $(Z, +)$ , podemos tomar a $S$ y a $T$ como
$\begin{aligned} S & = 2 Z = {2 n | n \in Z}, \\ T & = 3 Z = {3 m | m \in Z} . \end{aligned}$
En este caso, el producto se denota como $S + T$ y este conjunto es
$\begin{array}{r} S + T = 2 Z + 3 Z = {2 n + 3 m | n, m \in Z} = Z . \end{array}$
Donde la última igualdad se da porque $(2, 3) = 1$ (es decir, $2$ y $3$ son primos relativos).

¿Cuándo es el producto un subgrupo de $G$ ?

Vamos a ver qué pasa ahora a la hora de multiplicar subgrupos. Durante la demostración del siguiente teorema, observaremos que en general, el producto no es un subgrupo debido a un detalle de la conmutatividad de los elementos. El siguiente se trata de un resultado clásico que aparece por ejemplo en el texto de Dummit mencionado en la bibliografía, Proposición 14:

Teorema. Sea $G$ un grupo, $H$ , $K$ subgrupos de $G$ . Entonces,
$\begin{array}{r} H K \leq G si y sólo si H K = K H . \end{array}$

Demostración.
Sea $G$ un grupo, $H, K$ subgrupos de $G$ .

$| \Rightarrow)$ Supongamos que $H K \leq G$ .
P.D. $K H = H K$

Procedemos por doble contención.
$\subseteq]$
Sea $x \in K H$ , entonces existen $k \in K$ y $h \in H$ tales que $x = k h$ .

Como $H K$ es subgrupo de $G$ , entonces $h^{- 1} k^{- 1} \in H K$ , así
$\begin{array}{r} x^{- 1} = (k h)^{- 1} = h^{- 1} k^{- 1} \in H K . \end{array}$

Entonces, $x^{- 1} \in H K$ , y como $H K$ es subgrupo, $x \in H K$ . Por lo tanto $K H \subseteq H K$ .

$\supseteq]$
Sea $x \in H K$ .

Observación: Si intentamos hacer lo mismo de antes, tomaríamos $h \in H$ y $k \in K$ tales que $x = h k$ , así $x^{- 1} = k^{- 1} h^{- 1}$ ya que en el inverso se invierte el orden, es decir $x^{- 1} \in K H$ . Pero como no sabemos nada de $K H$ , nos atoramos aquí. Por lo tanto, tomaremos un camino un tanto diferente.

Sabemos que $H K \leq G$ , entonces sabemos que $x^{- 1} \in H K$ . Entonces existen $h \in H$ y $k \in K$ tales que $x^{- 1} = h k$ . Así,

$\begin{aligned} x = (x^{- 1})^{- 1} = (h k)^{- 1} = k^{- 1} h^{- 1} \in K H \end{aligned}$
Por lo tanto $H K \subseteq K H$ .

Así, $H K = K H$ .

$\Leftarrow |)$ Supongamos que $H K = K H$ .
P.D. $H K \leq G$ .

Observemos primero que $e = e e \in H K$ .

Ahora consideremos $x, y \in H K$ , entonces
$\begin{aligned} x = h k & h, \overset{―}{h} \in H \\ y = \bar{h} \bar{k} & k, \overset{―}{k} \in K . \end{aligned}$

Entonces
$\begin{aligned} x y^{- 1} = (h k) (\bar{h} \bar{k})^{- 1} & = (h k) ({\bar{k}}^{- 1} {\bar{h}}^{- 1}) \\ = h ((k {\bar{k}}^{- 1}) {\bar{h}}^{- 1}) . \end{aligned}$

Pero
$\begin{aligned} (k {\bar{k}}^{- 1}) {\bar{h}}^{- 1} \in K H = H K & Por la hipótesis \\ \Rightarrow & (k {\bar{k}}^{- 1}) {\bar{h}}^{- 1} = \hat{h} \hat{k} & con \hat{h} \in H, \hat{k} \in K . \end{aligned}$

Sustituyendo los valores $x y^{- 1} = h (\hat{h} \hat{k}) = (h \hat{h}) \hat{k} \in H K .$

Por lo tanto $H K \leq G$ .

Del teorema anterior se sigue este corolario:

Corolario. Sea $G$ un grupo abeliano, $H, K$ subgrupos de $G$ . Tenemos que $H K$ es un subgrupo de $G$ .

Clases Laterales

Ahora, tomemos $T = {a}$ con $a \in G$ . De esta manera $T H = {a} H$ , pero para simplificar la notación, usaremos ${a} H = a H$ . A este caso específico, lo llamaremos clase lateral. A continuación lo definiremos de una manera más formal.

Definición. Sean $G$ un grupo, $H$ un subgrupo de $G$ , $a \in G$ .
La clase lateral izquierda de $H$ en $G$ con representante $a$ es
$a H = {a h | h \in H} .$
La clase lateral derecha de $H$ en $G$ con representante $a$ es
$H a = {h a | h \in H} .$

Ambas clases son análogas, aunque como veremos más adelante no necesariamente iguales, y para fines prácticos trabajaremos sólo con una, pero es importante definir ambas.

Ejemplos.

Sean $G = S_{n},$ $H = A_{n},$ con $n \geq 2$ .
$\begin{aligned} (1 2) A_{n} & = {(1 2) α | α \in A_{n}} \\ = {β \in S_{n} | s g n β = - 1} . \end{aligned}$
Sea $G = R^{2}$ con la suma usual,
$\begin{aligned} H & = {(x, x) | x \in R} \\ y (a, b) \in R^{2} \\ Entonces, \\ (a, b) + H & = {(a, b) + (x, x) | x \in R}, \end{aligned}$ que geométricamente es la diagonal trasladada por el vector $(a, b) .$

Hecho con GeoGebra®
Representación de $(a, b) + H$ .

Tarea moral

Prueba o da un contraejemplo: Si $G$ es un grupo y $S$ y $T$ son subconjuntos de $G$ tales que $S T$ es un subgrupo de $G$ , entonces $S$ y $T$ son subgrupos de $G$ .
Sea $D_{2 (6)} = {id, a, \dots, a^{5}, b, a b, \dots, a^{5} b}$ el grupo diédrico formado por las simetrías de un hexágono, con $a$ la rotación de $\frac{π}{3}$ y $b$ la reflexión con respecto al eje $x$ . Calcula las clases laterales izquierdas y derechas de $⟨ a ⟩$ en $D_{2 (6)}$ .
En cada inciso calcula $H K$ y determina si es un subgrupo de $S_{4}$ .
1. $H = {(1), (1 2)}$ y $K = {(1), (1 3)}$ .
2. $H = {(1), (1 2)}$ y $K = {(1), (3 4)}$ .

Más adelante…

En la siguiente entrada definiremos una relación de equivalencia y, al tratar de describir las clases de equivalencias inducidas, podremos relacionar las clases laterales con los elementos de $H$ . Además, continuaremos respondiendo a las preguntas: ¿qué relación existe entre el número de elementos de las clases laterales derechas e izquierdas? y ¿qué es el índice de $H$ en $G$ ?

Entradas relacionadas

Ir a Álgebra Moderna I.
Entrada anterior del curso: Paridad de una permutación.
Siguiente entrada del curso: Relación de equivalencia dada por un subgrupo e índice de $H$ en $G$ .
Resto de cursos: Cursos.

Álgebra Moderna I: Paridad de una permutación

Por Cecilia del Carmen Villatoro Ramos

4 respuestas

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

Introducción

En la entrada anterior descubrimos que toda permutación se puede factorizar en producto de transposiciones. Mas aún, el polinomio de Vandermonde nos permite saber que, aunque hayan varias factorizaciones, en realidad, todas siempre tienen una cantidad par (o un cantidad impar) de transposiciones. Con esto, podemos definir el signo de una permutación. La secuencia que se seguirá para abordar el signo de una permutación es la presentada en el libro Grupos I de Avella, Mendoza, Sáenz y Souto que se indica en la bibliografía, es decir se usarán los resultados de la entrada previa de acuerdo al enfoque de Herstein, para introducir la función signo y probar que es multiplicativa, y con ello obtener la fórmula del signo que aparece en el libro A first course in abstract algebra de Rotman (todos estos libros son los que se mencionan en la bibliografía).

Ya teniendo una noción de la paridad de una permutación podemos jugar con las consecuencias: podemos deducir qué pasa si multiplicamos dos permutación con la misma paridad, qué sucede cuando tienen distinta paridad y además, como es raro en los cursos de matemáticas… ¡podemos agrupar por paridad! En esta entrada, descubrimos que el conjunto de transposiciones con signo par, es en realidad un grupo con $\frac{n!}{2}$ elementos. Este conjunto es llamado el grupo alternante.

¿Pares o impares?

Definición. Sea $α \in S_{n}$ , $α$ es par si $α = id$ o si $α$ es un producto de un número par de transposiciones. Por otro lado, $α$ es impar si es un producto de un número impar de transposiciones.

La función signo es $s g n : S_{n} \to {+ 1, - 1}$ definida como
$\begin{array}{r} s g n α = {\begin{cases} + 1 & si α es par \\ - 1 & si α es impar \end{cases} \end{array}$

Observación. Sean $α = τ_{1} \dots τ_{r} \in S_{n}$ , con $τ_{1}, \dots, τ_{r}$ transposiciones. Entonces $s g n α = (- 1)^{r}$ .

Demostración.
La definición nos asegura que $s g n α = + 1$ si y sólo si $r$ es par.

Proposición. Sean $α, β \in S_{n}$ . Entonces $s g n (α β) = s g n α s g n β .$

Esto nos dice que la función signo ( $s g n$ ) es multiplicativa. Esto lo hace más sencilla de trabajar.

Demostración.

Esto es bastante fácil de demostrar, para usar lo que vimos tenemos que expresar a estas permutaciones como producto de transposiciones.

Sean $α, β \in S_{n}$ , con $α = τ_{1} \dots τ_{r}$ , $β = ρ_{1} \dots ρ_{t}$ . Donde, $τ_{1}, \dots, τ_{r}, ρ_{1}, \dots, ρ_{t}$ son transposiciones.

Si calculamos el signo del producto $α β$ y usando la observación anterior, obtenemos lo siguiente:
$\begin{aligned} s g n (α β) & = s g n (τ_{1} \dots τ_{r} ρ_{1} \dots ρ_{t}) \\ = (- 1)^{r + t} & Observación anterior \\ = (- 1)^{r} (- 1)^{t} & Propiedades de las potencias \\ = s g n α s g n β & Observación anterior \end{aligned}$

Esto es precisamente lo que queríamos probar.

Podemos concluir que para calcular el signo de un producto, basta entender el signo de cada uno de los factores.

Calculando el signo de una permutación

Seguiremos puliendo la idea que nos dio la proposición anterior hasta llegar a una fórmula para sacar el signo de una permutación. Pero por ahora, veamos qué sucede con los $r$ -ciclos.

Lema. Sea $σ = (i_{1} \dots i_{r}) \in S_{n}$ un $r$ -ciclo. Entonces $s g n σ = (- 1)^{r - 1}$ .

Demostración.
Recordemos que en la entrada anterior vimos que podemos escribir a $σ$ como un producto de transposiciones:
$\begin{aligned} σ & = (i_{1} \dots i_{r}) = (i_{1} i_{r}) \dots (i_{1} i_{2}) . \end{aligned}$
Intuitivamente, estamos intercambiando a $i_{1}$ con los elementos que le siguen, esto nos da $r - 1$ transposiciones. Por lo tanto, $σ$ es un producto de $r - 1$ transposiciones. De acuerdo con la observación, podemos concluir que $s g n σ = (- 1)^{r - 1}$ .

Estamos listos para enunciar y probar la fórmula del signo que aparece en el libro A first course in abstract algebra de Rotman que se menciona en la bibliografía, y que resulta muy útil para calcular el signo de una permutación.

Teorema. Sea $α \in S_{n}$ , $α = β_{1} \dots β_{t}$ una factorización completa de $α$ . Entonces $s g n α = (- 1)^{n - t}$ , donde $t$ es la cantidad de factores que tiene la factorización completa de $α$ .

Demostración.
Como el signo es multiplicativo,
$\begin{array}{r} s g n α = \prod_{i = 1}^{t} s g n β_{i} . \end{array}$
Estamos tomando una factorización completa de $α$ , entonces todos los $β_{i}$ son ciclos disjuntos. Así que su signo está dado por la longitud del ciclo (de acuerdo al lema dado):
$\begin{array}{r} s g n β_{i} = (- 1)^{long β_{i} - 1} \forall i \in {1, \dots, t} . \end{array}$
Juntando ambas ecuaciones y sumando los $t$ exponentes obtenemos las siguientes igualdades
$\begin{aligned} s g n α & = \prod_{i = 1}^{t} s g n β_{i} & Proposición \\ = \prod_{i = 1}^{t} (- 1)^{long β_{i} - 1} & Lema \\ = (- 1)^{(\sum_{i = 1}^{t} long β_{i}) - t} = (- 1)^{n - t} . & Leyes de exponentes \end{aligned}$

Como la factorización es completa, la siguiente igualdad se cumple: $\sum_{i = 1}^{t} long β_{i} = n .$

Por lo tanto $s g n α = (- 1)^{n - t}$ .

Esta forma resulta útil porque ya no se requiere descomponer una permutación en producto de transposiciones, basta con encontrar una factorización completa. Veamos esto con un ejemplo.

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

También podemos escribirla como $α = (1 2 4 5) (3 7) (6 8 9) (10)$ . Esta expresión es una factorización completa de $α$ con cuatro factores.

Entonces, de acuerdo con el teorema que acabamos de probar, $s g n α = (- 1)^{10 - 4} = (- 1)^{6} = + 1.$

Por otro lado mostremos una factorización de $α$ en transposiciones: $α = (1 5) (1 4) (1 2) (3 7) (6 9) (6 8)$ que tiene seis transposiciones. Entonces, efectivamente $α$ es un producto de un número par de transposiciones.

Hora de Agrupar

Hemos visto que la función $s g n$ es una función mutliplicativa. Esto nos da como consecuencia que al multiplicar dos permutaciones con la misma paridad, te da como resultado una permutación par. En caso contrario, el resultado es impar. Ahora nos fijaremos solamente en las permutaciones pares.

Definición. El grupo alternante para $n$ elementos está definido como

$A_{n} = {α \in S_{n} | s g n α = + 1} .$

Observación. $A_{n}$ efectivamente es un subgrupo de $S_{n}$ .

Demostración.
Si $α = id$ , por definición del signo, $s g n id = + 1$ . Así, $id \in A_{n}$ .

Sean $α, β \in A_{n}$ .
Como la función signo es multiplicativa:
$\begin{array}{r} s g n α β = s g n α s g n β = (+ 1) (+ 1) = + 1. \end{array}$
Así, $α β \in A_{n}$ . Es decir, $A_{n}$ es cerrada bajo el producto.

Por último, sea $α \in A_{n}$ .

Por un lado, usando la propiedad multiplicativa del signo obtenemos:
$\begin{array}{r} s g n (α α^{- 1}) = s g n α s g n α^{- 1} = (+ 1) s g n α^{- 1} . \end{array}$

Por otro lado, como $α α^{- 1} = id$ , tenemos:
$\begin{array}{r} s g n (α α^{- 1}) = s g n id = + 1. \end{array}$

Por lo tanto $s g n (α α^{- 1}) = + 1$ , así $α^{- 1} \in A_{n}$ . Es decir, $A_{n}$ es cerrada bajo inversos.

Por lo tanto $A_{n}$ es un subgrupo de $S_{n}$ .

El siguiente resultado nos muestra que el grupo alternante $A_{n}$ «parte en dos» a las permutaciones, es decir, la mitad de permutaciones son pares.

Proposición. Sea $n > 1$ , entonces $| A_{n} | = \frac{n!}{2}$ .

Demostración. Podemos ver a $S_{n}$ como la unión de las permutaciones pares e impares, esto se expresa así $S_{n} = A_{n} \cup (S_{n} ∖ A_{n}) .$
Pero, podemos dar una biyección definida como $ϕ : A_{n} \to S_{n} ∖ A_{n}$ , definida como $ϕ α = (1 2) α$ .

Entonces, $| A_{n} | = # S_{n} ∖ A_{n}$ .

Así, como dijimos que

$n! = | S_{n} | = | A_{n} | + # S_{n} ∖ A_{n} = 2 | A_{n} |$ .

Por lo tanto $| A_{n} | = \frac{n!}{2}$ .

Notación. Para denotar la cardinalidad u orden de un conjunto $A$ , usamos dos notaciones:
$\begin{aligned} | A | \to & Si A es un grupo. \\ # A \to & Si A no es un grupo (o si no sabemos si A es un grupo o no). \end{aligned}$

Tarea moral

Considera el elemento $α \in S_{12}$ como
$\begin{array}{r} α = (\begin{array}{c} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 \\ 2 & 11 & 4 & 1 & 8 & 12 & 3 & 6 & 9 & 5 & 7 & 10 \end{array}) \end{array}$
1. Encuentra $α^{- 1}$ , el signo de $α$ y el de $α^{- 1}$ .
2. En general, ¿qué pasará con el signo de una permutación y de su inversa?
Sea $α$ un $r$ ciclo en $S_{n}$ . ¿Podemos determinar el signo de $α$ a partir de la paridad de $r$ ?
Dada $α \in S_{n}$ decimos que los números $i, j \in {1, 2, \dots, n}$ forman una inversión si $i < j$ pero $α (i) > α (j)$ . ¿Qué relación existe entre la paridad y el número de inversiones de $α$ ?
Encuentra todos los elementos de $A_{4}$ .

Más adelante…

Esta entrada nos sirvió para construir los cimientos, es importante que lo tengamos claro antes de avanzar. En la siguiente entrada definiremos el producto de $S$ con $T$ , veremos en qué situaciones el producto de los subconjuntos conmuta, cuándo se cumple que $S T$ es un subgrupo de $G$ . Esto nos ayudará para definir las clases laterales. Más adelante, estas clases nos ayudarán a definir una nueva relación de equivalencia.

Entradas relacionadas

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

El blog de Leo

Aprendiendo, creando y compartiendo matemáticas

Archivo de la etiqueta: clases laterales

Álgebra Moderna I: Una modificación al Teorema de Cayley

Introducción

Relacionemos a $G$ con un grupo simétrico más pequeño

Ilustremos lo aprendido

Aplicación de la modificación

Tarea moral

Más adelante…

Entradas relacionadas

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

Introducción

Relación Generalizada

Ejemplos

Número de elementos en las clases laterales

Ejemplos

Tarea moral

Más adelante…

Entradas relacionadas

Álgebra Moderna I: Producto de subconjuntos y Clases Laterales

Introducción

Producto de $S$ con $T$

¿Cuándo es el producto un subgrupo de $G$ ?

Clases Laterales

Tarea moral

Más adelante…

Entradas relacionadas

Álgebra Moderna I: Paridad de una permutación

Introducción

¿Pares o impares?

Calculando el signo de una permutación

Hora de Agrupar

Tarea moral

Más adelante…

Entradas relacionadas

Introducción

Relacionemos a G con un grupo simétrico más pequeño

Ilustremos lo aprendido

Aplicación de la modificación

Tarea moral

Más adelante…

Entradas relacionadas

Introducción

Relación Generalizada

Ejemplos

Número de elementos en las clases laterales

Ejemplos

Tarea moral

Más adelante…

Entradas relacionadas

Introducción

Producto de S con T

¿Cuándo es el producto un subgrupo de G?

Clases Laterales

Tarea moral

Más adelante…

Entradas relacionadas

Introducción

¿Pares o impares?

Calculando el signo de una permutación

Hora de Agrupar

Tarea moral

Más adelante…

Entradas relacionadas

Relacionemos a $G$ con un grupo simétrico más pequeño

Producto de $S$ con $T$

¿Cuándo es el producto un subgrupo de $G$ ?