Академический Документы
Профессиональный Документы
Культура Документы
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