Álgebra Moderna I: Teorema de Jordan-Hölder

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

Introducción

Éste es un momento emotivo. Hemos llegado a la última entrada del curso. Así que sin mucho preámbulo comencemos a hablar del tema que nos compete.

El Teorema de Jordan-Hölder nos dice que cada par de series de composición de un grupo $G$ siempre son del mismo tamaño y con factores de composición isomoforfos entre sí. De nuevo, es un teorema que nos describe cómo es un grupo y los subgrupos que lo conforman.

Debido a que los factores de composición son grupos simples, obtenemos una descomposición del grupo $G$ en elementos mínimos (en el sentido de que no tienen una subestructura del mismo tipo) y de nuevo, podemos hacer una analogía con el Teorema fundamental de la aritmética, aunque esto se ve mejor cuando $G = Z_{n} .$

Por último, así como el Cuarto teorema de isomorfía justifica que los factores de composición son simples, en la demostración del Teorema de Jordan-Hölder usamos mucho el Segundo teorema de isomorfía para justificar la isomorfía que existe entre los factores de composición, así que es recomendable repasarlo. La demostración que se presenta a continuación sigue el desarrollo del libro de Harvey E. Rose que se encuentra en la bibliografía, específicamente en el Teorema 9.5 de la página 191.

El último teorema del curso

Teorema. (de Jordan – Hölder) Sean $G$ un grupo finito y
$\begin{aligned} G & = G_{1} ⊵ G_{2} ⊵ \dots ⊵ G_{s + 1} = {e} \\ G & = H_{1} ⊵ H_{2} ⊵ \dots ⊵ H_{t + 1} = {e} \end{aligned}$
dos series de composición de $G$ . Entonces $s = t$ y existe una permutación $σ \in S_{t}$ tal que para toda $i \in {1, 2, \dots, s}$
$\begin{array}{r} G_{i} / G_{i + 1} ≅ H_{σ (i)} / H_{σ (i) + 1} . \end{array}$

Demostración.

Sea $G$ un grupo finito.
Por inducción sobre $| G |$ .

H.I. Supongamos que el resultado se cumple si el orden del grupo es menor que $| G | .$

Sean
$\begin{aligned} G & = G_{1} ⊵ G_{2} ⊵ \dots ⊵ G_{s + 1} = {e} \\ G & = H_{1} ⊵ H_{2} ⊵ \dots ⊵ H_{t + 1} = {e} \end{aligned}$
dos series de composición de $G$ .

Caso 1. $G_{2} = H_{2}$ , entonces
$\begin{array}{r} G_{2} ⊵ \dots ⊵ G_{s + 1} = {e} \\ H_{2} ⊵ \dots ⊵ H_{t + 1} = {e} \end{array}$
son series de composición de $G_{2}$ .

Dado que $G_{1} / G_{2}$ es simple, en particular $G_{1} / G_{2} \neq {e_{G_{1} / G_{2}}}$ y así $G = G_{1} \neq G_{2}$ . En consecuencia $G_{2} \leq G$ y $| G_{2} | < | G |$ y por H.I. $s - 1 = t - 1$ y existe $σ \in S_{t - 1}$ tal que
$\begin{array}{r} G_{i} / G_{i + 1} ≅ H_{σ (i)} / H_{σ (i) + 1} \forall i \in {2, \dots, t} . \end{array}$

Como $G_{1} = G = H_{1}$ y $G_{2} = H_{2}$ , entonces $G_{1} / G_{2} = H_{1} / H_{2}$ .

Así, $s = t$ y $α \in S_{t}$ con $α (1) = 1$ , $α (i) = σ (i)$ para $i \in {2, \dots, t}$ cumple que
$\begin{array}{r} G_{i} / G_{i + 1} ≅ H_{α (i)} / H_{α (i) + 1} \forall i \in {1, \dots, t} . \end{array}$

Caso 2. $G_{2} \neq H_{2}$

Como $G_{2} ⊴ G$ y $H_{2} ⊴ G$ se tiene que $G_{2} H_{2} ⊴ G$ .

Además
$\begin{aligned} G_{2} & \leq G_{2} H_{2} ⊴ G \\ H_{2} & \leq G_{2} H_{2} ⊴ G . \end{aligned}$

Como $G / G_{2}$ es simple, por el ejercicio 2 de Grupos simples y series de grupos se tiene que $G_{2}$ es un subgrupo normal de $G$ máximo. Así, $G_{2} H_{2} = G$ ó $G_{2} H_{2} = G_{2}$ . Análogamente $G_{2} H_{2} = G$ ó $G_{2} H_{2} = H_{2}$ . Pero si $G_{2} H_{2} = G_{2}$ y $G_{2} H_{2} = H_{2}$ tendríamos que $G_{2} = H_{2}$ , lo que es una contradicción. Por lo tanto $\begin{matrix} (1) & G_{2} H_{2} = G . \end{matrix}$

Como $G_{2} ⊴ G$ entonces usamos el 2do Teorema de Isomorfía y nos dice que $G_{2} \cap H_{2} ⊴ H_{2}$ y

$\begin{array}{r} G_{2} H_{2} / G_{2} ≅ H_{2} / (G_{2} \cap H_{2}) . \end{array}$

Pero, como también $H_{2} ⊴ G$ , el 2do teorema de isomorfía también nos dice que $G_{2} \cap H_{2} ⊴ G_{2}$ y
$\begin{array}{r} G_{2} H_{2} / H_{2} ≅ G_{2} / (G_{2} \cap H_{2}) . \end{array}$

Por ( $1$ ) tenemos que $G = G_{2} H_{2}$ obteniendo así que

$\begin{aligned} G / G_{2} & ≅ H_{2} / (G_{2} \cap H_{2}) \\ G / H_{2} & ≅ G_{2} / (G_{2} \cap H_{2}) . \end{aligned}$

Diagrama de retícula para el Segundo Teorema de Isomorfía.

Como $G / G_{2}$ es simple, $H_{2} / (G_{2} \cap H_{2})$ también lo es. Así, $G_{2} \cap H_{2}$ es un subgrupo normal máximo de $H_{2}$ .

Análogamente como $G / H_{2}$ es simple, $G_{2} / (G_{2} \cap H_{2})$ también lo es. Así, $G_{2} \cap H_{2}$ es un subgrupo normal máximo de $G_{2}$ .

Sea $K_{3} = G_{2} \cap H_{2}$ . Consideremos una serie de composición para $K_{3}$
$\begin{array}{r} K_{3} ⊵ K_{4} ⊵ \dots ⊵ K_{r + 1} = {e} . \end{array}$

Tenemos las siguientes series de composición
$\begin{aligned} (2) & G & = G_{1} ⊵ G_{2} ⊵ \dots ⊵ G_{s + 1} = {e} \\ (3) & G & = G_{1} ⊵ G_{2} ⊵ K_{3} ⊵ K_{4} ⊵ \dots ⊵ K_{r + 1} = {e} \\ (4) & G & = H_{1} ⊵ H_{2} ⊵ K_{3} ⊵ K_{4} ⊵ \dots ⊵ K_{r + 1} = {e} \\ (5) & G & = H_{1} ⊵ H_{2} ⊵ \dots ⊵ H_{t + 1} = {e} \end{aligned}$

Por el caso 1 aplicado a $(2)$ y $(3)$ , $s = r$ y los factores de composición de
$\begin{aligned} G_{2} & ⊵ \dots ⊵ G_{s + 1} = {e} \\ G_{2} & ⊵ K_{3} ⊵ K_{4} ⊵ \dots ⊵ K_{r + 1} = {e} \end{aligned}$
son isomorfos salvo por el orden en el que están colocados.

Por el caso 1 aplicado a $(4)$ y $(5)$ , $r = t$ y los factores de composición de
$\begin{aligned} H_{2} & ⊵ K_{3} ⊵ K_{4} ⊵ \dots ⊵ K_{r + 1} = {e} \\ H_{2} & ⊵ \dots ⊵ H_{t + 1} = {e} \end{aligned}$
son isomorfos salvo por el orden en el que están colocados.
Tenemos entonces que $s = t$ .

Consideremos $G_{i} / G_{i + 1}$ con $i \in {2, \dots, t}$ :

Si $G_{i} / G_{i + 1} ≅ K_{j} / K_{j + 1}$ con $j \in {3, \dots, t}$ , entonces sabemos que existe $l \in {2, \dots, t}$ tal que $K_{j} / K_{j + 1} ≅ H_{l} / H_{l + 1} .$

Por otro lado si $G_{i} / G_{i + 1} ≅ G_{2} / K_{3}$ , entonces $G_{2} / K_{3} = G_{2} / (G_{2} \cap H_{2}) ≅ G / H_{2} = H_{1} / H_{2} .$

Entonces, para $i \in {2, \dots, t}$ se tiene que $G_{i} / G_{i + 1}$ es isomorfo a $H_{l} / H_{l + 1}$ para alguna $l \in {1, 2, \dots, t}$ .

Finalmente consideremos el cociente $G / G_{2}$ . Tenemos que $G / G_{2} ≅ H_{2} / (G_{2} \cap H_{2}) = H_{2} / K_{3} ≅ H_{m} / H_{m + 1}$ , para alguna $m \in {2, \dots, t}$ .

Por lo tanto para $i \in {1, 2, \dots, t}$ se tiene que $G_{i} / G_{i + 1}$ es isomorfo a $H_{l} / H_{l + 1}$ para alguna $l \in {1, 2, \dots, t}$ .

Así, los factores de composición de las series $(1)$ y $(4)$ son isomorfos salvo por el orden en que aparecen.

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 que el Teorema de Jordan-Hölder induce el Teorema fundamental de la aritmética.
1. Toma el grupo cíclico $Z_{n}$ con $n \in Z$ no necesariamente primo.
2. Encuentra el orden de un subgrupo máximo de $Z_{n}$ .
3. Observa la forma de las series de composición de $Z_{n}$ .
4. Usa el teorema de Jordan-Hölder para concluir el Teorema fundamental de la aritmética.

Más adelante…

Nuestro curso abarca hasta este teorema, pero el estudio del álgebra continúa en un curso de Álgebra Moderna II donde se estudia la Teoría de anillos y la Teoría de Galois. Estas dos teorías son igualmente interesantes y apasionantes y tienen muchas aplicaciones.

Entradas relacionadas

Ir a Álgebra Moderna I.
Entrada anterior del curso: Grupos simples y series de grupos.
Resto de cursos: Cursos.

El blog de Leo

Aprendiendo, creando y compartiendo matemáticas

Álgebra Moderna I: Teorema de Jordan-Hölder

Introducción

El último teorema del curso

Tarea moral

Más adelante…

Entradas relacionadas

Me gusta esto:

Deja una respuesta Cancelar la respuesta

Introducción

El último teorema del curso

Tarea moral

Más adelante…

Entradas relacionadas

Comparte esto:

Me gusta esto:

Deja una respuesta Cancelar la respuesta