Subgrupo normal

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 de N y cada g en G, el elemento gng-1 está en N. N es un subgrupo normal de G se escribe

N\triangleleft G.

Otra manera de poner esto es diciendo que coinciden las clases derechas e izquierda de N en G:

N g = g g -1 N g = g N para todo g en G.

Un subgrupo normal puede también ser definido como: Un subgrupo N de un grupo G es un subgrupo normal si N es una unión de clases de conjugación de G.

{e} y G son siempre subgrupos normales de G. Si éstos son los únicos, entonces G se dice simple.

Todos los subgrupos N de un grupo abeliano G son normales, porque gNg-1 = Ngg-1 = N.

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 un grupo producto.

Grupos normales y homomorfismos

Los subgrupos normales son de importancia porque si N es normal, entonces el factor G/N es un grupo. Los subgrupos normales de G son exactamente los núcleos de los homomorfismos de grupo f: GH.

Si H es normal, podemos definir una multiplicación en clases como

(a1H) (a2H): = (a1a2)H

Esto convierte al conjunto de clases en un grupo llamado el grupo cociente G/H. Hay un homomorfismo natural f: GG/H dado por f (a) = aH. La imagen f (H) consiste solamente en el elemento identidad de G/H, la clase de eH = H.

En general, un homomorfismo de grupo f: GK envía subgrupos de G a los subgrupos de K. También, la preimagen de cualquier subgrupo de K es un subgrupo de G. Llamamos a la preimagen del grupo trivial {e} en K el núcleo del homomorfismo y lo denotamos por ker(f). Pues resulta que el núcleo es siempre normal y la imagen f (G) de G es siempre isomorfa a G/ker(f). De hecho, esta correspondencia es una biyección entre el conjunto de todos los grupos cociente G/H y el conjunto de todas las imágenes homomórficas de G (salvo isomorfismo).

Véase también

  • Normalizador
  • Clausura normal
  • Subgrupo característico
  • Ideal de un anillo

Wikimedia foundation. 2010.

См. также в других словарях:

  • Subgrupo normal — En matemáticas, un subgrupo normal N de un grupo G es un subgrupo invariante por conjugación; es decir, para cada elemento n de N y cada g en G, el elemento gng 1 está en …   Enciclopedia Universal

  • Subgrupo — En matemáticas, dado un grupo G con una operación binaria *, decimos que un subconjunto no vacío H de G es un subgrupo de G si H también forma un grupo bajo la operación *. O de otro modo, H es un subgrupo de G si la restricción de * a H es una… …   Wikipedia Español

  • Subgrupo conmutador — En un grupo (matemática), G, el subgrupo generado por los elementos de la forma aba − 1b − 1 (llamado el conmutador de a con b) se llama el subgrupo conmutador o subgrupo derivado de G y se simboliza con [G,G]. Esto significa que si entonces x se …   Wikipedia Español

  • Grupo cociente — En teoría de grupos, dado un grupo G y un subgrupo normal N de G, el grupo cociente o grupo factor de G sobre N es, intuitivamente, el grupo que colapsa el grupo normal N al elemento neutro. El grupo cociente se denota por G/N, lo que normalmente …   Wikipedia Español

  • P-grupo — En matemáticas, dado un número primo p, un p grupo es un grupo periódico en el que cada elemento tiene como orden una potencia de p: cada elemento es de orden potencia prima. Esto es, para cada elemento g del grupo, existe un entero no negativo n …   Wikipedia Español

  • Grupo nilpotente — En la teoría de grupos, un grupo nilpotente es un grupo que es casi abeliano. En forma más precisa, aplicando repetidamente la operación commutación, [x,y] = x 1y 1xy a cualesquiera elementos del grupo obtenemos la identidad. Los grupos… …   Wikipedia Español

  • Grupo diedral — Este copo de nieve tiene la simetría diedral de un hexágono regular. En matemáticas, un grupo diedral es el grupo de simetría de un polígono regular, incluyendo tanto rotaciones y reflexiones.[1] …   Wikipedia Español

  • Grupo lineal general — En matemáticas, el grupo lineal general (GL) de un espacio vectorial , denotdo como , es el grupo formado por todos los isomorfismos de ese espacio. Cuando el espacio vectorial es siendo un cuerpo F (tal como o …   Wikipedia Español

  • Teoría de grupos — Diagrama de Cayley del grupo libre de orden dos. En álgebra abstracta, la teoría de grupos estudia las estructuras algebraicas conocidas como grupos. Sus objetivos son, entre otros, la clasificación de los grupos, sus propiedades y sus… …   Wikipedia Español

  • Teorema fundamental de la teoría de Galois — En matemáticas, el teorema fundamental de la teoría de Galois es un resultado que describe la estructura de ciertos tipos de extensiones de cuerpos. En su forma más básica el teorema dice que dada una extensión de cuerpos E/F que sea finita y… …   Wikipedia Español


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»