PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE

FACULTAD DE MATEMATICAS
DEPARTAMENTO DE MATEMATICA
Rodrigo Codorniu Cofr
MAT 2205 - lgebra Abstracta I
Ayudantia 3
26 de Marzo de 2014
Clases Laterales: Sea H un subgrupo propio de un grupo G (H ,= e, G). Denimos en G la
relacin a b ab
1
H. No es difcil ver que es una relacin de equivalencia en G y que la
clase de equivalencia de un elemento a G es de la forma [a] = Ha = ha : h H, tal conjunto
se llama Clase Lateral Derecha. Igualmente, se denen las Clases Laterales Izquierdas como los
conjuntos aH = ah : h H. Estas clases salen de la relacin de equivalencia a b a
1
b H.
La cantidad de clases laterales que defne un grupo H se llama ndice de H sobre G y si denota por
[G : H].
Si la notacin del grupo es aditiva, las clases laterales se denotan por a + H y H + a.
Teorema de Lagrange: Sea G un grupo nito, entonces el orden de todo subgrupo H de G es
un divisor del orden de G. De hecho siempre se tiene que [G[ = [H[ [G : H] para todo subgrupo H.
Orden de un Elemento: Sea G un grupo, dado a G, si existe n N tal que a
n
=
a a a a
. .
n veces
= 1 el Orden de a es [a[ = mnn N : a
n
= 1}. Notar que si k N es tal
que a
k
= 1 entonces [a[ [k. Luego, se tiene que a = e, a, a
2
, . . . , a
|a|1
y entonces [ a [ = [a[ y
por el teorema de Lagrange, se tiene que el orden de un elemento en un grupo nito es un divisor
del orden del grupo y que adems a
#G
= e para todo a G.
Subgrupos Normales: Sea G un grupo y H un subgrupo de G. Diremos que H es Normal en
G, lo que denotamos por H G, si xHx
1
H para todo x G.
Respecto a ser normal, las siguientes condiciones son equivalentes:
H G.
x G xHx
1
= H.
x G xH = Hx.
(x, y) GG (xH)(yH) = xyH.

Otras cosas respecto a la normalidad son:
Ejemplos de subgrupos normales son: 1, G y Z(G) = z G : az = za a G.
Si G es abeliano, todo subgrupo es normal.
Si : G
1
G
2
es un homomorsmo de grupos, entonces Ker G
1
.

Grupo Cuociente: Sea G un grupo y N un subgrupo normal. Notar que toda clase lateral
derecha Na es igual a la clase izquierda aN, luego consideraremos el conjunto de clases izquierdas,
el cual denotaremos por G/N.
En este conjunto, podemos denir un producto
aN bN := (ab)N
Notar que el producto esta bien denido pues N es normal y que (G/N, ) es un grupo con neutro
1N = N e inversos (aN)
1
= a
1
N. El grupo G/N se conoce como Grupo Cuociente de G por N,
y la proyeccin cannica : G G/N denida x xN es homomorsmo de grupos sobreyectivo
y su kernel es exactamente N. En este caso, se le llama Morsmo Cannico (o Natural) Asociado.
Teorema del Isomorsmo: Sea : G
1
G
2
un homomorsmo de grupos, entonces
G/Ker

= Im
mediante un isomorsmo que hace que el siguiente diagrama conmute
G
1

G
2

G
1
/Ker
El isomorsmo esta dado explcitamente por (aKer) = (a).
1. Probar el teorema de la correspondencia, el cual dice: Sea G un grupo, N G y H G/N.
Probar que existe un nico subgrupo K G que contiene a N tal que H = K/N = aN :
a K, probar que si adems H es normal, entonces K tambin lo es.
2. Sea G un grupo tal que G/Z(G) es cclico. Probar que G es abeliano.
3. Sea p un primo, denimos G = z C : k 1 tal que z
p
k
= 1. Probar que el homomorsmo
(z) = z
p
es sobreyectivo. Concluir que G es isomorfo a un cuociente de si mismo.
4. (Grupos Libres) Sea X un conjunto no vaco y sea X
1
un conjunto disjunto a X pero que este
en biyeccin con el. Como existe una biyeccin entre X y X
1
, llamaremos x
1
al elemento
de X
1
que esta identicado con x bajo la biyeccin.
Sea W = (a
i
)
i1
: a
i
X X
1
1 tal que k 1 tal que a
l
= 1 l k el conjunto de
Palabras con Letras en X, la palabra (1, 1, 1, ) se llama Palabra Vaca.
a) Una palabra (a
i
)
i1
W esta Reducida si cumple con:
Cuando a
i
= x, no puede pasar que a
i+1
= x
1
o visceversa para todo i.
Si a
j
= 1, para cierto j 1, entonces a
i
= 1 para todo i j.
Probar que toda palabra reducida es la vaca o una de la forma (a

1
1
, a

2
2
, a

3
3
, , a

k
k
, 1, 1, )
donde a
i
,= 1 para todo i y a
i
,= a
j
para 1 i ,= j k y
i
= 1.
b) Dada la forma de las palabras reducidas, podemos anotar (a

1
1
, a

2
2
, a

3
3
, , a

k
k
, 1, 1, ) =
a

1
1
a

2
2
a

3
3
a

k
k
. Probar que a

1
1
a

2
2
a

3
3
a

k
k
= b

1
1
b

2
2
b

3
3
b

l
l
si y slo si k = l a

i
i
= b

i
i
para todo i.
c) Sea F(X) el conjunto de todas las palabras reducidas, escribiremos 1 para denotar a la pa-
labra vaca. Si denieramos
_
a

1
1
a

2
2
a

3
3
a

k
k
_

_
b

1
1
b

2
2
b

3
3
b

l
l
_
= a

1
1
a

2
2
a

3
3
a

k
k
b

1
1
b

2
2
b

3
3
b

l
l
tendramos el problema de que esa palabra no tiene porque estar reducida (pues podra
pasar queb

1
1
= a

k
k
), pero entonces es intuitivo eliminar las anomalas descritas en el
ltimo parntesis. Si uno hace esto hasta el nal, es posible denir el producto de dos
palabras reducidas de modo tal que el resultado sea una palabra reducida. Con dicha
operacin F(X) es un grupo y la funcin x x
1
es inyectiva (probar). Al grupo F(X)
se le llama Grupo Libre sobre X.
d) Probar que F(X) tiene la siguiente propiedad. Si f : X G es una funcin, donde G es
un grupo, probar que existe un nimo homomorsmo de grupos : F(X) G tal que
f = i donde i : X F(X) es la inclusin.
e) Probar que si H es otro grupo que tiene una inclusin de X y cumple con la propiedad
del ejercicio anterior, entonces H es isomorfo a F(X).
f ) Probar que todo grupo G posee un morsmo sobreyectivo desde un grupo libre.
g) Sea G un grupo y S G un subconjunto no vaco. Denimos el Subgrupo Normal
Generado por S como
S =

NG, SN
N S
Probar que S es normal y que
S =
_
s
x
:= x
1
sx : s S, x G
__
h) Si G siempre posee homomorsmo sobreyectivo : F(X) G, entonces sabemos que
G

= F(X)/Ker
y al ser Ker normal, uno podra ser capaz de encontrar palabras w
i
Ker tales que
Ker = w
i
. Con dicha descripcin, uno puede pensar G como un grupo de palabras
reducidas con letras X, las cuales se multiplican por yuxtaposicin, donde las palabras
de w
i
se deben hacer 1. Por lo tanto, si G

= F(X)/ w
i
, y uno escribe G = X [ w
i

se dice que G esta Presentado. Notar que todo grupo se puede presentar por la parte f).
Obtener presentaciones para un grupo cclico nito, el grupo D
4
, el grupo Q
8
y Z
2
Z
4
.