Álgebra/Teoría de grupos/Subgrupos normales

1

Álgebra/Teoría de grupos/Subgrupos normales
Subgrupos normales
Si es un grupo y es un subgrupo de , no es cierto en general que , aunque claramente esto sí que cumplen esto mismo sin si sucede cuando necesidad de que es abeliano. En realidad existen subgrupos de un grupo un grupo y un subgrupo de . Se dice que

sea abeliano. En esta sección vamos a caracterizar tales subgrupos. es normal en

Definición 1.29: Sea

para todo

de

. Este hecho lo representaremos por si y sólo si

.

Equivalentemente tenemos que

Tenemos pues que si

, entonces las relaciones de congruencia izquierda y derecha módulo

coinciden,

luego cualquiera de ellas da lugar al mismo conjunto cociente cociente puede ser dotado de una estructura de grupo. Teorema 1.30: Sea un grupo y . Entonces

. Vamos a probar ahora que este conjunto es un grupo, llamado grupo cociente de por

, con la operación de grupo dada por

Demostración: Para comenzar, debemos probar que la operación en sentido, es decir, que si y , entonces

dada por . Esto es así, pues

tiene

con como ,

y también

(pues

y , luego

), así es que , y

, pero entonces

, lo que prueba que tiene sentido. Esta operación es asociativa. La identidad de . Con esto queda probado que Si , entonces es un grupo.

. Hemos probado que la operación definida en es , y el inverso de todo de es

es un homomorfismo de grupos, entonces

. En efecto, pues si

y

luego y así tener que

, así que , luego para todo

para todo de

de

, luego podemos cambiar

por

se tiene

lo que demuestra que

, completando la prueba de que

. . .

Teorema 1.31: El núcleo de todo homomorfismo de grupos Recíprocamente, todo subgrupo normal de un grupo Demostración: La primera parte del teorema ya ha sido probada. Si

es un subgrupo normal del dominio de es un subgrupo normal de

es el núcleo de cierto homomorfismo cuyo dominio es

, la aplicación

2. y es llamado proyección canónica. . i. es un monomorfismo si . .y . entonces claramente y . . Ahora bien. Ahora vamos a enunciar un teorema que tiene consecuencias importantes. luego .32 (Teorema fundamental de homomorfismos): Sea un subgrupo (1) (2) (3) es un monomorfismo si y sólo si es la aplicación dada por normal tal que es un epimorfismo si y sólo si de tal que . . Teorema 1. pues si como . (1) es es un homomorfismo. Entonces existe un homomorfismo de grupos y un único homomorfismo es la proyección canónica. si y sólo si .e. y que además . es decir. Más aún. tenemos que . es el único homomorfismo que cumple . equivale a decir que es abeliano. (2) y sólo si es el subgrupo trivial de . si es un grupo podemos definir un subgrupo cuyos elementos sean aquellos que conmuten con todos los elementos de un subconjunto lo denotaremos por . En otras palabras.Álgebra/Teoría de grupos/Subgrupos normales 2 es claramente un epimorfismo.e. si y sólo si . A este conjunto se le llama centralizador de . Puesto que si y sólo si . donde lo es. y . Además: Demostración: Vamos a demostrar que el homomorfismo Primeramente observamos que esta aplicación está bien definida. podemos definir un conjunto cuyas exigencias sean aún más fuertes que las que definen a un grupo normalizador. y defínanse los conjuntos Llamaremos normalizador de al conjunto Este conjunto es en realidad un grupo. si y en el ) es el mayor subgrupo de es normal. Así pues. (i. Sea un grupo y . de .y Notar que 1. también . entonces . Es fácil ver que puesto que está completamente determinada por evidente. Para ser precisos. pues es fácil ver que si entonces también Si cual es un subgrupo de .

y . entonces entre y . epimorfismo . entonces Demostración: La aplicación es un subgrupo normal de un grupo y . . luego termina siendo un isomorfismo.33 (Primer teorema de isomorfía): Si . . luego . lo cual sucede si y sólo si . por el primer teorema de isomorfía.32. de acuerdo con el teorema 1.34 (Segundo teorema de isomorfía): Si subgrupo cualquiera de .Álgebra/Teoría de grupos/Subgrupos normales El teorema fundamntal de homomorfismos puede enunciarse también de la manera así: si homomorfismo de grupos y homomorfismo un subgrupo normal de tal que que da lugar al diagrama conmutativo siguiente: es un 3 . Teorema 1. el primer son dos subgrupos normales en un grupo . entonces existe un único Teorema 1. pero . Demostración: El teorema anterior nos da un homomorfismo epimorfismo si en lugar de tomamos simplemente es un homomorfismo de grupos. que se convierte en es también . existe un isomorfismo entre . luego y . existe un si y sólo si . así es que. y como teorema de isomorfía nos da un isomorfismo Teorema 1.31.34 (Tercer teorema de isomorfía): Si . y es un es normal en es un epimorfismo. así es que. pero por (3) del teorema anterior un monomorfismo. con la proyección canónica. entonces Demostración: Sea por el teorema 1. Tal aplicación es un epimorfismo de grupos. y .

Fuentes y contribuyentes del artículo 4 Fuentes y contribuyentes del artículo Álgebra/Teoría de grupos/Subgrupos normales  Fuente: http://es. 0/ . Licencias y contribuyentes Imagen:Teo_Fund_Homo_Diag.0 Unported http:/ / creativecommons.php?oldid=89092  Contribuyentes: - Fuentes de imagen. org/ licenses/ by-sa/ 3.svg  Fuente: http://es.wikibooks.svg  Licencia: GNU Free Documentation License  Contribuyentes: Alephcero Licencia Creative Commons Attribution-Share Alike 3.php?title=Archivo:Teo_Fund_Homo_Diag.org/w/index.org/w/index.wikibooks.

Sign up to vote on this title
UsefulNot useful