Subgrupo normal
En álgebra abstracta, a subgrupo normal (también conocido como subgrupo invariable o subgrupo autoconyugado) es un subgrupo que es invariable bajo conjugación por miembros del grupo del cual es parte. En otras palabras, un subgrupo N{displaystyle N} del grupo G{displaystyle G. es normal en G{displaystyle G. si gng− − 1▪ ▪ N{displaystyle gng^{-1}in N} para todos g▪ ▪ G{displaystyle gin G} y n▪ ▪ N.{displaystyle nin N.} La notación habitual para esta relación es N◃ ◃ G.{displaystyle Ntriangleleft G.}
Los subgrupos normales son importantes porque (y sólo ellos) pueden utilizarse para construir grupos de cocientes del grupo dado. Además, los subgrupos normales de G{displaystyle G. son precisamente los núcleos de homomorfismos de grupo con dominio G,{displaystyle G,} lo que significa que pueden ser utilizados para clasificar internamente esos homomorfismos.
Évariste Galois fue el primero en darse cuenta de la importancia de la existencia de subgrupos normales.
Definiciones
Subgrupo N{displaystyle N} de un grupo G{displaystyle G. se llama subgrupo normal de G{displaystyle G. si es invariable bajo conjugación; es decir, la conjugación de un elemento N{displaystyle N} por un elemento G{displaystyle G. siempre está en N.{displaystyle N. La notación habitual para esta relación es N◃ ◃ G.{displaystyle Ntriangleleft G.}
Condiciones equivalentes
Para cualquier subgrupo N{displaystyle N} de G,{displaystyle G,} las siguientes condiciones equivalen a N{displaystyle N} ser un subgrupo normal de G.{displaystyle G.} Por lo tanto, cualquiera de ellos puede ser tomado como definición:
- La imagen de la conjugación N{displaystyle N} por cualquier elemento G{displaystyle G. es un subconjunto de N.{displaystyle N.
- La imagen de la conjugación N{displaystyle N} por cualquier elemento G{displaystyle G. es igual a N.{displaystyle N.
- Para todos g▪ ▪ G,{displaystyle gin G,} los cosets izquierdo y derecho gN{displaystyle gN} y Ng{displaystyle Ng. son iguales.
- Los conjuntos de cosets izquierdo y derecho N{displaystyle N} dentro G{displaystyle G. coincide.
- El producto de un elemento del conjunto izquierdo N{displaystyle N} con respecto a g{displaystyle g} y un elemento del conjunto izquierdo N{displaystyle N} con respecto a h{displaystyle h} es un elemento del conjunto izquierdo N{displaystyle N} con respecto a gh{displaystyle gh}: para todos x,Sí.,g,h▪ ▪ G,{displaystyle x,y,g,hin G,} si x▪ ▪ gN{displaystyle xin gN}y Sí.▪ ▪ hN{displaystyle yin hN} entonces xSí.▪ ▪ ()gh)N.{displaystyle xyin (gh)N.}
- N{displaystyle N} es una unión de clases de conjugación G.{displaystyle G.}
- N{displaystyle N} se conserva por los automorfismos internos de G.{displaystyle G.}
- Hay un grupo de homomorfismo G→ → H{displaystyle Gto H} cuyo núcleo N.{displaystyle N.
- Hay una relación de congruencia en G{displaystyle G. para la cual la clase de equivalencia del elemento de identidad es N{displaystyle N}.
- Para todos n▪ ▪ N{displaystyle nin N} y g▪ ▪ G,{displaystyle gin G,} el conmutador [n,g]=n− − 1g− − 1ng{displaystyle [n,g]=n^{-1}g^{-1}ng} está dentro N.{displaystyle N.
- Cualquier dos elementos se relacionan con la relación normal de miembros del subgrupo. Eso es, para todos g,h▪ ▪ G,{displaystyle g,hin G,} gh▪ ▪ N{displaystyle ghin N} si hg▪ ▪ N.{displaystyle hgin N.}
Ejemplos
Para cualquier grupo G,{displaystyle G,} el subgrupo trivial {}e}{displaystyle {e}} que consiste sólo en el elemento de identidad G{displaystyle G. es siempre un subgrupo normal de G.{displaystyle G.} Igualmente, G{displaystyle G. es siempre un subgrupo normal G.{displaystyle G.} (Si estos son los únicos subgrupos normales, entonces G{displaystyle G. se dice que es simple.) Otros subgrupos normales de un grupo arbitrario son el centro del grupo (el conjunto de elementos que se comunican con todos los demás elementos) y el subgrupo de conmutadores [G,G].{displaystyle [G,G].} Más generalmente, ya que la conjugación es un isomorfismo, cualquier subgrupo característico es un subgrupo normal.
Si G{displaystyle G. es un grupo abeliano entonces cada subgrupo N{displaystyle N} de G{displaystyle G. es normal, porque gN={}gn}n▪ ▪ N={}ng}n▪ ▪ N=Ng.{displaystyle GN={gn}_{nin No. N}=Ng.} Un grupo que no es abeliano pero para el cual cada subgrupo es normal se llama un grupo Hamiltoniano.
Un ejemplo concreto de un subgrupo normal es el subgrupo N={}()1),()123),()132)}{displaystyle N={(1),(123),(132)} del grupo simétrico S3,{displaystyle S_{3},} que consiste en la identidad y ambos tres ciclos. En particular, se puede comprobar que cada conjunto de N{displaystyle N} es igual a N{displaystyle N} o es igual a ()12)N={}()12),()23),()13)}.{displaystyle (12)N={(12),(23),(13)}.} Por otro lado, el subgrupo H={}()1),()12)}{displaystyle H={(1),(12)} no es normal en S3{displaystyle S_{3} desde entonces ()123)H={}()123),()13)}ل ل {}()123),()23)}=H()123).{displaystyle (123)H={(123),(13)}neq{(123),(23)}=H(123).} Esto ilustra el hecho general de que cualquier subgrupo H≤ ≤ G{displaystyle Hleq G} del índice dos es normal.
En el grupo Cubo de Rubik, los subgrupos que consisten en operaciones que solo afectan las orientaciones de las piezas de las esquinas o las piezas de los bordes son normales.
El grupo de traducción es un subgrupo normal del grupo euclidiano en cualquier dimensión. Esto significa: aplicar una transformación rígida, seguida de una traslación y luego la transformación rígida inversa, tiene el mismo efecto que una sola traslación. Por el contrario, el subgrupo de todas las rotaciones alrededor del origen no es un subgrupo normal del grupo euclidiano, siempre que la dimensión sea al menos 2: primero trasladándose, luego rotando alrededor del origen y luego trasladándose atrás normalmente no fijará el origen y, por lo tanto, no tendrá el mismo efecto que una sola rotación sobre el origen.
Propiedades
- Si H{displaystyle H. es un subgrupo normal de G,{displaystyle G,} y K{displaystyle K} es un subgrupo G{displaystyle G. que contiene H,{displaystyle H,} entonces H{displaystyle H. es un subgrupo normal de K.{displaystyle K.}
- Un subgrupo normal de un subgrupo normal de un grupo no necesita ser normal en el grupo. Es decir, la normalidad no es una relación transitiva. El grupo más pequeño que exhibe este fenómeno es el grupo de orden dihedral 8. Sin embargo, un subgrupo característico de un subgrupo normal es normal. Un grupo en el que la normalidad es transitiva se llama un grupo T.
- Los dos grupos G{displaystyle G. y H{displaystyle H. son subgrupos normales de su producto directo G× × H.{displaystyle Gtimes H.}
- Si el grupo G{displaystyle G. es un producto semidirecto G=N⋊ ⋊ H,{displaystyle G=Nrtimes H,} entonces N{displaystyle N} es normal en G,{displaystyle G,} Aunque H{displaystyle H. necesita no ser normal en G.{displaystyle G.}
- Si M{displaystyle M} y N{displaystyle N} son subgrupos normales de un grupo aditivo G{displaystyle G. tales que G=M+N{displaystyle G=M+N y M∩ ∩ N={}0}{displaystyle Mcap N={0}, entonces G=M⊕ ⊕ N.{displaystyle G=Moplus N.
- La normalidad se conserva bajo los homomorfismos subjetivos; es decir, si G→ → H{displaystyle Gto H} es un grupo subjetivo homomorfismo y N{displaystyle N} es normal en G,{displaystyle G,} entonces la imagen f()N){displaystyle f(N)} es normal en H.{displaystyle H.}
- La normalidad se conserva tomando imágenes inversas; es decir, si G→ → H{displaystyle Gto H} es un grupo homomorfismo y N{displaystyle N} es normal en H,{displaystyle H,} entonces la imagen inversa f− − 1()N){displaystyle f^{-1}(N)} es normal en G.{displaystyle G.}
- La normalidad se conserva al tomar productos directos; es decir, si N1◃ ◃ G1{displaystyle N_{1}triangleleft G_{1} y N2◃ ◃ G2,{displaystyle N_{2}triangleleft G_{2},} entonces N1× × N2◃ ◃ G1× × G2.{displaystyle N_{1}times N_{2};triangleleft ;G_{1}times G_{2}.
- Cada subgrupo del índice 2 es normal. Más generalmente, un subgrupo, H,{displaystyle H,} de índice finito, n,{displaystyle n,} dentro G{displaystyle G. contiene un subgrupo, K,{displaystyle K,} normal en G{displaystyle G. y de la división de índices n!{displaystyle n!} llamado núcleo normal. En particular, si p{displaystyle p} es el primo más pequeño que divide el orden G,{displaystyle G,} entonces cada subgrupo de índice p{displaystyle p} es normal.
- El hecho de que subgrupos normales de G{displaystyle G. son precisamente los núcleos de homomorfismos de grupo definidos en G{displaystyle G. representa parte de la importancia de los subgrupos normales; son una manera de clasificar internamente todos los homomorfismos definidos en un grupo. Por ejemplo, un grupo finito no-identitario es simple si y sólo si es isomorfo a todas sus imágenes homomórficas no-identitarias, un grupo finito es perfecto si y sólo si no tiene subgrupos normales de índice primario, y un grupo es imperfecto si y sólo si el subgrupo derivado no es complementado por cualquier subgrupo normal adecuado.
Enrejado de subgrupos normales
Dados dos subgrupos normales, N{displaystyle N} y M,{displaystyle M,} de G,{displaystyle G,} su intersección N∩ ∩ M{displaystyle Ncap M}y su producto NM={}nm:n▪ ▪ Nym▪ ▪ M}{displaystyle NM={nm:nin No. son también subgrupos normales de G.{displaystyle G.}
Los subgrupos normales de G{displaystyle G. form a lattice under subset inclusion with least element, {}e},{displaystyle {e},} y mayor elemento, G.{displaystyle G.} El encuentro de dos subgrupos normales, N{displaystyle N} y M,{displaystyle M,} en esta celo es su intersección y la unión es su producto.
La celosía es completa y modular.
Subgrupos normales, grupos cocientes y homomorfismos
Si N{displaystyle N} es un subgrupo normal, podemos definir una multiplicación en los cosets como sigue:
Con esta operación, el conjunto de cosets es en sí mismo un grupo, llamado el grupo cociente y denotado con G/N.{displaystyle G/N.} Hay un homomorfismo natural, f:G→ → G/N,{displaystyle f:Gto G/N,} dado por f()a)=aN.{displaystyle f(a)=aN.} Este homomorfismo mapea N{displaystyle N} en el elemento de identidad G/N,{displaystyle G/N,} que es el conjunto eN=N,{displaystyle eN=N,} es decir, ker ()f)=N.{displaystyle ker(f)=N.}
En general, un grupo de homomorfismo, f:G→ → H{displaystyle f:Gto H} envía subgrupos de G{displaystyle G. a subgrupos de H.{displaystyle H.} Además, el preimage de cualquier subgrupo de H{displaystyle H. es un subgrupo G.{displaystyle G.} Llamamos la preimage del grupo trivial {}e}{displaystyle {e}} dentro H{displaystyle H. el kernel del homomorfismo y denotarlo ker f.{displaystyle ker f.} Como resulta, el núcleo es siempre normal y la imagen de G,f()G),{displaystyle G,f(G),} es siempre isomorfo a G/ker f{displaystyle G/ker f} (el primer teorema isomorfismo). De hecho, esta correspondencia es una bijeción entre el conjunto de todos los grupos cocientes de G,G/N,{displaystyle G,G/N,} y el conjunto de todas las imágenes homomórficas G{displaystyle G. (hasta el isomorfismo). También es fácil ver que el núcleo del mapa cociente, f:G→ → G/N,{displaystyle f:Gto G/N,} es N{displaystyle N} en sí mismo, por lo que los subgrupos normales son precisamente los núcleos de homomorfismos con dominio G.{displaystyle G.}
Subgrupos normales y Teorema de Sylow
El segundo flujo Theorem states: Si P{displaystyle P} y K{displaystyle K} son los subgrupos Sylow de un grupo G{displaystyle G., entonces existe x▪ ▪ G{displaystyle xin G} tales que P=x− − 1Kx.{displaystyle P=x^{-1}Kx.}
Hay un corolario directo del teorema arriba: Vamos G{displaystyle G. ser un grupo finito y K{displaystyle K} un subgrupo de Sylow para algunos primeros p{displaystyle p}. Entonces... K{displaystyle K} es normal en G{displaystyle G. si K{displaystyle K} es el único subgrupo de Sylow en G{displaystyle G..
Contenido relacionado
Atlas (topología)
Tomaž Pisanski
Día Pi