Grupos Simples

Manuel Emilio Montero Soler

EE-6887
Universidad Autonoma de Santo Domingo
Facultad de ciencias
Escuela de Matematicas
May 7, 2014
Manuel Emilio Montero Soler EE-6887 Grupos Simples
Relacion de congruencia
Denicion
Sea G un grupo y H G. Diremos que dos elementos u y v de G
son congruentes por la izquierda modulo H (y lo representaremos
u
i
v (mod H) si cumplen u
1
v H.
Diremos que u y v son congruentes por la derecha modulo H si
cumplen uv
1
H. Lo representaremos u
d
v (mod H).
Las relaciones de congruencia de la denicion anterior son
relaciones de equivalencia.
Manuel Emilio Montero Soler EE-6887 Grupos Simples
La clase de equivalencia de un elemento a G para la
congruencia por la izquierda es el conjunto aH = {ah| h H},
mientras que la clase de equivalencia de a para la congruencia por
la derecha es Ha = {ha | h H}.
Llamaremos (G/H)
i
y (G/H)
d
a los conjuntos cocientes para
las relaciones de congruencia modulo H por la izquierda y por la
derecha, respectivamente.
En general se cumple que todas las clases de equivalencia tienen
tantos elementos como H, pues la aplicacion que a cada h H le
asigna el elemento ah H biyecta H con aH (e igualmente por la
derecha).
Manuel Emilio Montero Soler EE-6887 Grupos Simples
Asi pues, todas las clases de equivalencia de un grupo G
respecto a un subgrupo H tienen cardinal igual a |H|, luego si G
es nito, los dos conjuntos cocientes (G/H)
i
y (G/H)
d
tienen
cardinal igual a |G|/|H|. A este cardinal lo llamaremos indice del
subgrupo H en el grupo G, y lo representaremos por |G : H|.
Manuel Emilio Montero Soler EE-6887 Grupos Simples
Conjugacion
Hemos visto que en general las relaciones de congruencia por la
izquierda y por la derecha respecto a un subgrupo no tienen
porque coincidir, y sucede que solo cuando coinciden puede
denirse consistentemente una estructura de grupo en el conjunto
cociente. Estudiemos, pues, en que casos coinciden. Para ello nos
sera de utilidad el concepto de automorsmo interno de un grupo.
Denicion
Sea G un grupo y g, h G. Denimos el conjugado de h por g
como el elemento h
g
= g
1
hg G. Denimos la funcion

g
: G G dada por
g
(h) = h
g
. Es facil comprobar qe
g
es
un automorsmo de G. Mas aun, la aplicacion : G AutG
dada por (g) =
g
es un homomorsmo de grupos. A la imagen
de este homomorsmo, es decir, al subgrupo IntG = {
g
| g G}
se le llama grupo de los automorsmos internos de G.
Manuel Emilio Montero Soler EE-6887 Grupos Simples
Es evidente que h
g
= h si y solo si gh = hg, luego IntG = {I
G
}
si y solo si G es abeliano.
Si A G, escribimos A
g
=
g
[A] = {a
g
| a A}. El conjunto
A
g
esta formado por los conjugados a A por g.
Teorema
Sea G un grupo y H un subgrupo de G. Las siguientes
armaciones son equivalentes:
1
La relacion de congruencia modulo H por la izquierda coincide
con la relacion de congruencia modulo H por la derecha.
2
gH = Hg para todo elemento g G.
3
(G/H)
i
= (G/H)
d
(lo cual podemos escribir como G/H).
4
H
g
= H para todo elemento g G.
5
H
g
H para todo elemento g G.
Manuel Emilio Montero Soler EE-6887 Grupos Simples
Demostracion: Teniendo en cuenta que gH y Hg son las
clases de equivalencia de g por la izquierda y por la derecha
modulo H, es claro que 1), 2) y 3) son equivalentes.
Podemos probar que gH = Hg equivale a que
H = g
1
Hg = H
g
. Solo falta probar que 5) implica 4), pero esto
es consecuencia de que H
g
1
H implica que H H
g
, luego de
hecho H = H
g
.
Notar que en general, si H G y g G, el conjunto H
g
es la
imagen de H por un automorsmo de G, luego H
g
G. Los
subgrupos de la forma H
g
se llaman conjugados de H.
Dos elementos g, h G son conjugados si existe un x G tal
que g = h
x
. La conjugacion es una relacion de equivalencia en G.
A la clase de equivalencia de un elemento g G para la relacion
de conjugacion se le llama clase de conjugacion de g y se
representa por cl(g).
Manuel Emilio Montero Soler EE-6887 Grupos Simples
Subgrupo Normal
Denicion
Diremos que N es un subgrupo normal de un grupo G si N
permanece invariante bajo todo automorsmo interno de G, es
decir, N = g
1
Ng para todo g G. Lo representaremos mediante
N G.
Teorema
Todo subgrupo de un grupo abeliano es normal.
Demostracion: La demostracion es trivial. Si G es un grupo
abeliano, g G y N un subgrupo de G, entonces
N = g
1
Ng = H(g
1
g) = N. Asi que N permanece invariante
para todo automorsmo interno de G, por tanto N es un subgrupo
normal de G.
Manuel Emilio Montero Soler EE-6887 Grupos Simples
Grupos Simples
Una caracteristica de un grupo factor es que da informacion
supercial acerca de la estructura de todo el grupo. Claro que en
ocasiones no hay subgrupos normales propios no triviales.
Denicion
Un grupo es simple si no tiene subgrupos normales propios no
triviales, es decir, si el unico subgrupo normal propio es el trivial.
Manuel Emilio Montero Soler EE-6887 Grupos Simples
Ejemplo
Ejemplo
Mostrar que todo grupo de orden primo es simple.
Sea G un grupo de orden primo. Por el teorema de Lagrange
sabemos que si H es un subgrupo de G, entonces el orden de H
divide al orden de G. Dado que el orden de G es primo, tenemos
que G tiene dos subgrupos. A saber, el impropio y el trivial.
Sabemos que el subgrupo impropio y el trivial son subgrupos
normales, ya que son invariantes bajo todo automorsmo interno
de G, por lo que el grupo G es simple.
Manuel Emilio Montero Soler EE-6887 Grupos Simples