(Trabajo de titulación asesorado por la Dra. Diana Avella Alaminos)
Introducción
Continuamos con el estudio del producto de grupos. En la entrada anterior definimos el producto directo externo de grupos, luego vimos unas funciones naturales y definimos los subgrupos $G^*_i$. Demostramos que para un grupo $G = G_1 \times \dots \times G_n$ se cumple que:
- $G_i^* \unlhd G \quad \forall i\in\{1,\dots,n\}$.
- $\displaystyle G_i^* \cap \left( \prod_{j\neq i} G_j^*\right) = \{e_G\} \text{ para toda }i\in\{1,\dots,n\}$.
- $\displaystyle G = \prod_{i = 1}^n G_i^*$.
En resumen, esta proposición nos dice que si $G$ es el producto directo externo de varios grupos, también lo podemos ver como producto de subgrupos normales que cumplen el inciso 2.
En esta entrada queremos generalizar esta idea: ahora $G$ será un grupo cualquiera, tomaremos subgrupos normales $H_i$, con $i\in \{1,\dots,n\}$ de $G$ que cumplan estas propiedades y probaremos que $G$ se puede ver como el producto directo externo de estos subgrupos.
En el producto directo externo, construíamos $G$ a partir de otros grupos que pudieran incluso no estar relacionados entre sí. Ahora intentaremos describir a un grupo $G$ como producto de algunos de sus subgrupos normales, por eso llamaremos a este concepto el producto directo interno.
Producto directo interno de subgrupos
Comencemos definiendo nuestro nuevo producto entre subgrupos normales de $G$.
Definición. Sean $G$ un grupo, $H_1,\dots, H_n$ subgrupos de $G$. Decimos que $G$ es el producto directo interno de $H_1,\dots, H_n$ si
- $H_i \unlhd G$ para toda $i\in\{1,\dots, n\}$.
- $\displaystyle H_i\cap \left(\prod_{j\neq i} H_j\right) = \{e\}$ para toda $i\in\{1,\dots, n\}$.
- $\displaystyle G = \prod_{i=1}^n H_i$.
Observación 5. $G_1\times\cdots\times G_n$ es el producto directo interno de los $G_i^*$.
Observación 6. Si $G$ es el producto directo interno de $H_1,\cdots,H_n$, entonces $xy=yx$ para toda $x\in H_i, y\in H_j$ con $i\neq j$.
Demostración.
Sea $G$ producto directo de $H_1,\dots, H_n$, sean $x\in H_i, y\in H_j$, con $j\neq i$, entonces
\begin{align*}
xyx^{-1}y^{-1} = x(yx^{-1}y^{-1}) \in H_i,
\end{align*}
porque $x \in H_i$ y $yx^{-1}y^{-1}\in H_i$ pues $H_i \unlhd G$.
Por otro lado,
\begin{align*}
xyx^{-1}y^{-1} = (xyx^{-1})y^{-1} \in H_j,
\end{align*}
ya que, análogamente, $xyx^{-1} \in H_j$ debido a que $H_j\unlhd G$ y $y^{-1} \in H_j.$
Así, $\displaystyle xyx^{-1}y^{-1} \in H_i \cap H_j \subseteq H_i\cap \prod_{k\neq i} H_k = \{e\}$. Entonces $xyx^{-1}y^{-1} = e$.
Por lo tanto $xy = yx$.
$\blacksquare$
Ejemplo. Sea $G = \left< a \right>$ con $o(a) = 12$. Busquemos subgrupos $H_1, \dots, H_n$ para alguna $n\in \n$ tales que $G$ sea el producto directo interno de estos subgrupos.
Sean $H_1 = \left< a^3\right>, H_2 = \left< a^4\right>$. Como $G$ es abeliano, $H_1\unlhd G, H_2 \unlhd G$. Además
\begin{align*}
H_1\cap H_2 = \{e,a^3,a^6, a^9\} \cap \{e, a^4, a^8\} = \{e\}.
\end{align*}
Como
\begin{align*}
a = ae = a a^{12} = a^{13} = a^9a^4 \in H_1H_2
\end{align*}
tenemos que $G = \left< a \right> \subseteq H_1H_2$. Por la cerradura del producto en $G$ se tiene además que $H_1H_2 \subseteq G$, entonces $G=H_1H_2$.
Por lo tanto $G$ es el producto directo interno de $H_1$ y $H_2$.
Observación 7. Sean $G$ un grupo, $H_1,\dots, H_n$ subgrupos de $G$. Si $G$ es el producto directo interno de $H_1,\dots, H_n$, entonces
\begin{align*}
\varphi : H_1\times \cdots \times H_n \to G
\end{align*}
con $\varphi(h_1,\dots,h_n) = h_1\cdots h_n$ para toda $(h_1,\dots,h_n) \in H_1\times\cdots\times H_n$ es un isomorfismo.
Es consecuencia, si $G$ es finito tenemos que $|G| = |H_1|\cdots|H_n|$.
Descomposición de $G$ en $p$-subgrupos
Algunos subgrupos importantes que vimos son los $p$-subgrupos de Sylow, para $p$ primo. Ahora los usaremos junto con el Producto directo interno para describir a $G$ como el producto de sus $p$-subgrupos de Sylow, esto nos recuerda mucho al Teorema Fundamental de la Aritmética.
Teorema. Sea $G$ un grupo finito con $p_1,\dots, p_t$ los distintos factores primos del orden de $G$ y $P_1, \dots, P_t$ subgrupos de Sylow de $G$ asociados a $p_1,\dots,p_t$ respectivamente. Si $P_i\unlhd G$ para toda $i\in\{1,\dots, t\}$, entonces $G$ es el producto directo interno de $P_1,\dots, P_t$.
Demostración.
Sea $G$ un grupo finito de orden $n$. Sean $p_1,\dots, p_t$ los distintos factores primos de $n$ y $P_1,\dots, P_t$ subgrupos de $G$ con $P_i$ un $p_i$-subgrupo de Sylow de $G$ con $P_i \unlhd G$ para toda $i\in \{1,\dots, t\}$.
Veamos que para todo $S\subseteq \{1,\dots, t\}$, $\displaystyle \prod_{j\in S} P_j$ es un producto directo interno por inducción sobre $\# S$.
Caso Base. Supongamos que $\# S = 1$,
$S = \{i\} \subseteq \{1,\dots, t\}$ y $P_i$ es el producto directo interno de $P_i$.
H.I. Supongamos que si $T\subseteq \{1,\dots, t\}$ con $\# T < \# S$, entonces $\displaystyle \prod_{j\in T} P_j$ es un producto directo interno.
Sea $\displaystyle H = \prod_{j\in S}P_j$. Veamos que $H$ es el producto directo interno de los $P_j$ con $j\in S$.
Por hipótesis se cumplen las condiciones $1$ y $3$ de la definición de producto directo interno. Veamos que se cumple $2$.
Sean $i\in S$, $\displaystyle x\in P_i\cap \prod_{\substack{j\in S\\ j\neq i}} P_j$.
Como $x\in P_i$, entonces $o(x) \Big| |P_i|$.
Como $\displaystyle x\in \prod_{\substack{j\in S\\ j\neq i}} P_j$, entonces el orden de $x$ divide al orden del producto: $\displaystyle o(x) \Big| \left|\prod_{\substack{j\in S\\ j\neq i}} P_j\right| = \prod_{\substack{j\in S\\ j\neq i}} |P_j|$ donde la última igualdad se debe a que $\displaystyle \prod_{\substack{j\in S\\ j\neq i}} P_j$ es un producto directo interno por H.I. y por la observación 7.
Pero $|P_i| = p_i^{\alpha_i}$, $\displaystyle \prod_{\substack{j\in S\\ j\neq i}} |P_j| = \prod_{\substack{j\in S\\ j\neq i}} P_j^{\alpha_j}$ con $\alpha_j\in \n^+$ para toda $j\in S$, entonces son primos relativos. Así $o(x) = 1$. Por lo que $\displaystyle x\in P_i \cap \prod_{\substack{j\in S\\ j\neq i}} P_j = \{e\}$.
Hemos probado entonces que $\displaystyle \prod_{\substack{j\in S}} P_j$ es un producto directo interno para toda $S\subseteq \{1,\dots,t\}$. En particular para $S = \{1,\dots, t\}$ tenemos que $\displaystyle \prod_{j = 1}^t P_j$ es un producto directo interno. Por la observación 7,
\begin{align*}
\left| \prod_{j = 1}^t P_j \right| = \prod_{j=1}^t |P_j| = n = |G|
\end{align*}
ya que $P_1,\dots,P_t$ son subgrupos de Sylow asociados a los distintos factores primos de $G$.
Como $\displaystyle \prod_{j=1}^t P_j$ es un subgrupo de $G$ de orden $|G|$ tenemos que $\displaystyle G = \prod_{j=1}^t P_j$.
Por lo tanto $G$ es el producto directo interno de $P_1,\dots, P_t$.
$\blacksquare$
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 las observaciones 5 y 7.
- $G_1\times\cdots\times G_n$ es el producto directo interno de los $G_i^*$.
- Sean $G$ un grupo, $H_1,\dots, H_n$ subgrupos de $G$. Si $G$ es el producto directo interno de $H_1,\dots, H_n$, entonces
\begin{align*}
\varphi : H_1\times \cdots \times H_n \to G
\end{align*}
con $\varphi(h_1,\dots,h_n) = h_1\cdots h_n$ para toda $(h_1,\dots,h_n) \in H_1\times\cdots\times H_n$ es un isomorfismo.
- Regresa a la entrada de Ejemplo de Sylow y considera $S_4$.
- De existir, busca $H_1, \dots, H_n$ tal que $S_4$ sea producto directo de $H_1,\dots , H_n.$
- Usando los $p$-subgrupos de Sylow que encontramos, describe a $S_4$ como producto directo interno de ellos. Aplica el último teorema visto.
- Aplica el último teorema visto con $\z_6$ y $T = S_3 \times \z_4$, encuentra los primos $p_1, \dots , p_n$ que conforman al orden del grupo y los $P_1, \dots , P_n$ subgrupos de Sylow que corresponden a estos primos. Al final, representa a los grupos como producto directo interno de estos $p$-subgrupos de Sylow.
Más adelante…
La descomposición de un grupo en $p$-subgrupos que vimos es una probada de lo que veremos en el Teorema fundamental de grupos abelianos finitos, la relación de los primos que componen al orden del grupo con los $p$-subgrupos del mismo grupo. Pero antes de poder enunciarlo, necesitamos enunciar algunos teoremas que nos ayudarán y que se sirven de los Productos directos interno y externo que hemos estado viendo.
Entradas relacionadas
- Ir a Álgebra Moderna I.
- Entrada anterior del curso: Producto directo externo.
- Siguiente entrada del curso: Lemas previos al teorema fundamental de los grupos abelianos finitos.
- Resto de cursos: Cursos.