Teora de Grupos

Definiciones Bsicas
Definicin 5 (Grupo) Sea una estructura algebraica con una ley de es un grupo si:

composicin interna. Decimos que 1. 2. es asociativa. tiene neutro . tiene inverso

3. toda

para .

Con esta definicin de grupo, es directo que el neutro es nico, al igual que el inverso de .

Tambin se tienen las siguientes propiedades:

1. 2. Un grupo

. . , donde es conmutativo, se denomina Abeliano.

Ejemplos: Los siguientes son algunos ejemplos de grupos

es un grupo abeliano. es un grupo abeliano. Sea considera la operacin es funcin biyectiva y se ``composicin de funciones". Este conjunto . Luego la

tiene 6 elementos que se pueden nombrar operacin se puede ver en la tabla

Con esta operacin

es un grupo, pero no es abeliano.

Definicin 6 (Morfismo de grupos) Una funcin grupos

, entre dos

se dice morfismo (u homomorfismo) ssi:

Un morfismo inyectivo suele llamarse monomorfismo, uno sobreyectivo se llama epimorfismo, y finalmente un morfismo biyectivo se llama isomorfismo. isomorfo a
Endomorfismo es un morfismo de un grupo en si mismo; un automorfismo es un isomorfismo endomorfo. Propiedades Si es un morfismo de grupos, entonces

1. 2. Si Si

. , .

es un morfismo de grupos llamaremos Ncleo de a .

Con esto, es monomorfismo

Ejemplos:

La funcin logaritmo (en cualquier base), conocida propiedad un isomorfismo entre estructuras isomorfas. y . As y

tiene la , y como es biyectiva, es son

Si es un real fijo, la funcin es un homomorfismo, dado que entonces es un automorfismo. Definicin 7 (Subgrupo) Si un subgrupo de si Si es un subgrupo de , si (y por lo tanto y para cada de en es un grupo, y , el neutro de es su inverso en ).

tal que . Si adems , diremos que , es ,

es tambin un grupo. es el mismo que el de , tambin es el inverso

Una caracterizacin de los subgrupos es la siguiente: es subgrupo ssi:

1. 2.

. . en G se

es grupo, una relacin de equivalencia Definicin 8 Si dice compatible con ssi:

Dada una relacin de equivalencia conjunto cociente .

compatible con , podemos definir una l.c.i. en el

La compatibilidad hace que la operacin en directo que en este caso cannica

est bien definida. Es

resulta ser un grupo, y la sobreyeccin

es un epimorfismo. (Por este motivo tambin recibe el nombre de epimorfismo cannico).

Ahora, si es compatible con , entonces

(compatibilidad y refleja)

Llamemos
Si y

(subgrupo). Con esto se tiene la siguiente propiedad:

es un elemento cualquiera de , entonces . En efecto:

(compatibilidad de con ). (compatibilidad de con ). (asociatividad para eliminar parntesis). O sea, . Definicin 9 (Subgrupo normal) Un subgrupo H de G tal que satisface se llama subgrupo normal de G. Se usar la siguiente notacin para designar a los subgrupos normales de $H$ subgrupo normal de $G$ Esto caracteriza completamente a las relaciones compatibles con . En efecto, si partimos de un subgrupo normal en tal que dado, definimos la relacin

Entonces 1. 2. 3. es de equivalencia en G. es compatible con . . , el cociente se anota como .

Notacin: Si G es un grupo, y Ejemplos:

Cualquier subgrupo de un grupo Abeliano es un subgrupo normal, gracias a la conmutatividad de la operacin . En efecto, sea subgrupo de . Entonces

El ncleo de todo morfismo de grupos es un subgrupo normal de G; es ms, todos los subgrupos normales de G son ncleos de algn morfismo. En efecto

Si y Por lo tanto subgrupo normal. Si , tomemos Luego y morfismo.

Luego

Definicin 10 (Subgrupo generado por un subconjunto) Sea un grupo, y un subconjunto cualquiera. Denotemos

el subgrupo generado por A. Se tiene . Mas aun, es ms pequeo (en el sentido de la inclusin) de los subgrupos de que contiene a . Evidentemente, si es subgrupo de entonces .

Es tambin claro que

Por lo tanto:

Caso interesante Si por a. Un grupo entonces y se denomina subgrupo cclico generado

se dice cclico si

tal que As . Veremos que los grupos cclicos son "pocos", y para eso nos ayudaremos del siguiente resultado. Teorema 1 (Teorema del factor) Si tal que . Entonces: grupos, morfismo, y

morfismo tal que el diagrama siguiente es conmutativo

Con el epimorfismo cannico (introducido anteriormente). Es claro que . Se dice que f se factoriza a travs de G/K. Adems f es un epimorfismo es un epimorfismo.

. es monomorfismo Usando este resultado se puede demostrar la siguiente proposicin Proposicin 2 Si G es un grupo cclico, entonces: Si G es infinito .

Si G es finito Donde
Figura 0.1

. ).

( notemos que