LGEBRA ABSTRACTA

MANUEL CURREA
Fundacin Universitaria Konrad Lorenz
January 27, 2012
2
Contents
Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
I Grupos 7
Operaciones Binarias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
Estructuras Binarias Isomorfas . . . . . . . . . . . . . . . . . . . . . . . 10
Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
Grupos Ccliclos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
Grupos de Permutaciones . . . . . . . . . . . . . . . . . . . . . . . . . . 16
II Teoremas de Sylow 19
Teoremas de Sylow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3
4 CONTENTS
[
CONTENTS 5
Introduccin
Este escrito se realiza para demostrar la suciencia de conocimientos en la asig-
natura de lgebra Abstracta, curso que dicta la Fundacin Universitaria Konrad
Lorenz para los estudiantes de Pregado en Matemticas.
Todos los ejercicios que se encuentran aqui desarrollados, son los propuestos
en los libros: LGEBRA ABSTRACTA escrito por John B. Fraleigh, septima
edicin del ao 2002 editado por Addison Wesley y TEORA DE GRUPOS
escrito por Jose F. Caicedo C, primera edicin del ao 2004 editado por la Uni-
versidad Nacional de Colombia. Al inicio de cada seccin se hace una pequea
introduccin con los teoremas y deniciones necesarios para el desarrrollo de los
[Link] notacin utilizada es la misma del libro de John B. Fraleigh, la cual
tiene un ndice de simbolos especiales en la pagina 487.
El trabajo aqui presentado ha sido apoyado por el profesor Leonardo Jimenez
Moscovitz, quien sugirio los textos y motivo el dearrollo y presentacion del pre-
sente escrito.
Muchas gracias por el apoyo brindado, espero que este trabajo sirva tambien
como ayuda a los proximos estudiantes del curso de lgebra Abstracta.
Agradezco al personal docente y administrativo de la facultad de Ingenierias
y Matemticas de la Fundacin, por todo su apoyo para la elaboracion de es-
tos escritos. Muchas gracias por la comprensin al querer acelerar mi proceso
de aprendizaje con miras a obtener el ttulo de Matemtico en tan prestigiosa
institucion.
MANUEL CURREA
6 CONTENTS
Part I
Grupos
7
9
Operaciones Binarias
Durante todo nuestro proceso de estudio de las matemticas hemos utilizado op-
eraciones como; la adicin, multiplicacion, division y muchas otras, y estas se
asocian a diferentes conjuntos numricos, como los reales, complejos, racionales y
demas, la importancia de estas operaciones radica en que siempre utilizamos una
pareja de elementos de un conjunto y le asociamos otro elemento de este conjunto
(en la mayoria de los casos), de aqui surge la primera y de las mas importantes
deniciones del lgebra moderna:
Denicin 1 (Operacin Binaria) Dado un conjunto 1, se llamar ley de
composicin interna (u operacin binaria) en 1 a toda funcin
) : 1 1 1
(a, /) )(a, /) = c
donde c 1. El elemento )(a, /) de 1, se llama compuesto de a con /
Denicin 2 Sea + una operacin binaria en o y sea H un subconjunto de o.
El subconjunto H es cerrado bajo + si para todo a, / H tambien se tiene que
a + / H.
La anterior denicin la podemos interpretar como la propiedad clausurativa,
ya harto conocida de nuestros cursos anteriores.
Denicin 3 Una operacin binaria + sobre un conjunto o es conmutativa si y
slo si a + / = / + a para todo a, / o.
Denicin 4 Una operacin binaria + sobre un conjunto o es asociativa si (a +
/) + c = a + (/ + c) para todo a, /, c o.
Muchas veces al tratar de estudiar operaciones binarias sobre algun conjunto,
nos puede ser util realizar las tablas de las operaciones, es decir podemos obtener
la informacion de los resultados por medio de tablas;
* a b c
a c b b
b a b c
c c a c
(Tabla 1)
para la operacin denida en la Tabla 1, es fcil ver que / + a = a, utilizando
la tabla como siempre lo hemos hecho, es decir; el primer elemento se toma en las
las y el segundo en las columnas, el resultado sera la interseccin de estos dos.
10
Ejercicio 1 Probar que si + es una operacin binaria asociativa y conmutativa
en un conjunto o, entonces
(a + /) + (c + d) = [(d + c) + a] + /
para todo a, /, c, d o. Asuma que la asociatividad se cumple solo para tres
elementos asi (r + j) + . = r + (j + .) para todo r, j, . o.
Prueba. Tenemos que (a + /) + (c + d), de donde por conmutatividad
(a + /) + (c + d) = (c + d) + (a + /)
= (d + c) + (a + /)
utilizando la asociatividad, tenemos
(a + /) + (c + d) = [(d + c) + a] + /
Ejercicio 2 Suponga que + es una opercin binaria asociativa en un conjunto o.
Sea H = a o [ a+ r = r+ a jara todo r o. Muestre que H es cerrado bajo
+.
Prueba. Tomemos a, / H, entonces tenemos que a + r = r + a y / + r = r + /
para todo r o. Como + es asociativa
(a + /) + r = a + (/ + r) = a + (/ + r) = (a + r) + / = (r + a) + / = r + (a + /)
entonces (a + /) H.
Estructuras Binarias Isomorfas
Consideremos una estructura algebraica binaria a la pareja o, + , es decir un
conjunto o junto con su operacin binaria + en o.
Denicin 5 Sean o, + y o
0
, +
0
estructuras algebraicas binarias, un isomor-
smo de o con o
0
es una funcin de mapeo c uno a uno de o en o
0
, tal que
c(r + j) = c(r) +
0
c(j) para todo r, j o. Si el mapeo c existe, entonces o y o
0
son estructuras binarias isomorcas, esto se denota como o o
0
, omitiendo el +
y el +
0
de la notacin.
Denicin 6 Sea o, + una estructura binaria. Un elemento c de o es llamado
elemento neutro si c + : = : + c = : para todo : o.
11
Teorema 1 El elemento neutro de una estructura algebraica o, + , si existe, es
unico.
Prueba. Sean c, c
1
neutros en o, entonces c + c
1
= c
1
+ c = c
1
, por ser c neutro
y c + c
1
= c
1
+ c = c, por ser c
1
neutro, entonces c
1
= c, es decir es unico.
Ejercicio 3 Recuerde que si ) : 1 es una funcin de mapeo uno a uno de
sobre 1, entonces )
1
(/) es la unica a tal que )(a) = /. Pruebe que si c :
o o
0
es un isomorsmo de o, + con o
0
, +
0
, entonces c
1
es un isomorsmo
de o
0
, +
0
con o, + .
Prueba. Primero probaremos que la funcin es uno a uno, para esto supongamos
que c
1
(a) = c
1
(/) para a
0
, /
0
o
0
. Entonces a
0
= c(c
1
(a
0
)) = c(c
1
(/
0
)) = /
0
,
por lo tanto c
1
es uno a uno. Ahora tomemos a o, entonces c
1
(c(a)) =
a y por lo tanto c
1
mapea o
0
sobre o, es decir c
1
es sobre. Por otro lado
sean a
0
, /
0
o
0
, entonces c(c
1
(a
0
+
0
/
0
)) = a
0
+
0
/
0
y como c es un isomorsmo
c(c
1
(a
0
) + c
1
(/
0
)) = c(c
1
(a
0
)) +
0
c(c
1
(/
0
)) = a
0
+
0
/
0
. Como c es uno a uno
nalmente tenemos que c
1
(a
0
+ /
0
) = c
1
(a
0
) +
0
c
1
(/
0
)
Ejercicio 4 Pruebe que si c : o o
0
es un isomorsmo de o, + con o
0
, +
0

y c : o
0
o
00
es un isomorsmo de o
0
, +
0
con o
00
, +
00
, entonces la funcin
compuesta c c es un isomorsmo de o, + con o
00
, +
00
.
Prueba. Sean a, / o y supongamos que (c c)(a) = (c c)(/), entonces
c(c(a)) = c(c(/)), porque c es uno a uno, lo que nos lleva a concluir que c(a) =
c(/) porque c es uno a uno y la unica forma es que a = /. Sea a
00
o
00
, como c
mapea o
0
sobre o
00
existe a
0
o
0
tal que c(a) = a
00
, como c mapea o sobre o
0
existe a o tal que c(a) = a
0
. Entonces (c c)(a) = c(c(a)) = c(a
0
) = a
00
, y por
lo tanto c c mapea o sobre o
00
. Por ultimo como c c es uno a uno y sobre y
sabiendo que c y c son isomorsmos, sean a, / o y entonces (c c) = (a + /) =
c(c(a + /)) = c(c(a) +
0
c(/)) = c(c(a)) +
00
c(c(/)) = (c c)(a) +
00
(c c)(/)
Grupos
Denicin 7 Sea G un conjunto provisto de una operacin binaria
) : G G
(a, /) )(a, /) = a + /
Diremos que el par G, ) o simplemente G, + , es un grupo si:
12
G1) Dados a, /, c en G, a + (/ + c) = (a + /) + c (a:ociatiidad)
G2) Existe c en G, tal que a + c = c + a = a, para todo a en G. (c|c:c:to
:cntro)
G3) Dado a en G, existe / en G, tal que a + / = / + a = c (i:cr:o)
Si ademas G, + cumple
G4) Dados a, / G, a + / = / + a (co::ntatiidad)
decimos que G, + es un grupo abeliano
A continuacin presentamos unos cuantos teoremas de gran utilidad en Teora
de Grupos, la demostracin de los mismos es bastante sencilla basados en la
anterior denicin, para un desarrollo completo se pueden consultar los libros
mencionados en la introduccin, o cualquier texto de algebra bstracta.
Teorema 2 Si G, + es un grupo, entonces
1) En G, slo hay un elemento neutro.
2) Todo elemento a de G tiene un nico inverso, que se nota a
1
.
3) Para todo a G, (a
1
)
1
= a.
4) Para todos a, /, c G, a + / = / + c implica / = c, y / + a = c + a implica
/ = c (leyes cancelativas).
Teorema 3 Sea G, + un grupo. Si a, /, c, d G entonces
(a + /) + (c + d) = a + [(/ + c) + d]
Teorema 4 Sea G, + un grupo. Si a, / G, entonces (a + /)
1
= a
1
+ /
1
.
Teorema 5 En un grupo G, + existe un nico elemento tal que r + r = r.
Ademas, r = c.
Teorema 6 Si G, + es un grupo y a, / G, entonces las ecuaciones a + r = /,
y j + a = / poseen soluciones nicas en G.
Teorema 7 Sea G, + un conjunto con una operacin binaria asociativa, es de-
cir, una operacin que satisface a + (/ + c) = (a + /) + c para a, /, c G. Entonces
G, + es un grupo, si y slo si:
1) Existe c
i
G, tal que c
i
+ r = r para todo r G. (Existencia de elemento
neutro a la izquierda)
2) Para cada a G, existe /
i
G tal que /
i
+ a = c
i
. (Existencia de inversos
a izquierda)
Tambien es valido el teorema dual.
Ejercicio 5 Muestre que si G es un grupo nito con elemento neutro c y un
nmero par de elementos, entonces existe a ,= c en G tal que a + a = c.
13
Prueba. Sea o =

r G [ r
1
,= r

. Entonces o tiene un npero par de ele-

mentos y pueden ser agrupados en pares r, r
1
. Sabemos que el conjunto Go
es no vaco ya que contiene a c, por lo tanto hay al menos otro elemento diferente
de c que es su propio inverso.
Ejercicio 6 Sea G un grupo abeliano y sea c
n
= c + c + c + + c, para : factores
c, donde c G y : Z
+
. Dar una prueba por induccin matemtica de (a+ /)
n
=
(a
n
) + (/
n
) para todo a, / G.
Prueba. Debemos mostrar que (a+ /)
n
= (a
n
) + (/
n
) , entonces si : = 1, tenemos
(a + /)
1
= (a
1
) + (/
1
) = a + /, por lo tanto se cumple. Supongamos que para : = /,
se cumple es decir; (a + /)
k
= (a
k
) + (/
k
), debemos mostra que para : = / + 1
tambien se cumple, entonces (a+/)
k+1
= (a+/)
k
+(a+/), como (a+/)
k
= (a
k
)+(/
k
)
es cierto, entonces reemplazando (a + /)
k+1
= (a
k
) + (/
k
) + (a + /) y utilizando la
asociatividad tenemos que (a + /)
k+1
= (a
k
) + a + (/
k
) + / = (a
k+1
) + (/
k+1
)
Ejercicio 7 Sea G un grupo y sea a, / G. Muestre que (a + /)
1
= a
1
+ /
1
si
y solo si a + / = / + a.
Prueba. Sea a+/ = /+a, entonces (a+/)
1
= (/+a)
1
= a
1
+/
1
ya que sabemos
que el inverso y el neutro son unicos, por lo tanto a
1
+/
1
= /
1
+a
1
y entonces
(/
1
+ a
1
)
1
= (a
1
+ /
1
)
1
de donde (a
1
)
1
+ (/
1
)
1
= (/
1
)
1
+ (a
1
)
1
y
a + / = / + a.
Ejercicio 8 Sea G un grupo y suponga que a + / + c = c para todo a, /, c G,
muestre que / + c + a = c tambien.
Prueba. Utilizando la asociatividad tenemos que a + / + c = a + (/ + c) = c, lo que
implica que / + c es el inverso de a, lo que nos lleva a (/ + c) + a = / + c + a = c por
asociatividad.
Subgrupos
Denicin 8 Sean G, + un grupo y H _ G, H ,= O. Diremos que H es sub-
grupo de G si la operacin de G restringida a H hace de H un grupo. Este hecho
lo notaremos con H < G.
Teorema 8 Un subconjunto H de un grupo G es un subgrupo de G si y solo si
1) H es cerrado bajo la operacin binaria de G,
2) el elemento neutro c de G esta en H,
3) para todo a H, es verdad que a
1
H.
14
Teorema 9 Sean G, + un grupo y a G. Entonces H = a
m
[ : Z < G y
adems H es tal que "si a o y o < G, entonces H _ o ". Es decir, H es el
subgrupo ms pequeo de G, que contiene a a.
Denicin 9 El subgrupo H del teorma 9 se llama el subgrupo cclico gener-
ado por a y suele notarse as:
H = a = a
n
[ : Z
Ejercicio 9 Muestre que si H y 1 son subgrupos de un grupo abeliano G, en-
tonces // [ / H j / 1 es un subgrupo de G.
Prueba. Debemos probar las condiciones dadas en la denicin 7. Sea o =
// [ / H, / 1 y sean r, j o, entonces r = // y j = /
0
/
0
para algn
/, /
0
H y /, /
0
1. Como G es abeliano, tenemos que rj = ///
0
/
0
= (//)(//
0
),
ya que H y 1 son subgrupos, de donde //
0
H y //
0
1, por lo tanto rj o y
o es cerrado bajo esta operacin, lo que nos lleva a concluir que es clausurativa.
Como H y 1 son subgrupos, c H y c 1 entonces c = cc o por lo tanto
tenemos elemento identidad. Finalmente para r = //, tenemos que /
1
H
y /
1
1 porque H y 1 son subgrupos, entonces /
1
/
1
o y como G es
abeliano, /
1
/
1
= /
1
/
1
= (//)
1
= r
1
, entonces el inverso de r esta en o,
es decir se tiene elemento inverso, por tanto al cumplirse la denicin 7, o es un
subgrupo.
Ejercicio 10 Muestre que si a G, donde G es un grupo nito con identidad c,
entonces existe : Z
+
tal que a
n
= c.
Prueba. Si G tiene : elementos, entonces los elementos a, a
2
, a
3
, , a
m+1
no
pueden ser todos diferentes, entonces a
i
= a
j
para algun i < ,. Entonces multi-
plicando por a
1
tenemos que c = a
ji
, entonces podemos tomar i , como :,
teniendo asi que a
n
= c.
Ejercicio 11 Sea H un subconjunto nito no vaco de un grupo G cerrado bajo
la operacin binaria de G. Muestre que H es un subgrupo de G.
Prueba. Sea a H y sea H con : elementos, entonces los elementos a, a
2
, a
3
,
, a
n+1
estn todos en H ya que H es cerrado bajo la operacin, como ya vimos en
el ejercicio anterior no pueden ser todos diferentes, de donde a
i
= a
j
para algn
i < ,, entonces multiplicando por a
1
se muestra que c = a
ji
y por lo tanto
c H y tambien a
1
H ya que a
1
= a
ji1
, con lo que se muestra que H es
un subgrupo de G.
15
Grupos Ccliclos
Teorema 10 Sean (G, +) un grupo y a G. Entonces H = a
m
[ : Z < G
y adems H es tal que ":i a o y o < G, entonces H _ o". Es decir, H es el
subgrupo ms pequeo de G, que contiene a a.
Denicin 10 El subgrupo H del teorema 10 se llama el subgrupo cclico gener-
ado por a y suele notarse as:
H = a = a
n
[ : Z
Un grupo G se dice cclico, si G = a para algn a G.
Teorema 11 Todo grupo cclico es abeliano.
Teorema 12 Si : es un entero positivo y : es cualquier entero, entonces existen
enteros unicos y r tal que : = : + r y 0 _ r < :.
Teorema 13 Un subgrupo de un grupo cclico es cclico.
Teorema 14 Sean r y : dos enteros positivos. El generador d positivo del grupo
cclico H = :r + :: [ :, : Z es el mximo comn divisor (mcd) de r y :. Se
escribe d = :cd(r, :).
Teorema 15 Sea G un grupo cclico con generador a. Si el orden de G es innito,
entonces G es isomorfo a Z, + . Si G tiene orden nito :, entonces G es isomorfo
a Z
n
, +
n
.
Teorema 16 Sea G un grupo cclico con : elementos y generado por a. Sea / G
y sea / = a
s
. Entonces / genera un subgrupo cclico H de G que contiene :,d
elementos, donde d es el :cd(:, :). Tambien, a
s
=

a
t

si y solo si :cd(:, :) =
:cd(t, :).
Ejercicio 12 Sea G un grupo cclico con generador a, y sea G
0
un grupo iso-
morco a G. Si c : G G
0
es un isomorsmo, muestre que, para todo r G,
c(r) esta determinado por c(a). Esto es, si c : G G
0
y c : G G
0
son dos
isomorsmos tal que c(a) = c(a), entonces c(r) = c(r) para todo r G.
Prueba. Recordemos la propiedad de los homomorsmos c(a/) = c(a)c(/) y ex-
tendiendola por induccin tenemos, c(a
n
) = (c(a))
n
para todo : Z+. Sabemos
que c(a
0
) = c(c) = c
0
. La ecuacin c
0
= c(c) = c(aa
1
) = c(a)c(a
1
) nos mues-
tra que c(a
1
) = (c(a))
1
. Si tomamos esta ultima ecuacin y la extendemos por
induccin, vemos que c(a
n
) = (c(a))
n
para todos los enteros negativos :.
Como G es cclico con generador a, esto signica que para todo q = a
n
G,
c(q) = c(a
n
) = [c(a)]
n
, este ultimo resultado muestra que el valor de c(a) esta
completamente determinado.
16
Ejercicio 13 Sean r y : enteros positivos. Muestre que :r + :: [ :, : Z es
un subgrupo de Z.
Prueba. La ecuacin (:
1
r + :
1
:) + (:
2
r + :
2
:) = (:
1
+ :
2
)r + (:
1
+ :
2
):
muestra que el conjunto es cerrado bajo la adicin. Es claro que 0 esta en el
conjunto ya que 0r + 0: = 0. Por ultimo [(:)r + (:):] + (:r + ::) = 0 nos
muestra que el conjunto contiene inverso para cada elemento. Con lo que queda
demostrado que es un subgrupo de Z.
Grupos de Permutaciones
Primero recordemos que una permutacin de un conjunto o es una biyeccin de
o sobre o. Sea ) una permutacin ) : o o y denotando con )(r), entonces la
permutacion toma la forma
) =

1 2 3 r :
)(1) )(2) )(3) )(r) )(:)

Teorema 17 Sea un conjunto no vaco y sea o

A
la colecin de todas las per-
mutaciones de . Entonces o
A
es un grupo bajo la multiplicacin de permuta-
ciones.
Denicin 11 Sea un conjunto nito 1, 2, 3, ..., : . El grupo de todas las
permutaciones de es llamado el grupo simtrico de : elementos y es denotado
por o
n
. o
n
tiene :! elementos.
Teorema 18 (Teorema de Cayley) Todo grupo es isomorfo a un grupo de per-
mutaciones.
Ejercicio 14 Muestre que o
n
es un grupo no abeliano para : _ 3.
Prueba. Sea : _ 3 y sea j o
n
denida por j(1) = 2, j(2) = 3, j(3) = 1, y
j(:) = : para 3 < : _ :. Sea j o
n
denida por j(1) = 1, j(2) = 3, j(3) = 2
y j(:) = : para 3 < : _ :. Entonces jj ,= jj entonces o
n
no es conmutativo,
por tanto no es abeliano.
Ejercicio 15 Sea G un grupo. Probar que la permutacin j
a
: G G, donde
j
a
(r) = ra para a G y r G forma un grupo isomorfo a G.
17
Prueba. Si j
a
(r) = j
a
(j), entonces ra = ja y r = j, entonces j
a
es uno a uno,
de donde j
a
(ra
1
) = ra
1
a = r, vemos que j
a
mapea G sobre G, por lo tanto
j
a
es una permutacin del conjunto G, con lo que j
a
es una permutacin de G.
Sea G
00
= j
a
[ a G . Por otro lado sean a, / G, tenemos que (j
a
j
b
)(r) =
j
a
(j
b
(r)) = j
a
(r/) = r/a = j
ba
(r), lo que muestra que G
00
es cerrado bajo la
multiplicacin de la permutacin, como j
e
es la permutacin identidad y j
a1
j
a
=
j
e
, vemos que G
00
es un subgrupo del grupo o
G
de todas las permutaciones de G.
Sea c : G G
00
denida como c(a) = j
a
1
;
es claro que c es uno a uno y mapea G
sobre G
00
. De la ecuacin j
a
j
b
= j
ba
que enunciamos anteriormente se desprende
c(a/) = j
(ab)
1 = j
b
1
a
1 = j
a
1j
b
1 = c(a)c(/) lo cual es precisamente la
condicin de ser homomorfo, por lo tanto c es un isomorsmo de G sobre G
00
donde j
a
(r) = ra para a G y r G forma un grupo isomorfo a G.
18
Part II
Teoremas de Sylow
19
21
Teoremas de Sylow
Peter Ludwig Mejdell Sylow naci el 12 de diciembre de 1832 en Cristiana (actual
Oslo) y muri el 7 de septiembre de 1918 en la misma ciudad. Toda la fama
de Sylow recae en un artculo de 10 pginas publicado en 1872. Se titulaba
Thormes sur les groupes de substitutions y se public en los Mathematische
Annalen, Volume 5 (pginas 584-594), donde aparecen los tres teoremas famosos
de Sylow.
Antes de presentarlos debemos introducir algunas deniciones previas.
Denicin 12 Sea (G, +) un grupo nito, j un nmero primo. Un subgrupo de
orden j
n
, tal que j
n
[ o(G) y j
n+1
- o(G) es llamado un j subgrupo de Sylow de
G.
Teorema 19 (Teorema de Cauchy) Sea (G, +) un grupo nito y j un nmero
primo, tal que j [ o(G), entonces (G, +) posee un elemento de orden j.
Denicin 13 Sea j un nmero primo. Un grupo (G, +) se dice un j grupo, si
y slo si el orden de todo elemento de G es una potencia de j.
Denicin 14 Sean a, / elementos de un grupo G; a se dice un conjugado de /
si y slo si existe c G, tal que / = c
1
ac; este hecho lo notaremos con a ~ /.
Teorema 20 (Primer Teorema de Sylow) Sea o(G) = :. Si j
r
[ :, entonces
G posee un subgrupo de orden j
r
, j nmero primo.
Teorema 21 (Segundo Teorema de Sylow) Si G es un grupo nito y j un
nmero primo tal que j divide a o(G), entonces dos cualesquiera j subgrupos de
Sylow de G son conjugados.
Teorema 22 (Tercer Teorema de Sylow) Si G es un grupo nito y j es nmero
primo, tal que j divide a o(G), entonces para un j subgrupo de Sylow 1 de G,
se tiene:
1. :
p
= nmero de j subgrupos de Sylow de G =
o(G)
o(N(K))
, o sea que :
p
divide
a o(G).
2. :
p
=
o(G)
o(N(K))
= 1 (mdulo p).
Ejercicio 16 Sea H un subgrupo de un grupo G. Muestre que G
H
=

q G [ qHq
1
= H

es un subgrupo de G.
22
Prueba. Sean a, / G
H
, entonces aHa
1
= H y /H/
1
= H, de donde
(a/)H(a/)
1
= a(/H/
1
)a
1
= aHa
1
= H y entonces a/ G
H
, por lo que
se cumple la clausuratividad. Para todo / H, c/c
1
= c/c = / entonces
cHc
1
= H por lo que c G
H
teniendo elemento identico. Por ltimo, sea
a G
H
, entonces aHa
1
= H, por lo tanto H = cHc = (a
1
a)H(a
1
a) =
a
1
(aHa
1
)a = a
1
Ha, entonces a
1
G
H
, de donde G
H
es un subgrupo de G.,
entonces G
H
=

q G [ qHq
1
= H

es un subgrupo de G.