Archivo de la etiqueta: Algebra moderna

Álgebra Moderna I: Núcleo e Imagen de un Homomorfismo

Por Cecilia del Carmen Villatoro Ramos

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

Introducción

Estamos trabajando con homomorfismos, que son funciones entre dos grupos que respetan sus operaciones. Entre las propiedades que vimos, está que el neutro del dominio siempre va al neutro del codominio. Es decir, al menos hay un elemento que, bajo el homomorfismo, cae en el neutro del codominio.

Para esta entrada consideraremos a la colección de todos los elementos del dominio que van al neutro del codominio. A este subconjunto, lo llamamos el núcleo de $φ$ . Por otro lado, podemos tomar todos los elementos del dominio, aplicarles $φ$ y tomar el subconjunto que resulta en el codominio, a esto le llamamos la imagen de $φ$ . Estos dos subconjuntos van a ser importantes en el estudio de los homomorfismos.

La imagen muestra que para $φ : G \to \bar{G}$ un homomorfismo, el núcleo $Núc φ \subseteq G$ y la imagen $Im φ \subseteq \bar{G}$ .

El núcleo y la imagen de un homomorfismo

Comencemos definiendo formalmente los subconjuntos.

Definición. Sean $G, \bar{G}$ grupos, $φ : G \to \bar{G}$ un homomorfismo. Definimos al núcleo de $φ$ como
$\begin{array}{r} Núc φ = {g \in G | φ (g) = e_{\bar{G}}} . \end{array}$

Es decir, es el conjunto de todos los elementos de $G$ que, bajo $φ$ van a dar al neutro de $\bar{G}$ .

Notación. Es común, por el nombre en alemán, denotar al $Núc φ$ como $Ker φ$ , es llamado el Kernel de $φ$ .

Definición. La imagen de $φ$ es
$\begin{array}{r} Im φ = {φ (g) | g \in G} . \end{array}$

Notemos que $Núc φ \subseteq G$ y $Im φ \subseteq \bar{G}$ .

Ejemplos.

Ejemplo 1. Tomemos el homomorfismo $φ : S_{n} \to {+ 1, - 1}$ con $φ (α) = s g n α$ para toda $α \in S_{n}$ . Veamos quién es el núcleo de $φ$ :
$\begin{aligned} Núc φ & = {α \in S_{n} | φ (α) = + 1} \\ = {α \in S_{n} | s g n \in α = + 1} = A_{n} . \end{aligned}$
Si tomamos el caso no trivial, con $n > 1$ ,
$\begin{array}{r} Im φ = {+ 1, - 1} . \end{array}$
Ya que $φ ((1)) = 1$ y $φ ((1 2)) = - 1$ .

Ejemplo 2. Sea $n \in Z^{+}$ . Consideremos el homomorfismo $φ : Z \to C^{*}$ con
$\begin{array}{r} φ (m) = {(e^{\frac{2 π i}{n}})}^{m} \forall m \in Z . \end{array}$
Buscamos describir su núcleo y su imagen.
$\begin{aligned} Núc φ & = {m \in Z | φ (m) = 1} \\ = {m \in Z | {(e^{\frac{2 π i}{n}})}^{m} = 1} = n Z . \end{aligned}$
La última igualdad se da porque ya sabemos que $e^{2 π i} = 1$ , más aún $e^{θ i} = 1$ si y sólo si $θ$ es un múltiplo de $2 π$ , entonces ${(e^{\frac{2 π i}{n}})}^{m} = 1$ si y sólo si $m$ es un múltiplo de $n$ .

Ahora la imagen:
$\begin{aligned} Im φ & = {φ (m) | m \in Z} \\ = {{(e^{\frac{2 π i}{n}})}^{m} | m \in Z} = ⟨ e^{\frac{2 π i}{n}} ⟩ . \end{aligned}$

El núcleo y la imagen son subgrupos

Ahora, probaremos que el núcleo y la imagen de un homomorfismo no son sólo subconjuntos del dominio y codominio respectivamente, si no que son subgrupos.

Teorema. Sean $G, \bar{G}$ grupos, $φ : G \to \bar{G}$ un homomorfismo.

$Núc φ ⊴ G$ .
$Im φ \leq \bar{G}$ .
$φ$ es un monomorfismo si y sólo si $Núc φ = {e_{G}}$ .

Demostración.
Sean $G, \bar{G}$ grupos, $φ : G \to \bar{G}$ un homomorfismo.

P.D. $Núc φ ⊴ G$ .
Primero probaremos que $Núc φ \leq G$ .

Como $φ$ es un homomorfismo, $φ (e_{G}) = e_{\bar{G}}$ . Entonces $e_{G} \in Núc φ$ .

Si $a, b \in Núc φ$ .
$\begin{aligned} φ (a b^{- 1}) & = φ (a) φ (b^{- 1}) & φ es un homomorfismo \\ = φ (a) (φ (b))^{- 1} & Proposición de homomorfismo \\ = e_{\bar{G}} e_{\bar{G}}^{- 1} = e_{\bar{G}} & a, b \in Núc φ \end{aligned}$
Entonces $a b^{- 1} \in Núc φ$ . Por lo tanto $Núc φ \leq G$ .

Además, si $a \in G$ y $n \in Núc φ$ :
$\begin{aligned} φ (a n a^{- 1}) & = φ (a) φ (n) φ (a^{- 1}) & φ es un homomorfismo \\ = φ (a) φ (n) (φ (a))^{- 1} & Proposición \\ = φ (a) e_{\bar{G}} (φ (a))^{- 1} & n \in Núc φ \\ = φ (a) (φ (a))^{- 1} = e_{\bar{G}} \end{aligned}$
Así, $a n a^{- 1} \in Núc φ$ . Esto nos dice que el núcleo de $φ$ es cerrado bajo conjugación. Por lo tanto $Núc φ ⊴ G$ .
P.D. $Im φ \leq \bar{G}$ .
Primero veamos que el neutro de $\bar{G}$ está en $Im φ$ . Esto pasa porque
$e_{\bar{G}} = φ (e_{G}) \in Im φ .$

Ahora, si $c, d \in Im φ$ , entonces $c = φ (a), d = φ (b)$ para algunos $a, b \in G$ .
$\begin{aligned} a d^{- 1} = φ (a) (φ (b))^{- 1} & = φ (a) φ (b^{- 1}) & Proposición \\ = φ (a b^{- 1}) \in Im φ & φ es un homomorfismo \end{aligned}$
Por lo tanto $Im φ \leq \bar{G}$ .
P.D. $φ$ es un monomorfismo si y sólo si $Núc φ = {e_{G}}$ .

$| \Rightarrow]$ Supongamos que $φ$ es un monomorfismo (un homomorfismo inyectivo).
Como $Núc φ \leq G$ , entonces ${e_{G}} \subseteq Núc φ$ .
Ahora, si $g \in Núc φ$ , por la proposición anterior,
$\begin{array}{r} φ (g) = e_{\bar{G}} = φ (e_{G}) . \end{array}$
Y como $φ$ es inyectiva, $g = e_{G}$ . Por lo tanto, $Núc φ = {e_{G}}$ .

$[\Leftarrow |$ Supongamos que $Núc φ = {e_{G}}$ .
Sean $a, b \in G$ tales que $φ (a) = φ (b)$ . Entonces
$\begin{aligned} e_{\bar{G}} & = φ (b) (φ (a))^{- 1} \\ = φ (b) φ (a^{- 1}) & Proposición \\ = φ (b a^{- 1}) & φ es un homomorfismo \end{aligned}$
Entonces $b a^{- 1} \in Núc φ = {e_{G}}$ , así $b a^{- 1} = e_{G}$ , esto implica que $b = a$ .
Por lo tanto $φ$ es un monomorfismo.

Observemos que el inciso 3 del teorema nos da una herramienta para determinar si un homomorfismo es inyectivo o no usando el núcleo.

Proyección Canónica

Ahora, tomando un grupo y un subgrupo normal, definiremos un epimorfismo de un grupo al grupo cociente.

Proposición. Sea $G$ un grupo, $N$ un subgrupo normal de $G$ . La función $π_{:} G \to G / N$ con $π (a) = a N$ para toda $a \in G$ , es un epimorfismo tal que $Núc π = N$ .

Esta función se conoce como la proyección canónica.

Demostración.
Sea $G$ un grupo, $N ⊴ G$ , $π : G \to G / N$ con $π (a) = a N$ para cualquier $a \in G$ .

Veamos que $π$ es un homomorfismo
Sean $a, b \in G$ , entonces
$\begin{array}{r} π (a b) = a b N = (a N) (b N) = π (a) π (b) . \end{array}$

Ahora veamos que es suprayectivo. Esto es debido a que dado $a N \in G / N$ , $a N = π (a) .$

Por lo tanto $π$ es un epimorfismo.

Finalmente,
$\begin{array}{r} Núc π = {a \in G | π (a) = e_{G / N}} = {a \in G | a N = N} = N . \end{array}$

Ahora veamos un corolario que se desprende directamente de lo que acabamos de ver.

Corolario. Todo subgrupo normal es el núcleo de un homomorfismo. De hecho, es el núcleo de un epimorfismo.

Ejemplos

Para terminar veamos unos ejemplos

Ejemplo 1. Tomemos $φ : (R, +) \to (C^{*}, \cdot)$ con $φ (x) = e^{x i}$ para toda $x \in R$ . Toma 2 min para pensar porqué es un homomorfismo.

Veamos el núcleo y la imágen de $φ$ :
$\begin{aligned} Núc φ & = {x \in R | φ (x) = 1} \\ = {x \in R | e^{x i} = 1} \\ = {2 π n | n \in Z} = ⟨ 2 π ⟩ . \\ Im φ & = {φ (x) | x \in R} \\ = {e^{x i} | x \in R} \\ = {z \in C | | z | = 1} = S^{1} . \end{aligned}$
¿Cómo es $R / ⟨ 2 π ⟩$ ?
Tomemos $a, b \in R$ .
$\begin{aligned} a + ⟨ 2 π ⟩ = b + ⟨ 2 π ⟩ & \Leftrightarrow a - b \in ⟨ 2 π ⟩ \\ \Leftrightarrow a - b = 2 π n, n \in Z . \end{aligned}$
Si lo anterior nos dice que dos números $a, b$ están en la misma clase si y sólo si difieren por un múltiplo de $2 π$ . Si lo pensamos en la recta numérica, nos dice que el $0$ y $2 π$ quedan indentificados en la misma clase. Intuitivamente podríamos pensar que estamos doblando la recta numérica para obtener una circunferencia donde $0$ y $2 π$ están en el mismo punto.

Así, $R / ⟨ 2 π ⟩ = {a + ⟨ 2 π ⟩ | a \in [0, 2 π)}$ .

Ejemplo 2. Consideremos $φ : (R^{*}, \cdot) \to (R^{*}, \cdot)$ con $φ (x) = | x |$ para toda $x \in R^{*}$ (recuerda que $R^{*} = R ∖ {0}$ ).
$\begin{aligned} Núc φ & = {x \in R^{*} | φ (x) = 1} \\ = {x \in R^{*} | | x | = 1} = {+ 1, - 1} . \\ Im φ & = {φ (x) | x \in R^{*}} \\ = {| x | | x \in R^{*}} = R^{+} . \end{aligned}$
¿Cómo es $R^{*} / {+ 1, - 1}$ ?
Tomemos $a, b \in R^{*}$ .
$\begin{aligned} a {+ 1, - 1} = b {+ 1, - 1} & \Leftrightarrow a^{- 1} b \in {+ 1, - 1} \\ \Leftrightarrow a^{- 1} b = \pm 1 \Leftrightarrow b = \pm a . \end{aligned}$
Entonces, dos clases laterales van a ser iguales si y sólo si sus representantes difieren a lo más sólo por el signo.

Lo que hicimos fue tomar a los reales sin el cero y estamos identificando a cada número real $a$ con su inverso aditivo. Entonces la imagen de $φ$ en realidad es como si dobláramos la recta por el 0 e identificamos a los reales negativos con su correspondiente positivo.

Así, $R^{*} / {+ 1, - 1} = {a {+ 1, - 1} | a \in R^{+}}$ .

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.

Sea $φ : G L (2, R) \to R^{*}$ el homomorfismo tal que $φ (A) = det A$ . Encuentra el núcleo y la imagen de $φ$ .
Sean $G, \bar{G}$ grupos y $φ : G \to \bar{G}$ un homomorfismo. ¿Es $Im φ$ normal en $\bar{G}$ ? Prueba o da un contraejemplo.
Sean $G, \bar{G}$ grupos y $φ : G \to \bar{G}$ un homomorfismo. Sean también, $H \leq G, \bar{H} \leq \bar{G}$ .
- ¿Qué puedes decir de $φ [H] = {φ (h) | h \in H}$ ?¿Y si $H ⊴ G$ ?
- ¿Qué puedes decir de $φ^{- 1} [\bar{H}] = {g \in G | φ (g) \in \bar{H}}$ ? ¿Y si $\bar{H} ⊴ \bar{G}$ ?
En cada inciso calcula $Núc φ, Im φ, G / Núc$ y analiza cómo se relacionan:
- $G$ grupo, $φ : G \to G$ , con $φ = {id}_{G}$ .
- $G$ grupo, $φ : G \to G$ , con $φ (g) = e_{G}$ para toda $g \in G$ .
- $φ : (C^{*}, \cdot) \to (R^{*}, \cdot)$ , con $φ (z) = | z |$ para toda $z \in C^{*}$ .
- $φ : Z \times Z \to Z \times Z$ , con $φ (x, y) = (x, 0)$ para toda $(x, y) \in Z \times Z$ .

Más adelante…

Ahora que ya tenemos muy claras las definiciones de núcleo e imagen de un homomorfismo, comenzaremos a ver teoremas que relacionan lo que vimos aquí con isomorfismos y grupo cociente.

Entradas relacionadas

Ir a Álgebra Moderna I.
Entrada anterior del curso: Propiedades de Homomorfismo.
Siguiente entrada del curso: Primer Teorema de Isomorfía y Diagrama de Retícula.
Resto de cursos: Cursos.

Álgebra Moderna I: Propiedades de los Homomorfismos

Por Cecilia del Carmen Villatoro Ramos

Deja un comentario

Introducción

En la entrada anterior vimos una introducción a los homomorfismos y algunas propiedades. Ahora sabemos que un homomorfismo es una función $φ : G \to \bar{G}$ entre dos grupos $(G, *)$ y $(\bar{G}, \bar{*})$ , que respeta las operaciones, es decir, que para todas $a, b \in G$ , $φ (a * b) = φ (a) \bar{*} φ (b)$ . A partir de ahora simplificaremos la notación y escribiremos simplemente la condición anterior como: para todas $a, b \in G$ , $φ (a b) = φ (a) φ (b)$ (a menos que haya ambigüedad respecto a qué operación se está usando en cada caso).

En esta entrada, continuaremos dando algunas propiedades de los homomorfismos, en particular veremos cómo se comportan con las potencias de elementos del grupo y, en seguida, cómo se comparan el orden de un elemento y el orden de su imagen bajo un homomorfismo.

Homomorfismos y la potencia

Dado que el homomorfismo respeta el producto, se va a comportar bien con las potencias.

Proposición. Sean $G, \bar{G}$ grupos, $φ : G \to \bar{G}$ un homomorfismo. Entonces,

$φ (e_{G}) = e_{\bar{G}}$ .
$φ (a^{- 1}) = {(φ (a))}^{- 1}$ para toda $a \in G$ .
$φ (a^{n}) = {(φ (a))}^{n}$ para toda $a \in G$ y para toda $n \in Z$ .

Demostración.

Sean $G, \bar{G}$ grupos y $φ : G \to \bar{G}$ un homomorfismo.

P.D. $φ (e_{G}) = φ e_{\bar{G}}$ .

Por un lado tenemos que $φ (e_{g}) e_{\bar{G}} = φ (e_{G})$ porque $e_{\bar{G}}$ es el neutro de $\bar{G}$ . Por otro lado tenemos que $φ (e_{G}) = φ (e_{G} e_{G})$ porque $e_{G}$ es el neutro de $G$ , y $φ (e_{G} e_{G}) = φ (e_{G}) φ (e_{G})$ porque $φ$ es un homomorfismo.

Entonces tenemos

$\begin{aligned} φ (e_{g}) e_{\bar{G}} = φ (e_{G}) = φ (e_{G}) φ (e_{G}) . \end{aligned}$

Cancelamos $φ (e_{G})$ , y obtenemos
$\begin{array}{r} e_{\bar{G}} = φ (e_{G}) . \end{array}$

Sea $a \in G$ .
P.D. $φ (a^{- 1}) = {(φ (a))}^{- 1}$ .

Por un lado tenemos que $φ (a) {(φ (a))}^{- 1} = e_{\bar{G}}$ .

Por el inciso anterior, tenemos que $e_{\bar{G}} = φ (e_{G}) = φ (a a^{- 1})$ y como $φ$ es un homomorfismo, tenemos que $φ (a a^{- 1}) = φ (a) φ (a^{- 1})$ .

Entonces tenemos que $φ (a) {(φ (a))}^{- 1} = φ (a) φ (a^{- 1})$ , donde podemos cancelar $φ (a)$ :

$\begin{aligned} φ (a) {(φ (a))}^{- 1} = φ (a) φ (a^{- 1}) \\ \Rightarrow {(φ (a))}^{- 1} = φ (a^{- 1}) . \end{aligned}$

Sea $a \in G$ .
P.D. $φ (a^{n}) = {(φ (a))}^{n}$ para toda $a \in G$ y $n \in Z$ .
Demostraremos primero el resultado para $n \in N$ por inducción sobre $n$ .

Sea $n = 0$ .

Entonces, por el inciso 1,
$\begin{array}{r} φ (a^{0}) = φ (e_{G}) = e_{\bar{G}} = (φ (a))^{0} . \end{array}$

Sea $n \geq 0$ .
Para nuestra hipótesis de inducción, supongamos que $φ (a^{n}) = (φ (a))^{n}$ .

Por la definición de potencia,
$\begin{array}{r} φ (a^{n + 1}) = φ (a^{n} a) . \end{array}$

Luego, como $φ$ es un homomorfismo,
$\begin{aligned} φ (a^{n} a) & = φ (a^{n}) φ (a) \\ = (φ (a))^{n} φ (a) & Por H.I. \\ = (φ (a))^{n + 1} & Por la definición de potencia \end{aligned}$

Por lo tanto $φ (a^{n}) = (φ (a))^{n}$ para toda $n \in N$ .

Finalmente, si $n \in Z^{+}$ .
$\begin{aligned} φ (a^{- n}) & = φ ((a^{n})^{- 1}) \\ = φ ((a^{n}))^{- 1} & Por el inciso 2 \\ = ((φ (a))^{n})^{- 1} & Por lo probado anteriormente \\ = (φ (a))^{- n} \end{aligned}$

Por lo tanto $φ (a^{m}) = (φ (a))^{m}$ , para toda $m \in Z$ .

Homomorfismos y el orden

Corolario. Sean $G, \bar{G}$ grupos, sea $φ : G \to \bar{G}$ un homomorfismo.
Si $a \in G$ es de orden finito, $φ (a)$ también lo es y $o (φ (a)) | o (a)$ . Es decir, el orden de $φ (a)$ divide al orden de $a$ .
Más aún, si $φ$ es un isomorfismo, entonces $o (φ (a)) = o (a)$ .

Demostración.
Sean $G, \bar{G}$ grupos, $φ : G \to \bar{G}$ un homomorfismo y sea $a \in G$ de orden finito.

Ahora, usamos las propiedades de $φ$ para obtener las siguientes igualdades.

$\begin{array}{r} φ (a)^{o (a)} = φ (a^{o (a)}) = φ (e_{G}) = e_{\bar{G}} . \end{array}$

Esto nos dice que $φ (a)$ es de orden finito. Esto no significa que $o (a)$ es el orden de $φ (a)$ , pero sí se sigue, por las propiedades del orden de un elemento, que $o (φ (a)) | o (a)$ .

Ahora, si $φ$ es un isomorfismo, $φ^{- 1}$ también, así que por lo antes probado $o (φ^{- 1} (b)) | o (b)$ para todo $b \in \bar{G}$ ; en particular, para $b = φ (a)$ se tiene que $o (φ^{- 1} (φ (a))) | o (φ (a))$ . Entonces,
$\begin{array}{r} o (a) = o (φ^{- 1} (φ (a))) | o (φ (a)) \end{array}$

Por lo tanto $o (φ (a)) = o (a)$ .

Ejemplo.

Por último, veamos un ejemplo para ilustrar las propiedades que acabamos de ver.

Sea $G$ un grupo, $a \in G$ de orden finito.

Dado $g \in G$ sabemos que
$\begin{array}{r} γ_{g} : G \to G con γ_{g} (x) = g x g^{- 1} \forall x \in G \end{array}$

es un isomorfismo.

Así, $γ_{g} (a)$ es de orden finito y $o (γ_{g} (a)) = o (a)$ . Entonces, $g a g^{- 1}$ es de orden finito y $o (g a g^{- 1}) = o (a)$ .

Así, elementos conjugados tienen el mismo orden.

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.

Sean $G$ y $\bar{G}$ grupos y $X \subseteq G$ tal que $G = ⟨ X ⟩ .$ Sea $φ : X \to \bar{G}$ una función. ¿Qué se requiere para poder extender $φ$ a un homomorfismo $ψ : G \to \bar{G}$ ? En ese caso ¿de cuántas formas se pueden extender?
Describe, si es que existen, todos los homomorfismos:
- de $Z$ en $Z$
- de $Z_{12}$ en $Z_{5}$
- de $Z$ en $Z_{8}$
- de $Z_{12}$ en $Z_{14}$
Determina si los siguientes grupos son isomorfos
- $Q$ y $D_{2 (4)}$
- $(S O (2, R), \cdot)$ y $(S^{1}, \cdot)$
- $(Z [x], +)$ y $(Q^{+}, \cdot)$

Más adelante…

Los resutados mostrados en esta entrada no son más que consecuencias lógicas a lo que establecimos en la entrada anterior. Es importante recalcarlos, pero es claro que si un homomorfismo se comporta bien con el producto, se va a comportar bien con la potencia y por ende, con el orden de un elemento.

En la siguiente entrada, definiremos nuevos conceptos relacionados con los homomorfismos, como el núcleo de un homomorfismo y la proyección canónica.

Entradas relacionadas

Ir a Álgebra Moderna I.
Entrada anterior del curso: Homomorfismo, Monomorfismo, Epimorfismo, Isomorfismo y Automorfismo.
Siguiente entrada del curso: Núcleo e Imagen de un Homomorfismo.
Resto de cursos: Cursos.

Álgebra Moderna I: Homomorfismo, Monomorfismo, Epimorfismo, Isomorfismo y Automorfismo

Por Cecilia del Carmen Villatoro Ramos

Deja un comentario

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

Introducción

Lo sé, el título parece un trabalenguas. Pero ten paciencia, en realidad no es tan complicado.

A lo largo de este curso hemos estado trabajando con grupos, ahora vamos a pensar en funciones que respetan de alguna manera la estructura de los grupos.

Tomemos por ejemplo el grupo de Klein, $V = {(0, 0), (1, 0), (0, 1), (1, 1)}$ , es un grupo que tiene un neutro $(0, 0)$ y los otros tres elementos comparten que: tienen orden 2, si se suman consigo mismos obtenemos el neutro y si sumamos dos, obtenemos el tercero:

$\begin{aligned} (1, 0) + (1, 0) & = (0, 0) \\ (0, 1) + (0, 1) & = (0, 0) \\ (1, 1) + (1, 1) & = (0, 0) . \end{aligned}$

$\begin{aligned} (1, 0) + (0, 1) & = (1, 1) \\ (0, 1) + (1, 1) & = (1, 0) \\ (1, 1) + (1, 0) & = (0, 1) . \end{aligned}$

Por otro lado, podemos tomar el conjunto $P = {(1), (1 2) (3 4), (1 3) (2 4), (1 4) (2 3)}$ . $P$ es un grupo que tiene un neutro $(1)$ y los otros tres elementos comparten que: tienen orden 2, si se componen consigo mismos obtenemos el neutro y si componemos dos, obtenemos el tercero:

$\begin{aligned} (1 2) (3 4) (1 2) (3 4) & = (1) \\ (1 3) (2 4) (1 3) (2 4) & = (1) \\ (1 4) (2 3) (1 4) (2 3) & = (1) . \end{aligned}$

$\begin{aligned} (1 2) (3 4) (1 3) (2 4) & = (1 4) (2 3) \\ (1 3) (2 4) (1 4) (2 3) & = (1 2) (3 4) \\ (1 4) (2 3) (1 2) (3 4) & = (1 3) (2 4) . \end{aligned}$

¿Suena familiar? Bueno, esto es porque a pesar de que son grupos distintos, con elementos y operaciones muy diferentes, estructuralmente son iguales.

Para formalizar esta idea, nos gustaría observar que existe una correspondencia entre los dos grupos. Esta correspondencia es biyectiva y además tiene que respetar la estructura de las operaciones. Entonces sería algo así:

$\begin{aligned} (0, 0) & ⟶ (1) \\ (1, 0) & ⟶ (1 2) (3 4) \\ (0, 1) & ⟶ (1 3) (2 4) \\ (1, 1) & ⟶ (1 4) (2 3) . \end{aligned}$

En este caso decimos que $V$ y $P$ son isomorfos. Lo definiremos formalmente más adelante, por ahora es importante que observes que esta correspondencia mantiene la estructura de las operaciones de los grupos. Así, este es el objetivo de la entrada, definir y trabajar con funciones (no necesariamente biyectivas) que mantengan las operaciones de dos grupos. Estas funciones son llamadas homomorfismos.

¿Qué son todos estos homomorfismos?

Primero, comencemos definiendo lo más general. Una función que mantenga las operaciones entre grupos.

Definición. Sean $(G, *), (\bar{G}, \bar{*})$ grupos. Decimos que la función $φ : G \mapsto \bar{G}$ (ó $φ : (G, *) \mapsto (\bar{G}, \bar{*})$ ) es un homomorfismo de grupos si
$φ (a * b) = φ (a) \bar{*} φ (b) \forall a, b \in G .$

Se puede decir que $φ$ «abre» a la operación.

Definiciones varias.

Ahora, le agregaremos condiciones a $φ$ . Dependiendo de qué condición extra cumpla, el homorfismo tomará otro nombre.

Si el homomorfismo $φ$ es inyectivo se llama monomorfismo.
Si el homomorfismo $φ$ es suprayectivo se llama epimorfismo.
Si el homomorfismo $φ$ es biyectivo se llama isomorfismo.
Un isomorfismo de un grupo en sí mismo se llama automorfismo.

Notación. Si $φ$ es un isomorfismo decimos que $G$ es isomorfo a $\bar{G}$ y lo denotamos como $G ≅ \bar{G}$ .

Puede parecer mucho vocabulario nuevo, así que guarda esta entrada para recordar qué es cada uno.

Ejemplos.

Ejemplo 1.Tomemos $φ : (Z, +) \mapsto (Z_{n}, +)$ con $φ (a) = \bar{a}$ para toda $a \in Z$ . Es decir, $φ$ manda a cada entero a su clase módulo $n$ .

Veamos qué sucede con la suma :
$φ (a + b) = \overset{―}{a + b} = \bar{a} + \bar{b} = φ (a) + φ (b)$ para toda $a, b \in Z$ .

Además, dado $\bar{a} \in Z_{n}, \bar{a} = φ (a)$ . Entonces $φ$ es suprayectiva.
Por lo tanto $φ$ es un epimorfismo.

Ejemplo 2. Sea $n \in N^{+}$ .
Tomamos $φ : (S_{n}, \circ) \mapsto (S_{n + 1}, \circ)$ donde para cada $α \in S_{n}$ se define $φ (α) \in S_{n + 1}$ tal que
$\begin{array}{r} φ (α) (i) = {\begin{cases} α (i) & si i \in {1, \dots, n} \\ n + 1 & si i = n + 1 \end{cases} \end{array}$

Es decir, se mantienen las permutaciones de $S_{n}$ pero se consideran como elementos de $S_{n + 1}$ pensando que dejan fijo a $n + 1$ .

Ahora veamos qué sucede con el producto, sean $α, β \in S_{n}$ :
$\begin{aligned} φ (α) φ (β) (i) & = φ (α) (φ (β) (i)) \\ = {\begin{cases} α (β (i)) & si i \in {1, \dots, n} \\ n + 1 & si i = n + 1 \end{cases} \\ = φ (α β) (i) \end{aligned}$

Además, si $φ (α) = (1)$ entonces $α (i) = i$ para todo $i \in {1, \dots, n}$ . Así $α = (1) .$ Por lo que $φ$ es inyectiva.
En conclusión, $φ$ es un monomorfismo.

Ejemplo 3. Sea $φ : (R, +) \mapsto (R^{+}, \cdot)$ con $φ (x) = e^{x}$ para todo $x \in R$ .
Entonces, para la suma de dos elementos en el dominio $x, y \in R$ tendríamos,
$φ (x + y) = e^{x + y} = e^{x} e^{y} = φ (x) φ (y) .$
Sabemos que $ψ : R^{+} \mapsto R$ con $ψ (y) = \ln (y)$ para toda $y \in R^{+}$ es la inversa de $φ$ , así $φ$ es biyectiva.
Por lo tanto $φ$ es un isomorfismo.

Ejemplo 4. Veamos un ejemplo más abstracto. Sea $G$ un grupo y $g \in G$ . Y, dadas $x, y \in G$ , definimos
$γ_{g} (x y) = g (x y) g^{- 1} = (g x g^{- 1}) (g y g^{- 1}) = γ_{g} (x) γ_{g} (y) .$
Además, para toda $x \in G$ ,
$\begin{array}{r} γ_{g} \circ γ_{g^{- 1}} (x) = γ_{g} (g^{- 1} x g) = g (g^{- 1} x g) g^{- 1} = x \\ γ_{g^{- 1}} \circ γ_{g} (x) = γ_{g^{- 1}} (g x g^{- 1}) = g^{- 1} (g x g^{- 1}) g = x . \end{array}$
Donde, $g^{- 1}$ existe porque $G$ es un grupo. Así, lo anterior nos indica que $γ_{g}$ es un homomorfismo invertible, que además tiene como dominio y codominio a $G$ .

Por lo tanto $γ_{g}$ es un automorfismo.

Propiedades de los homomorfismos

Proposición. El inverso de un isomorfismo es un isomorfismo.

Demostración.

Sean $(G, *), (\bar{G}, \bar{*})$ grupos, $φ : G \mapsto \bar{G}$ es un isomorfismo.
Tomemos $c, d \in \bar{G}$ .

Como $φ$ es suprayectiva, existen $a, b \in G$ tales que $φ (a) = c$ y $φ (b) = d$ .

$\begin{aligned} φ^{- 1} (c \bar{*} d) & = φ^{- 1} (φ (a) \bar{*} φ (b)) \\ = φ^{- 1} (φ (a * b)) & φ es un homomorfismo \\ = φ^{- 1} \circ φ (a * b) \\ = a * b & Composición de inversas \\ = φ^{- 1} (c) * φ^{- 1} (d) & Pues φ (a) = c, φ (b) = d \end{aligned}$

Así, $φ^{- 1}$ es un homomorfismo y como es biyectivo por ser invertible, entonces $φ^{- 1}$ es un isomorfismo.

Proposición. La composición de homomorfismos es un homomorfismo.

Demostración.

Sean $(G, *), (\bar{G}, \bar{*}), (\tilde{G}, \tilde{*})$ grupos. También, sean $φ : G \mapsto \bar{G}$ y $ψ : \bar{G} \mapsto \tilde{G}$ homomorfismos.

Dados $a, b \in G$ ,

$\begin{aligned} ψ \circ φ (a * b) & = ψ (φ (a * b)) \\ = ψ (φ (a) \bar{*} φ (b)) & φ es homomorfismo \\ = ψ (φ (a)) \tilde{*} ψ (φ (b)) & ψ es homomorfismo \\ = ψ \circ φ (a) \tilde{*} ψ \circ φ (b) \end{aligned}$

Por lo tanto $ψ \circ φ$ es un homomorfismo.

Observaciones.

Para todo $G$ grupo, $G ≅ G$ . (Es decir, $G$ es isomorfo a sí mismo).
Si $G, \bar{G}$ son grupos y $G ≅ \bar{G}$ , entonces $\bar{G} ≅ G$ .
Si $G, \bar{G}, \tilde{G}$ son grupos, $G ≅ \bar{G}$ y $\bar{G} ≅ \tilde{G}$ , entonces $G ≅ \tilde{G} .$

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.

Sea $D_{2 n} = ⟨ a, b ⟩$ el grupo diédrico formado por las simetrías de un $n$ -ágono, con $a$ la rotación de $\frac{2 π}{n}$ y $b$ la reflexión con respecto al eje $x$ . Sea $φ : D_{2 n} \to D_{2 n}$ tal que $φ (a^{i} b^{j}) = b^{j}$ . ¿Es $φ$ un homomorfismo?
Sean $X$ y $Y$ dos conjuntos con la misma cardinalidad. ¿Qué relación hay entre $S_{X}$ y $S_{Y}$ ?
Sea $V = {e, (1 2) (3 4), (1 3) (2 4), (1 4) (1 3)} \leq S_{4}$ . Encuentra $H \leq S_{4}$ , $H \neq V$ pero isomorfo a $V$ . ¿Es $H$ normal en $S_{4}$ ?

Más adelante…

Los homomorfismos son una parte importante de las matemáticas, porque respetar las operaciones es una característica sencilla a simple vista, pero lo suficientemente compleja para que las funciones que la cumplan sean muy interesantes. Los homomorfismos nos permiten cambiar de espacios de trabajo sin mucho problema.

Por otro lado, tal vez ya sabes que las matemáticas de este curso (y de la mayoría de los cursos en este blog) están fundamentadas en la Teoría de Conjuntos. Esta teoría nos permite construir a los objetos matemáticos a partir de conjuntos. Como curiosidad, tal vez te interese saber que existe otra teoría llamada Teoría de Categorías, que generaliza lo anterior, y en la que la generalización de un homomorfismo es llamado morfismo.

Aunque estén definidos de manera diferente, los homomorfismos de esta entrada y los morfismos de la Teoría de Categorías son, en intuición, lo mismo. Esto refuerza la idea de que los homomorfismos son en realidad más importantes de lo que parecen.

Pero bueno, regresemos a nuestro curso: en la siguiente entrada continuaremos viendo el comportamiento de los homomorfismos.

Entradas relacionadas

Ir a Álgebra Moderna I.
Entrada anterior del curso: Subgrupo Conmutador.
Siguiente entrada del curso: Propiedades de un Homomorfismo.
Resto de cursos: Cursos.

Álgebra Moderna I: Subgrupo Conmutador

Por Cecilia del Carmen Villatoro Ramos

Deja un comentario

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

Introducción

Vamos a ver una aplicación importante del grupo cociente. Sabemos que podemos dividir a los enteros en impares e impares. Esto se representa con $Z_{2} = {\bar{0}, \bar{1}}$ , donde todos los pares quedan identificados por $\bar{0}$ y los impares por $\bar{1}$ . Esto es el objetivo del grupo cociente que definimos en la entrada anterior, identificar elementos en una misma clase lateral.

Ahora, si queremos traducir esto a un grupo general $G$ , necesitamos sacar el cociente módulo un subgrupo $H$ , entonces cada $h \in H$ es un representante de esta clase de equivalencia, de modo que todos los elementos de $H$ se identificarán entre sí, en particular, todos los elementos de $H$ quedarán identificados con el neutro $e$ de $H$ ya que $h H = e H$ .

Por otro lado, recordemos que en general el grupo no es abeliano, es decir no sucede que $a b = b a$ para $a, b \in G$ . Pero si tomamos $H ⊴ G$ de modo que $a b \in H$ y $b a \in H$ , entonces $a b H = b a H$ y las clases representadas por $a b$ y $b a$ serán la misma, por lo que $a H$ y $b H$ conmutarán en el cociente. Si recordamos la relación de equivalencia definida en entradas anteriores podemos obtener las siguientes equivalencias,
$\begin{array}{r} a b H = b a H \Leftrightarrow (a b)^{- 1} b a = b^{- 1} a^{- 1} b a \in H . \end{array}$

Como nos interesa que $G / H$ sea abeliano, necesitamos que la palabra $b^{- 1} a^{- 1} b a \in H$ para toda $a, b \in G$ . Esto nos obliga a que el conjunto ${b^{- 1} a^{- 1} b a | a, b \in G}$ esté contenido en $H$ . En general, este conjunto no es necesariamente un grupo, pero podemos considerar el generado y así, nos interesaría que el generado esté contenido en $H$ :
$⟨ b^{- 1} a^{- 1} b a | a, b \in G ⟩ \subseteq H .$

El objetivo de esta entrada es definir primero al conmutador de $a$ y $b$ . Luego, definir al generado por la colección de todos los conmutadores en el grupo. Todo esto con el objetivo de construir un grupo cociente abeliano, aunque $G$ no lo sea.

Subgrupo conmutador de $G$

Definción. Sea $G$ un grupo, $a, b \in G$ . El conmutador de $a$ y $b$ es $[a, b] = a b a^{- 1} b^{- 1} .$

El subgrupo conmutador de $G$ es $G^{'} = ⟨ [a, b] | a, b \in G ⟩ .$

Observación 1. $G^{'} = {e}$ si y sólo si $G$ es abeliano.

Demostración.

$\begin{aligned} G^{'} = {e} & \Leftrightarrow [a, b] = e \forall a, b \in G \Leftrightarrow a b a^{- 1} b^{- 1} = e \forall a, b \in G \\ \Leftrightarrow a b = b a \forall a, b \in G \Leftrightarrow G es abeliano. \end{aligned}$

Esa observación nos dice intuitivamente que entre más grande sea el conmutador, $G$ está más alejado de ser abeliano.

Observación 2. El inverso de un conmutador es un conmutador.

La demostración queda como tarea moral.

Observación 3. El conmutador es un subgrupo normal de $G$ , es decir, $G^{'} ⊴ G$ .

Demostración.
Para probar que el conmutador es un subgrupo normal, necesitamos ver que $G^{'}$ es cerrado bajo conjugación. Pero como los elementos de $G^{'}$ son palabras donde las letras son conmutadores o sus inversos, y por la observación anterior son palabras donde las letras son conmutadores, entonces basta ver que al conjugar un conmutador obtenemos un elemento en $G^{'}$ , es decir que $g [a, b] g^{- 1} \in G^{'}$ para todos $g, a, b \in G$ .

Sean $a, b, g \in G$ .

$\begin{array}{r} g [a, b] g^{- 1} = g a b a^{- 1} b^{- 1} g^{- 1} . \end{array}$
Para ver que este elemento está en $G^{'}$ debemos ver a $g a b a^{- 1} b^{- 1} g^{- 1}$ como un producto de conmutadores, para eso agregaremos al neutro antes de $b^{- 1} g^{- 1}$ , con el neutro expresado como $g^{- 1} b^{- 1} b g$ . Luego, nos fijamos qué términos dan lugar a conmutadores y obtenemos lo siguiente:
$\begin{aligned} g [a, b] g^{- 1} & = g a b a^{- 1} b^{- 1} g^{- 1} \\ = g a b a^{- 1} (g^{- 1} b^{- 1} b g) b^{- 1} g^{- 1} \\ = (g a) b (g a)^{- 1} b^{- 1} b g b^{- 1} g^{- 1} \\ = [g a, b] | [b, g] \in G^{'} \end{aligned}$

Por lo tanto $G^{'} ⊴ G$ .

Condiciones sobre un subgrupo para que el cociente sea abeliano

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

$G^{'} \subseteq H$ si y sólo si, $H ⊴ G$ y $G / H$ es abeliano.

Demostración.
Sea $G$ un grupo $H \leq G$ .

$| \Rightarrow]$ Supongamos que $G^{'} \subseteq H .$

P.D. $H ⊴ G$ .
Sean $h \in H$ , $g \in G$ .
P.D. $g h g^{- 1} \in H$

Sabemos que $g h g^{- 1} h^{- 1} = [g, h] \in G^{'}$ por definición de conmutador, y por hipótesis $G^{'} \subseteq H$ . Así, $g h g^{- 1} h^{- 1} \in H$ .

Luego, nombremos $g h g^{- 1} h^{- 1} = \tilde{h}$ con $\tilde{h} \in H$ . Despejando lo que nos interesa, obtenemos $g h g^{- 1} = \tilde{h} h \in H$ . Con esto probamos que todo conjugado de $H$ sigue viviendo en $H$ .

Por lo tanto $H ⊴ G$ .

P.D. $G / H$ es abeliano.

Sean $a, b \in G$ .

$\begin{aligned} a^{- 1} b^{- 1} a b & = a^{- 1} b^{- 1} (a^{- 1})^{- 1} (b^{- 1})^{- 1} = ⌈ a^{- 1}, b^{- 1} ⌉ \in G^{'} \subseteq H \Rightarrow a^{- 1} b^{- 1} a b \in H \\ \Rightarrow (b a)^{- 1} a b \in H \Rightarrow b a H = a b H \\ \Rightarrow b H a H = a H b H . \end{aligned}$

Como $a H$ y $b H$ son clases arbitrarias en $G / H$ , concluimos que $G / H$ es abeliano.

$[\Leftarrow |$ Supongamos que $H ⊴ G$ y $G / H$ es abeliano.

Tomemos $a, b \in G$ arbritrarios.

Como $G / H$ es abeliano, entonces $a^{- 1} H b^{- 1} H = b^{- 1} H a^{- 1} H$ , es decir $a^{- 1} b^{- 1} H = b^{- 1} a^{- 1} H .$ Entonces $(b^{- 1} a^{- 1})^{- 1} a^{- 1} b^{- 1} \in H$ , pero $(b^{- 1} a^{- 1})^{- 1} a^{- 1} b^{- 1} = a b a^{- 1} b^{- 1} = [a, b]$ , entonces $[a, b] \in H$ para todos $a, b \in G$ .

Así $G^{'} \subseteq H$ .

Ejemplo

Para terminar, veamos un ejemplo sencillo pero importante.

Tomemos $S_{3}$ y $A_{3}$ .

Sabemos que $A_{3} ⊴ S_{3}$ y $S_{3} / A_{3} = {A_{3}, (1 2) A_{3}}$ que es abeliano. De hecho, en la entrada anterior analizamos el caso general, puedes verificar cómo es la operación del grupo cociente con la tabla que dimos y verificar que $S_{3} / A_{3}$ que es abeliano.

Entonces $S_{3}^{'} \subseteq A_{3} = {(1), (1 2 3), (1 3 2)}$ .

Como $S_{3}$ no es abeliano, por la observación que dimos $S_{3}^{'} \neq {(1)}$ . Concluimos que $S_{3}^{'} = A_{3} .$

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.

Prueba que el inverso de un conmutador también es un conmutador.
Sea $D_{2 (4)} = {id, a, a^{2}, a^{3}, b, a b, a^{2} b, a^{3} b}$ el grupo diédrico formado por las simetrías de un cuadrado, con $a$ la rotación de $\frac{π}{2}$ y $b$ la reflexión con respecto al eje x.
1. Calcula el cociente de $D_{2 (4)}$ módulo $⟨ a^{2} ⟩$ .
2. Encuentra $D_{2 (4)}^{'}$ .
Sea $G$ un grupo, $H$ y $K$ subgrupos normales de $G$ tales que $G / H$ y $G / K$ son abelianos, ¿es entonces $G / H \cap K$ abeliano?

Más adelante…

¡Felicidades! Esta es la última entrada de la unidad 2. Esta unidad se trató de definir nuevas estructuras que nos ayudan para describir mejor a los grupos y subgrupos. Hablamos sobre el orden del grupo y extendimos propiedades de los enteros hacia la generalidad de los grupos, como separar un grupo en clases de equivalencia. La siguiente entrada introduce la tercera unidad de este curso y presenta un tema nuevo: unas funciones que «respetan» o «abren» operaciones.

Entradas relacionadas

Ir a Álgebra Moderna I.
Entrada anterior del curso: Grupo Cociente.
Siguiente entrada del curso: Homomorfismo, Monomorfismo, Epimorfismo, Isomorfismo, Automorfismo.
Resto de cursos: Cursos.

Álgebra Moderna I: Grupo Cociente

Por Cecilia del Carmen Villatoro Ramos

Deja un comentario

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

Introducción

La definición de subgrupos normales fue motivada porque queremos extraer las propiedades de los enteros a grupos más generales. Recordemos que en los enteros se define una relación de equivalencia (módulo $n$ ) de donde obtenemos clases de equivalencia. Estas clases no sólo inducen una partición, si no que conforman un subgrupo de $Z$ . En esta entrada queremos generalizar esta idea y buscamos dar una operación en ciertas clases de equivalencia de modo que éstas formen también un grupo.

Grupo cociente $G$ módulo $N$

Teorema. Sea $G$ un grupo, $N$ un subgrupo normal de $G$ .

El conjunto
$G / N = {a N | a \in G} .$
con la operación $(a N) (b N) = a b N \forall a, b \in G$
es un grupo de orden $[G : N] .$

Definición. Al conjunto $G / N$ de arriba se le conoce como el grupo cociente $G$ módulo $N$ .

Demostración del teorema.

Sea $G$ un grupo, $N$ un subgrupo normal de $G$ .

En ${a N | a \in G}$ consideremos la operación $(a N) (b N) = a b N \forall a, b \in G .$

Primero veamos que está bien definida.
Sean $a, a^{'}, b, b^{'} \in G$ con $a N = a^{'} N$ , $b N = b^{'} N$ .
P.D. $a b N = a^{'} b^{'} N .$

Como $a N = a^{'} N$ , $a^{'} \in a N$ entonces $a^{'} = a n$ con $n \in N$ .

Como $b N = b^{'} N$ , $b^{'} \in b N$ entonces $b^{'} = b \tilde{n}$ con $\tilde{n} \in N$ .

Sustituyendo $a^{'}$ y $b^{'}$ en $a^{'} b^{'}$ tenemos que $a^{'} b^{'} = (a n) (b \tilde{n}) = a (n b) \tilde{n}$ .

Como $N ⊴ G$ , por la conmutatividad parcial, $n b = b \hat{n}$ con $\hat{n} \in N$ .
Entonces $a^{'} b^{'} = a (b \hat{n}) \tilde{n} = a b (\hat{n} \tilde{n}) \in a b N$ .

Por lo tanto $a^{'} b^{'} N = a b N .$

Veamos ahora que con esta operación, $G / N$ es un grupo.

P.D. La operación es asociativa.
Sean $a N, b N, c N \in G / N$ con $a, b, c \in G$ .

$\begin{aligned} a N (b N c N) & = a N (b c N) = a (b c) N & Definición del producto de clases \\ = (a b) c N & Asociatividad en G \\ = (a b N) c N = (a N b N) c N . \end{aligned}$

Por lo tanto la operación en $G / N$ es asociativa.

P.D. El neutro de la operación existe y está en $G / N$ .
Sea $a N \in G / N$ ,
$\begin{aligned} N (a N) = (e N) (a N) = e a N = a N & Neutro en G \\ (a N) N = (a N) (e N) = a e N = a N & Neutro en G \end{aligned}$

Por lo tanto $N$ es neutro en $G / N$ .

P.D. Para cada elemento en $G / N$ existe un inverso bajo la operación y este inverso está en $G / N$ .
Dado $a N \in G / N$ , como $a \in G$ consideremos $a^{- 1} \in G$ su inverso en $G$ .

$\begin{array}{r} (a N) (a^{- 1} N) = a a^{- 1} N = e N = N \\ (a^{- 1} N) (a N) = a^{- 1} a N = e N = N . \end{array}$

Así $a^{- 1} N$ es inverso de $a N$ . Por lo tanto $G / N$ es un grupo.

Finalmente,
$| G / N | = # {a N | a \in G} = [G : N] .$

Notemos que en la demostración de que $G / N$ con el producto es un grupo, usamos solamente las propiedades de que $G$ es grupo.

Primer y segundo ejemplo

Ahora veremos algunos ejemplos de grupo cociente.

El primer ejemplo es justo el que motivó la idea de grupo cociente.
Tomemos $(Z, +)$ y $H = {m | 4 divide a m} = 4 Z ⊴ Z$ . $4 Z$ es normal porque $Z$ es abeliano.
Entonces, vamos describiendo el grupo cociente paso por paso:
$\begin{aligned} Z / 4 Z & = Z / H = {H, 1 + H, 2 + H, 3 + H} \\ = {{4 k | k \in Z}, {4 k + 1 | k \in Z}, {4 k + 2 | k \in Z}, {4 k + 3 | k \in Z}} \\ = {\bar{0}, \bar{1}, \bar{2}, \bar{3}} = Z_{4} . \end{aligned}$ La suma se realiza a partir de la suma de los representantes del siguiente modo: $(a + H) + (b + H) = (a + b) + H,$ es decir $\bar{a} + \bar{b} = \overset{―}{a + b},$ para cualesquiera $a, b \in Z$ .

Ahora, para el segundo ejemplo, consideremos $n \geq 2$ y tomamos $A_{n} ⊴ S_{n}$ . En la entrada anterior vimos por qué $A_{n}$ es un subgrupo normal de $S_{n}$ .
De nuevo, vamos describiendo el grupo cociente.
$\begin{aligned} S_{n} / A_{n} & = {A_{n}, (1 2) A_{n}} \\ = {{α | α es par}, {(1 2) α | α es par}} \\ = {{α | α es par}, {β | β es impar}} . \end{aligned}$

En la tabla se muestra el resultado del producto de los elementos de $S_{n} / A_{n}$ . Podemos observar que $A_{n}$ funge como neutro.

Representación gráfica de la partición de $S_{n}$ en permutaciones pares e impares.

Tabla que muestra el producto de los conjuntos de $S_{n} / A_{n}$ .

Así, estamos partiendo a $S_{n}$ en permutaciones pares (representadas por $(1)$ ) e impares (representadas por $(1 2)$ ). De esta manera, podemos decir que multiplicar dos permutaciones pares o dos impares resulta en una permutación par, pero multiplicar una par con una impar resulta en una permutación impar.

Tercer y cuarto ejemplo

A continuación, para nuestro tercer ejemplo, tomamos $N = {\pm 1} ⊴ Q$ .
Para obtener una nueva clase lateral, escogemos un elemento de los cuaternios que no esté en $N$ . El cociente se vería de la siguiente manera:
$\begin{aligned} Q / N & = {N, i N, j N, k N} \\ = {{\pm 1}, {\pm i}, {\pm j}, {\pm k}} . \end{aligned}$
De nuevo, en las imágenes podemos ver una tabla que expresa el resultado de multiplicar distintas clases y una representación gráfica de las clases que obtenemos en el cociente.
Podemos verificar algunas de las operaciones de la tabla, hacemos el producto de $Q / N$ usando el producto en $Q$ . Recordemos que $- k N = k N$ y $- i N = i N$ , pues $k$ y $- k$ viven en una misma clase, y $- i$ e $i$ también son parte de una misma clase.

$\begin{array}{r} j N i N = j i N = - k N = k N \\ j N k N = k j N = - i N = i N . \end{array}$

Tabla que muestra los resultados de las operaciones de los elementos de $Q / N$ .

Si ahora consideramos $⟨ k ⟩ \leq Q$ , $⟨ k ⟩ = {\pm 1, \pm k}$ .
Entonces $[Q : ⟨ k ⟩] = \frac{| Q |}{| ⟨ k ⟩ |} = \frac{8}{4} = 2$ , y así, $⟨ k ⟩ ⊴ Q$ .
Así $Q / ⟨ k ⟩ = {⟨ k ⟩, i ⟨ k ⟩} .$

Tabla de las operaciones de los elementos de $Q / ⟨ k ⟩$ .

Para nuestro último ejemplo, consideremos $Z \times Z = {(a, b) | a, b \in Z}$ , con la operación $(a, b) + (c, d) = (a + c, b + d)$ .
Sea $H = {(a, a) | a \in Z}$ .
$\begin{aligned} (a, b) + H = (c, d) + H & \Leftrightarrow - (a, b) + (c, d) \in H \\ \Leftrightarrow (c - a, d - b) \in H \Leftrightarrow c - a = d - b \\ \Leftrightarrow c = d + (a - b) . \end{aligned}$
Recordemos que $- (a, b)$ es el inverso de $(a, b)$ .
Así,
$\begin{aligned} (a, b) + H & = {(d + (a - b), d) | d \in Z} \\ = {(a - b, 0) + (d, d) | d \in Z} . \end{aligned}$
En particular $(a, b) + H = (a - b, 0) + H$ . Las clases laterales se muestran mejor gráficamente en la imagen.
Tomemos los puntos enteros del eje $x$ como representantes de las clases laterales:
$\begin{aligned} Z \times Z / H & = {(a, 0) + H | a \in Z} . \\ ((a, 0) + H) + ((c, 0) + H) & = (a + c, 0) + H . \end{aligned}$

En esta imagen representamos a cada clase lateral $(a, b) + H$ de un color distinto. Claramente son las diagonales discretas en el plano. También se muestra que los representantes de la clase son puntos en la misma diagonal.

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.

Sea $G$ un grupo, $H$ un subgrupo de $G$ tal que el producto de dos clases laterales izquierdas de $H$ en $G$ es de nuevo una clase lateral izquierda de $H$ en $G$ ¿es entonces $H$ normal en $G$ ?
Sea $G$ un grupo, $H$ un subgrupo normal de $G$ de índice finito con $m = [G : H]$ . Dada $a \in G$ ¿qué podemos decir del elemento $a^{m}$ ? ¿Y si $H$ no es normal en $G$ ?
Sea $G$ un grupo finito, $N$ un subgrupo normal de $G$ . Dada $a \in G$ . Analiza cómo es el orden de $a$ en relación al orden de $a N$ .
Considera el grupo aditivo $R^{2}$ y el subgrupo $N = {(x, 0) | x \in R} .$
1. Determina qué deben cumplir $(a, b), (c, d) \in R^{2}$ para que $(a, b) N = (c, d) N$ .
2. Describe al grupo $R^{2} / N$ .
Sea $G$ un grupo, $N$ un subgrupo normal de $G$ de índice finito con $p = [G : N]$ primo. Dada $a \in G$ ¿qué podemos decir de $⟨ a N ⟩$ y de $G / N$ ?
Si quieres profundizar un poco más sobre Grupos cocientes, puedes revisar el video de Mathemaniac sobre el tema. El video está en inglés.

Más adelante…

En pocas palabras, un subgrupo normal induce una partición del grupo y ésta es el grupo cociente. Esta idea surge de lo que ocurre en los enteros. En la siguiente entrada usaremos el grupo cociente para crear, a partir de un grupo no abeliano, otro que sea abeliano.

Entradas relacionadas

Ir a Álgebra Moderna I.
Entrada anterior del curso: Teoremas y Proposiciones relacionadas con subgrupos Normal y grupo Alternante.
Siguiente entrada del curso: Subgrupo Conmutador.
Resto de cursos: Cursos.

Introducción

El núcleo y la imagen de un homomorfismo

El núcleo y la imagen son subgrupos

Proyección Canónica

Ejemplos

Tarea moral

Más adelante…

Entradas relacionadas

Introducción

Homomorfismos y la potencia

Homomorfismos y el orden

Ejemplo.

Tarea moral

Más adelante…

Entradas relacionadas

Introducción

¿Qué son todos estos homomorfismos?

Propiedades de los homomorfismos

Tarea moral

Más adelante…

Entradas relacionadas

Introducción

Subgrupo conmutador de G

Condiciones sobre un subgrupo para que el cociente sea abeliano

Ejemplo

Tarea moral

Más adelante…

Entradas relacionadas

Introducción

Grupo cociente G módulo N

Primer y segundo ejemplo

Tercer y cuarto ejemplo

Tarea moral

Más adelante…

Entradas relacionadas

Subgrupo conmutador de $G$

Grupo cociente $G$ módulo $N$