Вы находитесь на странице: 1из 118

Introduccin a la Teora de Grupos

Daniel Buitrago
danielbuitrago1@yahoo.com

ndice general
1. Preeliminares de Estructuras Algebraicas

1.1. Propiedades en una Operacin Binaria . . . . . . . . . . 4


1.2. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2. Grupos
2.1. Deniciones y Propiedades Generales.
2.2. Denicin Formal . . . . . . . . . . .
2.3. Ejercicios . . . . . . . . . . . . . . .
2.4. Propiedades Bsicas . . . . . . . . .
2.5. Subgrupos . . . . . . . . . . . . . . .
2.5.1. Subgrupos Normales . . . . .
2.5.2. Otros tipos de subgrupos . . .

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

15
15
16
23
25
29
31
34

2.6. Homomorsmos e Isomorsmos . . . . . . . . . . . . . . . . . 36


2.7. Producto Cartesiano de Grupos . . . . . . . . . . . . . . . . . 47
2.8. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
3. Grupos Finitos
55
3.1. Representaciones de Grupos Finitos . . . . . . . . . . . . . . . 58
3.2. Principales teoremas de la teora de grupos nitos . . . . . . . 60
3.2.1. Teorema de Lagrange . . . . . . . . . . . . . . . . . . . 60
3.2.2. Teorema de Cauchy . . . . . . . . . . . . . . . . . . . . 65
3.2.3. Teoremas de Sylow . . . . . . . . . . . . . . . . . . . . 72
v

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

4.1. El Grupo de Permutacin . . . . . . . . . . . . . . . . . . . . 95


4.2. El Grupo Didrico . . . . . . . . . . . . . . . . . . . . . . . . 103
4.3. El Grupo Simple . . . . . . . . . . . . . . . . . . . . . . . . . 105
4.4. El Grupo Solucionable . . . . . . . . . . . . . . . . . . . . . . 106
4.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
Algunas notas nales

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

2CAPTULO 1 PREELIMINARES DE ESTRUCTURAS ALGEBRAICAS


resultados de dichas relaciones. El trmino con el que fcilmente se puede
asociar al proceso bajo el cual dos elementos mediante una transformacin se
convierten en un tercer elemento, es el de operacin binaria, que se denir
formalmente a continuacin.
Denicin 1 (Operacin Binaria) Sean A y B dos conjuntos no vacos.
Una operacin binaria es cualquier funcin : A A ! B.

Notacin 1 Supongamos que a; b 2 A y supongamos adems que la funcin


le asigna al par (a; b) el elemento c 2 B. Para expresar el valor de la
funcin evaluada en el par (a; b), en vez de (a; b) = c, se escribe a b = c.

Este tipo de notacin sirve para asociar la denicin de operacin con la


idea intuitiva que se tiene de operacin de dos elementos (como por ejemplo la
suma de dos nmeros). Precisamente por estar operando un par de elementos
se le denomina binaria.

Ejemplo 1 Consideremos los conjuntos N de los nmeros naturales, Z de


los nmeros enteros y la operacin : N N ! Z denida por
: (a; b) ! (a

b)

Es decir, la diferencia usual en los nmeros enteros. Podemos observar


que para cualesquiera a; b 2 N se tendr que (a b) 2 Z.
Se presenta a continuacin un caso particular de operacin que es de
especial inters en el lgebra Abstracta y que se usar en muchos objetos de
importancia que se vern posteriormente.

Denicin 2 (Operacin binaria en un conjunto) Sea A un conjunto


no vaco. Una operacin binaria en A es una funcin : A A ! A

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)

Aqu se encuentra que no es una operacin binaria en N porque por


ejemplo, 3 y 5 pertenecen a N, pero al restarlos, (3 5) = 2 y 2 no est
en N.
Ejemplo 4 Sea el conjunto S = f 3; 2; 1; 0; 1; 2; 3g con la operacin
denida por
: (a; b) ! (a + b)

Que es la operacin usual de suma de nmeros enteros. Entonces no es


una operacin binaria en S, porque por ejemplo, 3 y 2 son elementos de
S, pero al operarlos resulta ( 3 + ( 2)) = 5 y 5 no pertenece a S.

Ejemplo 5 Sea el conjunto Z con la operacin

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.

4CAPTULO 1 PREELIMINARES DE ESTRUCTURAS ALGEBRAICAS


Ahora que se ha establecido claramente los tipos de operaciones que se
pueden encontrar y la operacin que se estudiar, se podr dar un nombre
al objeto matemtico desde donde se va a partir. A saber, nuestro conjunto
inicial y una operacin que nos garantice que sus resultados sern parte
nuevamente del conjunto.
Denicin 3 (Estructura algebraica binaria) Sea A un conjunto no vaco
y una operacin binaria en A. La pareja ordenada (A; ) se denomina estructura algebraica binaria.

Ejemplo 6 Notemos que de acuerdo con los ejemplos anteriores, (N; +) y


(Z; ) son estructuras algebraicas. Tambin (Z; +), es una estructura algebraica.

1.1.

Propiedades en una Operacin Binaria

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.1 PROPIEDADES EN UNA OPERACIN BINARIA

Denicin 4 (Operacin conmutativa) Sea A un conjunto no vaco. Una


operacin binaria en A se denomina conmutativa si se cumple que
a b=b a
Para todo a; b 2 A.
Ejemplo 7 Ya se mostr el caso del conjunto R con la suma y el conjunto Z
con el producto. Veamos ahora una operacin binaria que no es conmutativa.
Sea M2 2 el conjunto de todas las matrices de orden 2 2 con elementos
enteros y sea la operacin la multiplicacin usual de matrices
2
3cuando
2 sta
3
est denida. Observemos por ejemplo que las matrices 4
pertenecen al conjunto M2 2 . Sin embargo,
2
3 2
3 2
3
1 3
4 7
29 32
4
5 4
5=4
5
5 9
11 13
119 152

1 3
4 7
5y4
5
5 9
11 13

Al intercambiar las matrices,


2
3 2
3 2
3
4 7
1 3
31 75
4
5 4
5=4
5
11 13
5 9
54 150

Arrojan resultados completamente distintos. En este caso el orden de los


factores s afecta el producto.
Asociatividad:
Otra propiedad interesante aparece cuando tenemos la operacin de tres
o ms elementos. Por ejemplo, la unin de tres conjuntos: X [ Y [ Z. Debido
a que una operacin binaria slo puede operar de a dos elementos a la vez,
esta unin se puede hacer de dos formas distintas. La primera de ellas es
haciendo la unin entre X y Y , y luego, a este resultado hacerle la unin con
Z. Esto es,
(X [ Y ) [ Z = U1

6CAPTULO 1 PREELIMINARES DE ESTRUCTURAS ALGEBRAICAS


La segunda forma es hacer primero la unin entre Y y Z y posteriormente
hacer la unin con X. Es decir,
X [ (Y [ Z) = U2
Recurdese que la operacin entre parntesis es la que tiene siempre la
prioridad.
Con respecto a esta operacin de unin de conjuntos se puede armar que,
independientemente de la opcin que se escoja para hacer la operacin de
estos tres conjuntos, el resultado es el mismo. Con lo que se tiene que
(X [ Y ) [ Z = X [ (Y [ Z)
Los nmeros reales son otro ejemplo de esta propiedad con la operacin
de multiplicacin usual. Dados x; y; z 2 R se cumple que
(xy) z = x (yz)
En general podramos enunciar esta propiedad como una operacin
que, dados unos elementos a; b; c de un conjunto se cumple que

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.

Ejemplo 9 Probar que en el conjunto M2 2 de matrices de orden 2


elementos enteros, la operacin de suma de matrices + es asociativa.

2 de

1.1 PROPIEDADES EN UNA OPERACIN BINARIA

Solucin 1 Hay que vericar que para cualesquiera matrices A; B; C en


M2 2 se cumple que
(A + B) + C = A + (B + C)
Sea:
3
3
2
3
2
2
c c
b b
a11 a12
5, B = 4 11 12 5, C = 4 11 12 5 con aij ; bij ; cij 2 Z, para
A = 4
c21 c22
b21 b22
a21 a22
i; j = 1; 2.
Observemos que,
31 2
3
2
3 2
3
02
3 2
b b
c c
a + b11 a12 + b12
c c
a a
@4 11 12 5 + 4 11 12 5A + 4 11 12 5 = 4 11
5 + 4 11 12 5
b21 b22
c21 c22
a21 + b21 a22 + b22
c21 c22
a21 a22
3
2
(a11 + b11 ) + c11 (a12 + b12 ) + c12
5
= 4
(a21 + b21 ) + c21 (a22 + b22 ) + c22
Pero como se mencion en el ejemplo anterior, la suma de nmeros enteros es asociativa, luego
2
3
a11 + (b11 + c11 ) a12 + (b12 + c12 )
5
= 4
a21 + (b21 + c21 ) a22 + (b22 + c22 )
2
3 2
3
a11 a12
b11 + c11 b12 + c12
5+4
5
= 4
a21 a22
b21 + c21 b22 + c22
2
3 02
3 2
31
a11 a12
b b
c c
5 + @4 11 12 5 + 4 11 12 5A
= 4
a21 a22
b21 b22
c21 c22
Lo que concluye la prueba.

8CAPTULO 1 PREELIMINARES DE ESTRUCTURAS ALGEBRAICAS


Elemento neutro:
En la mayora de conjuntos numricos con los que se trabaja comnmente existe un elemento bastante particular. Veamos por ejemplo el caso de
los enteros positivos con la operacin +, su suma usual. Intuitivamente sabemos que al sumar dos cantidades cualesquiera, el resultado ser una tercera
cantidad mayor que las otras dos:
a + b = c donde c > a y c > b.
Sin embargo, si consideramos ahora el conjunto de enteros no negativos (esto
es el conjunto de enteros positivos junto con el elemento 0), entra en juego
un elemento que nos permite armar lo siguiente:
a+0=a=0+a
Lo importante aqu es observar que esta operacin no tiene ningn efecto
sobre el elemento a, no lo transforma en otra cantidad distinta. Podemos
decir informalmente entonces que esta es una operacin neutra o, ms an,
que el 0 es un elemento neutro con respecto a la operacin + en el conjunto de
los enteros no negativos. En ejemplos que se vern ms adelante se mostrar
que en otros conjuntos, el elemento que hace posible esta operacin neutra no
es necesariamente el nmero 0, as que lo denotaremos por e y lo llamaremos
elemento neutro.
Denicin 6 (Elemento neutro) Sea A un conjunto no vaco y una
operacin binaria en A. Un elemento e en A se denomina neutro bajo la
operacin * si para todo elemento a en A se cumple que
a e=e a=a

Ejemplo 10 Consideremos la estructura algebraica binaria (M2 2 ; +) del


conjunto de matrices de orden 2x2 de nmeros enteros y la operacin + de
suma usual entre matrices. Entonces la matriz
2 3
0 0
e=4 5
0 0

1.1 PROPIEDADES EN UNA OPERACIN BINARIA

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

Es necesario siempre tener en cuenta bajo cul operacin un elemento del


conjunto acta como neutro, ya que bajo otra operacin distinta, puede ya
no serlo, como se evidencia en el siguiente ejemplo.
Ejemplo 11 Sea (R; +) el conjunto de los nmeros reales bajo la operacin
de suma usual. Es sencillo ver que el nmero 0 es el elemento neutro bajo
esta operacin. Sin embargo, en la estructura (R; ) del mismo conjunto de
nmeros reales pero bajo la operacin de multiplicacin usual entre nmeros
reales, el nmero 0 NO es elemento neutro, ya que dado r 6= 0 en R se tiene
que
r 0=0
que invalida la propiedad de neutralidad.

10CAPTULO 1 PREELIMINARES DE ESTRUCTURAS ALGEBRAICAS


Existencia de elementos inversos
Ahora estudiaremos otro tipo de elementos que encontramos en los conjuntos numricos cuya propiedad les ha valido el nombre de elementos inversos y guarda relacin con el elemento neutro.
Miremos el caso de los nmeros enteros. Desde su mismo origen a partir
de los nmeros naturales, se busc un conjunto en el que para cada nmero,
por ejemplo el 2, existiera un elemento x que cumpliera con
2+x=0
y la respuesta fue un elemento opuesto al 2 que denotaron ( 2). De manera
ms general, se quiere que para todo nmero natural n exista un elemento
denotado ( n) que cumpla con
n + ( n) = 0 = ( n) + n
As pues que el signo en el elemento ( n) NO indica una resta, sino que
hace parte de la notacin del elemento ( n).
Esta caracterstica no es nica de los nmeros enteros, y la podemos
escribir de la siguiente manera.
Denicin 7 (Existencia de inversos) Sea (A; ) una estructura algebraica
binaria con elemento neutro e bajo . Si para todo elemento a de A existe un
elemento a 1 en A con la propiedad de que
a a

=e=a

se dice que en (A; ) existen elementos inversos o simplemente inversos.

Ejemplo 12 Sea Qx = ab 2 Q j ab 6= 0 i.e, el conjunto de los nmeros


racionales sin el cero junto con la operacin de multiplicacin usual. Podemos
ver que dada una fraccin cualquiera pq en Qx , podemos encontrar otra pq tambin en Qx de tal forma que
p
q

q
q
=1=
p
p

p
q

1.1 PROPIEDADES EN UNA OPERACIN BINARIA

11

que, escribindolo en el contexto de la denicin anterior se tiene que la


fraccin pq hace el papel de elemento inverso correspondiente a la fraccin pq .
1

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

12CAPTULO 1 PREELIMINARES DE ESTRUCTURAS ALGEBRAICAS


Se deduce entonces que (T; ) tiene inversos.

1.2.

Ejercicios

1. Dar tres ejemplos de operaciones binarias que NO sean cerradas. No


olvide especicar adecuadamente los conjuntos, denir la operacin y
describir las razones por las cuales considera que no son cerradas.
2. En lgebra as como en otras reas de la Matemtica se usan operaciones que no son necesariamente binarias. A partir de la denicin de
operacin binaria, denir y dar 3 ejemplos de operacin trinaria, cuatrinaria y en general, n-aria. Observe y comente la relacin y diferencia
entre stas y las funciones escalares en Clculo.
3. Sea (Z; ) el conjunto de los nmeros enteros bajo la operacin de multiplicacin usual. Investigar si la operacin es cerrada, conmutativa
y/o asociativa. Vericar si (Z; ) posee elemento neutro y elementos
inversos.
4. Realizar el mismo anlisis del ejercicio anterior para el conjunto C de
nmeros complejos bajo la operacin de multiplicacin entre nmeros
complejos.
5. Los cuaterniones de Hamilton son un conjunto numrico ideado por Sir.
William Rowan Hamilton (1805-1865) en un intento por extender los
nmeros complejos a 3 componentes. Obtuvo en realidad un conjunto
de 4 componentes, que se denen de la siguiente manera:
H = fa + bi + cj + dk j a; b; c; d 2 Rg
y cumplen con las siguientes propiedades:
i2 = j 2 = k 2 =

ij = k, jk = i, ki = j, ji =

k, kj =

i, ik =

1.2 EJERCICIOS

13

La operacin de multiplicacin entre cuaterniones se dene como:


(a1 + b1 i + c1 j + d1 k) (a2 + b2 i + c2 j + d2 k) = (a1 a2 b1 b2 c1 c2 d1 d2 )
+ (a1 b2 + a2 b1 + c1 d2 d1 c2 ) i
+ (a1 c2 b1 d2 + c1 a2 + d1 b2 ) j
+ (a1 d2 + b1 c2 c1 b2 + d1 a2 ) k
donde es la operacin de multiplicacin usual entre nmeros reales. Averiguar
si la operacin es cerrada y si es conmutativa.
6. Responder las mismas preguntas del ejercicio 3 para la estructura (Z; )
de nmeros enteros bajo la operacin de divisin.
7. Sea (R2 ; ) la estructura conformada por el conjunto de vectores en el
plano de componentes reales y la operacin
de suma de vectores
(componente a componente).Vericar si la operacin es cerrada y si
existen elementos inversos y/o elemento neutro en (R2 ; ).

Captulo 2
Grupos

2.1.

Deniciones y Propiedades Generales.

En el captulo anterior se estudiaron algunas propiedades que se pueden


encontrar en un conjunto no vaco con una operacin; a saber, la cerradura, la asociatividad, la existencia de elemento neutro, la existencia de elementos inversos y la conmutatividad.Las estructuras algebraicas se clasican
de acuerdo al nmero de propiedades que cumple el conjunto no vaco en
cuestin bajo la operacin dada.
En el captulo anterior se estudiaron algunas propiedades que se pueden
encontrar en un conjunto no vaco con una operacin; a saber, la cerradura, la
asociatividad, la existencia de elemento neutro y la existencia de elementos
inversos. A lo largo del desarrollo del lgebra, las estructuras algebraicas
con dichas propiedades se han vuelto tan importantes, que han recibido un
nombre propio: Grupos. El estudio de los Grupos empez con los trabajos
de variste Galois hacia 1830 y an hoy contina siendo un rea activa de
investigacin. Sus aplicaciones a otras ciencias como la Fsica, la Qumica, la
Biologa o la Gentica hacen de los Grupos un conocimiento elemental en la
actualidad.

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:

2.2 DEFINICIN FORMAL


G1:
G2:
G3:
G4:

g1 (g2 g3 ) = (g1 g2 ) g3 Para cualesquiera g1 ; g2 ; g3 2 G.


Existe e 2 G tal que para todo g 2 G se cumple que g e = g = g
Para todo g 2 G existe g 1 2 G tal que g g 1 = e = g 1 g.
g1 g2 = g2 g1 para todos g1 ; g2 2 G.

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

Nota 1 Recordemos que el conjunto de los nmeros racionales puede verse


como un conjunto de clases de equivalencia dadas por la relacin de equivalencia denida por
a
c
$a d=b c
b
d
donde es la operacin de multiplicacin usual entre nmeros enteros. As
por ejemplo, la clase de equivalencia de ab se puede escribir como
hai
x
x
a
=
con x; y 2 Z, y 6= 0 j
b
y
y
b

y de esta forma trabajar con los elementos de Q como elementos de alguna


clase de equivalencia.

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

2.2 DEFINICIN FORMAL

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

Pasemos a vericar ahora los axiomas G1, G2 y G3.

20

CAPTULO 2 GRUPOS

G1: Sean ab ; dc ; fe nmeros racionales cualesquiera. Entonces,

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

Se concluye entonces que

a
b

c
d

e
a
=
f
b

c
d

e
f

lo que comprueba la asociatividad.


n
o
x
x
0
G2: Sea e = [0] = y 2 Q j y
. Luego e 2 Q. Veamos entonces que
1

21

2.2 DEFINICIN FORMAL


si elegimos a

a
b

e =
=
=
=
=
=
=
=
=

c
d

como representante de [0],

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

Comprobemos ahora G3. Dada


h
De esta manera se tiene que

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

Habiendo vericado G1, G2 y G3 para (Q; ) se concluye que es un Grupo.

Ejemplo 18 El Grupo (Z; +) es conmutativo. (Comprobarlo)


Ejemplo 19 El Grupo (Q; ) del ejemplo 17 es conmutativo. (Comprobarlo)

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

6. Determinar si (R+ ; ) es un Grupo, donde R+ = fr 2 R j r > 0g y es


la multiplicacin usual entre reales.
7. Determinar si (C ; ) es un Grupo, donde C = C
multiplicacin usual entre complejos.

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

siendo + la operacin de suma usual entre nmeros enteros.


e) (R; ) donde la operacin se dene como
a b=

a b
2

donde es la multiplicacin usual entre reales.


9. Sea P2 = fax2 + bx + c j a; b; c 2 Z ^ a 6= 0g y la operacin
como
a1 x 2 + b 1 x + c 1

denida

a2 x2 + b2 x + c2 = (a1 + a2 ) x2 +(b1 + b2 ) x+(c1 + c2 )

donde + es la suma usual entre enteros. Determinar si (P2 ; ) es un


Grupo.
10. Qu sucedera en el caso en que se tomara una perspectiva de la Teora
de Grupos desde la operacin? As pues, no sera necesario suponer la
existencia de elementos inversos, sino de una operacin inversa. Invito al lector a preguntarse cmo se reemplazara entonces la denicin
de Grupo. Qu axiomas cambiaran?, Cmo cambiara la teora?, Se
deduciran resultados similares a los presentados aqu?

2.4 PROPIEDADES BSICAS

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)

Ahora, haciendo g 0 = e2 y dando cumplimiento a G2,


e1 e2 = e1 g 0
= g 0 (por la neutralidad de e1 )
= e2
Esto es,
e1 e2 = e2
luego de (2.3) y de (2.4) se deduce que
e1 = e2

(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.

Proposicin 2 Sea (G; ) un Grupo y g un elemento de G. Entonces el


elemento g 1 de G que cumple con el axioma G3 es nico.

Demostracin. Dado g 2 G supongamos con nes de contradiccin que su


elemento inverso no es nico. Es decir que hay ms de un elemento inverso
para el mismo g, digamos g1 1 y g2 1 . Luego,
g1 1 =
=
=
=
=

g1 1 e (Por axioma G2.)


g1 1 g g2 1 (Ya que g2 1 es elemento inverso de g.)
g1 1 g g2 1 (Por la asociatividad dada por G1.)
(e) g2 1 (Ya que g1 1 es tambin elemento inverso de g.)
g2 1 (Por la neutralidad de e, axioma G2.)

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

2.4 PROPIEDADES BSICAS

Proposicin 3 Sea (G; ) un Grupo y g un elemento de G. Entonces el


elemento inverso del elemento inverso de g es el mismo g. En smbolos,
g

=g

Demostracin. Sea h = g 1 . Por el axioma G3 se tiene que


g h =
=
=
=

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,

A continuacin se presenta un resultado que describe la forma como se


manejan las operaciones por un elemento a ambos lados de una igualdad.
Esto tambin se conoce como las leyes de cancelacinque guardan relacin
con aquellas que se estudian en el lgebra elemental para la manipulacin
de expresiones con el objeto de despejar incgnitas y solucionar ecuaciones.
Proposicin 4 Sea (G; ) un Grupo y g; g1 ; g2 elementos cualesquiera de G.
Entonces g g1 = g g2 si y slo si g1 = g2 y g1 g = g2 g si y slo si
g1 = g2 .

28

CAPTULO 2 GRUPOS

Demostracin. Si partimos de la igualdad


g1 = g2
y operamos a izquierda por g en ambos lados de la igualdad, se obtiene
g g1 = g g2
Si recprocamente se parte de la igualdad
g g1 = g g2
por el axioma G3 existir el elemento inverso g 1 en G. Si operamos a izquierda por g 1 en ambos lados de la igualdad, se obtiene
g

(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)

Con un razonamiento simtrico se obtiene la segunda parte de la proposicin.

Nota 2 Es necesario siempre hacer la distincin entre operar a izquierda y


operar a derecha por un elemento cuando se trata de Grupos. La nica forma
de que dichas operaciones den resultados iguales es que se trate de un Grupo
Conmutativo y mientras no se tenga certeza de que es as, debe asumirse que
la operacin de dos elementos cualesquiera no es conmutativa.

Proposicin 5 Sea (G; ) un Grupo y g1 ; g2 elementos cualesquiera de G.


Entonces (g1 g2 ) 1 = g2 1 g1 1 .
Demostracin. Por la cerradura de tenemos que g1 g2 2 G y por el
axioma G3, g1 g2 tendr su elemento inverso. Llammolo h. Es decir,
h = (g1 g2 )

(2.5)

29

2.5 SUBGRUPOS
Por lo tanto,
(g1 g2 ) h = e
! g1 (g2 h) = e (Por la asociatividad de

dada por G1)

Operando a izquierda por g1 1 en ambos lados de la igualdad se obtiene


g1 1 g1 (g2 h) =
!
!
!
!

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)

Operando a izquierda por g2 1 en ambos lados de la igualdad se obtiene


g2 1 g2 h =
!
!
!

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)

Finalmente, aplicando aqu la lnea (2.5) se llega a


(g1 g2 )

= g2 1 g1 1

lo que concluye la prueba.

2.5.

Subgrupos

Ya conocemos algunas de las estructuras algebraicas ms utilizadas y


las propiedades que deben cumplir. Es hora de estudiar estructuras que se
pueden encontrar dentro de dichas estructuras algebraicas. stas reciben el
nombre de subestructuras. Para el caso de los grupos, nos encontraremos
con el importante papel que juegan sus respectivas subestructuras, que se
conocen como subgrupos. Veremos por ejemplo, que bajo ciertas condiciones
nos proporcionan informacin esencial sobre el grupo al que pertenece y en
algunos casos, hasta informacin necesaria para hacernos una idea completa
de todo el grupo.

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; ).

Ejemplo 20 Observemos el caso del grupo de los nmeros enteros bajo la


suma de enteros, (Z; +). Tomemos ahora el conjunto de los nmeros enteros pares P (tanto positivos como negativos) junto con el 0 con la misma
operacin de suma de enteros. Podemos ver que P es subconjunto de Z y
adems (P; +) es un grupo, ya que la operacin + es cerrada en P y cumple
los axiomas G1 a G3.

Ejemplo 21 Si tenemos el grupo (R; +) de los nmeros reales junto con la


suma de reales, vemos que el grupo (Z; +) del ejemplo anterior es un subgrupo
de (R; +), ya que Z es subconjunto de R. A su vez, el grupo (P; +) del ejemplo
anterior es subgrupo tanto de (Z; +), como de (R; +).

Ejemplo 22 Tomando de nuevo el grupo (R; +), encontramos que el grupo


(Q ; ) de los racionales sin el cero junto con la operacin de multiplicacin
entre racionales NO es un subgrupo de (R; +), ya que aunque Q es subconjunto de R, las operaciones bajo las cuales son grupos, son distintas.
Todos los grupos poseen al menos dos grupos a saber: El grupo en s
mismo y el formado nicamente por el elemento neutro (que por el axioma
G2 est en todos los grupos) junto con la operacin del grupo. ste ltimo
se conoce como subgrupo trivial. Aquellos subgrupos que tenga un grupo que
no sean los anteriormente mencionados, se denominan subgrupos propios.
A la hora de comprobar si un subconjunto dado bajo cierta operacin
es un subgrupo, vericar cada uno de los axiomas de la denicin de grupo
puede resultar un poco extenso. Sin embargo, existe un teorema que facilita
enormemente el trabajo:

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.

Denicin 14 (Clase) Sea (H; ) un subgrupo de (G; ) y sea g 2 G. Los


conjuntos
gH = fg h j h 2 Hg
y
Hg = fh

g j h 2 Hg

se denominan clase a izquierda y clase a derecha respectivamente.

Teniendo esto en cuenta, un subgrupo normal es aquel donde las clases a


derecha y a izquierda son la misma.
Denicin 15 (Subgrupo normal) Un subgrupo (H; ) de un grupo (G; )
se denomina normal si las clases a derecha y a izquierda coinciden. Esto es,
gH = Hg
Para todo g 2 G.

Proposicin 6 Sea (N; ) un subgrupo normal de (G; ) y (H; ) un subgrupo de (N; ). Entonces (H; ) es tambin subgrupo normal de (G; ).

Demostracin. (Se deja como ejercicio)


Estudiemos ahora el conjunto de todas las clases de un subgrupo normal. Si lo dotamos de una operacin especial, conocida como operacin entre
clases, se convertir en un grupo de vital importancia para ciertos teoremas
fundamentales de la Teora de Grupos, llamado grupo factor o cociente.

33

2.5 SUBGRUPOS

Proposicin 7 Sea H subgrupo normal de (G; ) y G=H el conjunto de


todas las clases de H (a derecha y a izquierda) y la operacin binaria entre
clases denida por
: G=H G=H ! G=H
: (aH; bH) ! (a b) H

Entonces (G=H; ) es un grupo.

Demostracin. Sean a; b; c 2 G. Luego,


(aH

bH)

cH =
=
=
=
=

((a b) H) cH
((a b) c) H
(a (b c)) H
aH (b c) H
aH (bH cH)

que comprueba G1.


Veamos que la clase eH 2 G=H hace el papel de elemento neutro:
aH

eH =
=
=
=

(a e) H
aH
(e a) H
eH aH

Lo que comprueba G2.


Ahora para cada aH 2 G=H se vericar que a 1 H 2 G=H cumple con
G3:
aH

a 1H =
=
=
=

a a 1 H
eH
a 1 a H
a 1 H aH

Lo que concluye la prueba.


Denicin 16 (Grupo factor) El grupo (G=H; ) de la proposicin anterior se denomina grupo factor o grupo cociente.

34

CAPTULO 2 GRUPOS

2.5.2.

Otros tipos de subgrupos

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 este nuevo subconjunto de G se le llama centralizador de A en G. Puede


vericarse adems que (C; ) es un subgrupo de (G; ).

Ejemplo 23 En el grupo (Z; +) encontramos que el centralizador de N en Z


es el mismo Z. Esto es, C (N) = Z, ya que todos los elementos de Z conmutan
con los de N.
El Centro
Continuando con la bsqueda de aquellos elementos de G que conmutan
con los elementos de un subconjunto dado de G, ahora queremos preguntarnos por los elementos de G que conmutan con cualquier elemento de G.
En otras palabras, encontrar el centralizador de G en G. Dicho subconjunto
recibe el nombre de centro de G y se denota por Z:
Z = fg 2 G j g

a=a

gg para todo a 2 G

35

2.5 SUBGRUPOS
Encontraremos tambin que (Z; ) es subgrupo de (G; ).
El Normalizador

Recordemos que un subgrupo normal (H; ) de (G; ) es aquel en el que


las clases a la derecha y las clases a la izquierda son iguales. Es decir,
gH = Hg para todo g 2 G
Ahora, dado un subconjunto arbitrario A de G, queremos encontrar aquellos elementos que hacen que las clases a derecha y a izquierda de A sean
iguales. Al conjunto de estos elementos lo llamamos normalizador de G y lo
denotamos por N :
N = fg 2 G j gA = Agg
Nuevamente, puede comprobarse que (N; ) es un subgrupo de (G; ).
El Estabilizador
De esta manera podemos buscar elementos de G que al ser operados con
elementos de un subconjunto A cumplan alguna propiedad. Esta es una forma bastante usual de construr subgrupos para grupos arbitrarios.
Finalmente veremos un ltimo caso de subgrupos de este estilo (aunque evidentemente pueden encontrarse muchos ms), que ocurre cuando queremos
encontrar elementos de G que hagan el papel de elemento neutro por izquierda del subconjunto A. El conjunto que los contiene se denomina estabilizador
de G y se denota por S:
S = fg 2 G j g

s = sg

Porsupuesto, (S; ) es subgrupo de (G; ). (Ver ejercicio 7)


El Conjugado
Otra de las formas de construr un subgrupo es a travs de un mtodo
conocido como la conjugacin de los elementos, que es bsicamente tomar
los elementos de un subconjunto y operarlos por un elemento del conjunto
por un lado y por su inverso por el otro. Supongamos que (G; ) es un grupo
y (H; ) un subgrupo de ste. El conjugado de H es el conjunto
gHg

= x2Gjx=g

con h en H

36

CAPTULO 2 GRUPOS

Puede probarse entonces que (gHg 1 ; ) es subgrupo de (G; ). Ahora, dos


subconjuntos P y Q de G se denominan conjugados si existe un elemento g
de G tal que
P = gQg 1

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)

Entonces h se denomina homomorsmo entre G y Gy los grupos (G; )


y (G0 ; ) se denominan homomorfos.

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)

2.6 HOMOMORFISMOS E ISOMORFISMOS

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

lo que indica que (R; +) y (R+ ; ) son homomorfos.


En todo homomorsmo entre grupos, existe un conjunto de elementos del
conjunto de salida que cumplen un papel relevante en este tema. Es por eso
que reciben un nombre especco:
Denicin 18 (Kernel) Sea h : (G; ) ! (G0 ; ) un homomorsmo. Se
denomina kernel de h y se denota por ker (h) al conjunto
fg 2 G : h (g) = eg
Donde e es el elemento neutro en G0 .

En otras palabras, el kernel de un homomorsmo h es el conjunto de


elementos de G cuya imgen bajo h corresponde al elemento neutro de G0 .
Ejemplo 27 Sea el homomorsmo h : (R; +) ! (R+ ; ) del ejemplo 26.
Entonces su kernel esta conformado por el elemento 0 de R, ya que
h (0) = a0
= 1
que es el elemento neutro del grupo (R+ ; ).
Ejemplo 28 Sea el mapeo d : (F; +) ! (F 0 ; +) del grupo de las funciones
diferenciables en un intervalo (a; b) 2 R al grupo de funciones denidas en
(a; b), ambos bajo la operacin de suma de funciones usual. El mapeo se dene
como
d (f ) = f 0
esto es, a cada funcin le asigna su derivada. Esto forma un homomorsmo
(comprobarlo) y su kernel ser el subconjunto de las funciones f en (F; +)
que sean constantes, debido a que su imgen bajo el homomorsmo d ser el
elemento neutro de (F 0 ; +). Esto es, la funcin constante 0.
Hay otro tipo de relacin ms fuerte que se puede presentar entre dos
grupos, que indica una estructura completamente igual entre los dos objetos.
Cuando sta se presenta, hablamos de dos grupos isomorfos. Iso del griego
i o "igual morfo del griego o 'o "forma".
2

2.6 HOMOMORFISMOS E ISOMORFISMOS

39

Denicin 19 (Isomorsmo) Sean (G; ) y (G0 ; ) grupos y h : (G; ) !


(G0 ; ) un homomorsmo entre grupos tal que h es inyectivo y sobreyectivo.
Entonces h se denomina isomorsmo entre G y G y los grupos (G; ) y
(G0 ; ) se denominan isomorfos.

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

tendremos entonces que h es un homomorsmo, ya que dados a; b en (Z; +)


se tiene que
h (a + b) = 2 (a + b)
= 2 a+2 b
= h (a) + h (b)
Adems h es inyectivo, debido a que si existen h (m) y h (n) en (2Z; +) tales
que h (m) = h (n), entonces
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

Notacin 2 Dos grupos (G; ) y (H; ) que sean isomorfos se denotan


comnmente como (G; ) = (H; ).
Podemos decir que dos grupos isomorfos solo cambian en la escritura de
sus elementos, ya que comparten exactamente la misma estructura y nmero
de elementos.
Ahora veremos algunos resultados que nos darn una idea del importante
papel que juegan los homomorsmos en los grupos. Entre otras cosas, veremos que dichos mapeos nos brindarn informacin sobre los elementos y la
estructura del grupo de llegada. Podremos conocer algunos de sus subgrupos,
su elemento neutro, sus elementos inversos y dems nicamente partiendo
de los correspondientes del grupo de salida. Otra forma de mencionar estas
propiedades es diciendo que el elemento neutro, los elementos inversos y los
subgrupos se preservan bajo el homomorsmo. Adems de interesantes, nos
servirn para el posterior desarrollo de la teora.
Lema 1 Sea h : (G; ) ! (H; ) un homomorsmo. Entonces h (eG ) = eH
donde eG es el elemento neutro en G y eH el respectivo en H.
Demostracin. Se tiene que
h (eG ) = h (eG

eG )

Debido a que h es homomorsmo,


= h (eG )

h (eG )

Luego
h (eG ) = h (eG )

h (eG )

Pero ya que h (eG ) 2 H y (H; ) es un grupo, existe su inverso (h (eG )) 1 2


H. Operando este inverso por izquierda a ambos lados de la linea anterior:
(h (eG ))

h (eG ) = (h (eG ))

(h (eG )

h (eG ))

Los elementos del miembro derecho pueden asociarse por pertenecer a H,


por lo que
! eH = (h (eG )) 1
! eH = eH h (eG )
! eH = h (eG )

h (eG )

h (eG )

41

2.6 HOMOMORFISMOS E ISOMORFISMOS


Lo que concluye la prueba.

Lema 2 Sea h : (G; ) ! (H; ) un homomorsmo. Entonces h (g 1 ) =


(h (g)) 1 para todo g 2 G.
Demostracin. Se tiene que
h (eG ) = h g

Aplicando la hiptesis de homomorsmo de h,


= h (g)

h g

Luego
h (eG ) = h (g)

h g

h g

Aplicando el lema 1 al miembro izquierdo,


! eH = h (g)
Operando por (h (g))

! (h (g))

por izquierda a ambos lados de la igualdad, se tiene


1

eH = (h (g))

h (g)

h g

Asociando en el miembro izquierdo se llega a


! (h (g))

= (h (g))

= eH

h g

! (h (g))

=h g

! (h (g))

h (g)

h g

Lo que concluye la prueba.

Proposicin 8 Sea h : (G; ) ! (H; ) un homomorsmo. Entonces (G0 ; )


es un subgrupo de (G; ) si y slo si (h [G0 ] ; ) es un subgrupo de (H; ).

42

CAPTULO 2 GRUPOS

Demostracin. La idea es aplicar el criterio del subgrupo en ambos casos.


Parte directa:
Sean h (g10 ) ; h (g20 ) elementos de h [G0 ]. Sabemos que dichos elementos deben
existir porque al menos el elemento neutro estar en G0 y por lema 1, la
imgen de ste bajo h ser el neutro en H, luego h [G0 ]6= ?. Falta vericar
que h (g10 )

(h (g20 ))

esta en h [G0 ]. En efecto, debido a que G0 es un grupo,

(g20 ) 1 estar en ste, y por tanto, por denicion de homomorsmo y por el


lema 2,
h g10

(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 ))

en h [G0 ] que, por el lema 2 es igual a h (g20 )

Adems, por la propiedad de cerradura de la operacin , se tiene que


h (g10 )
h (g20 ) 1 es un elemento de h [G0 ] y por ser h un homomorsmo, se
tiene que
h (g10 )
Es decir, h g10

(g20 )

h (g20 )

= h g10

(g20 )

es un elemento de h [G0 ], por lo que g10

(g20 )

es un

elemento de G0 y por el criterio del subgrupo, esto quiere decir que (G0 ; )
es un subgrupo de (G; ).

43

2.6 HOMOMORFISMOS E ISOMORFISMOS

Proposicin 9 Sea h : (G; ) ! (H; ) un homomorsmo. Entonces (ker (h) ; )


es subgrupo de (G; ).

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))

Pero observemos que debido a que tanto a como b pertenecen al kernel de h,


= eH
= eH
= eH

(eH )
eH

Luego,
h a

= eH

Y por tanto dados a; b 2 ker (h) se cumple que a


proposicin 1, (ker (h) ; ) es subgrupo de (G; ).

2 ker (h) y por la

Teorema 2 Sea H un subgrupo normal de G. Entonces el mapeo : (G; ) !


(G=H; ) denido por (g) = gH es un homomorsmo con kernel H.

Demostracin. Sean g1 ; g2 2 G. Entonces, por denicin:


(g1

g2 ) = (g1

g2 ) H

Debido a que H es subgrupo normal,


= (g1 H)
= (g1 )

(g2 H)
(g2 )

44

CAPTULO 2 GRUPOS

Luego es un homomorsmo. Veamos ahora que H es el kernel del homomorsmo:


Sea k 2 H un elemento cualquiera. Luego,
(k) = (k) H
= H
Por la clausura sobre el grupo H, pero precisamente la clase H es el elemento
neutro del grupo (G=H; ), luego en efecto H es el kernel de .

Denicin 20 (homomorsmo cannico) El homomorsmo


ma anterior se denomina natural o cannico.

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:

Teorema 3 (Fundamental del homomorsmo en grupos) Sean (G; ),


(G0 ; ) grupos y : (G; ) ! (G0 ; ) un homomorsmo sobreyectivo. Entonces existe un isomorsmo : (G= ker ( ) ; ) ! (G0 ; ) tal que
=
donde es el homomorsmo cannico : (G; ) ! (G= ker ( ) ; ).
Demostracin. Sea K = ker ( ). Se dene
Luego dados g1 ; g2 2 G,
((g1 K)

Pero

(g2 K)) =
=

(gK) =

((g1 g2 ) K)
(g1 g2 )

es un homomorsmo por hiptesis, luego


=
=

(g1 )
(g1 K)

(g) para todo g 2 G.

(g2 )
(g2 K)

2.6 HOMOMORFISMOS E ISOMORFISMOS

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

es el conjunto de elementos de la forma gK


(gK) = eG0
= (k)

Para k 2 K. Luego

(gK) =

(k)

Lo que implica que


g=k
Recordemos que el homomorsmo cannico en grupos est dado por
gK. luego dado (g) 2 (G) se tiene que
(g) =
=

(g) =

(gK)
( (g))

Lo que concluye la prueba.

Teorema 4 (Segundo teorema del homomorsmo) Sea H un subgrupo


de G, y N un subgrupo normal de G. Entonces el grupo cociente ((HN ) =N; )
es isomorfo a (H= (H \ N ) ; ).
Demostracin. Partimos del homomorsmo cannico : (G; ) ! (G=N; ),
del cual sabemos que tiene kernel N por teorema 2. si tomamos nicamente
valores h de H para este mapeo,
(h) = hN

46

CAPTULO 2 GRUPOS

para aquellos valores de N que estn en H. Esto es, H \N . Luego el conjunto


de llegada de estas imgenes ser H= (H \ N ). Es decir,
jH

: (H; ) ! (H= (H \ N ) ; )

(2.6)

es un homomorsmo y, apelando al homomorsmo sobreyectivo identidad


: (H; ) ! (H; )

(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

: (HN; ) ! ((HN ) =N; )

(2.8)

es claramente un homomorsmo cannico, mientras que el mapeo


' : (H; ) ! (HN; )
denido por ' (h) = hN es un homomorsmo, ya que
' (h1

h2 ) = (h1 h2 ) N
= h1 N h2 N
= ' (h1 ) ' (h2 )

y su sobreyectividad es evidente. Por lo que existe un homomorsmo sobreyectivo


: (HN; ) ! (H; )
(2.9)
Aplicando nuevamente el teorema fundamental del homomorsmo contando
con (2.8) y (2.9), se concluye que ((HN ) =N; ) es isomorfo a (H; ) al
igual que (H= (H \ N ) ; ). Por lo que ((HN ) =N; ) y (H= (H \ N ) ; )
son isomorfos.
Teorema 5 (Tercer teorema del homomorsmo) Sean (M; ) y (N; )
subgrupos normales de (G; ) tales que (M; ) sea subgrupo de (N; ). Entonces el grupo cociente (G=N; ) es isomorfo al grupo cociente ((G=N ) = (M=N ) ; ).

47

2.7 PRODUCTO CARTESIANO DE GRUPOS

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

g2 ) = (g1 g2 ) (N= (M=N ))


= (g1 N= (M=N ) g2 N= (M=N ))
= h (g1 ) h (g2 )

y adems es sobreyectivo porque tanto N como M son subconjuntos de G.


Por otro lado, tenemos el homomorsmo cannico : (G; ) ! (G=N; ),
luego por el Teorema Fundamental del Homomorsmo, (G=N; ) es isomorfo
a ((G=N ) = (M=N ) ; ).

2.7.

Producto Cartesiano de Grupos

En esta seccin se ver una forma de construr nuevos grupos a partir de


unos dados usando el producto cartesiano. En primer lugar observemos que si
hablamos del producto cartesiano de dos grupos, digamos (G1 ; 1 ) y (G2 ; 2 )
lo representamos escribindolo como (G1 ; 1 ) (G2 ; 2 ) y sus elementos ya
no sern unitarios, sino parejas ordenadas (g1 ; g2 ) donde cada elemento g1 se
toma del conjunto G1 y cada elemento g2 de G2 . Formalmente, esto se conoce
como una relacin entre los conjuntos G1 y G2 . Si queremos aadir una
operacin entre los elementos del nuevo conjunto (G1 ; 1 ) (G2 ; 2 ) debemos
tener en cuenta de que estaremos operando parejas. Se podra pensar en
seleccionar la operacin 1 2 . Sin embargo recordemos que, por ejemplo,
la operacin 1 est denida para elementos de G1 y puede no tener sentido
al ser aplicada a los elementos de G2 . De esta forma, lo ms natural entonces
es adoptar una operacin que se ajuste a sus respectivas componentes. As,
para dos parejas (g1 ; g2 ) y (g10 ; g20 ) de (G1 ; 1 ) (G2 ; 2 ) se dene la operacin
como:
: ((G1 ;

1)

(G2 ;

2 ))

((G1 ;

1)

(G2 ;

2 ))

! (G1 ;

1)

(G2 ;

2)

48

CAPTULO 2 GRUPOS
(g1 ; g2 ) (g10 ; g20 ) = (g1

g10 ; g2

g20 )

Ahora se tienen los preparativos necesarios para ampliar la idea al producto


de un nmero arbitrario de grupos:
Denicin 21 (Producto entre grupos) Sea C = f(G1 ; 1 ) ; (G2 ; 2 ) ; : : :g
una coleccin arbitraria de grupos. El conjunto de elementos de la forma
(g1 ; g2 ; : : :) con g1 2 G1 ; g2 2 G2 ; : : : se denomina producto y se representa
por (G1 ; 1 ) (G2 ; 2 )
.

Denicin 22 Dado un producto (G1 ;


cin de grupos, se dene la operacin
(g10 ; g20 ; : : :) del producto como

(G2 ; 2 )
entre una colecentre dos elementos (g1 ; g2 ; : : :) y

1)

(g1 ; g2 ; : : :) (g10 ; g20 ; : : :) = (g1

g10 ; g2

g20 ; : : :)

Proposicin 10 La pareja (((G1 ; 1 ) (G2 ; 2 )


) ; ) donde (G1 ; 1 )
(G2 ; 2 )
es el producto de una coleccin de grupos y la operacin entre elementos del producto anteriormente denida, es un grupo y se le llama
grupo producto.
Demostracin. La prueba consiste en una vericacin trivial de los axiomas
de la denicin de grupo. Los detalles de dejan al lector.

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
) ; ).

Proposicin 11 Sea (G; ) un grupo abeliano. El grupo producto (G1


(donde Gi = G para todo i) es homomorfo a (G; ).

G2

Gn ; )

49

2.7 PRODUCTO CARTESIANO DE GRUPOS


Demostracin. Sea ' el mapeo denido por
' (g1 ; g2 ; : : : ; gn ) = g1

g2

gn

Para vericar que es un homomorsmo veamos que


' ((g1 ; g2 ; : : : ; gn ) (g10 ; g20 ; : : : ; gn0 )) =
=
=
=

' (g1 g10 ; g2 g20 ; : : : ; gn gn0 )


(g1 g10 ) (g2 g20 )
(gn gn0 )
(g1 g2
gn ) (g10 g20
gn0 )
' (g1 ; g2 ; : : : ; gn ) ' (g10 ; g20 ; : : : ; gn0 )

Proposicin 12 Sea (G; ) un grupo. El grupo producto (e1

e2

en ; )

(donde G puede ocupar cualquier posicin) es isomorfo a (G; ).


Demostracin. Basta considerar el mapeo ' (e1 ; e2 ; : : : ; g; : : : ; en ) = g y
comprobar que es un homomorsmo biyectivo. Los detalles se dejan al lector.

Proposicin 13 Dados (G1 ; 1 ) ; (G2 ; 2 ) ; : : : ; (Gn ;


y (Gi ; i ) son homomorfos para todo i = 1; 2; : : : ; n.

n)

n grupos, (G1

Demostracin. Considrese el mapeo 'i : (G1 G2


denido como:
'i (g1 ; g2 ; : : : ; gn ) = gi

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

Para vericar que es un homomorsmo veamos que


' ((n1 ; n2 ; : : : ; nm ) (n01 ; n02 ; : : : ; n0m )) =
=
=
=

' (n1 n01 ; n2 n02 ; : : : ; nm n0m )


(n1 n01 ) (n2 n02 )
(nm n0m )
n0m )
(n1 n2
nm ) (n01 n02
' (n1 ; n2 ; : : : ; nm ) ' (n01 ; n02 ; : : : ; n0m )

Ahora, el homomorsmo ' es sobreyectivo porque por hiptesis, dado un


elemento g en G, se tiene que
g = n1 n2
nm
= ' (n1 ; n2 ; : : : ; nm )
Se verica ahora la inyectividad.

51

2.7 PRODUCTO CARTESIANO DE GRUPOS


Sean (n1 ; n2 ; : : : ; nm ) y (n01 ; n02 ; : : : ; n0m ) elementos de N1
que cumplen con

N2

Nm

' (n1 ; n2 ; : : : ; nm ) = ' (n01 ; n02 ; : : : ; n0m )


Esto ltimo implica que
n1

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.

Denicin 23 (Orden) Sea (G; ) un grupo. El orden de (G; ) denotado


por jGj se dene como jGj = n donde n es el nmero de elementos que
contiene G si G es un conjunto nito, o como jGj = 1 si G no es un
conjunto nito. En el primer caso se dice que (G; ) es de orden nito, y en
el segundo, que es de orden innito.

Proposicin 14 El orden del grupo((G1 ; 1 ) (G2 2 )


; ) est dado
por la multiplicacin jG1 j jG2 j
de los ordenes de cada grupo del producto
si los mismos son nitos. En caso de que alguno de ellos no sea nito, el
orden ser 1.

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

1. Supongamos que (G; ) es un grupo y g1 ; g2 ; : : : ; gk son elementos de


G. Determinar a qu es igual (g1 ; g2 ; : : : ; gk ) 1 .
2. Supongamos que (G; ) es un grupo. Sea Z = fg 2 G j xg = gx para cualquier x 2 Gg.
Es (Z; ) subgrupo de (G; )?.
3. Sea (G; ) un grupo y (H; ) y (K; ) subgrupos de (G; ). Es (H [ K; )
subgrupo de (G; )?, Es (H \ K; ) subgrupo de (G; )?
4. Sea (R+ ; ) el grupo de los nmeros reales positivos bajo la operacin de
multiplicacin usual entre reales. Es (Q+ ; ) un subgrupo de (R+ ; )?
5. Sea (F; +) el conjunto de funciones reales denidas sobre el intervalo
[0; 1] bajo la operacin + de suma usual de funciones. Es (F; +) un
grupo? En caso de ser armativa la respuesta, se tendr que el conjunto de funciones reales continuas en el intevalo [0; 1] bajo la misma
operacin de suma de funciones (esto es, (C [0; 1] ; +)) es subgrupo de
(F; +)? se tendr que el conjunto de funciones reales diferenciables en
el intevalo (0; 1) bajo la misma operacin de suma de funciones (esto
es, (F 0 (0; 1) ; +)) es subgrupo de (F; +)?

2.8 EJERCICIOS

53

6. Supongamos que (K; ) es subgrupo de (H; ). Qu diferencia hay


entre los conjuntos HK y H=K?
7. Probar que el centralizador, el centro, el normalizador y el estabilizador
de un grupo (G; ) bajo la operacin son subgrupos de (G; ).

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

Esta relacin es de equivalencia, ya que es reexiva, simtrica y transitiva y


formar una particin del conjunto Z de la siguiente manera:

55

56

CAPTULO 3 GRUPOS FINITOS

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]

donde + es la suma usual entre nmeros enteros.


Podemos ver que
es cerrada, ya que + es cerrada para nmeros enteros.
Adems, si se toma como elemento neutro a la clase del 0 y como elemento
inverso de una clase, a la clase del inverso aditivo (en smbolos: e = [0] y
[a] 1 = [ a]) se verican los axiomas G1 a G4, con lo que podemos llamar
a (Z=n; ) grupo abeliano. Sabemos que Z=n consta de n elementos, por lo
que jZ=nj = n y (Z=n; ) es adems un grupo nito.
Ejemplo 31 Veamos un caso un poco ms concreto. Cuando dividimos un
nmero cualquiera entre 3, los posibles residuos son: 0, 1 2. As que podemos
clasicar a TODOS los nmeros enteros alguno de los siguientes tres conjuntos: El conjunto [0] en donde estarn aquellos nmeros que al dividirlos
entre 3, sobra 0. El conjunto [1] en donde estarn aquellos nmeros que al dividirlos entre 3, sobra 1 y el conjunto [2] en donde estarn aquellos nmeros
que al dividirlos entre 3, sobra 2. Observemos nuevamente que, de acuerdo
a esta clasicacin, todos los nmeros enteros estn repartidos en estos tres
conjuntos y adems de manera nica, esto es, que si un nmero a est en
1

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.

Ejemplo 32 Supongamos que (G; ) es un grupo y para cierto elemento g


de G se tiene que jgj = 4, luego
g

g=e

Ejemplo 33 Para el grupo (R; +) encontramos por ejemplo que j4j = 1 ya


que no existe ningn entero positivo tal que el 4 sumado consgo mismo ese
nmero de veces d como resultado 0.

Ejemplo 34 En el grupo (Z=3; ) vemos que j[1]j = 3 porque


[1]

[1]

que es el elemento neutro de (Z=3; ).

[1] = [3]
= [0]

58

CAPTULO 3 GRUPOS FINITOS

3.1.

Representaciones de Grupos Finitos

Para tener una ilustracin completa de los elementos de un grupo y sus


relaciones con los dems elementos bajo la operacin binaria, utilizamos representaciones. Existen numerosas formas de representar Grupos. Describiremos ac las ms comunes: Usando tablas y Diagramas de Hasse.
CONSTRUCCIN DE TABLAS
La representacin de grupos por medio de tablas es una de las ms utilizadas para grupos nitos. Consiste en escribir todos los elementos en la
la superior y en la primera columna (en el mismo orden) y en las casillas restantes, los resultados de operar (esto es, usando la operacin binaria
denida en el grupo) los elementos de cada la con su respectivo elemento
en cada columna.

Ejemplo 35 Representemos el grupo (Z=3; ) del ejemplo anterior utilizando tablas.


[0] [1] [2]
[0] [0] [1] [2]
[1] [1] [2] [0]
[2] [2] [0] [1]
Aqu tenemos un mapa completo del grupo, donde se evidencian propiedades
bsicas, como por ejemplo que el inverso de [1] es [2] y viceversa, ya que
[1]

[2] = [1 + 2]
= [3]
= [0]

Ejemplo 36 El grupo trivial (e; ) es el grupo nito de menor orden (de


orden 1) y est conformado nicamente por el elemento neutro y su operacin
binaria cerrada defnida por e e = e. Es un procedimiento sencillo vericar
que dicha pareja cumple con los axiomas G1 a G4.

3.1 REPRESENTACIONES DE GRUPOS FINITOS

59

Ejemplo 37 Si queremos construir un grupo de orden 2, al menos uno de


los elementos debe ser el elemento neutro. Con respecto al otro elemento,
debe cumplirse que sea su mismo elemento inverso, o de lo contrario tendra
que existir un tercer elemento que fuera su inverso y el orden del grupo ya
no sera 2. Por tanto, la tabla que representa un grupo (fa; eg ; ) de orden
2 es
e

Observemos que el grupo del ejemplo anterior es subgrupo de (fa; eg ; ).


Ejemplo 38 Similarmente, para construr un grupo con tres elementos a; b
y e donde e es el elemento neutro, nos encontramos con dos posibilidades.
La primera es que a sea el elemento inverso de b y viceversa. La segunda es
que una vez ms a sea su mismo inverso y b sea su mismo inverso. Pero esto
implicara que a b = d es un cuarto elemento, diferente de a; b y e, por lo que
no sera cerrada y no tendramos grupo alguno. Esto nos deja nicamente
con la primera posibilidad, por lo que su representacin por medio de tabla
es
e a b
e

60

3.2.

CAPTULO 3 GRUPOS FINITOS

Principales teoremas de la teora de grupos nitos

3.2.1.

Teorema de Lagrange

Existe un resultado fundamental en la teora de grupos nitos que es


esencial para la gran mayora de sus notables teoremas. Adems de bello,
ayuda a entender en gran medida la estructura de los grupos nitos. Dicho
resultado tiene que ver con la relacin que guarda el rden de un grupo
con el rden de sus subgrupos. Para poder establecerlo necesitamos algunas
deniciones.

Denicin 26 Sea (G; ) un grupo y (H; ) un subgrupo de ste. Se dene


la relacin
x g mod H si y slo si x g 1 2 H
Puede comprobarse que la anterior es una relacin de equivalencia y por
tanto puede construrse una particin de G a travs de las clases de equivalencia
[g] = fx 2 G j x g (mod H)g
Teorema 7 (de Lagrange) Sea (G; ) un grupo nito y (H; ) un subgrupo de ste. Entonces el orden de (H; ) divide al orden de (G; ).

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,

3.2 PRINCIPALES TEOREMAS DE LA TEORA DE GRUPOS FINITOS61


para algn h 2 H. Luego operando a por derecha a ambos lados de la igualdad,
x=h g
esto es,
x 2 Hg
y por lo tanto [g]
Hg. Siguiendo un razonamiento simtrico se puede
comprobar que Hg
[g] y que por tanto Hg = [g]. Veamos ahora que
el orden de cada clase de equivalencia es el mismo que el de H. En otras
palabras, cada [gk ] tendr el mismo nmero de elementos que H. Si denimos
el mapeo
f : H ! Hgk
por f (h) = h gk podremos observar que es uno a uno porque dados f (h1 )
y f (h2 ) iguales,
f (h1 ) = f (h2 )
$ h1 gk = h2
$ h1 = h2

gk

y adems sobreyectivo porque dado x en Hgk tendremos que x = h gk =


f (h) para algn h 2 H.
Finalmente retomemos. Tenemos una relacin de equivalencia mod H sobre
G, lo que induce una particin de G. Esto quiere decir que cada [gk ] para
k = 1; 2; : : : ; n es disyuntiva, y que G = [g1 ] [ [g2 ] [
[ [gn ]. Es decir que
en cuanto al orden de G respecta,
jGj = j[g1 ] [ [g2 ] [
[ [gn ]j
= jH [
[ Hj
= n jHj
Y la expresin jGj = n jHj nos indica que jHj divide a jGj.

Corolario 1 Sea (G; ) un grupo nito y (H; ) un subgrupo de ste. Entonces jG=Hj = jGj jHj.

62

CAPTULO 3 GRUPOS FINITOS

Demostracin. La prueba es consecuencia directa de los resultados de la


demostracin del Teorema de Lagrange y se dejan como ejercicio los detalles.
Veamos ahora dos proposiciones relacionadas pero concernientes con el
orden de un elemento del grupo.
Notacin 5 Sea (A; ) una estructura algebraica binaria. El conjunto de
elementos que resultan de operar un elemento a 2 A consigo mismo se denota
por hai.

Notacin 6 La expresin
k veces. i.e,

0
L

x = e,

i=1

1
L

k
L

x representa la operacin de x por si misma

i=1

x = x,

i=1

2
L

x=x

x,

i=1

3
L

x=x

x, etc. Y

i=1

a similarmente expresamos la operacin entre inversos:

1
L

= x 1,

i=1
2
L

= (x )

(x ),

3
L

= (x 1 )

(x 1 )

(x 1 ), etc. Bajo

i=1

i=1

esta nueva expresin podemos representar el orden de un elemento g de la


siguiente forma: jgj = k si y slo si k es el menor entero positivo tal que
k
M

g=e

i=1

Proposicin 15 Sea (A; ) una estructura algebraica binaria con elemento


neutro. Entonces jhaij = jaj.
Demostracin. Caso nito: Supongamos que jaj = n. Luego
(
)
2
3
n 1
n
M
M
M
M
a,
a,
a, : : : ,
a,
a=e
i=1

i=1

i=1

i=1

3.2 PRINCIPALES TEOREMAS DE LA TEORA DE GRUPOS FINITOS63


es subconjunto de hai. Todos estos elementos son distintos, ya que si, por
p
q
L
L
ejemplo
a=
a para p distinto de q, se tendra por Ley de Tricotoma
i=1

i=1

que p < q o p > q. Podemos suponer sin prdida de generalidad la primera


1
p
L
y, operando por
a
por derecha, se llega a
i=1

q p
M

e=

(3.1)

i=1

y q p es mayor que 0, por lo que q p constituye un entero positivo menor


que n que cumple con (3.1), lo que contradice la minimalidad de n.
2
3
nL1
n
L
L
L
El hecho de que todos los elementos del conjunto a,
a,
a, : : : ,
a,
a
i=1

i=1

i=1

i=1

sean distintos implica que hai tiene al menos n elementos. Esto es,
jhaij

Supongamos ahora con nes de contradiccin que tiene ms de n elementos.


k
k
2
3
nL1
n
L
L
L
L
L
Esto quiere decir que existe
a 2 hai tal que
a2
= a,
a,
a, : : : ,
a,
a .
i=1

i=1

i=1

Por el Algoritmo de la Divisin, k = n p + r. Luego,


k
M

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

CAPTULO 3 GRUPOS FINITOS


a pertenece al conjunto

i=1

a,

2
L

i=1

a,

3
L

a, : : : ,

i=1

nL1
i=1

r < n. Luego hai tiene exactamente n elementos.

a,

n
L

porque 0

i=1

De sta proposicin podemos observar varios detalles interesantes. El


primero de ellos es que dada una estructura algebraica binaria (A; ) con
elemento neutro y un elemento a de A, la pareja (hai ; ) constituye un
grupo abeliano (comprobarlo). Este tipo de grupo dar origen al concepto de
grupo cclico, del que se hablar en la siguiente seccin. As que si la estructura (A; ) resulta ser un grupo, (hai ; ) ser un subgrupo de orden n. De
lo anterior se deduce la siguiente proposicin:
Proposicin 16 Sea (G; ) un grupo y g un elemento de G. Entonces el
orden de g divide al orden de G.
Demostracin. Caso nito: Supongamos que jgj = n. Por la proposicin
anterior, jgj = jhgij. Y debido a que (hgi ; ) es subgrupo de (G; ), por el
Teorema de Lagrange, el orden de (hgi ; ) divide al orden de (G; ), por lo
que n divide al orden de (G; ).
Finalmente, cerramos este aparte con una versin del criterio del subgrupo
para grupos nitos:
Teorema 8 (Criterio del subgrupo caso nito) Sea (G; ) un grupo y
(H; ) tal que H es no vaco, jHj es nito y
es cerrada en H. Entonces
(H; ) es subgrupo de (G; ).
Demostracin. Debido a que H es no vaco, debe tener algn elemento. Sea
dicho elemento h 2 H. Como es cerrada en H, tendremos que
h
(h
(h

h)
h)

h =
h =
h =

2
M

i=1
3
M

i=1
4
M
i=1

h2H
h2H
h2H

3.2 PRINCIPALES TEOREMAS DE LA TEORA DE GRUPOS FINITOS65


y en general,
k
M
i=1

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

Operando a ambos lados por

obtenemos

i=1
p
M

a
M

i=1

h=e=

i=1

Operando a ambos lados por h

i=1

p a
M

m
M

=e

i=1

obtenemos
1

m
M1

i=1

Y dado que m 1 < m, tenemos que h 1 pertenece a H, luego dado cualquier


otro elemento x 2 H, x h 1 pertenece a H (por ser cerrada en H).
Luego por el criterio del subgrupo (Teorema 1) se concluye que (H; ) es
subgrupo de (G; ).

3.2.2.

Teorema de Cauchy

Teorema 9 (de Cauchy) Sea (G; ) un grupo nito de orden n, y p un


nmero primo que divide a n. Entonces existe un elemento de G de orden p.

66

CAPTULO 3 GRUPOS FINITOS

Demostracin. Se presentar una prueba para el caso especial en que (G; )


es abeliano. Para una prueba general puede consultarse la de McKay2 .
Se proceder usando el descenso innito.
Sea g un elemento de (G; ) de orden m 6= 1. Se presentan dos alternativas: Que p divida a m o que no. Consideremos la primera, que implica que
m = p q para algn entero positivo q. Por el lema 5,
q
M
i=1

Por lo que el elemento

q
M

m
M CD (m; q)
p q
=
M CD (p q; q)
p q
=
q
= p

g =

(3.2)

g de G es de orden p, con lo que se cumple el

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

MCKAY, J. Another proof of Cauchys group theorem. Amer. Math. Monthly, 66


(1959) p.119

3.2 PRINCIPALES TEOREMAS DE LA TEORA DE GRUPOS FINITOS67


luego p debe ser divisor de j(G= hgi ; )j. Sea g2 un elemento de (G= hgi ; )
de orden m2 6= 1. Se presentan de nuevo dos alternativas: que p divida a
m2 o que no. En el caso armativo podemos repetir el proceso de la linea
3.2 para ver que se llega a la misma conclusin. As que supongamos la
segunda alternativa. Nos encontraremos con que (hg2 i ; ) es nuevamente un
subgrupo abeliano propio de (G= hgi ; ) y aplicando nuevamente el corolario
1 tendremos que
j((G= hgi) = hg2 i ; )j = j(G= hgi ; )j

(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

CAPTULO 3 GRUPOS FINITOS


!

n
M

n
M

i=1

=e

=e

i=1

n
M

!e

i=1

n
M

=e

i=1

Por lo que el orden de g 1 es divisor del orden de g. Supongamos que jg 1 j =


m y m q = n para algn entero positivo q. Luego,
m
M

=e

i=1

m
M

i=1

m
M

=e

i=1

m
M

e=e

i=1

m
M

g=e

i=1

Por lo que existe un entero m < n = jgj tal que


la minimalidad de n. Por tanto jg 1 j = n.

m
M

g = e lo que contradice

i=1

Proposicin 17 Sea (G; ) un grupo abeliano nito de orden m n donde


M CD (m; n) = 1 y sea M el conjunto de elementos de G que tengan orden m
y N el conjunto de elementos de G que tengan orden n. Entonces (G; ) =
(M N; ).

Demostracin. Se vericar primero que M \N = e. En efecto supongamos


que existe un elemento comn en ambos conjuntos x 6= e (ntese que esto

3.2 PRINCIPALES TEOREMAS DE LA TEORA DE GRUPOS FINITOS69


implica que el orden de M y de N es mayor que uno). Debido a que x
pertenece a M , por denicin se tiene
m
M

x=e

i=1

y debido a que tambin pertenece a N , se cumplir lo propio:


n
M

x=e

i=1

Lo que nos lleva (debido a la minimalidad) necesariamente a que m = n, que


contradice la hiptesis sobre su M CD.
Veamos ahora que
G = MN
Sea g un elemento cualquiera de g. Si el orden de g es k, por la proposicin
16 k debe dividir a m n, por lo que
k r
n

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

CAPTULO 3 GRUPOS FINITOS


!

m
M

g=e

i=1

Lo que quiere decir que k es divisor de m. Realizando un procedimiento


n
M
similar usando
g llegamos a que k tambin es divisor de n, luego es
i=1

divisor comn de m y n, pero de acuerdo con la hiptesis el mximo de los


divisores comunes de m y n es 1, por lo que necesariamente k slo puede ser
1 m n m n. Esto quiere decir que si g = a b,
jgj = ja

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)

en cuyo caso a; b 2 M N . En cualquier caso, para cualquier g;


g=a

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

c Para algn c de N (obsrvese que

es cerrada en N )

3.2 PRINCIPALES TEOREMAS DE LA TEORA DE GRUPOS FINITOS71


! (a0 )

a=c

Sin embargo (a0 ) 1 a es un elemento de M y teniendo en cuenta que


M \ N = e, necesariamente debe cumplirse que
c = b0

= (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; )

Corolario 2 (P; ) es un subgrupo de (G; ).


Demostracin. Usando el Teorema de Cauchy se puede deducir que P es
no vaco. Adems la operacin
en P es cerrada porque dados x; y en P ,
a
el orden de (x y) es p , por lo que se cumplen las condiciones del Teorema
del Criterio del Subgrupo (8). Los detalles se dejan al lector.
Fueron estas proposiciones las que impulsaron un profundo estudio sobre
este tipo de grupos, culminando en los resultados conocidos como Teoremas
de Sylow.

72

3.2.3.

CAPTULO 3 GRUPOS FINITOS

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.

Notacin 7 Dado un grupo (G; ), al conjunto de p-subgrupos de Sylow


de (G; ) se le denota por Sylp (G; ) y al cardinal de dicho conjunto se le
denota por np (G; ).

3.2 PRINCIPALES TEOREMAS DE LA TEORA DE GRUPOS FINITOS73


Teorema 10 (De Sylow) 3 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. Entonces:
1) (G; ) contiene al menos un p-subgrupo de Sylow. En smbolos, Sylp (G; ) 6=
?.
2) Sean (P; ) y (P 0 ; ) p-subgrupos de Sylow de (G; ). Entonces existe
un elemento g de G tal que P 0 = gP g 1 (i. e, cualesquiera dos p-subgrupos
de Sylow son conjugados).
3) El nmero de p-subgrupos de Sylow de (G; ) es de la forma 1 + kp
donde k es un nmero entero. En smbolos, np
1 (mod p). Adems, np
divide a m.
Veamos algunas de sus consecuencias y algunas de sus esenciales aplicaciones.
Corolario 3 Sea (P; ) un p-subgrupo de Sylow de un grupo (G; ). Entonces (P; ) es el nico p-subgrupo de Sylow de (G; ) si y slo si (P; ) es
normal en (G; ).
Demostracin. Prueba directa:

Supongamos que (P; ) es el nico p-subgrupo de Sylow de (G; ). Dado


g en G, sabemos que (gP g 1 ; ) es subgrupo de (G; ). Por el Teorema de
Lagrange, jgP g 1 j debe dividir a jGj, lo que nos deja con dos opciones:
gP g

= pa m gP g

= pa

(Descartamos las otras posibilidades recordando que P gP g 1 y jP j = pa ).


En el primer caso tendramos que jgP g 1 j = jGj y por tanto (gP g 1 ; ) =
(G; ). En consecuencia,
gP g 1 = G
Esto es,
g
3

=G

Para la demostracin del teorema de Sylow se requieren algunos resultados adicionales


que no han sido incluidos en esta exposicin introductoria. El lector interesado puede
remitirse a [3] o a [4].

74

CAPTULO 3 GRUPOS FINITOS


!g

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

para todo g 2 G. O, lo que es lo mismo,


P =g
!P

P
g=g

P g = gP
Por lo que (P; ) es normal en (G; ).

Prueba recproca:

Supongamos que (P; ) es normal en (G; ). De existir un p-subgrupo


de Sylow (Q; ) de (G; ), por el Teorema de Sylow parte 2) existe un
elemento g de G tal que Q = gP g 1 , pero debido a la normalidad de (P; ),
gP g 1 = P para cualquier g. Por tanto, Q = P y se concluye entonces que
(P; ) = (Q; ).

3.3.

Grupos Cclicos

Estudiando conjuntos nitos surgen casos interesantes. Por ejemplo, podemos


encontrar que para ciertos conjuntos basta un elemento con una operacin

75

3.3 GRUPOS CCLICOS

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
..
.

Cuando encontramos este comportamiento en los grupos, reciben un nombre


especial:
Denicin 28 Sea (G; ) un grupo. Si existe un elemento x en G tal que
k
L
G = g2Gjg=
x para algn k entero positivo entonces se dice que
i=1

(G; ) es cclico y al elemento x se le denomina generador de G.

Ejemplo 39 Observemos el caso del grupo (Z=3; ). Si tomamos el elemento


[1] 2 Z=3 vemos que todos los elementos de Z=3 pueden expresarse como [1]
operado consigo mismo cierto nmero de veces:
[1] =

1
M

[1] = [1]

i=1

[2] =
[3] =

2
M

i=1
3
M

[1] = [1]

[1]

[1] = [1]

[1]

[1]

i=1

por lo que (Z=3; ) es un grupo cclico con [1] como generador.

76

CAPTULO 3 GRUPOS FINITOS

Pasemos ahora a mirar las principales propiedades de los grupos cclicos:


La primera de ellas es que son grupos abelianos.
Teorema 11 Todo grupo cclico es abeliano
Demostracin. Sea (G; ) un grupo cclico con generador g 2 G. Sean x; y
dos elementos cualesquiera de G. Luego podemos expresarlos como
x =
y =

m
M

i=1
n
M

g
g

i=1

para algunos m y n nmeros enteros positivos.


Veamos ahora que si operamos x y y obtenemos:
!
!
m
n
M
M
x y =
g
g
=
=
=

i=1
m+n
M

i=1

i=1
n+m
M

i=1
n
M
i=1

= y

m
M
i=1

y debido a que los elementos x y y se tomaron arbitrarios, se deduce que lo


anterior se cumple para todos los elementos de G. Esto es, (G; ) es abeliano.
Sigue ahora un resultado importante concerniente a los subgrupos de un
grupo cclico.
Teorema 12 Todo subgrupo de un grupo cclico es a su vez cclico.

77

3.3 GRUPOS CCLICOS

Demostracin. Sea (G; ) un grupo cclico con generador g y supongamos


que (H; ) es subgrupo de (G; ). Es claro que todos los elementos de H
son generados por g. Sin embargo, no tenemos ninguna garanta de que g
pertenezca a H. As que la idea es comenzar del otro lado. Es decir, encontrar
un elemento en H que sea generador de (H; ). Debido a que H es no vaco,
tenemos dos opciones mutuamente excluyentes: (H; ) es el subgrupo trivial
(feg ; ) en cuyo caso (H; ) es cclico con generador e y no hay nada ms
que demostrar, o (H; ) no es el subgrupo trivial. Para sta alternativa se
tendra entonces que existe un elemento h en H tal que h es distinto del
elemento neutro e. Ahora, h es tambin elemento de G por lo que existe un
entero positivo n tal que
n
M
h=
g
i=1

Denotemos por N el conjunto de los enteros positivos k tales que

k
L

g sea

i=1

un elemento de H. En smbolos,
(

k 2 Z+ j

N=

k
M
i=1

g2H

podemos ver entonces que N es no vaco, porque al menos tenemos que n


es un elemento de ste. Por el Principio de Buena Ordenacin, N tiene un
m
L
elemento mnimo. Llammolo m. Sea ahora h0 =
g. Se comprobar a coni=1

tinuacin que h0 es un generador de (H; ).

En efecto, dado h 2 H vemos que


h=

n
M

i=1

por el Algoritmo de la Divisin nos encontramos con que n = q m + r para


enteros positivos q y r con 0 r < m. Supongamos r 6= 0. Luego,
q m+r

h =

i=1

! h=

qm
M
i=1

r
M
i=1

(3.3)

78
Operando por

CAPTULO 3 GRUPOS FINITOS


qL
m

por izquierda tenemos

i=1

qm
M
i=1

Pero observemos que


de la operacin

qL
m

g = h0

h=

r
M

i=1

h0

h0 q veces, y por la clausuratividad

i=1
qL
m

g es tambin elemento de H, por lo que su inverso

i=1

tambin estar en H (axioma G3). Es decir,

qL
m

i=1

por la cerradura de

qL
m

2 H. Nuevamente

h pertenece a H. Esto hace que

i=1

sea un elemento de H. Sin embargo, se estableci que si

r
L

i=1

r
L

i=1

g 2 H, entonces

r > m, que contradice la suposicin de que 0 < r < m. Luego r = 0 y de la


linea (3.3) se obtiene
h =

qm
M

i=1

! h=
! h=

qm
M

i=1
q

h0

i=1

Es decir, los elementos de H pueden generarse por h0 y por tanto (H; ) es


cclico.

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

3.3 GRUPOS CCLICOS

Lema 4 Sea (G; ) un grupo, g un elemento de G y n nmero entero. Si


n
L

i=1

g = e, entonces jgj divide a n.

Demostracin. (Se deja como ejercicio)


Lema 5 Sea (G; ) un grupo, x 2 G y sea a un entero distinto de cero. Si
a
L
n
x = M CD(n;a)
jxj = n, entonces
.
i=1

Demostracin. Supongamos que

a
L

x = y y M CD (n; a) = d. Debido a

i=1

que d divide tanto a n como a a, tenemos que


n=d sya=d t

(3.4)

para algunos s; t 2 Z. Adems M CD (s; t) = 1 (por qu?). Aplicando el


lema anterior, tenemos que si m es el orden de y, entonces n divide a a m,
que por (3.4) equivale a decir que d s divide a d t m. Ahora, s no puede
ser divisor de t, luego necesariamente s divide a m. Pero a su vez m divide a
s (por qu?), luego m = s. Aplicando esto a (3.4) tenemos:
n = d m
! n = d jyj
a
M
! n=d
x
i=1

n
=
d

a
M

i=1

a
M
n
!
=
x
M CD (n; a)
i=1

A continuacin veremos un resultado que nos permite determinar cuntos


generadores tiene un grupo cclico para, posteriormente, averiguar con ayuda

80

CAPTULO 3 GRUPOS FINITOS

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

para algn k entero positivo. Por el lema 5 tendremos que


jhj =

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

3.3 GRUPOS CCLICOS


donde ' es la funcin de Euler.

El siguiente es uno de los resultados esenciales de los grupos cclicos, y


es que todos los grupos cclicos del mismo orden son esencialmente el mismo
(i.e, isomorfos). Esta observacin jugar un papel fundamental en la caracterizacin de los grupos cclicos.

Teorema 14 Dos grupos cclicos del mismo orden son isomorfos.


Demostracin. Sean (G; ) y (H; ) dos grupos cclicos de orden n con
generadores g y h respectivamente. Se dene el mapeo ' : (G; ) ! (H; )
por
k
k
M
O
':
g!
h
i=1

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

luego ' es un homomorsmo. Ahora, dado un elemento x en H, debido a que


h es generador, se tiene que
x=

a
O
i=1

h para algn entero a.

82

CAPTULO 3 GRUPOS FINITOS

ya que (G; ) es cclico, existir un elemento y =

m
M

g para cualquier entero

i=1

m, en particular cuando se trate de a, por lo que a x =


sponder siempre un elemento

a
M

a
O

h le corre-

i=1

g en (G; ). Con esto se comprueba la

i=1

sobreyectividad. Con respecto a la inyectividad hay que notar que el mapeo


a
b
M
M
' conserva el superndice, por lo que, dados
gy
g en (G; ), si resulta
i=1

que

a
M
i=1

g 6=

b
M

i=1

g es porque b es distinto de a y adems no es mltiplo de a,

i=1

por lo que necesariamente sus correspondientes elementos bajo el mapeo ',


a
b
O
O
que son
hy
h sern tambin diferentes. Es decir,
i=1

i=1

'

a
M
i=1

6= '

b
M
i=1

con esto se concluye que ' es biyectivo y en consecuencia, es un isomorsmo.


Debido a lo anterior, se puede pensar en una relacin de equivalencia
denida por
(G; )

(H; ) si y slo si j(G; )j = j(H; )j

Se deja al lector la sencilla comprobacin de que sta constituye una relacin


de equivalencia. A partir de la cual podemos formar las clases de equivalencia:
[(G; )] = f(H; ) grupo cclico j (H; )

(G; )g

Si el orden de (G; ) es n, podemos escribir lo anterior como


(Cn ; ) = f(H; ) grupo cclico j j(H; )j = ng
De esta manera, todos los grupos cclicos quedan completamente determinados e identicados unvocamente por su orden, independientemente de sus
elementos o su operacin.

83

3.3 GRUPOS CCLICOS


Notacin 8 El grupo cclico de orden n se denota por (Cn ; ).

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

Demostracin. Sea m un entero positivo que divide a n y supongamos que


p = n m. Si el orden de x es k, tenemos que
( 1
)
2
k
M M
M
hxi =
x;
x; : : : ;
x=e
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

En cuanto al orden de este conjunto, invocando el lema 5 podemos observar


que
* p +
p
M
M
n
p m
n
= =
=m
g =
g =
M
CD
(n;
p)
p
p
i=1
i=1

Veriquemos ahora que (hxi ; ) es un subgrupo de (G; ). Es claro que hxi


es no vaco, ya que m 6= 0. Sean g1 y g2 elementos cualesquiera de hxi. Luego
g1 =

a
M

x y g2 =

i=1

b
M

i=1

para algunos enteros positivos a y b. Si los operamos,


g1

g2 =
=

a
M

i=1
a+b
M
i=1

b
M
i=1

84

CAPTULO 3 GRUPOS FINITOS

Supongamos que a + b = c, por lo que


g1

g2 =

c
M

i=1

Por el Algoritmo de la Divisin, c = p m + r para algn entero positivo p y


con 0 r < m. Es decir,
p m+r

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

x (no olvidar que el orden de x es m)

i=1

r
M

i=1

r
M

i=1

Luego

r
L

i=1

x = g1

g2 pertenece a hxi, ya que r < m. Por tanto, por el criterio

del subgrupo caso nito (teorema 8), (hxi ; ) es un subgrupo de (G; ).


Debemos ahora vericar la unicidad. Esto es, que si existe otro subgrupo
de (G; ) de orden m, necesariamente debe ser el mismo (hxi ; ). En efecto,
supongamos que (H; ) es dicho subgrupo. Como (G; ) es cclico, (H; )
tambin lo es (Teorema 12). Sea h su generador, que, escrito en trminos del
generador g de (G; ) es
* a +
M
(H; ) = hhi =
g para algn a entero positivo
i=1

Ahora, en cuanto al orden,


* a +
M
g =
i=1

n
=m
M CD (n; a)

85

3.3 GRUPOS CCLICOS


Sea D = M CD (n; a). Luego,
* a + *D x +
M
M
g =
g para algn entero positivo x.
i=1

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

g . Sin embargo, tambin encontramos

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 ; )

Corolario 4 Sea (G; ) un grupo nito y g un elemento de G. Entonces


(hgi ; ) es un subgrupo de (G; ).
Demostracin. (Se deja como ejercicio: Consiste en la sola vericacin de
las condiciones del criterio del subgrupo para grupos nitos).
Se puede adems probar que para cada subgrupo del grupo cclico (G; )
existe un entero que divide a n que es generador de ste (comprobarlo).
En otras palabras, los divisores de n corresponden de forma biyectiva a los
subgrupos de (G; ). Por lo que sus subgrupos estan completamente determinados por los divisores positivos de su orden.

86

CAPTULO 3 GRUPOS FINITOS

Ejemplo 40 Determinar por completo la estructura del grupo (Z=12; ).

Solucin 3 Recordemos que (Z=12; ) es un grupo cclico con generador [1].


El orden del grupo (Z=12; ) es 12. Por lo que los enteros m que dividen a
12 son m = 1; 2; 3;*
4; 6 y 12.
que, aplicando
teorema
los *
subgrupos
+ As
* 12=2
+ * 12=3 el +
* 12=4 15 +
+
12=1
12=6
M
M
M
M
M
de (Z=12; ) son:
[1] ,
[1] ,
[1] ,
[1] ,
[1]
y

*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

= h[4]i = (Z=3; ) (subgrupo de orden 3)

= h[3]i = (Z=4; ) (subgrupo de orden 4)

= h[2]i = (Z=6; ) (subgrupo de orden 6)

[1]

i=1

* 1
M

[1]

i=1

* 2
M

= h[6]i = (Z=2; ) (subgrupo de orden 2)

[1]

i=1

* 3
M

[1]

i=1

[1]

= h[12]i = h[0]i (subgrupo de orden 1)

= h[1]i = (Z=12; ) (subgrupo de orden 12)

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

3.3 GRUPOS CCLICOS

Diagrama de Hasse del grupo cclico (Z=12; ).


Es tiempo de ocuparnos ahora del producto de grupos cclicos y averiguar
si su resultado es otro grupo cclico. Tenemos la siguiente proposicin.
Proposicin 19 ((Cn ; )
1.

(Cm ; ) ; ) = (Cnm ; ) si y slo si M CD (n; m) =

Demostracin. Para esta prueba se tendr en cuenta la relacin que existe


entre el MCM y el MCD de dos enteros positivos cualesquiera a y b. A saber:
a b
M CM (a; b) =
(3.6)
M CD (a; b)

88

CAPTULO 3 GRUPOS FINITOS


Parte recproca:
Supongamos ahora que M CD (n; m) = 1. Luego por 3.6,
(3.7)

M CM (n; m) = n m

Por otro lado, sean respectivamente g1 y g2 los generadores de los grupos


cclicos (Cn ; ) y (Cm ; ). Se estudiar el orden del elemento (g1 ; g2 ) de
(Cn ; ) (Cm ; ). Por denicin, j(g1 ; g2 )j es aquel entero positivo x tal que
x
M
(g1 ; g2 ) = (en ; em ) donde en es el elemento neutro de (Cn ; ) y em el
i=1

propio de (Cm ; ). Sin embargo, se sabe por la proposicin 15 que el orden


de g1 es n y el de g2 es m. En smbolos,
n
M

g1 = en y

i=1

m
M

g2 = em

i=1

Que ocurrir tambin para cualquier mltiplo de n y para cualquier mltiplo


x
M
de m por ser cclico. Luego
(g1 ; g2 ) = (en ; em ) cuando x sea mltiplo
i=1

comn a ambos. El mnimo de estos mltiplos es porsupuesto M CM (n; m) =


n m (lnea 3.7). Usando la proposicin 14 tenemos que
j(Cn ; )

(Cm ; )j = n m = j(Cnm ; )j

Se ha entonces comprobado con esto que ((Cn ; )

(Cm ; ) ; ) es un grupo

cclico de orden n m con generador (g1 ; g2 ). Por lo que se est en posicin de


aplicar el teorema 14 para conclur que ((Cn ; ) (Cm ; ) ; ) y (Cnm ; )
son isomorfos.
Parte directa:
Sea ' un isomorsmo entre ((Cn ; ) (Cm ; ) ; ) y (Cnm ; ) y adems,
con nes de contradiccin supongamos que M CD (n; m) = d pero siendo d
distinto de 1. Usando 3.6 se tendr entonces que
0

De esta manera, ' @

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 APLICACIONES DE LOS TEOREMAS DE GRUPOS FINITOS89


mapea elemento neutro en elemento neutro de acuerdo con el lema 1, ' no
es un isomorsmo, lo que contradice la hiptesis. Por tanto, debe cumplirse
necesariamente que M CD (n; m) = 1.
ejercicios: 1. generalizar la anterior proposicion para el producto de n
grupos ciclicos. 2. probar el caso innito para la proposicion p1 y p2. 3. como
podria denirse el orden de un elemento de un producto de grupos?

3.4.

Aplicaciones de los teoremas de grupos


nitos

Proposicin 20 Sea (G; ) un grupo de orden primo p. Entonces (G; ) es


cclico.
Demostracin. Supongamos que (G; ) es de orden p donde p es un nmero primo. Sea g un elemento de G distinto del elemento neutro. Por la
proposicin 16, el orden de g divide al orden de (G; ) y por la proposicin
15, jgj = jhgij. Por lo tanto, el orden de (hgi ; ) divide al orden de (G; ).
Esto implica que
jhgij = 1 jhgij = p
Sin embargo la primera alternativa es insostenible, ya que g es distinto del
elemento neutro, luego su orden no puede ser 1. De esta forma, el orden de
(hgi ; ) es el mismo de (G; ). Esto es, hgi = G. Se concluye entonces que
(G; ) es un grupo cclico.
Problema 1 Demostrar que todo grupo de orden 15 es cclico.
Solucin 4 La estrategia que se seguir es mostrar que dicho grupo est conformado por dos subgrupos de Sylow que adems son cclicos y por tanto, el
grupo ser cclico.
Sea (G; ) un grupo cualquiera de orden 15. Luego jGj = 15 = 3 5. Por el
Teorema de Sylow parte 1), existe un 3-subgrupo de Sylow (P; ) de (G; ).
Debido a que el orden de (G; ) es 3 5 y 5 es tambin primo, podemos

90

CAPTULO 3 GRUPOS FINITOS

aplicar nuevamente el Teorema de Sylow parte 1) para conclur que existe


tambin un 5-subgrupo (Q; ) de Sylow de (G; ). De esta manera tenemos
el 3-subgrupo de Sylow (P; ) de orden 3 y el 5-subgrupo de Sylow (Q; ) de
orden 5.
Observemos ahora que estos subgrupos son nicos.
Para calcular el nmero de 3-subgrupos de Sylow que tiene (G; ) utilizamos
el Teorema de Sylow parte 3) que afrima que
n3

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.

Grupos Abelianos Finitos

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

3.4 APLICACIONES DE LOS TEOREMAS DE GRUPOS FINITOS91


que
0

x =
=

m
M

i=1
m+n
M

n
M

g0

i=1

g0

i=1

m+n
M
i=1

g 0 es un elemento de hg 0 i por lo que

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

Ya que si pb no es el orden de y (o no es el orden de y 0 ), lo ser alguno de


sus divisores, y por tanto tambin dar e. (Ver lema 4) Luego,
b

p
M

(y

y0) = e

i=1

Es decir que el orden de (y y 0 ) es o pb o alguno de sus divisores. En todo


caso menor que jg 0 j y en consecuencia (y y 0 ) es un elemento de Q.

Teorema 16 Sea p un nmero primo y (G; ) un grupo abeliano nito de


orden pa . Supongamos que g 2 G es tal que jgj = max fjxj con x 2 Gg.
Entonces (G; ) = (hgi Q; ).
Demostracin. Sea Q el conjunto de elementos de G que no estn en hgi
a excepcin de e. Dado un elemento cualquiera x 6= e de G, se tiene que x

92

CAPTULO 3 GRUPOS FINITOS

pertenece a hgi pertenece a Q debido a que su orden debe ser de la forma


pb para algn b a. Por lo que podemos armar que
x=a

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 )

Pero (a0 ) 1 a es un elemento de hgi y (b0


6). Por lo que necesariamente,
(a0 )

a = b0

(b 1 )) de Q (ver lemas 3 y

=e

De donde se deduce que


a = a0 y b = b 0
Aplicando la proposicin 6 se obtiene la conclusin armada.

3.4.2.

El Teorema Fundamental de los Grupos Abelianos


Finitos

Hasta el momento hemos podido observar el protagnico papel que juegan


los grupos abelianos en los grupos cclicos y en general, en los grupos nitos.
Ahora se mostrar un enunciado que los caracteriza por completo utilizando
los resultados de los grupos cclicos.

Teorema 17 (Fundamental de los grupos abelianos nitos) Todo grupo


abeliano nito es isomorfo a un producto de grupos cclicos.

3.4 APLICACIONES DE LOS TEOREMAS DE GRUPOS FINITOS93


Demostracin. Sea (G; ) un grupo abeliano nito de orden n. Si p es
un nmero primo que divide a n entonces por proposicin 18 (G; ) =
(P Q; ). Donde P es tal que jP j = pa con a > 0. Por el corolario 2 se
sabe que (P; ) es nuevamente un grupo abeliano. Aplicndole el teorema
16 obtenemos que ste ser isomorfo al producto de un grupo cclico y otro.
Aplicando este procedimiento a todos los primos que dividen a n se llega
al resultado armado (usar el Teorema Fundamental de la Aritmtica). Los
detalles se dejan al lector.

Captulo 4
Grupos Especiales

Existen ciertos tipos de grupos con caractersticas especiales que han


llegado a tener importancia por s mismos, ya que han sido objeto de estudio
independiente y exhiben propiedades bastante interesantes, con aplicaciones
a la Geometra, Topologa, Solucin de ecuaciones y hasta la Fsica y la
Qumica.

4.1.

El Grupo de Permutacin

Recordemos que una permutacin es simplemente una reordenacin de


los elementos de un conjunto, que podemos notarla como una funcin. De
esta manera la podemos denir as:
Denicin 29 Sea G un conjunto. Una funcin
denomina permutacin del conjunto G.

: G ! G biyectiva se

De lo anterior se inere que pueden existir ms de una funcin biyectiva


(permutacin) sobre un conjunto. Esto nos plantea una situacin. Si tenemos
un conjunto G y, digamos, dos permutaciones y sobre G, el conjunto resultante de aplicarle la primera permutacin y luego no necesariamente ser
95

96

CAPTULO 4 GRUPOS ESPECIALES

el mismo que si lo hacemos en el orden contrario. Es necesaria una notacin


que nos especique el orden en que se estn aplicando ciertas permutaciones
sobre un conjunto.

Notacin 9 Sea G un conjunto y y


dos permutaciones de G. Dado
g 2 G se escribe (
) (g) para indicar que se est aplicando la permutacin
al elemento g y, posteriormente, la permutacin . En este orden de ideas,
(
) (g) = ( (g)).

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)) = g para todo elemento g

Su existencia est garantizada, ya que es biyectiva. As, podemos denir


una permutacin n para cualquier entero n teniendo en cuenta que:
n

) (g) , n veces, si n > 0

(g) = (
n

(g) =

(g) = (g) = g si n = 0
1

(g) , jnj veces, si n < 0

Con lo anterior podremos ver que el conjunto de permutaciones de un


conjunto bajo la operacin es un grupo.

Teorema 18 Sea G un conjunto y PG el conjunto de permutaciones de G.


Entonces (PG ; ) es un grupo.

97

4.1 EL GRUPO DE PERMUTACIN

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)

G2: Sea e = la permutacin idntica. Por ser una funcin biyectiva de G,


2 PG . Luego dado 2 PG y g 2 G,
(

) (g) = ( (g))
= (g)
= ( (g))
= (
) (g)

G3: Dada una permutacin 2 PG sea 1 su permutacin inversa. Por ser


una permutacin, necesariamente 1 2 PG y
1

(g) =
= g
=
=

( (g))
1

(g)
1
(g)

Denicin 30 El grupo (PG ; ) del teorema anterior se denomina grupo de


permutacin de G.
El grupo de permutacin es uno de los ms importantes en toda la Teora
de Grupos. Adems de las aplicaciones a la solucin de problemas matemticos y de sus relevantes consecuencias, ha ayudado, por ejemplo, a encontrar
algoritmos para resolver el famoso cubo de Rubik.

98

CAPTULO 4 GRUPOS ESPECIALES

Ejemplo 41 (El Grupo Simtrico) Si el conjunto G es un subconjunto de


los nmeros naturales G = f1; 2; : : : ; ng, entonces su correspondiente grupo
de permutacin (PG ; ) recibe el nombre de grupo simtrico y se denota
usualmente como (Sn ; ). Obsrvese que el orden de (Sn ; ) es n! (comprobarlo).
Teorema 19 (de Cayley) Todo grupo es isomorfo a un subgrupo de su
grupo de permutacin.
Demostracin. Sea (G; ) un grupo y (PG ; ) su grupo de permutacin.
Sea el mapeo ' : (G; ) ! (PG ; ) denido por ' (g) = g (g ) para todo
elemento g de G, donde la permutacin g (g ) intercambia el elemento g
por (g g ) para algn elemento g de G. Esto es,
g

(g ) = (g

g )

Se verica ahora que ' es un isomorsmo:


Sean g1 ; g2 elementos cualesquiera de G. Luego,
' (g1

g2 ) = g1 g2 (g )
= (g1 g2 ) g
= g1 (g2 g )
= g1
g2 (g )
= ' (g1 ) ' (g2 )

Por tanto ' es un homomorsmo.


Se verica la inyectividad:
Sean g1 ; g2 tales que
' (g1 ) = ' (g2 )
Luego,
g1

g1
Operando (g )

(g ) =

g2

g = g2

por derecha se obtiene


g1 = g2

Se verica ahora la sobreyectividad:

(g )
g

99

4.1 EL GRUPO DE PERMUTACIN


Sea g un elemento cualquiera de G. Luego,
g = e g
= e (g)
= ' (e)

Por lo que ' es un isomorsmo. Debido a la proposicin 8, (' (G) ; ) es un


subgrupo de (PG ; ).
Se ha visto que una permutacin relaciona dos elementos, a saber, el
elemento que se est permutando y el elemento resultante de la permutacin.
Si nos ocupamos ahora de encontrar todos los elementos que, a travs de la
permutacin dan como resultado un elemento jo, digamos g, se podrn
relacionar todos estos elementos con g por medio de . Se denotar O (g) al
conjunto de estos elementos y se llamar rbita de . De manera formal se
tiene:
Denicin 31 (rbita) Sea G un conjunto y una permutacin de G.
Al conjunto O (g) = fx 2 G j n (x) = g para algn entero ng se denomina
rbita de .
Como se mencion antes, esto quiere decir que
x y g. Ms an, una relacin de equivalencia:

dene una relacin entre

Proposicin 21 Sea G un conjunto con x; g 2 G. La relacin x


g si y
slo si n (x) = g para algn entero n, es una relacin de equivalencia.
Demostracin. La relacin es reexiva porque 0 (g) = g, por lo que g g
para todo g 2 G. Ahora, es tambin simtrica porque dados h; g 2 G, si h g
es porque existe un entero k tal que k (h) = g. Debido a que el conjunto de
permutaciones forma un grupo, existe la permutacin inversa k tal que
k

(h) =

(g)

!h=

(g)

100

CAPTULO 4 GRUPOS ESPECIALES

Luego g h. Adems, dados f; g; h 2 G, si f g y g h, se encuentra que


deben existir enteros m y n tales que m (f ) = g y n (g) = h. Nuevamente la
estructura de grupo del conjunto de permutaciones nos permite armar que
la composicin de las permutaciones n y m sobre cualquier elemento de G
ser nuevamente una permutacin. Aplicando esto a f se obtiene:
n+m

(f ) = (pn
= n (g)
= h

) (f ) =

Por lo que f h. Se concluye entonces que


sitiva. Es decir, de equivalencia.
Esto convierte a las rbitas de

(f ))

es reexiva, simtrica y tran-

en clases de equivalencia del conjunto G.

Denicin 32 (G-conjunto) Sea (G; ) un grupo y A un conjunto. Se dice


que A es un G-conjunto si existe una funcin ' : G A ! A llamada accin
de G sobre A, tal que:
i) ' (e; a) = a
ii) ' ((g1 g2 ) ; a) = ' (g1 ; ' (g2 ; a))

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 )

4.1 EL GRUPO DE PERMUTACIN

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))

Que cumple con ii), lo que concluye la demostracin.

Proposicin 23 Sea A un G-conjunto. Entonces el nmero de elementos


de A es la suma del nmero de elementos de cada una de sus rbitas. En
smbolos:
X
jAj =
jOi j
(4.1)
i

Demostracin. Por la proposicin 21, la relacin


al ser de equivalencia,
[ parte al conjunto A en subconjuntos Oi disyuntos de tal manera que
Oi = A, por lo que el nmero de elementos del conjunto A puede calcui

larse sumando el nmero de elementos que hay en cada una de sus rbitas.
Los detalles se dejan al lector.

La ecuacin 4.1 es utilizada en numerosas ocasiones en apartes de los


desarrollos de la teora de p-grupos y grupos de Sylow. En ciertas situaciones,

102

CAPTULO 4 GRUPOS ESPECIALES

conviene por ejemplo reexpresarla separando de la sumatoria aquellas rbitas


que contienen slo un elemento, es decir, aquellas que son de la forma:
O0 = fx 2 A j ' (g; x) = x para cualquier g 2 Gg
Para as escribir 4.1 como:
k
X

jAj =

jOi0 j +

j=k+1

jOj j

(4.2)

Una de las aplicaciones ms comunes de estas ecuaciones es suponiendo que


el G-conjunto es nuevamente G. Esto es, tomamos A = G y la accin ' :
G G ! G se dene como ' (g; x) = g x g 1 . De esta forma cumple
con los requisitos i) y ii) de la denicin de G-conjunto (comprobarlo) y por
tanto es posible usar en l la ecuacin 4.2, que quedara como
k
X

jGj =

jOi0 j +

j=k+1

jOj j

Observemos ahora que cada Oi0 en este caso, es de la forma


Oi0 = x 2 G j g

= 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

La reunin de los elementos que [


cumplen con esto no es ms que el centralizador de G, C (G). Es decir,
Oi0 = C (G). Usando estos trminos, la
i

ecuacin 4.2 puede ahora escribirse como

jGj = jC (G)j +

X
j

jOj j

Esta ecuacin es conocida como la Ecuacin de Clase de un grupo.

(4.3)

4.2 EL GRUPO DIDRICO

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 ).

Figura 4.2: Tringulo equiltero de vrtices A, B y C, con eje de simetra AD.

104

CAPTULO 4 GRUPOS ESPECIALES

Figura 4.2: El tringulo ABC despus de aplicar el movimiento de simetra con


respecto a AD.

Hay una caracterstica especial de este tipo de movimiento, y es que slo


involucra cambios en los vrtices de la gura (los intercambia), mas no en la
posicin de sta en relacin con los ejes ni en el tamao de la misma, por
lo que podemos prescindir del plano cartesiano. Este tipo de movimientos se
denominan Movimientos Rgidos. Otro movimiento con esta caracterstica es
el de rotacin considerando como centro de rotacin el centro de la gura. Sin
embargo, con el objeto de no cambiar de posicin relativa a los vrtices, slo
o
(o de sus mltiplos)
deben considerarse las rotaciones de magnitud = 360
n
donde n es el nmero de lados (o de vrtices) de la gura. Para el ejemplo
en cuestin, slo se tomaran rotaciones cuyo ngulo sea mltiplo positivo
o
= 120o . Al aplicarle esta rotacin al tringulo ABC
o negativo de = 360
3
inicial (Figura 4.2) resultara en un intercambio de vrtices en el sentido
contrario a las manecillas del reloj (porque el ngulo es positivo), como se
muestra en la Figura 4.2 .

Figura 4.2: Tringulo resultante al aplicar una rotacin de 120o con respecto al
centro de la gura al tringulo ABC.

Es importante ahora observar que si quisiramos simplemente intercambiar (o


permutar) de cualquier forma los vrtices del tringulo ABC, estaramos aplicando alguno de los dos movimientos anteriormente mencionados: o rotacin
sobre el centro o simetra con respecto a un eje de simetra. Esto nos lleva a
identicar dichos movimientos con permutaciones de los vrtices. Esto funciona con cualquier polgono regular de n lados. As que, si denotamos con
o
a las rotaciones de magnitud = 360
y con k a la simetra con respecto al
n
eje de simetra k, tendremos que la pareja (P; ) conformada por el conjunto
P de movimientos y k y la composicin de movimientos es un grupo,
denominado Grupo Didrico o Diedral.

105

4.3 EL GRUPO SIMPLE

4.3.

El Grupo Simple

Los grupos simples juegan un rol importante en teoremas de clasicacin


de grupos por las propiedades con las que cuentan. Bsicamente son grupos
que no contienen subgrupos (aparte de los triviales).
Denicin 33 (Grupo Simple) Un grupo (G; ) con G 6= feg se denomina simple si no contiene subgrupos adems de los triviales.
Una de las propiedades est relacionada con los subgrupos normales de
un grupo arbitrario. Para esto, recordemos que un conjunto A que cumpla
con ciertas condiciones se llama maximal si no existe ningn otro conjunto
A0 que cumpla la misma condicin y que contenga a A.
Teorema 20 Sea (G; ) un grupo. (N; ) es un subgrupo normal maximal
de (G; ) si y slo si (G=N; ) es un grupo simple.
Demostracin. Sea : (G; ) ! (G=N; ) el homomorsmo cannico dado
por (g) = gN . Supongamos que (G=N; ) no es simple y por tanto existe
un subgrupo (H=N; ) de (G=N; ) no trivial. Debido a que los elementos de
H=N son de la forma h N , puede verse que N H=N . Se verica tambin
que (H=N; ) es subgrupo normal de (G=N; ) porque (G=N; ) en s es
normal. Ahora, esto quiere decir que existe un subgrupo normal no trivial
(J; ) de (G; ) que contiene a (N; ) tal que
(J; ) = (H=N; )
Ya que los homomorsmos conservan subgrupos normales (por qu?). La
existencia del subgrupo normal (J; ) indica pues que (N; ) no es subgrupo
normal maximal de (G; ).
Para probar la parte recproca, al suponer que (N; ) no es un subgrupo
normal maximal de (G; ), implica que existe un subgrupo normal (M; )
de (G; ) tal que N
M . Por tanto, (N; ) ser subgrupo no trivial de
(M; ) y como consecuencia, (G=N; ) no es un grupo simple.

106

CAPTULO 4 GRUPOS ESPECIALES

Existe una similitud entre el papel de los grupos simples en la Teora


de Grupos Finitos y el de los nmeros primos en los nmeros naturales,
ya que todo grupo nito puede expresarse de forma nica en trminos de
grupos simples y, ms an, el Teorema de Feit-Thompson establece que todo
grupo simple de orden impar es isomorfo a un grupo cclico de orden primo.
Esto hace parte de un proyecto que se llev a cabo entre 1950 y 1980 para
la caracterizacin de todos los grupos nitos utilizando la clasicacin de
los grupos simples, concluyendo al encontrar 18 tipos distintos de familias
de grupos simples y 26 tipos de grupos simples espordicos (es decir, que
no pertenecan a ninguna familia). Con esto, cualquier grupo nito puede
clasicarse por completo a travs de los grupos simples que lo conforman y
las familias a las que pertenecen.

4.4.

El Grupo Solucionable

Las investigaciones de Evariste Galois (1811-1832) acerca de las soluciones


de polinomios lo llevaron a diferenciar aquellos que podan resolverse por
radicales de aquellos que no. Encontr adems relacin entre las soluciones
de polinomios y estructuras algebraicas parecidas a los grupos, a las que
eventualmente se les acu el trmino de solucionables.
Denicin 34 (Grupo Solucionable) Un grupo (G; ) es solucionable si
existe una sucesin de subgrupos (feg ; ) ; (G1 ; ) ; : : : ; (Gn 1 ; ) ; (G; ) tales
que (Gi ; ) es subgrupo normal de (Gi+1 ; ) y (Gi+1 =Gi ; ) es un grupo
abeliano para todo i = 1; : : : ; n 1.
Veamos algunas de las propiedades de los grupos solucionables:
Teorema 21 Sea (G; ) un grupo nito solucionable. Entonces el orden de
(Gi+1 =Gi ; ) es un nmero primo para todo i = 1; : : : ; n 1.
Se tiene adems un resultado relacionado con el Teorema de Sylow.

4.5 EJERCICIOS

107

Teorema 22 (de Hall) Un grupo (G; ) nito es solucionable si y slo si


para todo n que divida al orden de (G; ) que sea primo relativo de j(G;n )j
existe un subgrupo de (G; ) de orden n.

4.5.

Ejercicios

1. En qu situaciones de la vida real cree que se podran evidenciar


las propiedades del grupo de permutacin? (Puede referir por ejemplo situaciones en gentica, biologa, sociologa, etc.)
2. Demostrar que el grupo de movimientos rgidos de un cubo es isomorfo
a (S4 ; ).
3. Demostrar que el grupo de movimientos rgidos de un tetraedro es
isomorfo a un subgrupo de (S4 ; ).
4. Qu resultado general puede deducir que relacione el grupo de movimientos rgidos de un poliedro y el grupo simtrico? (Basndose en los dos
ejercicios anteriores). Plantearlo y demostrarlo.
5. Podra encontrar todos los diferentes grupos abelianos (bajo isomorsmo) de orden 28? (Nota: Utilizar el Teorema Fundamental de los
Grupos Abelianos Finitos).

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

APNDICE ALGUNAS NOTAS FINALES

Espero estas ltimas palabras hayan invitado al lector a hacerse algunas


preguntas y a continuar con su expedicin por el lgebra. De ser as, la
recomendacin es continuar con libros con mayor profundizacin terica como
los descritos en la bibliografa.

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