Á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

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

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

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

Sign up to vote on this title
UsefulNot useful