Buitrago - Introducción A La Teoría de Grupos

Introduccin a la Teora de Grupos
Daniel Buitrago
ndice general
1. Preeliminares de Estructuras Algebraicas 1
1.1. Propiedades en una Operacin Binaria . . . . . . . . . . 4

1.2. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2. Grupos 15
2.1. Deniciones y Propiedades Generales. . . . . . . . . . . . . . . 15
2.2. Denicin Formal . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.4. Propiedades Bsicas . . . . . . . . . . . . . . . . . . . . . . . 25
2.5. Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.5.1. Subgrupos Normales . . . . . . . . . . . . . . . . . . . 31
2.5.2. Otros tipos de subgrupos . . . . . . . . . . . . . . . . . 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 Fini-

tos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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 Cun-
tica, 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, co-
mo 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 es-
peccos 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 nfa-
sis 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. Algu-
nas 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 nue-
vamente 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 denida por

: (a; b) ! (a 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.
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 es-
tructura algebraica binaria.
Ejemplo 6 Notemos que de acuerdo con los ejemplos anteriores, (N; +) y

(Z; ) son estructuras algebraicas. Tambin (Z; +), es una estructura alge-
braica.
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 conjun-

tos distintos con operaciones distintas. Nos interesa entonces estudiar estas
propiedades comunes a ciertas operaciones binarias.
1.1 PROPIEDADES EN UNA OPERACIN BINARIA 5
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
1 3 4 7
est denida. Observemos por ejemplo que las matrices 4 5y4 5
5 9 11 13
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
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
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 tal

que, dados unos elementos a; b; c de un conjunto se cumple que
(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 2 de

elementos enteros, la operacin de suma de matrices + es asociativa.
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:
2 3 2 3 2 3
a11 a12 b b c c
A = 4 5, B = 4 11 12 5, C = 4 11 12 5 con aij ; bij ; cij 2 Z, para
a21 a22 b21 b22 c21 c22
i; j = 1; 2.
Observemos que,
02 3 2 31 2 3 2 3 2 3
a a b b c c a + b11 a12 + b12 c c
@4 11 12 5 + 4 11 12 5A + 4 11 12 5 = 4 11 5 + 4 11 12 5
a21 a22 b21 b22 c21 c22 a21 + b21 a22 + b22 c21 c22
2 3
(a11 + b11 ) + c11 (a12 + b12 ) + c12
= 4 5
(a21 + b21 ) + c21 (a22 + b22 ) + c22
Pero como se mencion en el ejemplo anterior, la suma de nmeros en-

teros es asociativa, luego
2 3
a11 + (b11 + c11 ) a12 + (b12 + c12 )
= 4 5
a21 + (b21 + c21 ) a22 + (b22 + c22 )
2 3 2 3
a11 a12 b11 + c11 b12 + c12
= 4 5+4 5
a21 a22 b21 + c21 b22 + c22
2 3 02 3 2 31
a11 a12 b b c c
= 4 5 + @4 11 12 5 + 4 11 12 5A
a21 a22 b21 b22 c21 c22
Lo que concluye la prueba.

Elemento neutro:
En la mayora de conjuntos numricos con los que se trabaja comn-

mente existe un elemento bastante particular. Veamos por ejemplo el caso de
los enteros positivos con la operacin +, su suma usual. Intuitivamente sabe-
mos 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
2 3
a b
es el elemento neutro de M2 2 bajo + ya que dada cualquier matriz 4 5
c d
en M2 2 , se tiene que
2 3 2 3 2 3
a b a b 0 0
4 5+e = 4 5+4 5
c d c d 0 0
2 3
a+0 b+0
= 4 5
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.
Existencia de elementos inversos
Ahora estudiaremos otro tipo de elementos que encontramos en los con-

juntos numricos cuya propiedad les ha valido el nombre de elementos inver-
sos 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
1 1
a a =e=a 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 tam-
bin en Qx de tal forma que
p q q p
=1=
q p p q
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 equi-
ltero 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
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 opera-

ciones que no son necesariamente binarias. A partir de la denicin de
operacin binaria, denir y dar 3 ejemplos de operacin trinaria, cua-
trinaria 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 mul-

tiplicacin 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 = 1
ij = k, jk = i, ki = j, ji = k, kj = i, ik = j
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 cerradu-
ra, la asociatividad, la existencia de elemento neutro, la existencia de ele-
mentos 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 CAPTULO 2 GRUPOS
2.2. Denicin Formal
Veamos entonces la clasicacin de las estructuras algebraicas confor-

madas por un conjunto no vaco G y una operacin binaria en G.
Denicin 8 (Grupoide o Magma) Una pareja ordenada (G; ) confor-

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

mada 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 e.
G3: Para todo g 2 G existe g 1 2 G tal que g g 1 = e = g 1 g.
Denicin 12 (Grupo Conmutativo o Abeliano) Un Grupo Conmuta-

tivo 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 17
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.
G3: Para todo g 2 G existe g 1 2 G tal que g g 1 = e = g 1 g.
G4: g1 g2 = g2 g1 para todos g1 ; g2 2 G.
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 (1802-
1829).
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 equiva-
lencia 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 estruc-

turas (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 c a d+b c
=
b d b d
donde + y representan la suma y la multiplicacin usual entre nmeros en-
teros que, como sabemos son operaciones cerradas en los enteros, por lo que
el numerador del resultado anterior es un nmero entero as como el denom-
inador (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. Retoman-
do, 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 b0
y dc d0
. Luego
a b 0 = b a0 (2.1)
y
c d0 = d c0 (2.2)
Ahora,
a c a d+b c
=
b d b d
a0 c0 a0 d0 + b0 c0
=
b0 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 a0 d0 + b0 c0
b d 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 c e a d+b c e
=
b d f 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 )
a (c f ) + (d e)
=
b d f
a c e
=
b d f
Se concluye entonces que
a c e a c e
=
b d f b d f
lo que comprueba la asociatividad.

n o
x x 0
G2: Sea e = [0] = y 2 Q j y 1
. Luego e 2 Q. Veamos entonces que
c
si elegimos a d
como representante de [0],
a a c
e =
b 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
h i n o
a 1
Comprobemos ahora G3. Dada b
2 Q sea ab = xy 2 Q j xy a
b
.
h i
a 1
De esta manera se tiene que b
2 Q y adems, siendo dc representante
22 CAPTULO 2 GRUPOS
h i
a 1
de b
,
a a 1 a c
=
b b 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)

2.3 EJERCICIOS 23
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 multipli-

cacin 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.
n o
4. Determinar si (Q ; ) es un Grupo, donde Q = xy 2 Q j xy 2 = [0] y
es la multiplicacin usual entre racionales.
5. Determinar si (R ; ) es un Grupo, donde R = R f0g y es la

multiplicacin usual entre reales.
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 f0 + 0ig y es la

multiplicacin usual entre complejos.
8. Determinar cules de las siguientes estructuras son Grupoides, Semi-

grupos, Monoides, Grupos o Grupos Abelianos. Recuerde que debe dar
una vericacin detallada de los axiomas que se cumplan y los contrae-
jemplos 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
a
d) (Q0 ; ) donde Q0 = b
2 Q j a 2 Z+ [ f0g ^ b 2 Z+ y la op-
eracin se dene como
a c a+c
=
b 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 denida

como
a1 x 2 + b 1 x + c 1 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. In-
vito 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 25
2.4. Propiedades Bsicas
A continuacin se presentan las propiedades ms elementales de los Gru-

pos 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 (2.4)
luego de (2.3) y de (2.4) se deduce que
e1 = e2
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 im-

portantes.
2.4 PROPIEDADES BSICAS 27
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,
1 1
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,
1
g = h
1 1
= g
1 1
g= g
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 izquier-

da por g 1 en ambos lados de la igualdad, se obtiene
1
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,
1
h = (g1 g2 ) (2.5)
2.5 SUBGRUPOS 29
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
1
(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 CAPTULO 2 GRUPOS
Denicin 13 (Subgrupo) Sea (G; ) un grupo y H un subconjunto no

vaco de G. Si H junto con la misma operacin de G restringida a H (esto
es, : H H ! H) es a su vez un grupo, entonces (H; ) se denomina
subgrupo de (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 en-
teros 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 subcon-
junto 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:
2.5 SUBGRUPOS 31
Teorema 1 (Criterio del subgrupo) Sea (G; ) un grupo y H subconjun-

to 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 nueva-
mente 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
1
h1 h2 1 = h1 h2 2 H
(verifquese con proposicin 3). Finalmente, G1 se cumple porque lo satis-

facen 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 im-
portancia 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 ele-

mento 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 sub-

grupo 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 nor-

mal. 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.
2.5 SUBGRUPOS 33
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
Denicin 16 (Grupo factor) El grupo (G=H; ) de la proposicin ante-

rior 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 Gru-

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

mos 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, dig-
amos 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 pregun-
tarnos 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

2.5 SUBGRUPOS 35
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 aque-
llos 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 for-
ma bastante usual de construr subgrupos para grupos arbitrarios.
Finalmente veremos un ltimo caso de subgrupos de este estilo (aunque ev-

identemente pueden encontrarse muchos ms), que ocurre cuando queremos
encontrar elementos de G que hagan el papel de elemento neutro por izquier-
da 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
1 1
gHg = x2Gjx=g h 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 de-

ne 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
2
o 'o "forma".
Denicin 17 (Homomorsmo entre grupos) Sean (G; ) y (G0 ; ) gru-
pos 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 con-

tnuas 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
Z1
h : f (x) ! f (x) dx
0
es un homomorsmo.
Demostracin. Sean f; g 2 C [0; 1] luego se tiene que
Z1
h (f (x) g (x)) = (f (x) g (x)) dx
0
Z1 Z1
= f (x) dx + g (x) dx
0 0
= 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
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 n
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 n
!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, vere-
mos 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:
1 1
(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 h (eG ) h (eG )
! eH = eH h (eG )
! eH = h (eG )
Lema 2 Sea h : (G; ) ! (H; ) un homomorsmo. Entonces h (g 1 ) =

(h (g)) 1 para todo g 2 G.

1
h (eG ) = h g g
Aplicando la hiptesis de homomorsmo de h,

1
= h (g) h g
Luego
1
h (eG ) = h (g) h g
Aplicando el lema 1 al miembro izquierdo,
1
! eH = h (g) h g
1
Operando por (h (g)) por izquierda a ambos lados de la igualdad, se tiene
1 1 1
! (h (g)) eH = (h (g)) h (g) h g
Asociando en el miembro izquierdo se llega a

1 1 1
! (h (g)) = (h (g)) h (g) h g
1 1
! (h (g)) = eH h g
1 1
! (h (g)) =h g
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
1
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,
1 1
h g10 (g20 ) = h (g10 ) h (g20 )
1
= 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 el-
1 1
emento 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
1 1
h (g10 ) h (g20 ) = h g10 (g20 )
1 1
Es decir, 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; ).
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
1
= h (a) (h (b))
Pero observemos que debido a que tanto a como b pertenecen al kernel de h,

1
= eH (eH )
= eH eH
= eH
Luego,
1
h a b = eH
1
Y por tanto dados a; b 2 ker (h) se cumple que a b 2 ker (h) y por la
proposicin 1, (ker (h) ; ) es subgrupo de (G; ).
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) (g2 H)
= (g1 ) (g2 )
44 CAPTULO 2 GRUPOS
Luego es un homomorsmo. Veamos ahora que H es el kernel del homo-

morsmo:
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 del teore-

ma anterior se denomina natural o cannico.
Concluyamos ahora con algunos aspectos que ocurren al estudiar los ho-
momorsmos 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. En-
tonces existe un isomorsmo : (G= ker ( ) ; ) ! (G0 ; ) tal que =
donde es el homomorsmo cannico : (G; ) ! (G= ker ( ) ; ).
Demostracin. Sea K = ker ( ). Se dene (gK) = (g) para todo g 2 G.

Luego dados g1 ; g2 2 G,
((g1 K) (g2 K)) = ((g1 g2 ) K)

= (g1 g2 )
Pero es un homomorsmo por hiptesis, luego
= (g1 ) (g2 )
= (g1 K) (g2 K)
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,
= (gK)
Luego es sobreyectivo.
Comprobemos la inyectividad:
Observemos que el kernel de es el conjunto de elementos de la forma gK

tales que
(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 (g) =
gK. luego dado (g) 2 (G) se tiene que
(g) = (gK)
= ( (g))
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 Funda-
mental del Homomorsmo, permitindonos conclur que existe un isomors-
mo
: (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 so-

breyectivo
: (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; ). En-
tonces el grupo cociente (G=N; ) es isomorfo al grupo cociente ((G=N ) = (M=N ) ; ).

2.7 PRODUCTO CARTESIANO DE GRUPOS 47
Demostracin. Una vez ms la idea es ubicarnos en las condiciones ade-

cuadas 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 1 g10 ; g2 2 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 ; 1) (G2 ; 2 ) entre una colec-

cin de grupos, se dene la operacin entre dos elementos (g1 ; g2 ; : : :) y
(g10 ; g20 ; : : :) del producto como
(g1 ; g2 ; : : :) (g10 ; g20 ; : : :) = (g1 1 g10 ; g2 2 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 en-
tre 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 clara-

mente o son iguales, la escritura (((G1 ; 1 ) (G2 2 ) ) ; ) puede sim-
plicarse usando ((G1 G2 ) ; ).
Proposicin 11 Sea (G; ) un grupo abeliano. El grupo producto (G1 G2 Gn ; )
(donde Gi = G para todo i) es homomorfo a (G; ).

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 G 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 ; n) n grupos, (G1 G2 Gn ; )

y (Gi ; i ) son homomorfos para todo i = 1; 2; : : : ; n.
Demostracin. Considrese el mapeo 'i : (G1 G2 Gn ; ) ! (Gi ; i)

denido como:
'i (g1 ; g2 ; : : : ; gn ) = gi
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 n gn0 )
= gi i gi0
= 'i (g1 ; g2 ; : : : ; gn ) i 'i (g10 ; g20 ; : : : ; gn0 )
Luego (G1 G2 Gn ; ) y (Gi ; i) son homomorfos.

50 CAPTULO 2 GRUPOS
Teorema 6 Sea (G; ) un grupo y (N1 ; ) ; (N2 ; ) ; : : : ; (Nm ; ) m sub-

grupos 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 ) (e1 ; e2 ; : : : ; nm ))
= ' (n1 ; e2 ; : : : ; em ) ' (e1 ; n2 ; : : : ; em ) ' (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 )
= (n1 n2 nm ) (n01 n02 n0m )
= ' (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.

Sean (n1 ; n2 ; : : : ; nm ) y (n01 ; n02 ; : : : ; n0m ) elementos de N1 N2 Nm

que cumplen con
' (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
nm es nica, debe tenerse entonces que n1 = n1 ; n2 = n02 ; : : : ; nm = n0m .
0 0
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 resul-
tante 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 elemen-

tos 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 con-
junto 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 inni-

tos de elementos indistintamente. Por ejemplo, el grupo (R; +) esta conforma-
do 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. En-

tonces 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 b
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 legen-

darios 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 como
[a] [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 con-
juntos: 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 di-
vidirlos 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 el-

emento 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 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] [1] = [3]

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

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 rep-
resentaciones. Existen numerosas formas de representar Grupos. Describire-
mos 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 uti-

lizadas 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 casil-
las 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 utilizan-

do 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 a
e e a
a a 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 e a b
a a b e
b b e a
3.2. Principales teoremas de la teora de gru-
pos 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 equiva-
lencia
[g] = fx 2 G j x g (mod H)g
Teorema 7 (de Lagrange) Sea (G; ) un grupo nito y (H; ) un sub-

grupo de ste. Entonces el orden de (H; ) divide al orden de (G; ).
Demostracin. Observemos que si tomamos las clases de equivalencia for-

madas bajo la relacin denida anteriormente, tendremos que Hg = [g] para
cualquier g en G, ya que si x 2 [g] entonces
1
x g 2H
1
x g =h
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 igual-

dad,
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 gk
$ h1 = h2
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. En-

tonces jG=Hj = jGj jHj.
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.
L
k
Notacin 6 La expresin x representa la operacin de x por si misma
i=1
L
0 L
1 L
2 L
3
k veces. i.e, x = e, x = x, x=x x, x=x x x, etc. Y
i=1 i=1 i=1 i=1
1
L
1
a similarmente expresamos la operacin entre inversos: x = x 1,
i=1
1 1
L
2
1 1
L
3
x = (x ) (x ), x = (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
M
k
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

( )
M2 M 3 M
n 1 M
n
a, a, a, : : : , a, a=e
i=1 i=1 i=1 i=1
es subconjunto de hai. Todos estos elementos son distintos, ya que si, por
Lp Lq
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
Lp
y, operando por a por derecha, se llega a
i=1
q p
M
e= a (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.
L
2 L3 nL1 L
n
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 n
Supongamos ahora con nes de contradiccin que tiene ms de n elementos.

L
k L
k L
2 L
3 nL1 L
n
Esto quiere decir que existe a 2 hai tal que a2
= a, a, a, : : : , a, a .
i=1 i=1 i=1 i=1 i=1 i=1
Por el Algoritmo de la Divisin, k = n p + r. Luego,
n p+r
M
k M
a = a
i=1 i=1
np
M M
r
= a a
i=1 i=1
p
!
M M
n M
r
= a a
i=1 i=1 i=1
p
M M
r
= (e) a
i=1 i=1
M
r
= e a
i=1
M
r
= a
i=1
L
r L
2 L
3 nL1 L
n
y a pertenece al conjunto a, a, a, : : : , a, a porque 0
i=1 i=1 i=1 i=1 i=1
r < n. Luego hai tiene exactamente n elementos.
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 estruc-
tura (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
M
2
h h = h2H
i=1
M3
(h h) h = h2H
i=1
M4
(h h h) h = h2H
i=1
y en general,
M
k
h 2 H para todo entero positivo k. (Esto puede demostrarse por induccin sobre k)
i=1
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
M Ma
h= h para algn a < m
i=1 i=1
1
L
a
Operando a ambos lados por h obtenemos
i=1
p
! 1
M M
a
h h =e
i=1 i=1
p a
M M
m
h=e= h
i=1 i=1
1
Operando a ambos lados por h obtenemos
M1
m
1
h = h
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.
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 alterna-
tivas: 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 m
g = (3.2)
i=1
M CD (m; q)
p q
=
M CD (p q; q)
p q
=
q
= p
q
M
Por lo que el elemento 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
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 ; )
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.

1
g g =e
Luego
M
n
1
g g =e
i=1
M
n M
n
1
! g g =e
i=1 i=1
M
n
1
!e g =e
i=1
M
n
1
! g =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
1
g g =e
i=1
M
m M
m
1
! g g =e
i=1 i=1
M
m
! g e=e
i=1
M
m
! g=e
i=1
M
m
Por lo que existe un entero m < n = jgj tal que g = e lo que contradice
i=1
la minimalidad de n. Por tanto jg 1 j = n.
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
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:

M
n
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
m=
n
O
k r
n= para algn entero positivo r
m
Ahora,
M
m M
m
g= g
i=1 i=1
k r
M
m M
n
! g= g
i=1 i=1
r !
M
m M
n M
k
! g= g
i=1 i=1 i=1
r
M
m Mn
! g= (e)
i=1 i=1
M
m
! g=e
i=1
M
m
! g=e
i=1
Lo que quiere decir que k es divisor de m. Realizando un procedimiento

Mn
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
en cuyo caso g 2 M N .
O
jgj = ja bj = m
en cuyo caso g 2 M .
O
jgj = ja bj = n
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 b
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 b = a0 b0
! a = a0 b0 b 1
! a = a0 c Para algn c de N (obsrvese que es cerrada en N )

1
! (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
1
c = b0 b 1
= (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.
3.2.3. Teoremas de Sylow
Se ha mostrado un resultado bastante til, que es el Teorema de La-

grange, 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 par-
tir 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 impor-
tante de grupos nitos. En un primer momento enfocaremos nuestra atencin
a algunas importantes consecuencias de estos teoremas. Ms adelante, obser-
varemos que estas grandiosas herramientas, combinadas con los resultados
hallados en los grupos cclicos, desembocarn en resultados de gran magni-
tud, 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; ).
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 aplica-

ciones.
Corolario 3 Sea (P; ) un p-subgrupo de Sylow de un grupo (G; ). En-

tonces (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:
1
gP g = pa m gP g 1
= 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,
1
g P g =G
3
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].
!g P =G 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
1
P = gP g
para todo g 2 G. O, lo que es lo mismo,
1
P =g P g
!P g=g P
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
3.3 GRUPOS CCLICOS 75
para construr todo el conjunto. Se puede decir entonces que el elemento gen-
era 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, encon-
tramos que (f1g ; +) genera a N, ya que todo elemento de N puede expresarse
como la adicin del elemento 1 cierto nmero de veces:
1 = 1
2 = 1+1
3 = 1+1+1
4 = 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

Lk
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:
M
1
[1] = [1] = [1]
i=1
M
2
[2] = [1] = [1] [1]
i=1
M3
[3] = [1] = [1] [1] [1]
i=1
por lo que (Z=3; ) es un grupo cclico con [1] como generador.

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
M
m
x = g
i=1
Mn
y = g
i=1
para algunos m y n nmeros enteros positivos.
Veamos ahora que si operamos x y y obtenemos:

! !
Mm Mn
x y = g g
i=1 i=1
M
m+n
= g
i=1
M
n+m
= g
i=1
! !
Mn M
m
= g g
i=1 i=1
= y x
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.

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
Mn
h= g
i=1
L
k
Denotemos por N el conjunto de los enteros positivos k tales que g sea
i=1
un elemento de H. En smbolos,
( )
M
k
N= k 2 Z+ j g2H
i=1
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
Lm
elemento mnimo. Llammolo m. Sea ahora h0 = g. Se comprobar a con-
i=1
tinuacin que h0 es un generador de (H; ).
En efecto, dado h 2 H vemos que

M
n
h= g
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
M
h = g
i=1
qm
M M
r
! h= g g (3.3)
i=1 i=1
qL
m 1
Operando por g por izquierda tenemos
i=1
qm
! 1
M M
r
g h= g
i=1 i=1
qL
m
Pero observemos que g = h0 h0 h0 q veces, y por la clausuratividad
i=1
qL
m
de la operacin , g es tambin elemento de H, por lo que su inverso
i=1
qL
m 1
tambin estar en H (axioma G3). Es decir, g 2 H. Nuevamente
i=1
qL 1
m L
r
por la cerradura de , g h pertenece a H. Esto hace que g
i=1 i=1
L
r
sea un elemento de H. Sin embargo, se estableci que si g 2 H, entonces
i=1
r > m, que contradice la suposicin de que 0 < r < m. Luego r = 0 y de la
linea (3.3) se obtiene
qm
M
h = g e
i=1
qm
M
! h= g
i=1
q
M
! h= 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 co-

mo tal y mostrar la elegante forma en que pueden ser completamente deter-
minados junto con todos sus subgrupos. Para esto necesitaremos de algunos
resultados preliminares:
Lema 4 Sea (G; ) un grupo, g un elemento de G y n nmero entero. Si

L
n
g = e, entonces jgj divide a n.
i=1
Demostracin. (Se deja como ejercicio)
Lema 5 Sea (G; ) un grupo, x 2 G y sea a un entero distinto de cero. Si

L
a
n
jxj = n, entonces x = M CD(n;a) .
i=1
L
a
Demostracin. Supongamos que 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
Ma
! n=d x
i=1
n M
a
! = x
d i=1
n Ma
! = 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
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
M
k
h= g
i=1
para algn k entero positivo. Por el lema 5 tendremos que

M
k
n
jhj = g =
i=1
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)

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 carac-
terizacin 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
Mk Ok
': g! h
i=1 i=1
Debe vericarse ahora que dicho mapeo se trata de un isomorsmo. Observe-

mos primero que
p
! q
!! p+q
!
M M M
' g g = ' g
i=1 i=1 i=1
p+q
O
= h
i=1
p
! p
!
O O
= h h
i=1 i=1
luego ' es un homomorsmo. Ahora, dado un elemento x en H, debido a que

h es generador, se tiene que
O
a
x= h para algn entero a.
i=1
M
m
ya que (G; ) es cclico, existir un elemento y = g para cualquier entero
i=1
O
a
m, en particular cuando se trate de a, por lo que a x = h le corre-
i=1
M
a
sponder siempre un elemento g en (G; ). Con esto se comprueba la
i=1
sobreyectividad. Con respecto a la inyectividad hay que notar que el mapeo
M
a M b
' conserva el superndice, por lo que, dados gy g en (G; ), si resulta
i=1 i=1
M
a M
b
que g 6= g es porque b es distinto de a y adems no es mltiplo de a,
i=1 i=1
por lo que necesariamente sus correspondientes elementos bajo el mapeo ',
Oa Ob
que son hy h sern tambin diferentes. Es decir,
i=1 i=1
! !
M
a M
b
' g 6= ' g
i=1 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 determina-
dos e identicados unvocamente por su orden, independientemente de sus
elementos o su operacin.
Notacin 8 El grupo cclico de orden n se denota por (Cn ; ).

El principal resultado sobre los grupos cclicos es que pueden hallarse to-
dos 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. En-

tonces para todo entero positivo m que divida a n, existe un nico subgrupo
Lp
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 )
M M 2 M
k
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 n p m
g = g = = = =m
i=1 i=1
M CD (n; p) p p
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
M
a M
b
g1 = x y g2 = x
i=1 i=1
para algunos enteros positivos a y b. Si los operamos,

M
a M
b
g1 g2 = x x
i=1 i=1
M
a+b
= x
i=1
Supongamos que a + b = c, por lo que

M
c
g1 g2 = x
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
M
g1 g2 = x
i=1
pm
M M
r
= x x
i=1 i=1
p
!
M M
m M
r
= x x
i=1 i=1 i=1
p
M M
r
= e x (no olvidar que el orden de x es m)
i=1 i=1
M
r
= e x
i=1
M
r
= x
i=1
L
r
Luego x = g1 g2 pertenece a hxi, ya que r < m. Por tanto, por el criterio
i=1
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 n
g = =m
i=1
M CD (n; a)
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
L
px L
a L
p
Por lo que g = g g . Sin embargo, tambin encontramos
i=1 i=1 i=1
L
p L
px
que g g (vericarlo). Luego,
i=1 i=1
* px + * a + * p +
M M M
H= g = g = g = hxi
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 deter-
minados por los divisores positivos de su orden.
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.+ As que, aplicando
* 12=2 + * 12=3 el +
teorema
* 12=4 15 +
los *
subgrupos +
12=1 12=6
M M M M M
de (Z=12; ) son: [1] , [1] , [1] , [1] , [1]
i=1 i=1 i=1 i=1 i=1
*12=12 +
M
y [1] . Es decir,
i=1
* 12 +
M
[1] = h[12]i = h[0]i (subgrupo de orden 1)
i=1
* 6 +
M
[1] = h[6]i = (Z=2; ) (subgrupo de orden 2)
i=1
* 4 +
M
i=1
* 3 +
M
i=1
* 2 +
M
i=1
* 1 +
M
i=1
Ms an. Si aplicamos nuevamente el teorema 15 a cada uno de estos sub-

grupos, 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:
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 ; ) (Cm ; ) ; ) = (Cnm ; ) si y slo si M CD (n; m) =

1.
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)
Parte recproca:
Supongamos ahora que M CD (n; m) = 1. Luego por 3.6,
M CM (n; m) = n m (3.7)
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
Mx
(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,
M
n M
m
g1 = en y g2 = em
i=1 i=1
Que ocurrir tambin para cualquier mltiplo de n y para cualquier mltiplo

Mx
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
M CM (n; m) < n m
0 1
M CM (n;m) M CM (n;m)
M M
De esta manera, ' @ (g1 ; g2 ) = (en ; em )A = ' ((g1 ; g2 )) no
i=1 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 n-

mero 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 con-
formado 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
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 5-

subgrupos 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 =
= hg 0 ig entonces es cerrada en hg 0 i y en Q.
fx 2 G j x 2
Demostracin. En el caso de hg 0 i se puede observar que si x; x0 2 hg 0 i

M
m M n
0 0
entonces x = g yx = g 0 para ciertos enteros positivos m y n. Por lo
i=1 i=1
que
M
m M
n
0 0
x x = g g0
i=1 i=1
M
m+n
= g0
i=1
M
m+n
Y g 0 es un elemento de hg 0 i por lo que es cerrada en hg 0 i.
i=1
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:
p b p b p b
M M M
0
(y y) = y y0
i=1 i=1 i=1
= e e
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,
p b
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
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 b
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
1
! (a0 ) a = b0 b 1
Pero (a0 ) 1 a es un elemento de hgi y (b0 (b 1 )) de Q (ver lemas 3 y

6). Por lo que necesariamente,
1
(a0 ) a = b0 b 1
=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.
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 : G ! G biyectiva se

denomina permutacin del conjunto G.
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 resul-
tante 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 encon-

traremos 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 de una funcin

G, se dene la permutacin inversa 1 : (G) ! G como
1
( (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) = ( ) (g) , n veces, si n > 0
n
(g) = (g) = g si n = 0
n 1 1 1
(g) = (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.
4.1 EL GRUPO DE PERMUTACIN 97
Demostracin. Se verica primero que es una operacin cerrada. En efec-

to, dadas dos permutaciones ; en PG , p es la composicin de dos fun-
ciones 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 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 matemti-
cos y de sus relevantes consecuencias, ha ayudado, por ejemplo, a encontrar
algoritmos para resolver el famoso cubo de Rubik.
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! (compro-
barlo).
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 (g ) = g2 (g )
g1 g = g2 g
1
Operando (g ) por derecha se obtiene
g1 = g2
Se verica ahora la sobreyectividad:

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 dene una relacin entre
x y g. Ms an, una relacin de equivalencia:
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 k k
(h) = (g)
k
!h= (g)
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 m
) (f ) = n
( m
(f ))
= n (g)
= h
Por lo que f h. Se concluye entonces que es reexiva, simtrica y tran-

sitiva. Es decir, de equivalencia.
Esto convierte a las rbitas de 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. En-

tonces ' 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 )
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 equivalen-

cia,
[ 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 calcu-
i
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,
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:
X
k X
jAj = jOi0 j + jOj j (4.2)
i j=k+1
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
X
k X
jGj = jOi0 j + jOj j
i j=k+1
Observemos ahora que cada Oi0 en este caso, es de la forma
Oi0 = x 2 G j g x g 1
= x para cualquier g 2 G
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 cen-

tralizador de G, C (G). Es decir, Oi0 = C (G). Usando estos trminos, la
i
ecuacin 4.2 puede ahora escribirse como
X
jGj = jC (G)j + jOj j (4.3)
j
Esta ecuacin es conocida como la Ecuacin de Clase de un grupo.

4.2 EL GRUPO DIDRICO 103
4.2. El Grupo Didrico
Veamos ahora el papel que juegan los grupos en los movimientos de g-

uras 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 movimien-

to intercambia los vrtices que se encuentren a la misma distancia de una rec-
ta 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 apli-
carle 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.

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
deben considerarse las rotaciones de magnitud = 360 n
(o de sus mltiplos)
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
o negativo de = 360 3
= 120o . Al aplicarle esta rotacin al tringulo ABC
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 apli-
cando 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 fun-
ciona con cualquier polgono regular de n lados. As que, si denotamos con
o
a las rotaciones de magnitud = 360 n
y con k a la simetra con respecto al
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.
4.3 EL GRUPO SIMPLE 105
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 denom-

ina 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.
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 ejem-
plo 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 movimien-

tos 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 isomor-

smo) 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 lle-
vado 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 estu-
diar 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 opera-

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

Buitrago - Introducción A La Teoría de Grupos

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Buitrago - Introducción A La Teoría de Grupos

Загружено:

Авторское право:

Доступные форматы

Introduccin a la Teora de Grupos

1. Preeliminares de Estructuras Algebraicas 1

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

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

2.7. Producto Cartesiano de Grupos . . . . . . . . . . . . . . . . . 47

3.2.1. Teorema de Lagrange . . . . . . . . . . . . . . . . . . . 60

3.2.2. Teorema de Cauchy . . . . . . . . . . . . . . . . . . . . 65

3.2.3. Teoremas de Sylow . . . . . . . . . . . . . . . . . . . . 72

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

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

4.3. El Grupo Simple . . . . . . . . . . . . . . . . . . . . . . . . . 105

Algunas notas nales 109

La presente obra es una propuesta para exponer la Teora de Grupos.

El estudio de la Teora de Grupos inicia de la forma ms elemental posible:

resultados de dichas relaciones. El trmino con el que fcilmente se puede

Denicin 1 (Operacin Binaria) Sean A y B dos conjuntos no vacos.

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

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

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

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

Se presenta a continuacin un caso particular de operacin que es de

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

Hay que resaltar que ya se habla especcamente de una operacin en

Ejemplo 2 Sea el conjunto N con la operacin denida por

Ejemplo 3 Sea el conjunto N con la operacin denida por

Ejemplo 4 Sea el conjunto S = f 3; 2; 1; 0; 1; 2; 3g con la operacin

Ejemplo 5 Sea el conjunto Z con la operacin denida por

Ahora que se ha establecido claramente los tipos de operaciones que se

Denicin 3 (Estructura algebraica binaria) Sea A un conjunto no vaco

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

1.1. Propiedades en una Operacin Binaria

Algunas operaciones binarias en un conjunto tienen ciertas caractersticas

Esto es cierto tambin por ejemplo, en el conjunto Z y la multiplicacin

Vemos pues que esta caracterstica comn puede aparecer en conjun-

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

Ejemplo 7 Ya se mostr el caso del conjunto R con la suma y el conjunto Z

Al intercambiar las matrices,

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

Otra propiedad interesante aparece cuando tenemos la operacin de tres

La segunda forma es hacer primero la unin entre Y y Z y posteriormente

Recurdese que la operacin entre parntesis es la que tiene siempre la

En general podramos enunciar esta propiedad como una operacin tal

Que lo dice la siguiente denicin.

Denicin 5 (Operacin asociativa) Sea A un conjunto no vaco. Una

Ejemplo 8 De algunos resultados en Teora de Nmeros se conoce que en

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

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

Pero como se mencion en el ejemplo anterior, la suma de nmeros en-

Lo que concluye la prueba.

En la mayora de conjuntos numricos con los que se trabaja comn-

a + b = c donde c > a y c > b.

Sin embargo, si consideramos ahora el conjunto de enteros no negativos (esto

Lo importante aqu es observar que esta operacin no tiene ningn efecto

Denicin 6 (Elemento neutro) Sea A un conjunto no vaco y una

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

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

Ejemplo 11 Sea (R; +) el conjunto de los nmeros reales bajo la operacin

Existencia de elementos inversos

Ahora estudiaremos otro tipo de elementos que encontramos en los con-

Miremos el caso de los nmeros enteros. Desde su mismo origen a partir