Documente Academic
Documente Profesional
Documente Cultură
Daniel Buitrago
danielbuitrago1@yahoo.com
ndice general
1. Preeliminares de Estructuras Algebraicas
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
15
15
16
23
25
29
31
34
vi
NDICE GENERAL
3.3. Grupos Cclicos . . . . . . . . . . . . . . . . . . . . . . . . . . 74
3.4. Aplicaciones de los teoremas de grupos nitos . . . . . . . . . 89
3.4.1. Grupos Abelianos Finitos . . . . . . . . . . . . . . . . 90
3.4.2. El Teorema Fundamental de los Grupos Abelianos Finitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
4. Grupos Especiales
95
109
Prlogo
La Teora de Grupos es un rea de la Matemtica que cobra cada vez ms
relevancia en el quehacer cientco actual. Sus aplicaciones a la Fsica Cuntica, a la Cristalografa, a la Qumica, a la Biologa y a la misma Matemtica,
la convierten en una esencial herramienta de investigacin. Una de las ms
importantes y hermosas caractersticas de la Teora de Grupos es que, como teora, es autocontenida. De esta manera, para la demostracin de las
proposiciones y teoremas no se necesitan argumentos ad hoc, construcciones
"intuitivas" ni acudir a supuestos o resultados de otras reas o teoras. Todos
los resultados se desprenden completamente de las deniciones iniciales o de
proposiciones que se deducen de stas. Convirtindola en uno de los cuerpos
lgicos ms robustos y slidos de la Matemtica. De ah el papel fundamental
que ocupa en el lgebra Abstracta, y en la Matemtica moderna, donde ha
demostrado ser un rea de investigacin an activa.
La presente obra es una propuesta para exponer la Teora de Grupos.
Se ha organizado de forma deductiva, partiendo de los resultados generales,
vlidos para todos los tipos de grupos y llegando a aquellos resultados especcos bsicos de cada tipo de grupo particular. Aunque no se alcanzan a
abarcar todos los tipos de grupos, se tocan aquellos cuyo uso es ms comn
con breves introducciones que pretenden estimular la consulta independiente
del lector interesado. El aporte ms novedoso de esta propuesta es el nfasis en la claridad de la explicacin de los distintos conceptos. A tal punto,
que en ciertas ocasiones se utiliz una simbologa indita que facilitara el
proceso de abstraccin y la asimilacin de propiedades sin riesgo a caer en
analogas inconscientes que pudieran llevar a deducciones equivocadas. Algunas demostraciones inclusive se han reconstrudo paso a paso con el objeto de
ejercitar al lector, por medio de la ejemplicacin, en el rigor y en el esquema
de razonamiento utilizado en las demostraciones del lgebra Abstracta con
la meta de que as se disponga de una plataforma idnea para que ste pueda
dar, si as lo desea, sus primeros pasos hacia los desarrollos tericos de la
materia.
Captulo 1
Preeliminares de Estructuras
Algebraicas
El estudio de la Teora de Grupos inicia de la forma ms elemental posible:
Con un conjunto de elementos cualquiera que, eso s, supondremos que no
es vaco. Debido a la generalidad de esta premisa inicial, podemos imaginar
un conjunto de rboles, personas, genes, clulas, partculas subatmicas, o
cualquier tipo de objetos. Acto seguido, hay que pensar en una forma de
relacionar los elementos de ese conjunto y darle un nombre al resultado de
esa relacin. En el colegio por ejemplo, se habla de relacionar los nmeros 3 y
5 con el smbolo + y al resultado se le denomina 8. Pero ese no es el nico tipo
de relacin existente en la naturaleza. Si nuestro conjunto es una coleccin de
perros de raza pura Golden Retriever y denimos la relacin entre un perro
macho y una hembra como un apareamiento efectivo, podemos decir que el
resultado de la misma ser un cachorro que adems, ser tambin un Golden
Retriever. Este es un tipo de relacin especca en la que tenemos la fortuna
de que su resultado nuevamente es un elemento del conjunto, ya que nuestro
cachorro puede considerarse de la misma raza. Sin embargo tambin pueden
existir relaciones cuyo resultado no pertenezca al conjunto. Si se tiene como
conjunto, digamos vasos de jugos de frutas y nuestra relacin entre dos jugos
dados es preparar en un nuevo vaso una mezcla de ambos, no se podr admitir
que la nueva bebida sea el jugo de alguna fruta. De esta manera, la forma en
que se dena la relacin entre los elementos de un conjunto debe considerar
esta posibilidad y hablar de un segundo conjunto a donde pertenecern los
1
b)
3
Hay que resaltar que ya se habla especcamente de una operacin en
un conjunto y que esto se reeja en el hecho de que para todo a; b 2 A, se
debe tener que (a b) 2 A. Esto se conoce tambin como clausuratividad o
cerradura bajo . Esta es la situacin particular en la que el resultado es nuevamente un elemento del mismo conjunto de los elementos que se operaron.
Ejemplo 2 Sea el conjunto N con la operacin
denida por
: (a; b) ! (a + b)
En otras palabras, la suma usual de nmeros naturales. En efecto se puede
observar que para cualesquiera a; b 2 N se tiene que (a + b) 2 N. Es decir,
la suma de dos nmeros naturales da como resultado siempre un nmero
natural. Luego es una operacin binaria en N.
Ejemplo 3 Sea el conjunto N con la operacin
: (a; b) ! (a
denida por
b)
denida por
: (a; b) ! ab
Esto es, la multiplicacin usual de nmeros enteros. Se puede observar que
es una operacin binaria en Z porque el producto de dos nmeros enteros
cualesquiera da como resultado otro nmero entero.
1.1.
Conmutatividad:
Algunas operaciones binarias en un conjunto tienen ciertas caractersticas
de inters. Observemos por ejemplo que en el conjunto R de los nmeros reales
se cumple que para cualesquiera x; y nmeros reales,
x+y =y+x
Esto es cierto tambin por ejemplo, en el conjunto Z y la multiplicacin
usual de enteros. Es decir, para cualesquiera nmeros enteros a; b se cumple
ab = ba
Vemos pues que esta caracterstica comn puede aparecer en conjuntos distintos con operaciones distintas. Nos interesa entonces estudiar estas
propiedades comunes a ciertas operaciones binarias.
1 3
4 7
5y4
5
5 9
11 13
tal
(a b) c = a (b c)
Que lo dice la siguiente denicin.
Denicin 5 (Operacin asociativa) Sea A un conjunto no vaco. Una
operacin binaria en A se denomina asociativa si se cumple que
(a b) c = a (b c)
Para todo a; b; c 2 S.
Ejemplo 8 De algunos resultados en Teora de Nmeros se conoce que en
el conjunto Z la operacin de suma usual + es asociativa.
2 de
es el elemento neutro de M2
en M2 2 , se tiene que
2
a
4
c
2
a
bajo + ya que dada cualquier matriz 4
c
5+e =
d
=
5
d
2 3 2 3
a b
0 0
4 5+4 5
c d
0 0
3
2
a+0 b+0
5
4
c+0 d+0
2 3
a b
4 5
c d
2
3
0+a 0+b
4
5
0+c 0+d
2 3 2 3
0 0
a b
4 5+4 5
0 0
c d
2 3
a b
e+4 5
c d
=e=a
q
q
=1=
p
p
p
q
11
Esto es, pq = pq
. Y teniendo en cuenta que el racional 1 hace el papel de
elemento neutro, se concluye que en (Qx ; ) existen inversos.
Ejemplo 13 Supongamos que en el plano cartesiano hay un tringulo equiltero con ortocentro sobre el origen y con una de sus alturas sobre el eje
y. El tringulo se puede rotar 90 grados en direccin de las manecillas del
reloj o en direccin contraria. A una rotacin en direccin de las manecillas
del reloj la denotaremos por r y a una en direccin contraria por l, mientras
que a la rotacin nula (i.e, no rotarlo en ninguna direccin) por e. Cuando
se rote ms de una vez lo expresaremos con coecientes enteros positivos;
De esta manera, si queremos rotarlo 3 veces en direccin de las manecillas
del reloj (i.e, 270 grados) lo escribimos 3r. Llamemos al conjunto de estas
rotaciones T . Es decir, T = f: : : ; 3l; 2l; l; e; r; 2r; 3r; : : :g. Ahora denamos la
operacin : T T ! T como
: (a; b) ! a b
Es decir, al tringulo aplicarle la rotacin a y posteriormente la rotacin b.
Bajo estas condiciones podemos observar que si al tringulo lo rotamos,
digamos, 180 grados en direccin de las manecillas del reloj y posteriormente
lo rotamos los mismos 180 grados en direccin contraria a las manecillas del
reloj, el tringulo volver a su posicin original. Es decir, ser como si nunca
se hubiera rotado en ninguna direccin. Este proceso lo podemos escribir como
2r 2l = e
Adems, hubiera ocurrido lo mismo si lo hubieramos rotado primero 180
grados en direccin contraria a las manecillas y luego en direccin de las
manecillas los mismos 180 grados. Esto es,
2l 2r = e
De donde se concluye que
2r 2l = e = 2l 2r
Es sencillo ver que esto se cumple para cualquier rotacin del conjunto T .
En otras palabras, para toda rotacin 2 T , existe una rotacin 1 2 T tal
que
1
=e= 1
1.2.
Ejercicios
ij = k, jk = i, ki = j, ji =
k, kj =
i, ik =
1.2 EJERCICIOS
13
Captulo 2
Grupos
2.1.
15
16
2.2.
CAPTULO 2 GRUPOS
Denicin Formal
Veamos entonces la clasicacin de las estructuras algebraicas conformadas por un conjunto no vaco G y una operacin binaria en G.
Denicin 8 (Grupoide o Magma) Una pareja ordenada (G; ) conformada por un conjunto no vaco G y una operacin binaria
cerrada, se
denomina grupoide o magma.
Denicin 9 (Semigrupo) Una pareja ordenada (G; ) conformada por
un conjunto no vaco G y una operacin binaria cerrada que cumple con
G1: g1 (g2 g3 ) = (g1 g2 ) g3 Para cualesquiera g1 ; g2 ; g3 2 G
Se denomina semigrupo.
Denicin 10 (Monoide) Una pareja ordenada (G; ) conformada por un
conjunto no vaco G y una operacin binaria cerrada que cumple con
G1: g1 (g2 g3 ) = (g1 g2 ) g3 Para cualesquiera g1 ; g2 ; g3 2 G
G2: Existe e 2 G tal que para todo g 2 G se cumple que g e = g = g e
Se denomina monoide.
Denicin 11 (Grupo) Un Grupo es una pareja ordenada (G; ) conformada por un conjunto no vaco G y una operacin binaria cerrada
que
cumplen con las siguientes propiedades:
G1: g1 (g2 g3 ) = (g1 g2 ) g3 Para cualesquiera g1 ; g2 ; g3 2 G.
G2: Existe e 2 G tal que para todo g 2 G se cumple que g e = g = g
G3: Para todo g 2 G existe g 1 2 G tal que g g 1 = e = g 1 g.
e.
Denicin 12 (Grupo Conmutativo o Abeliano) Un Grupo Conmutativo o Abeliano es una pareja ordenada (G; ) conformada por un conjunto
no vaco G y una operacin binaria cerrada que cumplen con las siguientes
propiedades:
17
e.
Debemos recordar que la idea de los Grupos es abarcar los conjuntos con
operaciones que cumplen ciertas propiedades (a saber G1, G2 y G3 de la
denicin) bajo un mismo esquema y lenguaje. As que cualquier pareja que
cumpla con dichos axiomas es un Grupo sin importar si se trata de nmeros
enteros, reales, complejos, o siquiera si se trata de nmeros!
Los Grupos que cumplen con la conmutatividad en su operacin reciben
un nombre especial en honor al matemtico noruego Niels Henrik Abel (18021829).
Ejemplo 14 La pareja (Z; ) conformada por el conjunto de los nmeros
enteros junto con la operacin de multiplicacin usual entre enteros cumple
con G1 y G2 haciendo e = 1 (vericarlo). Luego es un grupoide, un semigrupo
y un monoide.
Ejemplo 15 La pareja (Z; +) conformada por el conjunto de los nmeros
enteros junto con la operacin de suma usual entre enteros es un Grupoide,
Semigrupo, Monoide, Grupo y Grupo Conmutativo. (vericarlo)
Ejemplo 16 Sea Z = fx 2 Z j x 6= 0g y la operacin de multiplicacin
usual entre enteros. La pareja (Z ; ) NO es un grupo, ya que cumple con
G1 y G2 haciendo e = 1. Sin embargo en Zx no hay elementos que hagan el
papel de elementos inversos, lo que incumple con G3. Por lo que (Z ; ) es
nicamente un monoide. (vericarlo)
A continuacin se muestra un procedimiento para comprobar que una
pareja sea un Grupo. Simplemente se trata de vericar que cumpla al pie de
la letra con los axiomas.
Ejemplo 17 Probar que la pareja (Q; ) conformada por el conjunto de los
nmeros racionales junto con la operacin de suma usual entre racionales es
un Grupo.
18
CAPTULO 2 GRUPOS
Solucin 2 En este caso especco se utilizan las propiedades de las estructuras (Z; +) y (Zx ; ) enunciadas en los ejemplos anteriores. Tenemos que
el conjunto Q es no vaco (ya que al menos Z est en Q). Veamos que la
operacin es cerrada:
Sean ab ; dc nmeros racionales. Al sumarlos,
a d+b c
a c
=
b d
b d
donde + y representan la suma y la multiplicacin usual entre nmeros enteros que, como sabemos son operaciones cerradas en los enteros, por lo que
el numerador del resultado anterior es un nmero entero as como el denominador (este ltimo distinto de cero porque tanto b como d son distintos de
cero). Esto hace que la fraccin como tal sea un nmero racional. Retomando, se concluye entonces que al sumar dos nmeros racionales cualesquiera
se obtiene otro nmero racional, luego la operacin es cerrada.
Debemos vericar ahora que la operacin est bien denida (ver apndice
a0
c0
1). Supongamos que ab
y dc
. Luego
b0
d0
a b 0 = b a0
(2.1)
c d0 = d c0
(2.2)
19
Ahora,
a
b
c
a d+b c
=
d
b d
y
a0
b0
c0
a0 d0 + b0 c0
=
d0
b0 d0
Al realizar el producto
(a d + b c) (b0 d0 ) =
=
=
=
(a d) (b0 d0 ) + (b c) (b0 d0 )
(a b0 ) d d0 + b (c d0 ) b0
b a0 d d0 + b d c0 b0 usando (2.1) y (2.2)
(b d) (a0 d0 + c0 b0 )
Es decir,
(a d + b c) (b0 d0 ) = (b d) (a0 d0 + c0 b0 )
o lo que es lo mismo,
a d+b c
b d
a0 d0 + b0 c0
b0 d0
20
CAPTULO 2 GRUPOS
a
b
c
d
e
=
f
=
=
=
=
=
=
a d+b c
e
b d
f
(a d + b c) f + (b d) e
(b d) f
(a d) f + (b c) f + (b d) e
(b d) f
a (d f ) + b (c f ) + b (d e)
b (d f )
a (d f ) + b ((c f ) + (d e))
b (d f )
(c f ) + (d e)
a
b
d f
a
c
e
b
d f
a
b
c
d
e
a
=
f
b
c
d
e
f
21
a
b
e =
=
=
=
=
=
=
=
=
c
d
a c
b d
a d+b c
b d
a d+0
b d
a d
b d
a
a d
a
(recordar que
pertenece a la misma clase que )
b
b d
b
d a
d b
0+d a
d b
c b+d a
d b
c a
d b
a
b
a
b
h
i n
o
1
a
= xy 2 Q j xy
2 Q sea ab
.
b
i
1
2 Q y adems, siendo dc representante
22
de
CAPTULO 2 GRUPOS
h
a
b
,
a
b
a
b
=
=
=
=
=
=
=
=
=
=
a c
b d
a d+b c
b d
b c+b c
b d
0
b d
e
0
d b
c b + ( c b)
d b
c b+d a
d b
c a
d b
a 1 a
b
b
23
2.3 EJERCICIOS
2.3.
Ejercicios
1. Comprobar que la pareja (R; +) del conjunto de los nmeros reales bajo
la suma usual entre nmeros reales es un Grupo Abeliano.
2. Utilizando los resultados vistos en la seccin junto con el del ejercicio
anterior, comprobar que la pareja (C; u) del conjunto de los nmeros
complejos bajo la suma usual entre nmeros complejos es un Grupo
Abeliano.
3. Determinar si (Z+ ; ) donde Z+ = fx 2 Z j x > 0g y es la multiplicacin usual entre enteros es un Grupo. Si lo es, demostrarlo. Si no lo
es, decir qu axioma (o axiomas) no cumple junto con su respectivo
contraejemplo.
o
n
= [0] y
4. Determinar si (Q ; ) es un Grupo, donde Q = xy 2 Q j xy 2
es la multiplicacin usual entre racionales.
5. Determinar si (R ; ) es un Grupo, donde R
multiplicacin usual entre reales.
= R
f0g y
es la
f0 + 0ig y es la
8. Determinar cules de las siguientes estructuras son Grupoides, Semigrupos, Monoides, Grupos o Grupos Abelianos. Recuerde que debe dar
una vericacin detallada de los axiomas que se cumplan y los contraejemplos de los que no se cumplan:
a) (Z; ) donde es la operacin de resta usual entre nmeros enteros.
b) (R ; ) donde
es la operacin de divisin usual entre nmeros
reales.
c) (M2 2 ; ) donde
es la operacin de multiplicacin usual entre
matrices.
24
CAPTULO 2 GRUPOS
d) (Q0 ; ) donde Q0 =
eracin se dene como
a
b
a
b
2 Q j a 2 Z+ [ f0g ^ b 2 Z+
y la op-
c
a+c
=
d
b+d
a b
2
denida
2.4.
25
Propiedades Bsicas
A continuacin se presentan las propiedades ms elementales de los Grupos que se desprenden nicamente de los axiomas de su denicin y que sern
fundamentales para desarrollos posteriores.
Como primera medida, hemos visto en el ejemplo 18 que la pareja (Z; +)
es un Grupo, y de manera intuitiva se encuentra que su elemento neutro
bajo + es e = 0. Sin embargo, no hay nada que nos diga que no exista otro
entero que haga el papel de elemento neutro y esto nos lleva a la pregunta
cuntos elementos neutros puede tener un grupo? La siguiente proposicin
nos da la respuesta:
Proposicin 1 Sea (G; ) un Grupo. Entonces su elemento neutro es nico.
Demostracin. Supongamos con nes de contradiccin que no es nico, es
decir, que hay ms de un elemento neutro. Sean entonces e1 y e2 elementos
neutros distintos de (G; ). Si se hace g = e1 , se tiene entonces por G2 que
e1 e2 = g e2
= g (por la neutralidad de e2 )
= e1
Es decir,
e1 e2 = e1
(2.3)
(2.4)
26
CAPTULO 2 GRUPOS
que nos indica que los elementos neutros son el mismo, que contradice la
suposicin de que haba ms de un elemento neutro distinto. Conociendo
ahora que dicha suposicin nos lleva a una contradiccin, se concluye entonces
que no puede haber ms de un elemento neutro, id est, el elemento neutro
de un Grupo es nico.
Pasemos ahora a observar los elementos inversos donde nos podemos hacer
una pregunta similar. Dado un elemento g de un Grupo (G; ), por el axioma
G3 existir g 1 tambin en (G; ) que cumple con g g 1 = e. Pero, dicho
elemento inverso g 1 ser nico? Como lo explica la siguiente proposicin,
en efecto lo es.
Es decir que
g1 1 = g2 1
lo que indica que los elementos inversos que se asumieron diferentes son el
mismo, por lo que suponer que el elemento inverso de g no es nico nos lleva
a una contradiccin. Se concluye entonces que es nico.
Veamos ahora otros resultados un poco ms triviales pero no menos importantes.
27
=g
g g 1
e
g 1 g
h g
Es decir,
h g=e=g h
por lo que existe un elemento g en G que hace el papel de elemento inverso
para h y por la proposicin anterior, dicho inverso es nico, por lo que g es
el elemento inverso de h. En smbolos,
g = h
= g
g= g
o lo que es lo mismo,
28
CAPTULO 2 GRUPOS
(g g1 ) =
!
!
!
g 1 (g g2 )
g 1 g g1 = g 1 g g2 (Por axioma G1)
e g1 = e g2 (Por axioma G3)
g1 = g2 (Por axioma G2)
(2.5)
29
2.5 SUBGRUPOS
Por lo tanto,
(g1 g2 ) h = e
! g1 (g2 h) = e (Por la asociatividad de
g1 1 e
g1 1 g1 g2 h = g1 1 (Por la neutralidad de e)
e g2 h = g1 1 (Por axioma G3)
(e g2 ) h = g1 1 (Por axioma G1)
g2 h = g1 1 (Por axioma G2)
g2 1 g1 1
g2 1 g2 h = g2 1 g1 1 (Usando axioma G1)
e h = g2 1 g1 1 (Por axioma G3)
h = g2 1 g1 1 (Por axioma G2)
= g2 1 g1 1
2.5.
Subgrupos
30
Denicin
vaco de G.
es, : H
subgrupo de
CAPTULO 2 GRUPOS
13 (Subgrupo) Sea (G; ) un grupo y H un subconjunto no
Si H junto con la misma operacin de G restringida a H (esto
H ! H) es a su vez un grupo, entonces (H; ) se denomina
(G; ).
31
2.5 SUBGRUPOS
Teorema 1 (Criterio del subgrupo) Sea (G; ) un grupo y H subconjunto de G. (H; ) es subgrupo de (G; ) si y slo si cumple con:
i) H es no vaco.
ii) Para cualesquiera h1 ; h2 elementos de H se tiene que h1 h2 1 2 H.
Demostracin. Prueba directa:
Si (H; ) es subgrupo de (G; ), se tiene por denicin de subgrupo que
(H; ) es a su vez un grupo y por lo tanto H es no vaco. Con esto se cumple
i). La condicin ii) se cumple gracias al axioma G3 que satisface (H; ) y al
hecho de que debe ser cerrada en H.
Prueba recproca:
Supongamos que (H; ) satisface i) y ii). Por la primera condicin podemos
tomar un elemento h1 en H y, por la segunda condicin, (haciendo h1 = h2 )
se tiene que h1 h1 1 = e 2 H. Por lo que (H; ) cumple con G2. Ahora que
sabemos que e y h1 pertenece a H, aplicamos la segunda condicin nuevamente para poder armar que e h1 1 = h1 1 2 H. Por lo que se cumple G3.
Ahora comprobemos la cerradura de la operacin sobre H. Sean h1 y h2 en
H. Debido a que se cumple G3 en (H; ), se tiene que h2 1 2 H. Si aplicamos
la condicin ii) a h1 y a h2 1 , obtenemos que
h1
h2 1
= h1 h2 2 H
(verifquese con proposicin 3). Finalmente, G1 se cumple porque lo satisfacen todos los elementos de G bajo la operacin . En especial, los elementos
de H. Por lo que se concluye que (H; ) es un grupo y por denicin, subgrupo
de (G; ).
2.5.1.
Subgrupos Normales
Ahora trataremos con unos tipos de subgrupos que son de especial importancia para la Teora de Grupos, llamados subgrupos normales. Pero para
hablar de ellos es necesario primero estudiar el concepto de operacin de un
32
CAPTULO 2 GRUPOS
elemento por un conjunto que, a grandes rasgos, se trata de tomar un elemento de un grupo G y operarlo con todos los elementos de un subconjunto
de G. Al conjunto de los resultados de estas operaciones lo llamaremos clase
o co-conjunto.
g j h 2 Hg
Proposicin 6 Sea (N; ) un subgrupo normal de (G; ) y (H; ) un subgrupo de (N; ). Entonces (H; ) es tambin subgrupo normal de (G; ).
33
2.5 SUBGRUPOS
bH)
cH =
=
=
=
=
((a b) H) cH
((a b) c) H
(a (b c)) H
aH (b c) H
aH (bH cH)
eH =
=
=
=
(a e) H
aH
(e a) H
eH aH
a 1H =
=
=
=
a a 1 H
eH
a 1 a H
a 1 H aH
34
CAPTULO 2 GRUPOS
2.5.2.
Existen numerosos tipos de subgrupos importantes en la Teora de Grupos. Algunos de ellos se estudiarn a lo largo de las distintas secciones, ya
que hacen parte de un campo especco de estudio. Otros, como los que se
vern a continuacin, tienen la ventaja de ser protagonistas en numerosas
aplicaciones en posteriores teoremas.
El Centralizador
Cuando estudiamos un grupo (G; ) y un subconjunto de G, que llamaremos A, encontramos que existen diferentes formas en como los elementos de
G interactan con los elementos de A. Por ejemplo, si A = e, vemos que
todos los elementos de G conmutan con A. Basndonos en esta idea, digamos ahora que A es un subconjunto arbitrario de G y denotemos por C el
conjunto de los elementos de G que conmutan con los elementos de A. En
smbolos se expresara:
C (A) = fg 2 G j g
a=a
gg para todo a 2 A
a=a
gg para todo a 2 G
35
2.5 SUBGRUPOS
Encontraremos tambin que (Z; ) es subgrupo de (G; ).
El Normalizador
s = sg
= x2Gjx=g
con h en H
36
CAPTULO 2 GRUPOS
2.6.
Homomorsmos e Isomorsmos
Como es usual en las diferentes teoras en Matemticas, una vez se dene el objeto matemtico que se va a estudiar, (en este caso los grupos) se
especican las funciones o mapeos entre ellos o la forma en que se pueden
relacionar dos o ms de stos objetos. Para el caso de los grupos, las funciones
se llaman homomorsmos. Homo del griego o o "mismo morfo del griego
o 'o "forma".
2
Denicin 17 (Homomorsmo entre grupos) Sean (G; ) y (G0 ; ) grupos y h : G ! G0 un mapeo tal que
h (a
b) = h (a)
h (b)
Ejemplo 24 Sea (Z; +) el grupo de los nmeros enteros bajo la suma usual
y (3Z; +) el grupo de los nmeros enteros mltiplos de 3 bajo la suma usual
entre enteros. El mapa h : (Z; +) ! (3Z; +) denido por
h : n ! 3n
es un homomorsmo.
Demostracin. Sean n; m nmeros enteros. Entonces,
h (n + m) = 3 (n + m)
= 3n + 3m
= h (n) + h (m)
37
Ejemplo 25 Sea (C [0; 1] ; ) el grupo de las funciones de variable real contnuas en el intervalo [0; 1] bajo la operacin
de suma usual (algebraica)
de funciones y (I [0; 1] ; +) el grupo de las primitivas de funciones de variable
real evaluadas de 0 a 1 bajo la operacin de suma de nmeros reales usual.
El mapa h : (C [0; 1] ; +) ! (I [0; 1] ; +) denido por
h : f (x) !
Z1
f (x) dx
es un homomorsmo.
Demostracin. Sean f; g 2 C [0; 1] luego se tiene que
h (f (x)
g (x)) =
Z1
Z1
(f (x)
g (x)) dx
f (x) dx +
Z1
g (x) dx
= h (f (x)) + h (g (x))
Ejemplo 26 Sea (R; +) el grupo de los nmeros enteros bajo la suma usual
y (R+ ; ) el grupo de los nmeros reales positivos bajo el producto usual. El
mapa h : (R; +) ! (R+ ; ) denido por
h (r) = ar
para algn real positivo a.
Demostracin. Sean r; s 2 R. Luego,
h (r + s) = ar+s
= ar as
= h (r) h (s)
38
CAPTULO 2 GRUPOS
39
Ejemplo 29 Sea h : (Z; +)! (2Z; +) el mapeo entre el grupo de los enteros
bajo la suma usual y los enteros pares bajo la misma operacin, denido por
h (n) = 2
m=2
!m=n
Y nalmente observemos que h es sobreyectivo, porque dado p en (2Z; +),
por ser nmero par se tendr que p = 2 x para algn entero x, por lo que
existe un entero en (Z; +) (a saber x) tal que
h (x) = p
Habiendo comprobado que existe un homomorsmo inyectivo y sobreyectivo
entre los grupos (Z; +) y (2Z; +), podemos decir que los mismos son isomorfos
o, lo que es lo mismo, que h es un isomorsmo.
40
CAPTULO 2 GRUPOS
eG )
h (eG )
Luego
h (eG ) = h (eG )
h (eG )
h (eG ) = (h (eG ))
(h (eG )
h (eG ))
h (eG )
h (eG )
41
h g
Luego
h (eG ) = h (g)
h g
h g
! (h (g))
eH = (h (g))
h (g)
h g
= (h (g))
= eH
h g
! (h (g))
=h g
! (h (g))
h (g)
h g
42
CAPTULO 2 GRUPOS
(h (g20 ))
(g20 )
= h (g10 )
h (g20 )
= h (g10 )
(h (g20 ))
lo que nos deja en posicin de aplicar el criterio del subgrupo a h [G0 ], con lo
que concluye la prueba.
Parte recproca:
Supongamos que g10 y g20 son elementos de G0 . Debido a que (h [G0 ] ; ) es
un grupo, para h (g20 ), que es un elemento de h [G0 ] existe su respectivo elemento inverso (h (g20 ))
(g20 )
h (g20 )
= h g10
(g20 )
(g20 )
es un
elemento de G0 y por el criterio del subgrupo, esto quiere decir que (G0 ; )
es un subgrupo de (G; ).
43
Demostracin. Por el lema 1 se tiene que eG 2 ker (h), luego ker (h) 6= ?.
Sean a; b 2 ker (h). Debido a que ker (h) es un subconjunto de G, existe
b 1 2 G. Luego,
h a b 1 = h (a) h b 1
Aplicando el lema 2 a h (b 1 ) se tiene que
= h (a)
(h (b))
(eH )
eH
Luego,
h a
= eH
g2 ) = (g1
g2 ) H
(g2 H)
(g2 )
44
CAPTULO 2 GRUPOS
del teore-
Concluyamos ahora con algunos aspectos que ocurren al estudiar los homomorsmos entre grupos y su relacin con el grupo cociente, llamados los
Teoremas del Homomorsmo en grupos, aunque tambin se pueden presentar
bajo ciertas condiciones, como isomorsmos, lo que les ha dado el nombre
alternativo de Teoremas del Isomorsmo:
Pero
(g2 K)) =
=
(gK) =
((g1 g2 ) K)
(g1 g2 )
(g1 )
(g1 K)
(g2 )
(g2 K)
45
Luego es un homomorsmo.
Veamos ahora que es sobreyectivo. Por hiptesis, dado a 2 G0 existe g 2 G
tal que
a = (g)
Y por denicin,
=
Luego
(gK)
es sobreyectivo.
Comprobemos la inyectividad:
Observemos que el kernel de
tales que
Para k 2 K. Luego
(gK) =
(k)
(g) =
(gK)
( (g))
46
CAPTULO 2 GRUPOS
: (H; ) ! (H= (H \ N ) ; )
(2.6)
(2.7)
vemos que (2.6) y (2.7) nos ponen en posicin de aplicar el Teorema Fundamental del Homomorsmo, permitindonos conclur que existe un isomorsmo
: (H= (H \ N ) ; ) ! (H; )
Observemos ahora que a su vez ((HN ) =N; ) es isomorfo a (H; ). El mapeo
jHN
(2.8)
h2 ) = (h1 h2 ) N
= h1 N h2 N
= ' (h1 ) ' (h2 )
47
Demostracin. Una vez ms la idea es ubicarnos en las condiciones adecuadas para poder aplicar el Teorema Fundamental del Homomorsmo a
los grupos involucrados. Empecemos por denir el mapeo h : (G; ) !
((G=N ) = (M=N ) ; ) por
h (g) = g (N= (M=N ))
Observemos que es un homomorsmo porque dados g1 ; g2 2 G tenemos que
h (g1
2.7.
1)
(G2 ;
2 ))
((G1 ;
1)
(G2 ;
2 ))
! (G1 ;
1)
(G2 ;
2)
48
CAPTULO 2 GRUPOS
(g1 ; g2 ) (g10 ; g20 ) = (g1
g10 ; g2
g20 )
(G2 ; 2 )
entre una colecentre dos elementos (g1 ; g2 ; : : :) y
1)
g10 ; g2
g20 ; : : :)
Notacin 3 Cuando las operaciones 1 ; 2 ; : : : han sido especicadas claramente o son iguales, la escritura (((G1 ; 1 ) (G2 2 )
) ; ) puede simplicarse usando ((G1 G2
) ; ).
G2
Gn ; )
49
g2
gn
e2
en ; )
n)
n grupos, (G1
G2
Gn ; ) ! (Gi ;
Gn ; )
i)
para todo i = 1; 2; : : : ; n.
Se puede vericar que es un homomorsmo porque dados (g1 ; g2 ; : : : ; gn )
y (g10 ; g20 ; : : : ; gn0 ) elementos de G1 G2
Gn se tiene que
'i ((g1 ; g2 ; : : : ; gn ) (g10 ; g20 ; : : : ; gn0 )) = ' (g1 1 g10 ; g2 2 g20 ; : : : ; gi i gi0 ; : : : ; gn
= gi i gi0
= 'i (g1 ; g2 ; : : : ; gn ) i 'i (g10 ; g20 ; : : : ; gn0 )
Luego (G1
G2
Gn ; ) y (Gi ;
i)
son homomorfos.
gn0 )
50
CAPTULO 2 GRUPOS
Teorema 6 Sea (G; ) un grupo y (N1 ; ) ; (N2 ; ) ; : : : ; (Nm ; ) m subgrupos normales de (G; ) tales que Ni \ Nj = e para i 6= j. Entonces
(N1 N2
Nm ; ) = (G; ) si y slo si G = N1 N2
Nm de forma
nica.
Demostracin. Parte directa:
De que existe un isomorsmo ' entre (N1 N2
Nm ; ) y (G; )
se deduce que dado un elemento cualquiera g de G existe un elemento
(n1 ; n2 ; : : : ; nm ) con ni 2 Ni tal que
g = ' (n1 ; n2 ; : : : ; nm )
= ' ((n1 ; e2 ; : : : ; em ) (e1 ; n2 ; : : : ; em )
= ' (n1 ; e2 ; : : : ; em ) ' (e1 ; n2 ; : : : ; em )
(e1 ; e2 ; : : : ; nm ))
' (e1 ; e2 ; : : : ; nm )
Sin embargo usando las proposiciones anteriores se tiene que ' (n1 ; e2 ; : : : ; em ) 2
N1 ; ' (e1 ; n2 ; : : : ; em ) 2 N2 ; : : : ; ' (e1 ; e2 ; : : : ; nm ) 2 Nm . Por lo que
G = N1 N2
Nm
Parte recproca:
Sea ' el mapeo denido por
' (n1 ; n2 ; : : : ; nm ) = n1
n2
nm
51
N2
Nm
n2
nm = n01
n02
n0m
g = g0
Sin embargo, como la representacin de g = n1 n2
nm = n01 n02
0
0
nm es nica, debe tenerse entonces que n1 = n1 ; n2 = n02 ; : : : ; nm = n0m .
Es decir,
(n1 ; n2 ; : : : ; nm ) = (n01 ; n02 ; : : : ; n0m )
Por lo que se concluye que ' es un isomorsmo.
Orden de un grupo
Al hablar del producto de dos o ms conjuntos es inevitable hacer alusin
a alguna idea de tamao de los conjuntos involucrados y del conjunto resultante del producto. Para este propsito, al menos por el momento, se puede
acudir al concepto de orden de un grupo, que parte de alguna forma de la
idea de cardinal de un conjunto en Teora de Conjuntos.
52
CAPTULO 2 GRUPOS
Demostracin. Para la prueba consideremos el nmero de posibles elementos de la forma (g1 ; g2 ; : : :) con g1 2 G1 ; g2 2 G2 ; : : :. El nmero de posibles
elementos que podemos poner en la primera componente es n1 = jG1 j. En la
segunda componente, n2 = jG2 j y as sucesivamente. Como una aplicacin
del principio de multiplicacin es sencillo deducir la conclusin. Los detalles
se dejan al lector.
Ejemplo 30 Como caso particular podemos mirar la adicin de vectores en,
digamos, R3 . Se trata del producto de tres grupos (R; +) y su operacin entre
vectores se dene obedeciendo la forma en como se estableci la operacin
para productos:
(a; b; c) + (a0 ; b0 ; c0 ) = (a + a0 ; b + b0 ; c + c0 )
2.8.
Ejercicios
2.8 EJERCICIOS
53
Captulo 3
Grupos Finitos
Hasta este punto se ha trabajado con grupos de conjuntos nitos e innitos de elementos indistintamente. Por ejemplo, el grupo (R; +) esta conformado por el conjunto R que es innito, mientras que el grupo (f0g ; +) presenta
un conjunto con un nico elemento. A partir de esta seccin se hace necesario
distinguir entre estos dos tipos de grupos, ya que existen propiedades que se
cumplen en uno de ellos y no en el otro y viceversa. En este propsito, la
nocin que nos ayuda es la de orden de un grupo, a partir de la cual surge la
idea de grupo nito.
Denicin 24 (Grupo nito) Sea (G; ) un grupo de orden nito. Entonces se dice que (G; ) es un grupo nito.
Antes de dar algunos ejemplos relevantes, recordemos algunas cosas de
las clases de Z mdulo n.
Dados a; b nmeros enteros, se dene la relacin de congruencia mdulo n y
denotada por como
a
b (mod n) si y slo si n j a
55
56
Sea [a] el conjunto de todos los nmeros enteros que sean congruentes con a
mdulo n. Esto es, [a] = fx 2 Z j a x (mod n)g luego [a] es una particin
de Z llamada clase de equivalencia mdulo n.1
Notacin 4 El conjunto de las clases de equivalencia mdulo n se denota
por Z=n.
Este conjunto ha sido objeto de amplio estudio, inclusive desde legendarios matemticos como A. M. Legendre y K. F. Gauss. En el caso de la
presente obra, nos limitaremos a observar lo que sucede con dicho conjunto
al dotarlo de una operacin de adicin entre clases.
Se dene la operacin de adicin entre clases
[a]
como
[b] = [a + b]
Esto es slo un repaso de las principales ideas de las clases mdulo n. Para un trato
ms completo y riguroso de este tema, el lector puede consultar cualquier libro de Teora
de Nmeros.
57
el conjunto [1], no puede estar ni en [0] ni en [2]. Al conjunto de estas tres
clases se le denota por Z=3 y, por lo que hemos visto anteriormente, (Z=3; )
es un grupo abeliano nito.
Denicin 25 (Orden de un elemento) Sea (G; ) un grupo y g un elemento de G. El orden de g se denota por jgj y representa el menor nmero
de veces que debe operarse consgo mismo para obtener el elemento neutro e.
Cuando dicho nmero no existe, decimos que el orden de g es 1.
g=e
[1]
[1] = [3]
= [0]
58
3.1.
[2] = [1 + 2]
= [3]
= [0]
59
60
3.2.
3.2.1.
Teorema de Lagrange
Demostracin. Observemos que si tomamos las clases de equivalencia formadas bajo la relacin denida anteriormente, tendremos que Hg = [g] para
cualquier g en G, ya que si x 2 [g] entonces
x
2H
=h
o lo que es lo mismo,
gk
Corolario 1 Sea (G; ) un grupo nito y (H; ) un subgrupo de ste. Entonces jG=Hj = jGj jHj.
62
Notacin 6 La expresin
k veces. i.e,
0
L
x = e,
i=1
1
L
k
L
i=1
x = x,
i=1
2
L
x=x
x,
i=1
3
L
x=x
x, etc. Y
i=1
1
L
= x 1,
i=1
2
L
= (x )
(x ),
3
L
= (x 1 )
(x 1 )
(x 1 ), etc. Bajo
i=1
i=1
g=e
i=1
i=1
i=1
i=1
i=1
q p
M
e=
(3.1)
i=1
i=1
i=1
i=1
sean distintos implica que hai tiene al menos n elementos. Esto es,
jhaij
i=1
i=1
n p+r
a =
i=1
i=1
np
r
M
i=1
p
n
M M
i=1
p
i=1
(e)
i=1
= e
=
i=1
r
M
i=1
r
M
i=1
r
M
i=1
r
M
i=1
i=1
i=1
i=1
64
y
r
L
i=1
a,
2
L
i=1
a,
3
L
a, : : : ,
i=1
nL1
i=1
a,
n
L
porque 0
i=1
h)
h)
h =
h =
h =
2
M
i=1
3
M
i=1
4
M
i=1
h2H
h2H
h2H
h 2 H para todo entero positivo k. (Esto puede demostrarse por induccin sobre k)
Sin embargo, H es nito, por lo que el orden de h debe ser nito (de lo
contrario entrara en contradiccin con la proposicin 16). Supongamos que
jhj = m. En la demostracin de la proposicin 15 vimos que si p > m,
entonces
p
a
M
M
h=
h para algn a < m
i=1
i=1
a
L
obtenemos
i=1
p
M
a
M
i=1
h=e=
i=1
i=1
p a
M
m
M
=e
i=1
obtenemos
1
m
M1
i=1
3.2.2.
Teorema de Cauchy
66
q
M
m
M CD (m; q)
p q
=
M CD (p q; q)
p q
=
q
= p
g =
(3.2)
i=1
teorema.
Estudiemos ahora la segunda alternativa suponiendo que p no divide a m.
Se tiene que la pareja (hgi ; ) es un grupo abeliano que adems es subgrupo
de (G; ). (Recordar la discusin al nal de la proposicin 15). Pero es un
subgrupo propio. Es decir, que no puede ser igual a (G; ) debido a que
precisamente p no divide a m y p por hiptesis debe dividir al orden de
(G; ). Esto implica que
j(hgi ; )j < j(G; )j
Ahora, por el corolario 1 del Teorema de Lagrange,
j(G= hgi ; )j = j(G; )j
j(hgi ; )j
O, lo que es lo mismo,
j(hgi ; )j j(G= hgi ; )j = j(G; )j
Es decir que p debe hacer parte de los divisores de alguno de los dos ordenes
j(hgi ; )j o j(G= hgi ; )j. Pero vimos que esto no es posible para j(hgi ; )j,
2
(hg2 i ; )
O, lo que es lo mismo,
j(hg2 i ; )j j((G= hgi) = hg2 i ; )j = j(G= hgi ; )j
Es decir que p debe hacer parte de los divisores de alguno de los dos ordenes
j(hg2 i ; )j o j((G= hgi) = hg2 i ; )j. Pero vimos que esto no es posible para
j(hg2 i ; )j, luego p debe ser divisor de j((G= hgi) = hg2 i ; )j.
De esta manera podemos construr una sucesin innita de subgrupos
abelianos distintos (G= hgi ; ) ; ((G= hgi) = hg2 i ; ) ; : : : de tal forma que
j(G= hgi ; )j > j((G= hgi) = hg2 i ; )j >
Y tales que p sea divisor de todos ellos, lo que es una contradiccin. Por lo
tanto, en todo grupo abeliano que tenga a un primo p como divisor de su
orden, debe existir siempre un elemento de orden p.
Observaremos ahora algunas consecuencias del Teorema de Cauchy sobre
los grupos abelianos nitos aplicando algunos resultados de los productos
entre grupos.
Lema 3 Sea (G; ) un grupo abeliano de orden nito. Si jgj = n entonces
jg 1 j = n para todo elemento g de G.
Demostracin. Se tiene que
g
Luego
n
M
i=1
=e
=e
68
n
M
n
M
i=1
=e
=e
i=1
n
M
!e
i=1
n
M
=e
i=1
=e
i=1
m
M
i=1
m
M
=e
i=1
m
M
e=e
i=1
m
M
g=e
i=1
m
M
g = e lo que contradice
i=1
x=e
i=1
x=e
i=1
m=
O
n=
k r
para algn entero positivo r
m
Ahora,
m
M
g=
i=1
g=
g=
m
M
i=1
k
n
M
M
i=1
r
n
g=
i=1
n
M
i=1
i=1
k r
i=1
m
M
i=1
m
M
m
M
m
M
i=1
M
i=1
g=e
(e)
70
m
M
g=e
i=1
bj = 1
jgj = ja
bj = m
jgj = ja
bj = n
en cuyo caso g 2 M N .
O
en cuyo caso g 2 M .
O
en cuyo caso g 2 N .
O
jgj = ja
bj = m n = M CM (m; n)
Con a 2 M y b 2 N . Es decir,
G = MN
La unicidad se sigue de suponer que existen a; a0 2 M y b; b0 2 N con
a 6= a0 y b 6= b0 tales que
a
b = g = a0
b0 Para algn g de G.
Luego
a
! a = a0
b = a0
! a = a0
b0
b0
b
es cerrada en N )
a=c
= (a0 )
a=e
Esto es,
a = a0 y b = b 0
Aplicando nalmente el teorema 6 se obtiene la conclusin pretendida.
Proposicin 18 Sea (G; ) un grupo abeliano nito y sea p un nmero
primo que divide a j(G; )j. Entonces (G; ) = (P Q; ). Donde P es tal
que jP j = pa con a > 0 y p no divide a jQj.
Demostracin. Sea n el orden de (G; ). Por hiptesis, n = pa m para
algn entero positivo m, con la propiedad adems de que M CD (m; pa ) = 1
(por qu?). Si se dene al conjunto P como aquel que contiene los elementos
de G con orden pa y a Q como aquel que contiene los elementos de G con
orden m, nos encontramos bajo las hiptesis de la proposicin 17 a partir de
la cual podemos conclur que
(G; ) = (P
Q; )
72
3.2.3.
Teoremas de Sylow
Se ha mostrado un resultado bastante til, que es el Teorema de Lagrange, a partir del cual podemos decir que el orden de un subgrupo divide
al orden del grupo. Un resultado que nos permitiera hallar subgrupos a partir del orden de un grupo sera tambin muy apreciable. En este sentido las
proposiciones anteriores utilizando el Teorema de Cauchy representaron un
gran avance. Finalmente se obtuvieron una serie de enunciados conocidos
como Teoremas de Sylow, en honor al matemtico noruego Peter Ludvig
Mejdell Sylow (1832-1918) que caracteriza completamente este tipo importante de grupos nitos. En un primer momento enfocaremos nuestra atencin
a algunas importantes consecuencias de estos teoremas. Ms adelante, observaremos que estas grandiosas herramientas, combinadas con los resultados
hallados en los grupos cclicos, desembocarn en resultados de gran magnitud, como el Teorema Fundamental de los Grupos Abelianos Finitos.
Denicin 27 (p-subgrupo de Sylow) Sea (G; ) un grupo de orden pa
m donde p es un nmero primo, m es un entero positivo no divisible por p y
a es un nmero entero mayor que cero. A los subgrupos de (G; ) de orden
pa se les denomina p-subgrupos de Sylow.
= pa m gP g
= pa
=G
74
P =G
!g
P =G
!P =G
que es una contradiccin teniendo en cuenta el orden de stos establecido en
la hiptesis. Lo que nos deja con la segunda alternativa, jgP g 1 j = pa , lo que
implica que (gP g 1 ; ) es un p-subgrupo de Sylow de (G; ) para todo g de
G. Sin embargo, en la hiptesis se arm que slo existe UN p-subgrupo de
Sylow de (G; ), que es (P; ), por lo que (gP g 1 ; ) = (P; ) para todo
g 2 G. Podemos armar entonces que
P = gP g
P
g=g
P g = gP
Por lo que (P; ) es normal en (G; ).
Prueba recproca:
3.3.
Grupos Cclicos
75
para construr todo el conjunto. Se puede decir entonces que el elemento genera al conjunto.
Para citar un ejemplo, observemos el conjunto N de los nmeros naturales.
Si tomamos el elemento 1 junto con la operacin + de adicin usual, encontramos que (f1g ; +) genera a N, ya que todo elemento de N puede expresarse
como la adicin del elemento 1 cierto nmero de veces:
1
2
3
4
=
=
=
=
1
1+1
1+1+1
1+1+1+1
..
.
1
M
[1] = [1]
i=1
[2] =
[3] =
2
M
i=1
3
M
[1] = [1]
[1]
[1] = [1]
[1]
[1]
i=1
76
m
M
i=1
n
M
g
g
i=1
i=1
m+n
M
i=1
i=1
n+m
M
i=1
n
M
i=1
= y
m
M
i=1
77
k
L
g sea
i=1
un elemento de H. En smbolos,
(
k 2 Z+ j
N=
k
M
i=1
g2H
n
M
i=1
h =
i=1
! h=
qm
M
i=1
r
M
i=1
(3.3)
78
Operando por
i=1
qm
M
i=1
qL
m
g = h0
h=
r
M
i=1
h0
i=1
qL
m
i=1
qL
m
i=1
por la cerradura de
qL
m
2 H. Nuevamente
i=1
r
L
i=1
r
L
i=1
g 2 H, entonces
qm
M
i=1
! h=
! h=
qm
M
i=1
q
h0
i=1
Ahora nos centraremos en estudiar la estructura de los grupos cclicos como tal y mostrar la elegante forma en que pueden ser completamente determinados junto con todos sus subgrupos. Para esto necesitaremos de algunos
resultados preliminares:
79
i=1
a
L
x = y y M CD (n; a) = d. Debido a
i=1
(3.4)
n
=
d
a
M
i=1
a
M
n
!
=
x
M CD (n; a)
i=1
80
de otro teorema, cules son. Para el primer objetivo, nos encontraremos con
la funcin ' de Euler que, recordemos que se dene como ' : N ! N donde
' (n) = k y k es el nmero de primos relativos menores que n. As por
ejemplo, ' (4) = 2 ya que los primos relativos de 4 son 1 y 3. Esta funcin
juega un papel esencial en la Teora de Nmeros y en la divisibilidad. Ver
por ejemplo Niven (1991).
Teorema 13 Sea (G; ) un grupo cclico con generador g y supongamos que
jgj = n. Entonces el nmero de generadores de (G; ) es ' (n) donde ' es la
funcin de Euler.
Demostracin. Sea H el conjunto de generadores de (G; ). Tenemos que
H es no vaco porque g 2 H. Sea h un elemento cualquiera de H. Luego por
proposicin 15,
jhj = jhhij = jGj = jhgij = jgj = n
(3.5)
Por otro lado, debido a que h tambin pertenece a G y (G; ) es cclico con
generador g, se puede escribir h como
h=
k
M
i=1
k
M
i=1
g =
n
M CD (n; k)
Sin embargo, para que se cumpla (3.5), debe tenerse en la linea anterior que
M CD (n; k) = 1. En otras palabras, n y k deben ser primos relativos. De
esto podemos deducir que
( m
)
M
H=
g j M CD (m; n) = 1
i=1
Por lo que el orden de H est dado por el nmero de enteros positivos que
sean primos relativos con n, que en smbolos es
jHj = ' (n)
81
i=1
Debe vericarse ahora que dicho mapeo se trata de un isomorsmo. Observemos primero que
'
p
M
i=1
q
M
i=1
!!
= '
p+q
M
i=1
p+q
O
i=1
p
O
i=1
p
O
i=1
a
O
i=1
82
m
M
i=1
a
M
a
O
h le corre-
i=1
i=1
que
a
M
i=1
g 6=
b
M
i=1
i=1
i=1
'
a
M
i=1
6= '
b
M
i=1
(G; )g
83
El principal resultado sobre los grupos cclicos es que pueden hallarse todos los subgrupos no triviales, ya que corresponden de manera biunvoca con
los divisores del orden del grupo, como se establece en el siguiente teorema.
Teorema 15 Sea (G; ) un grupo cclico de orden n con generador g. Entonces para todo entero positivo m que divida a n, existe un nico subgrupo
p
L
de (G; ) de orden m cuyo generador es x =
g, donde p = n m.
i=1
i=1
i=1
o, lo que es lo mismo,
* p + ( p
)
2p
kp
M
M M
M
g =
g;
g; : : : ;
g=e
i=1
i=1
i=1
i=1
a
M
x y g2 =
i=1
b
M
i=1
g2 =
=
a
M
i=1
a+b
M
i=1
b
M
i=1
84
g2 =
c
M
i=1
g1
g2 =
i=1
pm
r
M
i=1
p
m
M M
i=1
p
i=1
i=1
= e
i=1
r
M
r
M
i=1
i=1
r
M
i=1
r
M
i=1
Luego
r
L
i=1
x = g1
n
=m
M CD (n; a)
85
i=1
*n x +
m
M
=
g
+
* i=1
px
M
g
=
i=1
Por lo que
que
p
L
i=1
px
L
i=1
=
px
L
a
L
i=1
p
L
i=1
(vericarlo). Luego,
i=1
* px + * a + * p +
M
M
M
g = hxi
g =
g =
H=
i=1
i=1
i=1
Es decir,
(H; ) = (hxi ; )
86
*12=12
M
i=1
i=1
i=1
i=1
i=1
i=1
[1] . Es decir,
* 12
M
[1]
i=1
* 6
M
* 4
M
i=1
[1]
i=1
* 1
M
[1]
i=1
* 2
M
[1]
i=1
* 3
M
[1]
i=1
[1]
Ms an. Si aplicamos nuevamente el teorema 15 a cada uno de estos subgrupos, se observar que (Z=2; ) es subgrupo de (Z=4; ) y de (Z=6; ), y
(Z=3; ) es a su vez subgrupo de (Z=6; ). Las anteriores inclusiones junto
con las triviales pueden ilustrarse mediante un mtodo llamado diagrama de
Hasse de la siguiente forma:
87
88
M CM (n; m) = n m
g1 = en y
i=1
m
M
g2 = em
i=1
(Cm ; )j = n m = j(Cnm ; )j
(Cm ; ) ; ) es un grupo
M CM (n; m) < n m
1
M CM (n;m)
M
i=1
(g1 ; g2 ) = (en ; em )A =
M CM (n;m)
' ((g1 ; g2 )) no
i=1
puede dar como resultado el elemento neutro de (Cnm ; ). Debido a que ' no
3.4.
90
1 (mod 3)
y adems
n3 divide a 5
Mediante una corta reexin puede verse que el nico valor de n3 que puede
cumplir al mismo tiempo estas dos condiciones es n3 = 1. De esta manera,
el nmero de 3-subgrupos de Sylow de (G; ) es 1.
Siguiendo un razonamiento similar se puede encontrar que el nmero de 5subgrupos de Sylow es tambin n5 = 1.
3.4.1.
Veamos ahora cmo los desarrollos sobre grupos cclicos enriquecen los
resultados anteriores, particularmente aquellos sobre grupos abelianos nitos
de los que se habl en la seccin 3.2.
Lema 6 Sea p un nmero primo y (G; ) un grupo abeliano nito de orden
pa . Supongamos que g 0 2 G es tal que jg 0 j = max fjxj con x 2 Gg. Si Q =
fx 2 G j x 2
= hg 0 ig entonces es cerrada en hg 0 i y en Q.
Demostracin. En el caso de hg 0 i se puede observar que si x; x0 2 hg 0 i
m
n
M
M
0
0
entonces x =
g yx =
g 0 para ciertos enteros positivos m y n. Por lo
i=1
i=1
x =
=
m
M
i=1
m+n
M
n
M
g0
i=1
g0
i=1
m+n
M
i=1
es cerrada en hg 0 i.
Por otro lado, dados y; y 0 2 Q sea pb = max fjyj ; jy 0 jg. Dicho mximo
debe existir recordando que el orden de cada elemento debe dividir al orden
del grupo, que es de orden nito pa . Ahora, pb < jg 0 j. De lo contrario, se
tendra que y o y 0 seran elementos de hg 0 i, que es una contradiccin. Se
realiza ahora la siguiente operacin:
b
p
M
(y
y) =
i=1
p
M
i=1
= e
p
M
y0
i=1
p
M
(y
y0) = e
i=1
92
Para a 2 hgi y b 2 Q.
Se verica ahora que dichos a y b son nicos, ya que si existieran a0 2 hgi
0
y b 2 Q con la misma propiedad, se tendra entonces que
x=a
b = a0
b0
a = b0
! (a0 )
a = b0
(b 1 )) de Q (ver lemas 3 y
=e
3.4.2.
Captulo 4
Grupos Especiales
4.1.
El Grupo de Permutacin
: G ! G biyectiva se
96
En este escenario ya podemos hablar de dos permutaciones que encontraremos frecuentemente. Una de ellas es la permutacin idntica denida
como aquella que asigna a cada elemento g el mismo elemento g:
(g) = g para todo elemento g
La otra es la permutacin inversa. Dada una permutacin
G, se dene la permutacin inversa 1 : (G) ! G como
1
de una funcin
(g) = (
n
(g) =
(g) = (g) = g si n = 0
1
97
Demostracin. Se verica primero que es una operacin cerrada. En efecto, dadas dos permutaciones ; en PG ,
p es la composicin de dos funciones biyectivas, por lo que (
p) es nuevamente una funcin biyectiva en
G y por tanto, una permutacin. As que por denicin, (
p) debe ser un
elemento de PG .
Se verican ahora los axiomas de grupo:
G1: Sean ; ; elementos de PG y g un elemento cualquiera de G. Luego,
((
) (g) = (
) ( (g))
= ( ( (g)))
= ((
) (g))
= ( (
)) (g)
) (g) = ( (g))
= (g)
= ( (g))
= (
) (g)
(g) =
= g
=
=
( (g))
1
(g)
1
(g)
98
(g ) = (g
g )
g2 ) = g1 g2 (g )
= (g1 g2 ) g
= g1 (g2 g )
= g1
g2 (g )
= ' (g1 ) ' (g2 )
g1
Operando (g )
(g ) =
g2
g = g2
(g )
g
99
(h) =
(g)
!h=
(g)
100
(f ) = (pn
= n (g)
= h
) (f ) =
(f ))
Proposicin 22 Sea A un conjunto y (PA ; ) su grupo de permutacin. Entonces ' es una accin de algn grupo (G; ) en A si y slo si existe un
homomorsmo de (G; ) en (PA ; ).
Demostracin. Parte directa:
Supongamos que ' es una accin de algn grupo (G; ) en A. Se dene el
mapeo h : (G; ) ! (PA ; ) por
h (g) = ' (g; a)
En efecto, ' (g; a) es una permutacin de los elementos de A. (Comprobarlo)
Ahora, dados g1 y g2 en G, se tiene que
h (g1
g2 ) = ' ((g1 g2 ) ; a)
= ' (g1 ; ' (g2 ; a))
= h (g1 ) h (g2 )
101
Parte recproca:
Supongamos que h : (G; ) ! (PA ; ) es un homomorsmo. Por el lema 1
se sabe que el elemento neutro e de (G; ) evaluado en el homomorsmo h
dar como resultado el elemento neutro de (PA ; ). Esto es, la permutacin
idntica (a) = a. Si se dene la funcin ' : G A ! A como ' (g; a) = h (g)
donde h (g) es una permutacin del elemento a, se cumple el numeral i) en
tanto que
' (e; a) = h (e)
= (a)
= a
Y si g1 y g2 son elementos de G, se tiene que
' (g1
g2 ; a) = h (g1 g2 )
= h (g1 ) h (g2 )
= ' (g1 ; ' (g2 ; a))
larse sumando el nmero de elementos que hay en cada una de sus rbitas.
Los detalles se dejan al lector.
102
jAj =
jOi0 j +
j=k+1
jOj j
(4.2)
jGj =
jOi0 j +
j=k+1
jOj j
= x para cualquier g 2 G
O, lo que es lo mismo,
Oi0 = fx 2 G j g
x=x
g para cualquier g 2 Gg
jGj = jC (G)j +
X
j
jOj j
(4.3)
4.2.
103
El Grupo Didrico
Veamos ahora el papel que juegan los grupos en los movimientos de guras en el plano cartesiano. Si consideramos una gura F cualquiera sobre el
plano, y llamamos T al conjunto de traslaciones de la gura F , encontraremos
que la pareja (T; ) de traslaciones de la gura F junto con la operacin
de composicin de traslaciones, es un grupo abeliano. De la misma manera,
la pareja (Rc ; ) conformada por el conjunto de rotaciones de la gura F
con respecto a un centro de rotacin c jo y la operacin de composicin
de rotaciones, es nuevamente un grupo abeliano. Sin embargo, no todos los
movimientos en el plano forman grupos. La reexin de una gura F bajo
la composicin de reexiones NO es un grupo, ya que la composicin de
reexiones no es cerrada. (Dar un ejemplo)
Existe otro movimiento, que es el de simetra. Recordemos que este movimiento intercambia los vrtices que se encuentren a la misma distancia de una recta interior a la gura llamada eje de simetra. Por ejemplo, para un tringulo
equiltero de vrtices A, B y C con eje de simetra AD (ver Figura 4.2) al aplicarle el movimiento de simetra con respecto a AD resultara intercambiando
los vrtices B y C (como muestra la Figura 4.2 ).
104
Figura 4.2: Tringulo resultante al aplicar una rotacin de 120o con respecto al
centro de la gura al tringulo ABC.
105
4.3.
El Grupo Simple
106
4.4.
El Grupo Solucionable
4.5 EJERCICIOS
107
4.5.
Ejercicios
Apndice
Algunas notas nales
Se ha mostrado un panorama introductorio a la Teora de Grupos que,
como habr podido haber notado el lector, se extiende hacia toda direccin
posible al punto de que algunas de sus reas, como se mencion al inicio,
continan siendo objeto de investigacin actual. El grupo de permutacin
por ejemplo, le ayud a Galois a formalizar las propiedades de simetra que
se exhiban las soluciones de ecuaciones polinmicas. Esta idea se ha llevado al escenario de las Ecuaciones Diferenciales conocindose como Teora
de Galois Diferencial. Si en cambio no consideramos elementos discretos en
nuestros grupos, sino continuos, estamos hablando de Grupos de Lie. Al estudiar invariantes en espacios topolgicos (esto es, cundo puedo considerar que
dos espacios topolgicos son esencialmente el mismo), herramientas como el
Grupo Fundamental han dado pie a la formacin de la Topologa Algebraica.
Otra forma de extender la Teora de Grupos es admitiendo ms operaciones. Si, bajo las mismas condiciones, se agrega otra operacin que cumpla
ciertas propiedades, entramos en el rea de la Teora de Anillos y Campos. Si
no slo consideramos dos operaciones, sino n de ellas, entramos en el campo
del lgebra Universal, que estudia las propiedades comunes a todas estas
estructuras algebraicas. Pero, si lo que nos interesa es estudiar las simetras
que presentan las soluciones de ecuaciones polinmicas con coecientes en
un campo algebraico dado, se est pisando en los terrenos de la Geometra
Algebraica. Una de las ramas ms importantes y hermosas de la Matemtica
contempornea, que ha demostrado el gran alcance y poder de sus resultados
dando respuesta a legendarios enigmas como el ltimo Teorema de Fermat.
109
110
Bibliografa
[1] BIRKHOFF, G. y MACLANE, S. Survey Of Modern Algebra. MacMillan,
1940.
[2] BIRKHOFF, G. On The Structure Of Abstract Algebras. Proceedings of
The Cambridge Philosophical Society. Vol. 31, 1935.
[3] DUMMIT, D. y FOOTE, R. Abstract Algebra, 3ra Ed. John Wiley &
Sons, Inc. 2004.
[4] FRALEIGH, J. A First Course in Abstract Algebra. Addison-Wesley,
sptima edicin, 2002.
[5] HERSTEIN, I. Abstract Algebra. Wiley; tercera edicin, 1996.
[6] KLEINER, I. A History of Abstract Algebra. Birkhuser, 2007.
[7] ROTMAN, J. A First Course in Abstract Algebra. Prentice Hall, tercera
edicin, 2005.
111