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

Introducción

Como hemos visto en las entradas anteriores, muchas pruebas de grupos se realizan por inducción sobre $|G|$ usando información de un subgrupo normal $N$ y el cociente $G/N$.

Pero para poder usar $G/N$ se requiere que exista un subgrupo normal $N$ de $G$ con $1⪇|N|⪇|G|.$ Y en ocasiones no existe un $N$ normal que no sea el mismo $G$ o $\{e_G\}$, entonces conviene estudiar a los grupos $G$ no triviales tales que tienen sólo dos subgrupos normales.

Por otro lado, ¿es posible tener una serie de grupos normales contenidos entre sí? A esta situación lo conocemos como una serie de composición.

Esta entrada está dedicada a los conceptos de Grupos simples y Series de composición de grupos, será útil para que, más adelante, entendamos el Teorema de Jordan Hölder.

Qué simples son los grupos simples

Definición. Sea $G$ un grupo con $G\ne \{e\}$. Decimos que $G$ es simple si sus únicos subgrupos normales son $G$ y $\{e\}$.

Ejemplo.
Sea $p\in {\mathbb{Z}}^{+}$ un número primo, $G$ un grupo con $|G|=p$. Entonces $G$ es un grupo simple ya que si $N⊴G$ se tiene que $|N|||G|=p$ y así $|N|=1$ ó $|N|=p$, esto implica que $N=\{e\}$ ó $N=G$.

Observación. Todo grupo finito simple abeliano es isomorfo a ${\mathbb{Z}}_p$.

Demostración.
Sea $G$ un grupo finito simple abeliano. Dado que $G\ne \{e\}$ consideremos $a\in G,a\ne e$. Como $G$ es abeliano, todo subgrupo es normal, así
$$\begin{array}{r}\{e\}⪇⟨a⟩⊴G\end{array}$$
pero $G$ es simple, entonces $⟨a⟩=G$ y $G$ es cíclico.

Más aún, $G\cong {\mathbb{Z}}_n$ con $n=|G|$. Veamos que $n$ es primo.

P. D. $n$ es primo.

Supongamos por reducción al absurdo que $n$ es compuesto, es decir $n=st$ con $s,t\in {\mathbb{Z}}^{+}$, donde $s<n$ y $t<n$.

Entonces $a^s\ne e$ ya que $s<n=o(a)$, por lo que $\{e\}⪇⟨a^s⟩$.

Además $$(a^s{)}^t=e$$ y así $o(a^s)|t$, lo que implica que $o(a^s)\le t<n$ y en consecuencia $⟨a^s⟩⪇G$.

Por lo tanto $\{e\}⪇⟨a^s⟩⪇G$. Pero como $G$ es un grupo abeliano todos sus subgrupos son normales, por lo que $⟨a^s⟩$ sería un subgrupo normal de $G$ distinto de $\{e\}$ y de $G$, lo que es una contradicción.

Concluimos que $n$ es primo y así $G\cong {\mathbb{Z}}_n$ con $n$ primo.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Nota. Hay grupos simples no abelianos finitos e infinitos.

Series de grupos

Definición. Sea $G$ un grupo. Una secuencia de subgrupos
$$\begin{array}{r}G=G_1\ge G_2\ge \cdots \ge G_{k+1}=\{e\}\end{array}$$
es una serie de composición para $G$ si $G_{i+1}⊴G_i$ y $G_i/G_{i+1}$ es simple para toda $i\in \{1,\dots ,k\}$.
Esto cocientes se llaman factores de composición.

A pesar de que estamos dando una definición, es importante señalar que en el caso de un grupo finito es el Cuarto teorema de isomorfía el que justifica que en efecto estas series de composición existen:

Observación 1. Sean $G$ un grupo finito y $N$ un subgrupo normal propio de $G$ tal que es máximo con esta propiedad, es decir tal que si $N\le H⪇G$ con $H$ normal en $G$, entonces $N=H$. Se tiene que $G/N$ es simple.

Demostración.

Sean $G$ un grupo finito y $N$ un subgrupo normal de $G$ tal que es máximo con esta propiedad. Supongamos que $\mathcal{H}$ es un subgrupo normal de $G/N$ con $$\{e_{G/N}\}\le \mathcal{H}⪇G/N.$$ Por el Cuarto teorema de isomorfía sabemos que $\mathcal{H}=H/N$ para algún $N\le H⪇G.$ Además, como $\mathcal{H}⊴G/N$ sabemos que $H⊴G$. Pero al ser $N$ un subgrupo normal máximo tenemos que $N=H$ por lo cual $\mathcal{H}=N/N=\{e_{G/N}\}$. Así, $G/N$ es simple.

Observación 2. Si $G$ es finito, estas series de composición existen.

Demostración (sencilla).

Si $G$ es trivial entonces $G$ mismo es una serie de composición para $G$.

Supongamos entonces que $G$ es no trivial. Consideramos $G_1=G$ y $G_2$ un subgrupo normal propio de $G$ tal que es máximo con esta propiedad. Entonces por la observación 1 $G_1/G_2$ es simple.

Si $G_2=\{e\}$, $G_1\ge G_2$ es una serie de composición para $G$.

Si $G_2\ne \{e\}$ tomamos $G_3$ un subgrupo normal propio de $G_2$, máximo, y así sucesivamente. Como $G$ es finito este proceso termina y da lugar a una serie de composición para $G$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Ejemplos

Ejemplo 1. Tomemos ${\mathbb{Z}}_{12}$. Notemos que en este caso el grupo es abeliano por lo que todos sus subgrupos son normales. Proponemos
$$\begin{array}{}\text{(1)}& {\mathbb{Z}}_{12}⊵⟨\overline{3}⟩⊵⟨\overline{6}⟩⊵\{\overline{0}\}.\end{array}$$

Como $\left|⟨\overline{3}⟩\right|=4$, entonces $\left|{\mathbb{Z}}_{12}/⟨\overline{3}⟩\right|=\frac{12}{4}=3$ y así ${\mathbb{Z}}_{12}/⟨\overline{3}⟩\cong {\mathbb{Z}}_3$ que es simple.

Sabemos que $\left|⟨\overline{6}⟩\right|=2$, así $\left|⟨\overline{3}⟩/⟨\overline{6}⟩\right|=\frac{4}{2}=2$ y entonces $⟨\overline{3}⟩/⟨\overline{6}⟩\cong {\mathbb{Z}}_2$ que es simple.

Finalmente $⟨\overline{6}⟩/\{\overline{0}\}\cong ⟨\overline{6}⟩\cong {\mathbb{Z}}_2$ que es simple. Así $(\text{1})$ es una serie de composición para ${\mathbb{Z}}_{12}$.

También ${\mathbb{Z}}_{12}⊵⟨\overline{2}⟩⊵⟨\overline{6}⟩⊵\{\overline{0}\}$ lo es.

Ejemplo 2. Tomemos $D_{2(4)}=\{\text{id},a,a^2,a^3,b,ab,a^{2}b,a^{3}b\}$. Donde $a$ es la rotación de $\frac{\pi }{4}$ y $b$ es la reflexión respecto al eje $x$.

Tenemos que
$$\begin{array}{r}⟨a^2,b⟩=\{\text{id},a^2,b,a^{2}b\}\end{array}$$
es de orden cuatro, entonces $[D_{2(4)}:⟨a^2,b⟩]=2$. Así $D_{2(4)}⊵⟨a^2,b⟩$ y $D_{2(4)}/⟨a^2,b⟩\cong {\mathbb{Z}}_2$ que es simple.

También $[⟨a^2,b⟩:⟨b⟩]=2$ y $⟨a^2,b⟩/⟨b⟩\cong {\mathbb{Z}}_2$ que es simple. Finalmente $⟨b⟩/\{\text{id}\}\cong {\mathbb{Z}}_2$ que es simple.

Así,
$$\begin{array}{r}{D}_{2(4)}⊵⟨a^2,b⟩⊵⟨b⟩⊵\{\text{id}\}\end{array}$$
es una serie de composición para $D_{2(4)}$.

También
$$\begin{array}{r}{D}_{2(4)}⊵⟨a⟩⊵⟨a^2⟩⊵\{\text{id}\}.\end{array}$$

Observación 3. En una serie de composición $G_{i-1}⊵G_i$ pero no necesariamente $G⊵G_i$.

Observación 4. Puede ser que dos grupos no isomorfos tengan los mismos factores de composición salvo isomorfía.

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.

1. Considera la nota que aparece en esta entrada: hay grupos simples no abelianos finitos e infinitos.
   • Encuentra un grupo simple no abeliano finito.
   • Encuentra un grupo simple no abeliano infinito.
   • ¿Qué pasará con los grupos abelianos infinitos? ¿existirán los grupos abelianos infinitos simples?
2. Encuentra un grupo $G$ que cumpla la observación: $G_{i-1}⊵G_i$ pero no necesariamente $G⊵G_i$.
3. Describe un ejemplo de grupos tales que no sean isomorfos y tengan los mismos factores de composición salvo isomorfía.
4. En cada uno de los siguientes casos encuentra todas las series de composición de $G$ y compara los factores de composición obtenidos:
   • $G={\mathbb{Z}}_{60}$.
   • $G={\mathbb{Z}}_{48}$.
   • $S_3\times {\mathbb{Z}}_2.$

Más adelante…

Estos conceptos que pueden parecer muy sencillos, al combinarlos nos dan el último teorema que veremos en este curso: el Teorema de Jordan-Hölder. Una poderosa herramienta que nos dice que los factores de composición de dos series distintas de un mismo grupo son los mismos salvo isomorfía.

Entradas relacionadas

• Ir a Álgebra Moderna I.
• Entrada anterior del curso: Teorema fundamental de los grupos abeliano finitos.
• Siguiente entrada del curso: Teorema de Jordan Hölder.
• Resto de cursos: Cursos.