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

Introducción

Esta entrada es el inicio de la última unidad del curso de Álgebra Moderna I, uno de los temas centrales que estudiaremos en esta unidad es el Teorema Fundamental de los Grupos Abelianos Finitos. Como es costumbre, para poder sumergirnos en el teorema, primero tenemos que construir algunos cimientos.

Seguramente a lo largo de tu estudio de las matemáticas te has encontrado con la notación ${\mathbb{R}}^2=\mathbb{R}\times \mathbb{R}$ y otras similares. ${\mathbb{R}}^2$ se usa para denotar al plano cartesiano y rápidamente entendemos que sus elementos tienen la forma de pares ordenados $(x,y)$ donde $x,y\in \mathbb{R}$. Esto mismo sucede con potencias mayores, como por ejemplo $(x,y,z)\in {\mathbb{R}}^3=\mathbb{R}\times \mathbb{R}\times \mathbb{R}$ y $(x_1,\dots ,x_n)\in {\mathbb{R}}^n=\mathbb{R}\times \cdots \times \mathbb{R}$ ($n$ veces).

De la misma manera, podríamos hacer $\mathbb{Z}\times \mathbb{R}$ y obtener objetos de la forma $(z,r)$ donde $z$ es un entero y $r$ un real. Es decir, podemos usar a la operación $\times$ entre dos grupos completamente distintos. Pero más allá de poder, ¿esto es algo que podamos estudiar? En pocas palabras, sí, resulta que la operación $\times$ es una manera práctica de construir grupos más grandes a partir de otros grupos.

En esta entrada y la próxima seguiremos el desarrollo de la sección 4.3 del libro de Grupos I de Avella, Mendoza, Sáenz y Souto que se encuentra en la bibliografía del curso.

Hablemos del producto de grupos

Comencemos definiendo formalmente al producto de grupos.

Definición. Sean $(G_1,{\ast }_1),\cdots ,(G_n,{\ast }_n)$ grupos. El producto directo externo de $G_1,\dots ,G_n$ es
$$\begin{array}{r}{G}_1\times \cdots \times G_n=\{(g_1,\dots ,g_n)|g_i\in G\mathrm{\forall }i\in \{1,\dots ,n\}\}\end{array}$$
con la operación
$$\begin{array}{r}(g_1,\dots ,g_n)\ast (h_1,\dots ,h_n)=(g_1{\ast }_1{h}_1,\dots ,g_n{\ast }_n{h}_n).\end{array}$$

Observación. $G_1\times \cdots \times G_n$ es un grupo con neutro $(e_{G_1},\dots ,e_{G_n})$ y $(g_1^{-1},\dots ,g_n^{-1})$ es el inverso de cada $(g_1,\dots ,g_n)\in G_1\times \cdots \times G_n$.

Ejemplo 1. Consideremos $G=S_3\times {\mathbb{Z}}_2\times D_{2(4)}.$
Un elemento es $((123),\overline{1},a^{2}b)$.
Dados $(\alpha ,\overline{a},f),(\beta ,\overline{b},g)\in G$ se tiene que
$$\begin{array}{r}(\alpha ,\overline{a},f)\ast (\beta ,\overline{b},g)=(\alpha \circ \beta ,\overline{a}+\overline{b},f\circ g).\end{array}$$

Ejemplo 2. Tomemos el producto ${\mathbb{Z}}_2\times {\mathbb{Z}}_2=\{(\overline{0},\overline{0}),(\overline{0},\overline{1}),(\overline{1},\overline{0}),(\overline{1},\overline{1})\}$.
Observemos que $o(\overline{0},\overline{0})=1$, $o(\overline{0},\overline{1})=o(\overline{1},\overline{0})=o(\overline{1},\overline{1})=2.$
La suma de dos elementos en $\{(\overline{0},\overline{1}),(\overline{1},\overline{0}),(\overline{1},\overline{1})\}$ nos da el tercero. Entonces, ${\mathbb{Z}}_2\times {\mathbb{Z}}_2$ es isomorfo al grupo de Klein.

Ejemplo 3. Por último, tomemos ${\mathbb{Z}}_2\times {\mathbb{Z}}_3=\{(\overline{0},\overline{0}),(\overline{0},\overline{1}),(\overline{0},\overline{2}),(\overline{1},\overline{0}),(\overline{1},\overline{1}),(\overline{1},\overline{2})\}$.
Observemos que $o(\overline{1},\overline{1})=6.$
Tenemos que ${\mathbb{Z}}_2\times {\mathbb{Z}}_3=⟨(\overline{1},\overline{1})⟩$ y así ${\mathbb{Z}}_2\times {\mathbb{Z}}_3\cong {\mathbb{Z}}_6$.

Dos funciones naturales

Definición. Sean $G_1,\dots ,G_n$ grupos, $G=G_1\times \cdots \times G_n$. Para cada $i\in \{1,\dots ,n\}$ definimos la inclusión natural
$$\begin{array}{r}{\text{inc}}_i:G_i\to G\text{ como }{\text{inc}}_i(g_i)=(e_{G_1},\dots ,g_i,\dots ,e_{G_n}),\end{array}$$
donde $g_i$ está en la $i$-ésima posición.

Definición. Sean $G_1,\dots ,G_n$ grupos, $G=G_1\times \cdots \times G_n$. Para cada $i\in \{1,\dots ,n\}$ definimos la proyección natural
$$\begin{array}{r}{\pi }_i:G\to G_i\text{ con }{\pi }_i(g_1,\dots ,g_n)=g_i.\end{array}$$

Observación 1 . ${\text{inc}}_i$ es un monomorfismo.

Observación 2 . ${\pi }_i$ es un epimorfismo.

Notación. $G_i^{\ast }={\text{inc}}_i\lceil G_i\rceil =\{e_{G_1}\}\times \cdots \times G_i\times \cdots \{e_{G_n}\}.$

Observación 3. Para $G=G_1\times \cdots \times G_n$, los siguientes incisos son ciertos:

1. $G_i\cong G_i^{\ast }$,
2. $G_i^{\ast }⊴G$ y
3. $G/G_i^{\ast }\cong G_1\times \cdots \times G_{i-1}\times G_{i+1}\times \cdots G_n.$

Demostración.
${\text{inc}}_i$ es un monomorfismo y si restringimos a su imagen $G_i^{\ast }$ obtenemos un epimorfismo, dando un isomorfismo de $G_i$ a $G_i^{\ast }$.

Ahora $\phi :G\to G_1\times \cdots \times G_{i-1}\times G_{i+1}\times \cdots \times G_n$ con $\phi (g_1,\dots ,g_n)=(g_1,\dots ,g_{i-1},g_{i+1},\dots ,g_n)$ es un epimorfismo y $\text{Núc }\phi =G_i^{\ast }$, probando con ello que $G_i^{\ast }⊴G$. Además, por el 1er teorema de isomorfía
$$\begin{array}{r}G/G_i^{\ast }\cong G_1\times \cdots \times G_{i-1}\times G_{i+1}\times \cdots G_n.\end{array}$$

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

Observación 4. Sean $i\ne j$, $x\in G_i^{\ast }$, $y\in G_j^{\ast }$. Entonces $x{\ast }_{n}y=y{\ast }_{n}x$.

¿Y si ahora recuperamos $G$ a partir de los $G_i^{\ast }$?

En la entrada Producto de subgrupos y clases laterales, definimos el producto de dos subgrupos. Generalicemos esta idea para una cantidad finita de subgrupos:

Definición. Sea $G$ un grupo. Dados $H_1,\dots ,H_n$ subgrupos de $G$, el producto de $H_1,\dots ,H_n$ es
$$\begin{array}{r}\prod _{i=i}^n{H}_i=H_1\cdots H_n=\{h_1{h}_2\cdots h_n|h_i\in H_i;\mathrm{\forall }i\in \{1,\dots ,n\}\}.\end{array}$$

Observemos que para realizar el producto de $h_1{h}_2\cdots h_n$ sólo usamos la operación del grupo $G$ porque todas las $H_i$ son subgrupos de $G$. Sin embargo, como estudiamos en la entrada Producto de subgrupos y clases laterales, el conjunto $H_1\cdots H_n$ no necesariamente es un subgrupo ya que la operación no siempre es cerrada. En la siguiente entrada agregaremos condiciones a los subgrupos $H_i$ para que $H_1\cdots H_n$ sí sea un subgrupo de $G$.

Relacionemos ahora el producto directo externo con el producto de los subgrupos $G_i^{\ast }$ antes definidos:

Proposición. Sean $G_1,\dots ,G_n$ grupos, $G=G_1\times \cdots \times G_n.$

1. $G_i^{\ast }⊴G\mathrm{\forall }i\in \{1,\dots ,n\}$.
2. ${\displaystyle G_i^{\ast }\cap \left(\prod _{j\ne i}{G}_j^{\ast }\right)=\{e_G\}\text{ para toda }i\in \{1,\dots ,n\}}$.
3. ${\displaystyle G=\prod _{i=1}^n{G}_i^{\ast }}$.

Demostración.
Sean $G_1,\dots ,G_n$ grupos, $G=G_1\times \cdots \times G_n$.

1. Por la observación 3: $G_i^{\ast }⊴G$, para toda $i\in \{1,\dots ,n\}$.
2. La contención ${\displaystyle \{e_G\}\subseteq G_i^{\ast }\cap \left(\prod _{j\ne i}{G}_j^{\ast }\right)}$, donde $e_G=(e_{G_1},\dots ,e_{G_n})$, es clara. Así que probaremos la otra.
   Sea ${\displaystyle g=(g_1,\dots ,g_n)\in G_i^{\ast }\cap \left(\prod _{j\ne i}{G}_j^{\ast }\right)}$.
   Como $g\in G_i^{\ast }=\{e_{G_1}\}\times \cdots \times G_i\times \cdots \times \{e_{G_n}\}$, entonces la $j$-ésima entrada de $g$ es $g_j=e_{G_j}$ para toda $j\ne i$.
   Como ${\displaystyle g\in \prod _{j\ne i}{G}_j^{\ast }}$, $g=h_1\cdots h_{i-1}{h}_{i+1}\cdots h_n$ con $h_j\in G_j^{\ast }$ para toda $j\ne i$.
   Dado que cada $h_j\in G_j^{\ast }$ y $j\ne i$, la entrada $i$ de cada $h_j$ es $e_{G_i}$, por lo tanto la entrada $i$ de $g$ es $e_{G_i}$.
   Por lo tanto $g=(e_{G_1},\dots ,e_{G_n})=e_G$.
3. Como $G_i^{\ast }\subseteq G$ para toda $i\in \{1,\dots ,n\}$, entonces ${\displaystyle \prod _{i=1}^n{G}_i\subseteq G.}$
   Ahora, si $g\in G$,
   $$\begin{array}{r}g=(g_1,\dots ,g_n)=(g_1,e_{G_2},\dots ,e_{G_n})(e_{G_1},g_2,e_{G_3},\dots ,e_{G_n})\cdots (e_{G1},\dots ,e_{G_{n-1}},g_n).\end{array}$$
   Entonces ${\displaystyle g\in \prod _{i=1}^n{G}_i^{\ast }.}$
   Por lo tanto ${\displaystyle G=\prod _{i=1}^n{G}_i^{\ast }}$.

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

Lo anterior muestra que un producto directo externo es un producto de subgrupos normales que cumple el inciso 2 de la proposición.

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. Demuestra las observaciones 1, 2 y 4:
   • ${\text{inc}}_i$ es un monomorfismo.
   • ${\pi }_i$ es un epimorfismo.
   • Sean $i\ne j$, $x\in G_i^{\ast }$, $y\in G_j^{\ast }$. Entonces $x{\ast }_{n}y=y{\ast }_{n}x$.
2. Sean $G_1,\dots ,G_n$ grupos finitos, demuestra que el orden de su producto directo externo es $|G_1||G_2|\dots |G_n|.$
3. Prueba que el centro de un producto externo es el producto externo de los centros, esto es: $$Z(G_1\times G_2\times \cdots \times G_n)=Z(G_1)\times Z(G_2)\times \cdots \times Z(G_n).$$ Deduce que el producto directo externo de grupos abelianos es abeliano.
4. Sea $G=A_1\times A_2\cdots \times A_n$ y para cada $i\in \{1,\dots ,n\}$ sea $B_i⊴A_i$. Prueba que $B_1\times B_2\times \cdots \times B_n⊴G$ y que $$(A_1\times A_2\cdots \times A_n)/(B_1\times B_2\times \cdots \times B_n)\cong (A_1/B_1)\times (A_2/B_2)\times \cdots \times (A_n/B_n).$$
5. Sean $A$ y $B$ dos grupos finitos y sea $p$ un primo.
   • Prueba que cualquier $p$-subgrupo de Sylow de $A\times B$ es de la forma $P\times Q$, donde $P$ es un $p$-subgrupo de Sylow de $A$ y $Q$ es un $p$-subgrupo de Sylow de $B$.
   • Prueba que además, la cantidad de $p$-subgrupos de Sylow de $A\times B$ es igual a la cantidad de $p$-subgrupos de Sylow de $A$ por la cantidad de $p$-subgrupos de Sylow de $B$, es decir: $$r_p(A\times B)=r_p(A)r_p(B).$$
   • Generaliza este resultado para el producto directo externo de una cantidad finita de grupos, es decir, para $A_1\times A_2\times \cdots \times A_n$ determina que sus $p$-subgrupos de Sylow son el producto directo externo de $p$-subgrupos de Sylow de sus factores.

Más adelante…

La última proposición es prácticamente la conclusión de esta entrada, porque iniciamos definiendo a $G$ como el producto de grupos externos a él y terminamos describiendo a $G$ como producto de subgrupos específicos de él mismo. ¿Habrá alguna manera de generalizar esto, es decir, cuándo un grupo $G$ se podrá expresar como un producto de subgrupos específicos de él mismo? Esta pregunta nos lleva a la definición del producto directo interno que se dará en la siguiente entrada.

Entradas relacionadas

• Ir a Álgebra Moderna I.
• Entrada anterior del curso: Ejemplos de Sylow.
• Siguiente entrada del curso: Producto directo interno.
• Resto de cursos: Cursos.