Archivo de la etiqueta: Álgebra Moderna

Álgebra Moderna I: Guía de Notación

Por Cecilia del Carmen Villatoro Ramos

Deja un comentario

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

Introducción

En los libros de matemáticas es muy común dedicar algunas páginas a un glosario de notación, que resulta muy útil para recordar la notación del libro o, si sólo estás consultando un capítulo, entenderlo sin que la notación sea un impedimento.

Inspirados por estos libros, se recopiló todos los signos que usamos a lo largo del curso y lo dividimos en distintas secciones que pueden ayudarte a encontrarlos.

Si en algún momento se te olvida lo que significa la notación puedes regresar aquí para refrescar tu memoria y hasta para encontrar la entrada en donde se define el concepto.

Álgebra general: Aquí están los símbolos de conceptos algebraicos que son explicados en algún otro curso. Cabe aclarar que a lo mejor no se usa el mismo símbolo o notación que en otros textos, pero los conceptos son los mismos.

Conjuntos generales: Aquí se enlistan todos los conjuntos que probablemente ya conoces, podemos decir que son los conjuntos básicos como el de los reales, enteros, racionales, etc. Con seguridad, estos conjuntos se definen en algún curso introductorio al Álgebra, como Álgebra Superior I.

Conjuntos especiales y grupos nuevos: Aquí están los conjuntos algebraicos que usamos en este curso y que a lo mejor se mencionan en otros cursos más avanzados. Son conjuntos que definimos o describimos para usarlos y que probablemente no conocías hasta ahora.

Teoría de grupos: Aquí están todos los símbolos y notaciones propias del curso, es decir, las que vamos definiendo formalmente y forman parte del contenido de Álgebra Moderna I. Se encuentran en orden de aparición. Observarás que hay algunos grupos y conjuntos. A diferencia de los conjuntos especiales, estos conjuntos nacen de la teoría de grupos. Es decir, suelen ser subconjuntos o subgrupos que dependen de un grupo $G$. Aquí encontrarás los enlaces a las entradas en donde dicho concepto se define.

Álgebra general

SímboloSignificado
$(n;m)$Máximo común divisor
$(n;m)=1$$n$ y $m$ son primos relativos
$a \thicksim b$$a$ está relacionado con $b$
$\varphi(d)$Phi de Euler
$\therefore$Por lo tanto
$A\;\dot\cup\; B$Unión disjunta de $A$ y $B$
$A \setminus B$Diferencia de conjutos. Los elementos de $A$ que no pertenecen a $B$
$m!$Factorial de $m$
$\ln$Logaritmo natural

Conjuntos generales

SímboloSignificado
$\emptyset$Conjunto vacío
$\r$Números Reales
$\z$Números Enteros
$\mathbb{Q}$Números Racionales
$\n$Números Naturales
$\mathbb{C}$Números Complejos
$\mathbb{C}^*$Números Complejos sin el cero
$\r^+$Números Reales positivos
$\z^+$Números Enteros positivos
$\z^+ \cup \{0\}$Enteros positivos con el 0
$\z_m$Enteros módulo $m$
$\z_p$Enteros módulo $p$, con $p$ primo
$\mathcal{M}_{2\times2}(\z)$Matrices $2\times 2$ con coeficientes enteros
$\mathcal{M}_{n\times n}(\r)$Matrices $n\times n$ con coeficientes reales
$\mathcal{P}(X)$Conjunto potencia del conjunto $X$

Conjuntos especiales y grupos nuevos

SímboloSignificadoDefinición en…
$S_3$Funciones biyectivas de ${1,2,3}$ en sí mismoOperación binaria
$S_n$Grupo simétrico de $n$ símbolosPermutaciones y Grupo Simétrico
$GL(n,\r)$Grupo lineal generalDefinición de Grupos
$SL(n,\r)$Grupo lineal especialDefinición de Grupos
$SO(n,\r)$Grupo ortogonal especialDefinición de Grupos
$O(n,\r)$Grupo ortogonalDefinición de Grupos
$D_{2(n)}$Grupo diédrico, $2n$ simetrías de un polígono de $n$ ladosDihedral Group de Socratica
$V$Grupo de KleinOrden de un elemento y Grupo cíclico
$U(\z_m)$Conjunto de unidades de $\z_m$Orden de un elemento y Grupo cíclico
$Q$, $Q_8$Grupo de los cuaterniosPalabras
$A_n$Grupo alternanteParidad de una permutación

Teoría de grupos

SímboloSignificadoAparece en…
$*$Operación binariaOperación binaria
$(G, *)$Grupo $G$Definición de Grupos
$\bar{a},\, a^{-1}$Elemento inverso de $a$, bajo $*$Definición de Grupos
$e$Elemento neutro del grupo $G$Definición de Grupos
$\circ$Composición de funciones, $f\circ g(x)= f(g(x))$Definición de Grupos
$\text{id}_\r$Función identidad de $\r$ en $\r$Definición de Grupos
$H\leq G$$H$ es subgrupo de $G$Subgrupos
$o(a)$Orden de un elemento $a$ de un grupo finitoOrden de un elemento y Grupo cíclico
$\left< a \right>$Subgrupo cíclico de $G$ generado por $a$Orden de un elemento y Grupo cíclico
$|G|$Orden de $G$, con $G$ grupoOrden de un grupo
$\#A$Orden o cardinalidad de un conjunto $A$Paridad de una permutación
$\left< X \right>$Subgrupo de $G$ generado por $X$Teoremas sobre subgrupos y
Subgrupo generado por $X$
$W_X$Conjunto de todas las palabras de $X$Palabras
$\text{sop}\;\alpha$Soporte de $\alpha$Permutaciones y Grupo Simétrico
$\text{long} \; \alpha$Longitud de un ciclo $\alpha$Permutaciones y Grupo simétrico
$\sigma_{\alpha,i}$Ciclo definido por $\alpha$ y por $i$Permutaciones disjuntas
$V(x_1,\dots, x_n)$Polonomio de VandermondeMisma Estructura Cíclica, Permutación
Conjugada y Polinomio de Vandermonde
$sgn \: \alpha$Función signo de $\alpha$Paridad de una permutación
$aH$, $Ha$Clase lateral izquierda/derecha de $H$ en $G$ con representante $a$.Producto de subconjuntos y Clases Laterales
$[G:H]$Índice de $H$ en $G$Relación de equivalencia dada por un subgrupo e índice de $H$ en $G$
$\text{gen }C$Conjunto de generadores del grupo cíclico $C$Caracterización de grupos cíclicos
$aHa^{-1}$Conjugado de $H$ por el elemento $a$Subgrupo Conjugado, Subgrupo Normal y Conmutatividad Parcial
$N\unlhd G$, $G\unrhd N$$N$ es subconjunto normal de $G$Subgrupo Conjugado, Subgrupo Normal y Conmutatividad Parcial
$G/N$Grupo cociente de $G$ módulo $N$Grupo Cociente
$[a,b]$El conmutador de $a$ y $b$Subgrupo Conmutador
$G’$Subgrupo conmutador de $G$Subgrupo Conmutador
$G \cong \bar{G}$$G$ es isomorfo a $\bar{G}$Homomorfismo, Monomorfismo, Epimorfismo, Isomorfismo y Automorfismo
$\text{Núc}\; \varphi$, $\text{Ker}\; \varphi$Núcleo de $\varphi$, Kernel de $\varphi$Núcleo e Imagen de un Homomorfismo
$\text{Im} \; \varphi$Imagen de $\varphi$Núcleo e Imagen de un Homomorfismo
$\text{Sub}_N^G$Conjunto de subgrupos de $G$ que contienen a $N$ como subgrupoCuarto Teorema de Isomorfía
$\text{Sub}_{ G/N}$Conjunto de subgrupos de $G/N$Cuarto Teorema de Isomorfía
$\mathcal{O}(x)$Órbita de $x$Órbita de $x$ y tipos de acciones
$G_x$Estabilizador de $x$Órbita de $x$ y tipos de acciones
$x^G$Clase de conjugación de $x$Clase de Conjugación, Centro de $G$, Ecuación de Clase y $p-$Grupo
$C_G(x)$Centralizador de $x$ en $G$Clase de Conjugación, Centro de $G$, Ecuación de Clase y $p-$Grupo
$Z(G)$Centro de $G$Clase de Conjugación, Centro de $G$, Ecuación de Clase y $p-$Grupo
$X_G$El conjunto de elementos de $X$ que quedan fijos sin importar qué elemento de $G$ actúe sobre ellosClase de Conjugación, Centro de $G$, Ecuación de Clase y $p-$Grupo
$N_G(H)$Normalizador de $H$ en $G$$p-$Subgrupo de Sylow y el Normalizador de $H$ en $G$ 
$r_p$, $r_p(G)$Número de $p-$subgrupos de Sylow de $G$Teoremas de Sylow
$\text{inc}_i$Inclusión natural del elemento en la $i-$ésima posiciónProducto directo externo
$\pi_i$Proyección natural del $i-$ésimo elementoProducto directo externo

Entradas relacionadas

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

Por Cecilia del Carmen Villatoro Ramos

Deja un comentario

(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.

El último teorema del curso

Teorema. (de Jordan – Hölder) Sean $G$ un grupo finito y
\begin{align*}
G & = G_1 \unrhd G_2 \unrhd \cdots \unrhd G_{s+1} = \{e\}\\
G & = H_1 \unrhd H_2 \unrhd \cdots \unrhd H_{t+1} = \{e\}
\end{align*}
dos series de composición de $G$. Entonces $s = t$ y existe una permutación $\sigma \in S_t$ tal que para toda $i\in\{1,2,\dots ,s\}$
\begin{align*}
G_i/G_{i+1} \cong H_{\sigma(i)}/ H_{\sigma(i)+1}.
\end{align*}

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{align*}
G & = G_1 \unrhd G_2 \unrhd \cdots \unrhd G_{s+1} = \{e\}\\
G & = H_1 \unrhd H_2 \unrhd \cdots \unrhd H_{t+1} = \{e\}
\end{align*}
dos series de composición de $G$.

Caso 1. $G_2 = H_2$, entonces
\begin{align*}
G_2 \unrhd \cdots \unrhd G_{s+1} = \{e\}\\
H_2 \unrhd \cdots \unrhd H_{t+1} = \{e\}
\end{align*}
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 $\sigma\in S_{t-1}$ tal que
\begin{align*}
G_i/ G_{i+1} \cong H_{\sigma(i)} / H_{\sigma(i) + 1} \quad \forall i\in\{2,\dots,t\}.
\end{align*}

Como $G_1 = G = H_1$ y $G_2 = H_2$, entonces $G_1/G_2 = H_1/H_2$.

Así, $s=t$ y $\alpha\in S_t$ con $\alpha(1) = 1$, $\alpha(i) = \sigma(i)$ para $i\in\{2,\dots, t\}$ cumple que
\begin{align*}
G_i/G_{i+1} \cong H_{\alpha(i)} / H_{\alpha(i)+1} \quad \forall i \in \{1,\dots, t\}.
\end{align*}

Caso 2. $G_2 \neq H_2$

Como $G_2 \unlhd G$ y $H_2 \unlhd G$ se tiene que $G_2H_2 \unlhd G$.

Además
\begin{align*}
G_2 &\leq G_2H_2 \unlhd G \\
H_2 &\leq G_2H_2 \unlhd G.
\end{align*}

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_2H_2 = G$ ó $G_2H_2 = G_2$. Análogamente $G_2H_2 = G$ ó $G_2H_2 = H_2$. Pero si $G_2H_2 = G_2$ y $G_2H_2 = H_2$ tendríamos que $G_2=H_2$, lo que es una contradicción. Por lo tanto \begin{equation}\label{ec1}G_2H_2 = G.\end{equation}

Como $G_2\unlhd G$ entonces usamos el 2do Teorema de Isomorfía y nos dice que $G_2\cap H_2 \unlhd H_2$ y

\begin{align*}
G_2H_2/G_2 \cong H_2/(G_2\cap H_2).
\end{align*}

Pero, como también $H_2 \unlhd G$, el 2do teorema de isomorfía también nos dice que $G_2 \cap H_2 \unlhd G_2$ y
\begin{align*}
G_2H_2/H_2 \cong G_2/(G_2\cap H_2).
\end{align*}

Por (\ref{ec1}) tenemos que $G = G_2H_2$ obteniendo así que

\begin{align*}
G/G_2 &\cong H_2/(G_2\cap H_2)\\
G/H_2 &\cong G_2/(G_2\cap H_2).
\end{align*}

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{align*}
K_3 \unrhd K_4 \unrhd \cdots \unrhd K_{r+1} = \{e\}.
\end{align*}

Tenemos las siguientes series de composición
\begin{align}
G &= G_1\unrhd G_2 \unrhd \cdots \unrhd G_{s+1} = \{e\} \\
G &= G_1 \unrhd G_2 \unrhd K_3 \unrhd K_4 \unrhd \cdots \unrhd K_{r+1} = \{e\} \\
G &= H_1 \unrhd H_2 \unrhd K_3 \unrhd K_4 \unrhd \cdots \unrhd K_{r+1} = \{e\} \\
G &= H_1 \unrhd H_2 \unrhd \cdots \unrhd H_{t+1} = \{e\}
\end{align}

Por el caso 1 aplicado a $(2)$ y $(3)$, $s= r$ y los factores de composición de
\begin{align*}
G_2 &\unrhd \cdots \unrhd G_{s+1} = \{e\}\\
G_2 &\unrhd K_3 \unrhd K_4 \unrhd \cdots \unrhd K_{r+1} = \{e\}
\end{align*}
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{align*}
H_2 &\unrhd K_3 \unrhd K_4 \unrhd \cdots \unrhd K_{r+1} = \{e\}\\
H_2 &\unrhd \cdots \unrhd H_{t+1} = \{e\}
\end{align*}
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} \cong 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} \cong H_l/H_{l+1}.$

Por otro lado si $G_i/ G_{i+1} \cong G_2/K_3$, entonces $G_2/K_3=G_2/(G_2\cap H_2) \cong 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\cong H_2/(G_2\cap H_2)=H_2/K_3 \cong 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.

$\square$

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 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

Álgebra Moderna I: Producto directo interno

Por Cecilia del Carmen Villatoro Ramos

Deja un comentario

(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:

  1. $G_i^* \unlhd G \quad \forall i\in\{1,\dots,n\}$.
  2. $\displaystyle G_i^* \cap \left( \prod_{j\neq i} G_j^*\right) = \{e_G\} \text{ para toda }i\in\{1,\dots,n\}$.
  3. $\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

  1. $H_i \unlhd G$ para toda $i\in\{1,\dots, n\}$.
  2. $\displaystyle H_i\cap \left(\prod_{j\neq i} H_j\right) = \{e\}$ para toda $i\in\{1,\dots, n\}$.
  3. $\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$ con $n=p_1^{\alpha_1}p_2^{\alpha_2}\cdots p_t^{\alpha_t}$. Sean $P_1,\dots, P_t$ subgrupos de $G$ con $P_i$ un $p_i$-subgrupo de Sylow de $G$ y $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) $ divide a $ |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}$ y $\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 $|P_i|$ y $\displaystyle \prod_{\substack{j\in S\\ j\neq i}} |P_j|$ son primos relativos. Así, $o(x) = 1$. Por lo que $\displaystyle 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.

  1. 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.
  2. 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.
  3. Aplica el último teorema visto a los grupos $\z_6$ y $T = S_3 \times \z_4$. Para cada uno 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 cada grupo 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

Álgebra Moderna I: Producto directo externo

Por Cecilia del Carmen Villatoro Ramos

Deja un comentario

(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 $\r^2 = \r \times \r$ y otras similares. $\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 \r$. Esto mismo sucede con potencias mayores, como por ejemplo $(x,y,z)\in \r^3 = \r \times \r \times \r$ y $(x_1,\dots,x_n)\in \r^n = \r\times\cdots\times\r$ ($n$ veces).

De la misma manera, podríamos hacer $\z \times \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.

Hablemos del producto de grupos

Comencemos definiendo formalmente al producto de grupos.

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

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^{-1}_n)$ 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\z_2 \times D_{2(4)}.$
Un elemento es $((1\;2\;3), \,\bar{1}, \,a^2b)$.
Dados $(\alpha, \bar{a}, f), (\beta,\bar{b}, g)\in G$ se tiene que
\begin{align*}
(\alpha, \,\bar{a}, \,f)*(\beta,\,\bar{b}, \,g) = (\alpha\circ\beta, \,\bar{a}+\bar{b}, \,f\circ g).
\end{align*}

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

Ejemplo 3. Por último, tomemos $\z_2\times\z_3 = \{(\bar{0}, \bar{0}), (\bar{0}, \bar{1}), (\bar{0}, \bar{2}), (\bar{1}, \bar{0}), (\bar{1}, \bar{1}), (\bar{1}, \bar{2})\}$.
Observemos que $o(\bar{1}, \bar{1}) = 6.$
Tenemos que $\z_2\times\z_3 = \left< (\bar{1}, \bar{1}) \right>$ y así $\z_2\times\z_3 \cong \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{align*}
\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{align*}
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{align*}
\pi_i : G\to G_i \text{ con } \pi_i(g_1,\dots,g_n) = g_i.
\end{align*}

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

Observación 2 . $\pi_i$ es un epimorfismo.

Notación. $G_i^* = \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^*$,
  2. $G_i^* \unlhd G$ y
  3. $G/G_i^* \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^*$ obtenemos un epimorfismo, dando un isomorfismo de $G_i$ a $G_i^*$.

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

$\blacksquare$

Observación 4. Sean $i\neq j$, $x\in G_i^*$, $y\in G_j^*$. Entonces $x*_ny = y*_nx$.

¿Y si ahora recuperamos $G$ a partir de los $G_i^*$?

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{align*}
\prod_{i = i}^n H_i = H_1\cdots H_n = \{h_1h_2\cdots h_n\;|\; h_i \in H_i ;\forall i\in \{1,\dots,n\} \}.
\end{align*}

Observemos que para realizar el producto de $h_1h_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^*$ antes definidos:

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

  1. $G_i^* \unlhd G \quad \forall i\in\{1,\dots,n\}$.
  2. $\displaystyle G_i^* \cap \left( \prod_{j\neq i} G_j^*\right) = \{e_G\} \text{ para toda }i\in\{1,\dots,n\}$.
  3. $\displaystyle G = \prod_{i = 1}^n G_i^*$.

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^* \unlhd G$, para toda $i\in\{1,\dots, n\}$.
  2. La contención $\displaystyle \{e_G\} \subseteq G_i^* \cap \left( \prod_{j\neq i} G_j^*\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^* \cap \left(\prod_{j\neq i}G_j^*\right)$.
    Como $g\in G_i^* = \{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\neq i$.
    Como $\displaystyle g \in \prod_{j\neq i} G_j^*$, $g = h_1 \cdots h_{i-1}\,h_{i+1} \cdots h_n$ con $h_j \in G_j^*$ para toda $j\neq i$.
    Dado que cada $h_j \in G_j^*$ y $j\neq 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^*\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{align*}
    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{align*}
    Entonces $\displaystyle g\in \prod_{i = 1}^n G_i^*.$
    Por lo tanto $\displaystyle G = \prod_{i= 1}^n G_i^*$.

$\blacksquare$

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\neq j$, $x\in G_i^*$, $y\in G_j^*$. Entonces $x*_ny = y*_nx$.
  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 \dots \times G_n) = Z(G_1) \times Z(G_2) \times \dots \times Z(G_n).$$ Deduce que el producto directo externo de grupos abelianos es abeliano.
  4. Sea $G = A_1 \times A_2 \dots \times A_n$ y para cada $i\in\{1,\dots,n\}$ sea $B_i \unlhd A_i$. Prueba que $B_1 \times B_2 \times \dots \times B_n \unlhd G$ y que $$(A_1 \times A_2 \dots \times A_n) / (B_1 \times B_2 \times \dots \times B_n) \cong (A_1/B_1) \times (A_2/B_2) \times \dots \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 \dots \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

Álgebra Moderna I: Cuarto Teorema de Isomorfía

Por Cecilia del Carmen Villatoro Ramos

Deja un comentario

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

Introducción

En esta entrada veremos el Cuarto Teorema de Isomorfía, para entenderlo mejor es necesario ilustrarlo con diagramas de retícula.

Sean $G$ un grupo y $N$ un subgrupo normal de $G$. Recordemos que podemos escribir todos los subgrupos de $G$ en una retícula. Como estamos considerando a todos los subgruposde $G$, el subgrupo más pequeño es el conjunto que contiene sólo al neutro $\{e_G\}$. Así, $G$ va hasta arriba del diagrama y $\{e_G\}$ al final.

Por otro lado, como $H\unlhd G$, tiene sentido considerar otro diagrama, el del grupo $G/N$. De la misma manera que en el anterior, hasta abajo colocaríamos $\{e_{G/N}\}$ que es el conjunto unitario de $\{N\}$.

Diagramas de retícula de $G$ y de $G/N$.

Luego, como $N \unlhd G$. Podemos tomar un subgrupo $H$ de $G$ que contenga $N$ y colocarlos en el diagrama. Además, esto nos daría la existencia de $H/N \leq G/N$, entonces podríamos dar una correspondencia de $H \mapsto H/N$. Esto nos da una relación entre ambas retículas (la de $G$ y la de $G/N$):

\begin{align*}
G &\longmapsto G/N\\
H &\longmapsto H/N\\
N &\longmapsto \{e_G\} = \{N\}.
\end{align*}

La relación que existe entre la retícula desde $N$ a $G$ y la retícula de $G/N$ además de ser biyectica tiene otras propiedades, por ejemplo, si existe $N\leq K \unlhd H$, entonces $K/N \unlhd H/N$. Estas propiedades son las que veremos en el teorema que nos compete.

Diagramas de retícula de $G$ y de $G/N$ con correspondencia.

Enunciado y demostración del Teorema

A continuación veremos el Cuarto Teorema de Isomorfía (CTI), también conocido como Teorema de la Correspondencia.

Teorema. (Cuarto Teorema de Isomorfía)
Sea $G$ un grupo, $N$ subgrupo normal de $G$, $\pi: G \to G/N$ con $\pi(a) = aN$ (la proyección canónica) para toda $a\in G$. Consideremos

\begin{align*}
\text{Sub}_N^G &= \{H| N\leq H \leq G \}, \\
\text{Sub}_{ G/N} &= \{\mathcal{H} | \mathcal{H} \leq G/N\}.
\end{align*}

Entonces $\pi$ define una correspondencia biyectiva
\begin{align*}
F: \text{Sub}_N^G \to \text{Sub}_{ G/N}
\end{align*}
con $F(H) = \pi [H] = H/N$ para todo $H \in \text{Sub}_H^G$.

Además, si $H,K\in \text{Sub}_N^G$:

  1. $K\leq H$ si y sólo si $K/N \leq H/N$ y en este caso $[ H:K] = [H/N : K/N]$.
  2. $K \unlhd H$ si y sólo si $K/N \unlhd H/N$.
  3. $\left< H\cup K \right> / N = \left< H/N \cup K/N \right>$.
  4. $(H\cap K) / N = (H/ N) \cap (K/N)$.

Demostración.

Sean $G$ un grupo, $N\unlhd G$, $\pi:G\to G/N$ con $\pi(a) = aN$ para toda $a\in G$.
Sean
\begin{align*}
\text{Sub}_N^G &= \{H\,|\, N\leq H \leq G \}, \quad
\text{Sub}_{ G/N} = \{\mathcal{H} | \mathcal{H} \leq G/N\}.
\end{align*}

Definimos
\begin{align*}
F: \text{Sub}_N^G \to \text{Sub}_{ G/N}
\end{align*}
con $F(H) = \pi[ H] = H/N$ para todo $H \in \text{Sub}_H^G$. Donde $\pi[H]$ es la imagen directa de $H$ bajo $\pi$.

Como $\pi$ es un homomorfismo y $H\leq G$ entonces $\pi[H]\leq \pi[G ]$, es decir $H/N\leq G/N$, entonces $F$ está bien definida.

Veamos que $G$ es inyectiva, para ello probemos la primera parte del inciso 1.
Sean $H, K \in \text{Sub}_N^G$.
P.D. $K \leq H \Leftrightarrow K/N \leq H/N$.

$|\Rightarrow]$ Supongamos que $K \leq H$. Sea $x \in K/N, x = kN$ con $k\in K.$

Como $K\subseteq H$, $k\in H$ y así $x = kN \in H/N$. Por lo tanto $K/N \leq H/N$.

$[\Leftarrow|$ Supongamos que $K/N \leq H/N.$ Sea $k\in K$, tenemos las siguientes implicaciones:
\begin{align*}
k N \in K/N &\Rightarrow kN \in H/N &\text{pues } K/N \leq H/N \\
&\Rightarrow kN = hN \;\text{con } h\in H \\
& \Rightarrow k = hn\; \text{con } h\in H, n\in N &\text{por } k \in kN = hN\\
& \Rightarrow k \in H & \text{ya que } N \subseteq H.
\end{align*}

Por lo tanto $K \leq H$.

De este modo, si $H,K \in \text{Sub}_N^G $ son tales que $F(H) = F(K)$, entonces $H/N = K/N$, así
\begin{align*}
H/N \leq K/N &\Rightarrow H \leq K \\
K/N \leq H/N &\Rightarrow K \leq H,
\end{align*}

ambas implicaciones son consecuencia de lo que acabamos de probar del inciso 1 de CTI. Así, $H=K$.

Veamos que $F$ es suprayectiva. Se $\mathcal{H} \in \text{Sub}_{G/N}$, es decir $\mathcal{H} \leq G/N$. Como $\pi: G \to G/N$ es un homomorfismo y $\{N\}\leq \mathcal{H} \leq G/N$, entonces $N \leq \pi^{-1}[\mathcal{H}] \leq G$.

Diagrama de la imagen inversa de $\mathcal{H} = \pi^{-1}[\mathcal{H}]$.

Nos vamos a fijar en el subgrupo $\pi^{-1} [\mathcal{H}]$, porque nos va a servir para probar la suprayectividad que buscamos.
Entonces apliquemos $F$: $$F(\pi^{-1} [\mathcal{H} ]) = \pi [\pi^{-1}[\mathcal{H}]]= \mathcal{H}$$ pues $\pi$ es suprayectiva. Así, $F$ es suprayectiva.

Probaremos ahora la segunda parte del inciso 1).
Sean $H,K\in \text{Sub}_N^G$, con $K\leq H$.
P.D. $[H: K ] = [H/N: K/N]$.

Recordemos que $[H/N : K/N]$ es la cardinalidad de $\{(hN)K/N \,|\, hN \in H/N\}$.

Para simplificar, denotaremos a $K/N$ por $K^*$ y como $\pi (h) = hN$, entonces $[H/N : K/N ]$ es la cardinalidad de $\{\pi(h)K^* | h\in H\}.$

P.D. $\{hK | h \in H \}$ y $\{\pi(h)K^*|h\in H\}$ tienen la misma cardinalidad.

Sea $f: \{hK | h \in H\} \to \{\pi(h)K^*| h\in H\}$ definida por $f(hK) = \pi(h)K^*$ para toda $h\in H$. Demostraremos que es una función biyectiva.
Primero, veamos que $f$ está bien definida. Tomemos $h, \tilde{h} \in H$. Tenemos las siguientes implicaciones:

\begin{align*}
hK = \tilde{h}K &\Rightarrow h^{-1}\tilde{h} \in K \\
&\Rightarrow h^{-1}\tilde{h} N \in K/N = K^*\\
&\Rightarrow \pi(h^{–1}\tilde{h}) \in K^* & \text{definición de }\pi\\
&\Rightarrow \pi(h)^{-1} \pi(\tilde{h}) \in K^* & \pi\text{ es homomorfismo}\\
&\Rightarrow \pi(h)K^* = \pi(\tilde{h})K^*.
\end{align*}
Por lo tanto, $f$ está bien definida.

Ahora veamos que $f$ es inyectiva. Sean $hK,\tilde{h}K$ con $h,\tilde{h}\in H$, tales que $f(hK) = f(\tilde{h}K)$. Seguiremos las siguientes implicaciones,

\begin{align*}
f(hk) = f(\tilde{h}K) & \Rightarrow \pi(h)K^* = \pi(\tilde{h})K^* &\text{definición de }f \\
&\Rightarrow \pi(h)^{-1}\pi(\tilde{h}) \in K^* \\
&\Rightarrow \pi(h^{–1}\tilde{h}) \in K^* &\pi\text{ es homomorfismo}\\
&\Rightarrow h^{–1}\tilde{h}N\in K^*&\text{definición de }\pi\\
&\Rightarrow h^{-1}\tilde{h}N = kN \text{ con } k \in K & \text{porque }K^* = K/N\\
&\Rightarrow h^{-1}\tilde{h} = kn, k\in K, n\in N &\text{porque } h^{-1}\tilde{h}\in h^{-1}\tilde{h}N \\
&\Rightarrow h^{-1}\tilde{h}\in K &\text{pues } N\subseteq K \\
&\Rightarrow hK = \tilde{h}K.
\end{align*}
Por lo tanto $f$ es inyectiva.

Además, si tenemos $\pi(h)K^*$ con $h\in H$, entonces $\pi(h)K^* = f(hK) \in \text{Im}f$. Por lo tanto $f$ es suprayectiva.

Así,
\begin{align*}
[H:K] &= \# \{hK | h \in H\} \\
&= \#\{\pi(h)K^* | h \in H\} = [H/N:K/N].
\end{align*}

Ahora, demostraremos el inciso 2.

Sean $H,K\in \text{Sub}_N^G$.
P.D. $K \unlhd H \Leftrightarrow K/N \unlhd H/N.$

El inciso 1 (que acabamos de probar) ya nos da que $K \leq H \Leftrightarrow K/N \leq H/N.$ Entonces lo que nos resta probar es que son subgrupos normales.

$|\Rightarrow]$ Supongamos que $K\unlhd H$. Sean $x\in H/N, y \in K/N$, entonces $x = hN, y = kN$ con $h\in H, k\in K$.

Lo que queremos es considerar el conjugado $xyx^{-1}$, es decir, ver que si tomamos un elemento de $K$ módulo $N$ (al que llamamos $y$) y lo conjugamos con cualquier elemento de $H$ módulo $N$ (en este caso $x$), vuelvo a tener un elemento en $K$ módulo $N$. Esto se ve de la siguiente manera:
\begin{align*}
x y x^{-1} = (hN)(kN)(hN)^{-1} = (hN)(kN)(h^{-1}N) = hkh^{-1}N.
\end{align*}

Como $k \in K, h \in H$ y $K\unlhd H$, se tiene que $hkh^{-1} \in K$.

Así, $xyx^{-1} = hkh^{-1} N \in K/N$. Por lo que $K/N \unlhd H/N$.

$[\Leftarrow|$ Supongamos que $K/N \unlhd H/N$. Sean $k\in K, h\in H$.

Veamos qué sucede con la clase $hkh^{-1}N$:
\begin{align*}
hkh^{-1} N = (hN)(kN)(h^{-1}N) = (hN)(kN)(hN)^{-1}
\end{align*}

Es otras palabras, estamos conjugando un elemento de $kN\in K/N$ con un elemento de $kN\in K/N$. Luego, como sabemos que $K/N \unlhd H/N$ obtenemos que esta conjugación sigue estando en $K/N$. Es decir, $hkn^{-1}N\in K/N$.

Podríamos reescribir $hkh^{-1}N = \tilde{k}N$ con $\tilde{k} \in K$. Así,

\begin{align*}
hkh^{-1}N &= \tilde{k}N & \text{con }\tilde{k} \in K\\
\Rightarrow hkh^{-1} &= \tilde{k}n, \tilde{k}\in K, n\in N & \text{por } hkh^{-1} \in hkh^{-1}N = \tilde{k}N \\
\Rightarrow hkh^{-1}&\in K &\text{pues } N\subseteq K.
\end{align*}

Por lo tanto $K\unlhd H$.

$\blacksquare$

Ejemplo de CTI

Ejemplo. Tomemos el grupo diédrico (todas las simetrías de un cuadrado) $D_{2(4)} = \left<a,b \right>$, donde $a$ la rotación de $\frac{\pi}{2}$ y $b$ es la reflexión respecto al eje $x$.

Construyamos la retícula de $D_{2(4)}$: comenzamos con $D_{2(4)}$ hasta arriba, este tiene orden de 8. En el siguiente nivel colocamos los subgrupos:
\begin{align*}
\left<a^2,b\right> &= \{\text{id}, a^2, b, a^2b\}\\
\left<a\right> &= \{\text{id}, a, a^2, a^3\} \\
\left<a^2,ab\right> &= \{\text{id}, a^2, ab, a^3b\}.
\end{align*}

Cada uno de esos subgrupos tiene orden 4, en realidad esos son los únicos subgrupos de $D_{2(4)}$ que tienen orden 4. Siéntete libre de confirmar las cuentas.

Luego podemos colocar en el tercer nivel los subgrupos de orden 2:
\begin{align*}
\left< b\right> &= \{\text{id}, b\}\\
\left< a^2b\right> &= \{\text{id}, a^2b\}\\
\left< a^2\right> &= \{\text{id}, a^2\}\\
\left< ab\right> &= \{\text{id}, ab\}\\
\left< a^3b\right> &= \{\text{id}, a^3b\}.
\end{align*}

Por último, hasta abajo tenemos al unitario de la identidad $\{\text{id}\}$. Si verificamos las operaciones, nos daremos cuenta que hemos construido todo el diagrama de retícula de $D_{2(4)}$.

Para poder usar el CTI, consideremos $\left<a^2\right> \unlhd D_{2(4)}$ y concentremos nuestra atención en la parte de la retícula que se encuentra entre esos dos (marcada con rojo en la imagen).

Ahora, dibujaremos el diagrama de retícula de $D_{2(4)}/\left<a^2\right>$, éste va hasta arriba. Colocamos los cocientes respectivos en el siguiente nivel, siguiendo esta correspondencia:

\begin{align*}
\left<a^2,b\right> &\longmapsto \left<a^2,b\right> / \left<a^2\right>\\
\left<a\right> &\longmapsto \left<a\right>/ \left<a^2\right>\\
\left<a^2,ab\right> &\longmapsto \left<a^2,ab\right>/ \left<a^2\right>.
\end{align*}

Haciendo las cuentas veremos que:
\begin{align*}
\left<a^2,b\right> / \left<a^2\right> = \left<b \left<a^2\right>\right>\\
\left<a\right>/ \left<a^2\right> = \left<a \left<a^2\right>\right>\\
\left<a^2,ab\right>/ \left<a^2\right> = \left<ab \left<a^2\right>\right>.
\end{align*}

Construcción de los diagramas de retícula

Por último, haremos una observación. Si tomamos el subgrupos $\left< a^3b\right>$ de orden 2 igual podríamos aplicarle la regla de correspondencia de $F$ y seguirían cayendo en elementos de la retícula de $D_{2(4)}/\left<a^2\right>$ es decir:
\begin{align*}
F(\left< a^3b\right>)=\pi[\left< a^3b\right>] = \{\text{id}\left<a^2\right>, a^3b\left<a^2\right>\} = \left<ab\left<a^2\right>\right>.
\end{align*}

En ese contexto la función con la regla de correspondencia de $F$ no sería biyectiva ya que $F(\left< a^3b\right>)=F(\left< ab\right>)$, pero esto no contradice el Teorema de la Correspondencia porque en realidad $\left< a^3b\right>$ ni siquiera está contemplado en el dominio de $F$ porque no forma parte de la retícula entre $D_{2(4)}$ y $\left<a^2\right>$.

Diagrama de retícula completo.

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. Prueba los incisos 3 y 4 del Teorema de la correspondencia (Cuarto Teorema de Isomorfía).
  2. Encuentra la retícula de sugrupos de $\z$ que contienen a $24\z$.
    • Encuentra la retícula de subgrupos de $\z/24\z$.
    • Compara ambas retículas.
  3. Usando el diagrama reticular de subgrupos de $\z_{36}$ encuentra el de $\z_{36}/N$ donde $N = \{\bar{0}, \overline{12}, \overline{24}\}$.

Más adelante…

Con esta entrada concluimos la Unidad 3. En la siguiente unidad comenzaremos a ver cómo es posible ver a cualquier grupo como un subgrupo de permutaciones. ¿Puedes imaginártelo?

Entradas relacionadas