Matemáticas/Teoría de grupos/Subgrupos normales

Subgrupos normales

Si $G$ es un grupo y $H$ es un subgrupo de $G$, no es cierto en general que $aH=Ha$, aunque claramente esto sí sucede cuando $G$ es abeliano. En realidad existen subgrupos de un grupo $G$ que cumplen esto mismo sin necesidad de que $G$ sea abeliano. En esta sección vamos a caracterizar tales subgrupos.

Definición 1.29: Sea $G$ un grupo y $N$ un subgrupo de $G$. Se dice que $N$ es normal en $G$ si

para todo $a$ de $G$. Este hecho lo representaremos por $N⊴G$.

Equivalentemente tenemos que $N⊴G$ si y sólo si

Tenemos pues que si $N⊴G$, entonces las relaciones de congruencia izquierda y derecha módulo $N$ coinciden, luego cualquiera de ellas da lugar al mismo conjunto cociente $(G/N)$. Vamos a probar ahora que este conjunto cociente puede ser dotado de una estructura de grupo.

Teorema 1.30: Sea $G$ un grupo y $N⊴G$. Entonces $(G/N)$ es un grupo, llamado grupo cociente de $G$ por $N$, con la operación de grupo dada por

Plantilla:Eqn

Demostración: Para comenzar, debemos probar que la operación en $(G/N)$ dada por $aNbN=abN$ tiene sentido, es decir, que si $a^{\prime }\in aN$ y $b^{\prime }\in N$, entonces $abN=a^{\prime }{b}^{\prime }N$. Esto es así, pues

con $a^{-1}a=n_1\in N$ y $b^{-1}b\in N$ (pues $a^{\prime }\in aN$ y $b^{\prime }\in bN$), así es que $(ab{)}^{-1}{a}^{\prime }{b}^{\prime }=b^{-1}{n}_{1}b{n}_2$, pero como $N⊴G$, también $b^{-1}{n}_{1}b=n_3\in N$, luego $(ab{)}^{-1}{a}^{\prime }{b}^{\prime }=n_3{n}_2\in N$, y entonces $ab\equiv a^{\prime }{b}^{\prime }(\text{mod}N)$, lo que prueba que $abN=a^{\prime }{b}^{\prime }N$. Hemos probado que la operación definida en $(G/N)$ tiene sentido. Esta operación es asociativa. La identidad de $(G/N)$ es $N$, y el inverso de todo $aN$ de $(G/N)$ es $a^{-1}N$. Con esto queda probado que $(G/N)$ es un grupo.

$◼$

Si $f:G⟶H$ es un homomorfismo de grupos, entonces $\ker f⊴G$. En efecto, pues si $n\in \ker f$ y $a\in G$, entonces

luego $an{a}^{-1}\in \ker f$, así que $a(\ker f)a^{-1}\subseteq \ker f$ para todo $a$ de $G$, luego podemos cambiar $a$ por $a^{-1}$ y así tener que $a^{-1}(\ker f)a\subseteq \ker f$, luego para todo $n$ de $\ker f$ se tiene

lo que demuestra que $a(\ker f)a^{-1}=\ker f$, completando la prueba de que $\ker f⊴G$.

Teorema 1.31: El núcleo de todo homomorfismo de grupos $f$ es un subgrupo normal del dominio de $f$. Recíprocamente, todo subgrupo normal de un grupo $G$ es el núcleo de cierto homomorfismo cuyo dominio es $G$.

Demostración: La primera parte del teorema ya ha sido probada. Si $N$ es un subgrupo normal de $G$, la aplicación

es claramente un epimorfismo, y es llamado proyección canónica. Puesto que $a\in N$ si y sólo si $aN=N$, i.e. si y sólo si $a\in \ker \phi$, tenemos que $N=\ker \phi$.

$◼$

Sea $G$ un grupo y $S\subseteq G$, y defínanse los conjuntos

Llamaremos normalizador de $S$ al conjunto

Este conjunto es en realidad un grupo, pues es fácil ver que si $a,b\in N_s$ (i.e. si $aS=Sa$ y $bS=Sb$) entonces también $ab\in N_s$, y que además $1\in N_s$ y $a^{-1}\in N_s$.

Si $H$ es un subgrupo de $G$, entonces claramente $H⊴N_H$. Más aún, $N_H$ es el mayor subgrupo de $G$ en el cual $H$ es normal. En otras palabras,

Ahora bien, podemos definir un conjunto cuyas exigencias sean aún más fuertes que las que definen a un grupo normalizador. Para ser precisos, si $G$ es un grupo podemos definir un subgrupo cuyos elementos sean aquellos que conmuten con todos los elementos de un subconjunto $S$ de $G$. A este conjunto se le llama centralizador de $S$, y lo denotaremos por $C_S$. Así pues,

Notar que

1. $C_H\subseteq N_H$;
2. $C_G=G$ equivale a decir que $G$ es abeliano.

Ahora vamos a enunciar un teorema que tiene consecuencias importantes.

Teorema 1.32 (Teorema fundamental de homomorfismos): Sea $f:G⟶H$ un homomorfismo de grupos y $N$ un subgrupo normal de $G$ tal que $N\subseteq \ker f$. Entonces existe un único homomorfismo $\overline{f}:(G/N)⟶H$ tal que $\overline{f}\circ \phi =f$, donde $\phi :G⟶(G/N)$ es la proyección canónica. Además:

(1) $\overline{f}$ es un epimorfismo si y sólo si $f$ lo es;

(2) $\ker \overline{f}=(\ker f)/N$

(3) $\overline{f}$ es un monomorfismo si y sólo si $\ker f=N$

Demostración: Vamos a demostrar que el homomorfismo $\overline{f}:(G/N)⟶H$ es la aplicación dada por

Primeramente observamos que esta aplicación está bien definida, pues si $bN=aN$, entonces $a^{-1}b\in N$, y como $N\subseteq \ker f$, también $a^{-1}b\in \ker f$, luego $f(a)=f(b)$. Es fácil ver que $\overline{f}$ es un homomorfismo, y puesto que está completamente determinada por $f$, es el único homomorfismo que cumple $\overline{f}\circ \phi =f$. (1) es evidente. (2) $\ker \overline{f}=\{aN\mid f(a)=1_H\}=\{aN\mid a\in \ker f\}=(\ker f)/N$. $\overline{f}$ es un monomorfismo si y sólo si $\ker \overline{f}=(\ker f)/N$ es el subgrupo trivial de $(G/N)$, es decir, si y sólo si $\ker f=N$.

$◼$

El teorema fundamental de homomorfismos puede enunciarse también de esta manera: si $f:G⟶H$ es un homomorfismo de grupos y $N$ un subgrupo normal de $G$ tal que $N\in \ker f$, entonces existe un único homomorfismo $\overline{f}:(G/N)⟶H$ que da lugar al diagrama conmutativo siguiente:

Error al crear miniatura:

Teorema 1.33 (Primer teorema de isomorfía): Si $f:G⟶H$ es un homomorfismo de grupos, entonces $(G/\ker f)\cong \text{Im}f$.

Demostración: El teorema anterior nos da un homomorfismo $\overline{f}$ entre $(G/\ker f)$ y $H$, que se convierte en epimorfismo si en lugar de $H$ tomamos simplemente $\text{Im}f\subseteq H$, pero por (3) del teorema anterior $\overline{f}$ es también un monomorfismo, luego termina siendo un isomorfismo.

$◼$

Teorema 1.34 (Segundo teorema de isomorfía): Si $N$ es un subgrupo normal de un grupo $G$ y $H$ es un subgrupo cualquiera de $G$, entonces $H\cap N$ es normal en $H$ y $H/H\cap N\cong (NH/N)$.

Demostración: La aplicación

$\begin{array}{ccc}f:H& ⟶& (NH/N)\\ h& \mapsto & Nh\end{array}$

es un epimorfismo, y como $\ker f=\{h\in H\mid Nh=N\}=\{h\in H\mid h\in N\}=H\cap N$, el primer teorema de isomorfía nos da un isomorfismo $\overline{f}:H/H\cap N⟶(NH/N)$.

$◼$

Teorema 1.34 (Tercer teorema de isomorfía): Si $N$ y $H$ son dos subgrupos normales en un grupo $G$, con $N\le H$, entonces $(G/H)\cong (G/N)/(H/N)$.

Demostración: Sea $\phi :G⟶(G/H)$ la proyección canónica. Tal aplicación es un epimorfismo de grupos, y por el teorema 1.31, $\ker \phi =H$, luego $N\le \ker \phi$, así es que, de acuerdo con el teorema 1.32, existe un epimorfismo $\overline{\phi }:(G/N)⟶(G/H)$, pero $aN\in \ker \overline{\phi }$ si y sólo si $aN=H$, lo cual sucede si y sólo si $a\in H$, luego $\ker \overline{\phi }=(H/N)$, así es que, por el primer teorema de isomorfía, existe un isomorfismo entre $(G/N)/(H/N)$ y $(G/H)$.

$◼$