Á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

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

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

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

Sign up to vote on this title
UsefulNot useful