P. 1
teoria-de-grupos

teoria-de-grupos

|Views: 27|Likes:
Publicado porSol Farias

More info:

Published by: Sol Farias on Sep 20, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

06/10/2013

pdf

text

original

Á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

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

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

svg  Fuente: http://es.org/w/index. 0/ .wikibooks.org/w/index.svg  Licencia: GNU Free Documentation License  Contribuyentes: Alephcero Licencia Creative Commons Attribution-Share Alike 3.php?oldid=89092  Contribuyentes: - Fuentes de imagen.php?title=Archivo:Teo_Fund_Homo_Diag.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. Licencias y contribuyentes Imagen:Teo_Fund_Homo_Diag. org/ licenses/ by-sa/ 3.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->