Á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

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

que se convierte en es también . de acuerdo con el teorema 1. entonces Demostración: Sea por el teorema 1.34 (Tercer teorema de isomorfía): Si .31. luego y .Á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 . Demostración: El teorema anterior nos da un homomorfismo epimorfismo si en lugar de tomamos simplemente es un homomorfismo de grupos. Tal aplicación es un epimorfismo de grupos. Teorema 1. luego termina siendo un isomorfismo. el primer son dos subgrupos normales en un grupo . así es que. luego . lo cual sucede si y sólo si . .33 (Primer teorema de isomorfía): Si . pero . . y es un es normal en es un epimorfismo. con la proyección canónica. así es que. pero por (3) del teorema anterior un monomorfismo. y como teorema de isomorfía nos da un isomorfismo Teorema 1. entonces entre y .32.34 (Segundo teorema de isomorfía): Si subgrupo cualquiera de . entonces Demostración: La aplicación es un subgrupo normal de un grupo y . existe un isomorfismo entre . existe un si y sólo si . y . epimorfismo . entonces existe un único Teorema 1. por el primer teorema de isomorfía. y .

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

Sign up to vote on this title
UsefulNot useful