Está en la página 1de 4

lgebra/Teora de grupos/Subgrupos normales

lgebra/Teora 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 seccin vamos a caracterizar tales subgrupos. es normal en

Definicin 1.29: Sea

para todo

de

. Este hecho lo representaremos por si y slo si

Equivalentemente tenemos que

Tenemos pues que si

, entonces las relaciones de congruencia izquierda y derecha mdulo

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 operacin de grupo dada por

Demostracin: Para comenzar, debemos probar que la operacin en sentido, es decir, que si y , entonces

dada por . Esto es as, pues

tiene

con como ,

y tambin

(pues

y , luego

), as es que , y

, pero entonces

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

. Hemos probado que la operacin definida en es , y el inverso de todo de es

es un homomorfismo de grupos, entonces

. En efecto, pues si

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 ncleo de todo homomorfismo de grupos Recprocamente, todo subgrupo normal de un grupo Demostracin: La primera parte del teorema ya ha sido probada. Si

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

es el ncleo de cierto homomorfismo cuyo dominio es

, la aplicacin

lgebra/Teora de grupos/Subgrupos normales

es claramente un epimorfismo, y es llamado proyeccin cannica. Puesto que si y slo si , tenemos que .

si y slo si

, i.e.

Sea

un grupo y

, y defnanse los conjuntos

Llamaremos normalizador de

al conjunto

Este conjunto es en realidad un grupo, pues es fcil ver que si entonces tambin Si cual es un subgrupo de , y que adems , entonces claramente y . . Ms an,

(i.e. si

y en el

es el mayor subgrupo de

es normal. En otras palabras,

Ahora bien, podemos definir un conjunto cuyas exigencias sean an ms fuertes que las que definen a un grupo normalizador. Para ser precisos, si es un grupo podemos definir un subgrupo cuyos elementos sean aquellos que conmuten con todos los elementos de un subconjunto lo denotaremos por . As pues, de . A este conjunto se le llama centralizador de ,y

Notar que 1. 2. ; equivale a decir que es abeliano.

Ahora vamos a enunciar un teorema que tiene consecuencias importantes. Teorema 1.32 (Teorema fundamental de homomorfismos): Sea un subgrupo (1) (2) (3) es un monomorfismo si y slo si es la aplicacin dada por normal tal que es un epimorfismo si y slo si de tal que , donde lo es; . Entonces existe un homomorfismo de grupos y un nico homomorfismo es la proyeccin cannica. Adems:

Demostracin: Vamos a demostrar que el homomorfismo

Primeramente observamos que esta aplicacin est bien definida, pues si como , tambin , luego . Es fcil ver que puesto que est completamente determinada por evidente. (2) y slo si es el subgrupo trivial de , es decir, si y slo si

, entonces

,y . (1) es

es un homomorfismo, y

, es el nico homomorfismo que cumple .

es un monomorfismo si .

lgebra/Teora de grupos/Subgrupos normales El teorema fundamntal de homomorfismos puede enunciarse tambin 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

, entonces existe un nico

Teorema 1.33 (Primer teorema de isomorfa): Si . Demostracin: El teorema anterior nos da un homomorfismo epimorfismo si en lugar de tomamos simplemente

es un homomorfismo de grupos, entonces entre y , que se convierte en es tambin

, pero por (3) del teorema anterior

un monomorfismo, luego termina siendo un isomorfismo. Teorema 1.34 (Segundo teorema de isomorfa): Si subgrupo cualquiera de , entonces Demostracin: La aplicacin es un subgrupo normal de un grupo y . y es un

es normal en

es un epimorfismo, y como teorema de isomorfa nos da un isomorfismo Teorema 1.34 (Tercer teorema de isomorfa): Si , entonces Demostracin: Sea por el teorema 1.31, epimorfismo , luego y . , luego , pero . y .

, el primer

son dos subgrupos normales en un grupo

, con

la proyeccin cannica. Tal aplicacin es un epimorfismo de grupos, y , as es que, de acuerdo con el teorema 1.32, existe un si y slo si , lo cual sucede si y slo si

, as es que, por el primer teorema de isomorfa, existe un isomorfismo entre

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo


lgebra/Teora de grupos/Subgrupos normales Fuente: http://es.wikibooks.org/w/index.php?oldid=89092 Contribuyentes: -

Fuentes de imagen, Licencias y contribuyentes


Imagen:Teo_Fund_Homo_Diag.svg Fuente: http://es.wikibooks.org/w/index.php?title=Archivo:Teo_Fund_Homo_Diag.svg Licencia: GNU Free Documentation License Contribuyentes: Alephcero

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported http:/ / creativecommons. org/ licenses/ by-sa/ 3. 0/