title: Subgrupo normal
text: # Subgrupo normal
  
  En matemáticas, un subgrupo normal o subgrupo distinguido $N$ de un grupo $G$ es un subgrupo invariante por conjugación; es decir, para cada elemento $n\in N$ y cada $g\in G$, el elemento $gng^{-1}$ está en $N$. Se denota $N\triangleleft G$.
  
  ## Definición
  
  * Un subgrupo $N$ de un grupo $G$ se llama subgrupo normal del grupo $G$ si las clases laterales por la izquierda y por la derecha definidas por cualquier $g\in G$ coinciden, es decir, $gN=Ng\quad \forall g\in G$.
  
  ### Definiciones equivalentes
  
  * Sea $G$ un grupo y $N<G$ un subgrupo. Equivalen:
  * $N\triangleleft G$.
  * $gng^{-1}\in N\quad \forall n\in N,\forall g\in G$.
  * $gNg^{-1}\subset N\quad \forall g\in G$.
  * $gNg^{-1}=N\quad \forall g\in G$.
  * Demostración
  * 1.$\Longrightarrow$2.
  * Como $gN=Ng$, entonces $gn\in Ng$. Por tanto, $\exists n'\in N:gn=n'g\Longrightarrow gng^{-1}=n'\in N$.
  * 2.$\Longleftrightarrow$3.
  * Es claro.
  * 3.$\Longrightarrow$4.
  * Sea $g\in G$. Entonces, $g^{-1}N(g^{-1})^{-1}=g^{-1}Ng\subset N$. Por tanto, $N=g(g^{-1}Ng)g^{-1}\subset gNg^{-1}$ y se tiene la igualdad.
  * 4.$\Longrightarrow$1.
  * Sea $n\in N$ y $g\in G$.
  * $gng^{-1}\in gNg^{-1}=N\Longrightarrow \exists n'\in N:gng^{-1}=n'\in N\Longrightarrow gn=n'g\Longrightarrow gN\subset Ng$.
  * Además, se tiene que $ng=g(g^{-1}n(g^{-1})^{-1})\in gN\Longrightarrow Ng\subset gN$.
  * Por tanto, $gN=Ng\Longrightarrow N\triangleleft G$.
  
  ## Propiedades
  
  * $\{e\}$ y $G$ son siempre subgrupos normales de $G$. Si éstos son los únicos subgrupos normales de $G$, se dice que $G$ es simple.
  * Los subgrupos normales de cualquier grupo $G$ forman un retículo bajo inclusión. Los elementos mínimo y máximo son $\{e\}$ y $G$, el ínfimo de dos subgrupos es su intersección y su supremo es su yuxtapuesto.
  * Todos los subgrupos de un grupo abeliano son normales.
  * Si $N<G$ es de índice 2 ($[G:N]=2$) entonces $N$ es normal en $G$.
  * El centro de un grupo es normal en el grupo.
  
  ## Grupo cociente
  
  Sea $G$ un grupo y $N\triangleleft G$. Como los conjuntos de clases laterales por la izquierda y por la derecha coinciden lo llamaremos simplemente conjunto de clases laterales de $N$ en $G$, y lo denotaremos $G/N$.
  
  Podemos definir en $G/N$ la operación $gN*hN=(gh)N\quad \forall g,h\in G$ (esta operación está bien definida, ya que su definición no depende de los representantes elegidos en las clases a multiplicar).
  
  * Llamamos grupo cociente de $G$ sobre $N$ al grupo $(G/N,*)$, formado por el conjunto de clases laterales de $N$ en $G$ y operación definida como $gN*hN=(gh)N\quad \forall g,h\in G$.
  * La proyección canónica $p:G\longrightarrow G/N,\quad p(g)=gN$ es un homomorfismo de grupos.
  
  ## Grupos normales y homomorfismos
  
  * Sean $G$ y $H$ grupos y sea $f:G\longrightarrow H$ un homomorfismo de grupos. Entonces el núcleo de $f$ es normal en $G$: $\ker(f)\triangleleft G$. De hecho, un subgrupo $N<G$ es normal si y sólo si existe un homomorfismo de grupos $f:G\longrightarrow H$ tal que $\ker(f)=N$.
  