Professional Documents
Culture Documents
No. 1
Grupos
Oswaldo Lezama
Departamento de Matematicas
Facultad de Ciencias
Universidad Nacional de Colombia
Sede de Bogota
30 de noviembre de 2016
ii
Prologo vi
1. Grupos y subgrupos 1
1.1. Operaciones binarias y estructuras algebraicas elementales . . . . . . 1
1.2. Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3. Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.4. Generacion de subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.5. Teorema de Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2. Grupos cclicos 24
2.1. Definicion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.2. Orden y periodo de un elemento . . . . . . . . . . . . . . . . . . . . . 26
2.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.4. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.5. Generadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
4. Teoremas de estructura 42
4.1. Teorema fundamental de homomorfismo . . . . . . . . . . . . . . . . 42
4.2. Teorema de factorizacion . . . . . . . . . . . . . . . . . . . . . . . . . 44
4.3. Teorema de correspondencia . . . . . . . . . . . . . . . . . . . . . . . 46
4.4. Teoremas de isomorfismo . . . . . . . . . . . . . . . . . . . . . . . . . 47
4.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
iii
iv CONTENIDO
5. Automorfismos 53
5.1. Automorfismos interiores . . . . . . . . . . . . . . . . . . . . . . . . . 53
5.2. Teorema de Cayley . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
5.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
5.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
6. Grupos de permutaciones 61
6.1. Ciclos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
6.2. El grupo alternante An . . . . . . . . . . . . . . . . . . . . . . . . . . 65
6.3. Sistemas de generadores . . . . . . . . . . . . . . . . . . . . . . . . . 67
6.4. El grupo diedrico Dn , n 3 . . . . . . . . . . . . . . . . . . . . . . . 70
6.5. Subgrupos normales del grupo Dn , n 3 . . . . . . . . . . . . . . . . 73
6.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
8. G-conjuntos 87
8.1. Accion de grupos sobre conjuntos . . . . . . . . . . . . . . . . . . . . 87
8.2. Orbitas y subgrupos estacionarios . . . . . . . . . . . . . . . . . . . . 89
8.3. Grupos transitivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
8.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
9. Teoremas de Sylow 97
9.1. p-grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
9.2. Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
9.3. Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
9.4. Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
9.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
Bibliografa 134
Prologo
vi
PROLOGO vii
tudio de la teora de los grupos diciendo que los conjuntos son para la matematica
como los grupos son para el algebra.
En el primer captulo daremos la definicion axiomatica de la estructura abstracta
de grupo y veremos algunos conjuntos estructurados como grupos. Se estudiara la
nocion de subgrupo y se demostrara un teorema de gran imortancia dentro de la
teora de grupos finitos como es el teorema de Lagrange. Quiza los grupos abelianos
mas importantes son los llamados grupos cclicos, ya que los grupos abelianos fini-
tamente generados son expresables a traves de sumas directas de grupos cclicos.
En el segundo captulo mostraremos las propiedades basicas de los grupos cclicos.
El objetivo central del captulo 3 es mostrar la estrecha relacion que guardan los
conceptos de subgrupo normal y homomorfismo de grupos. Sera demostrado que,
salvo isomorfismo, hay tantos subgrupos normales en un grupo G como imagenes
homomorfas tiene este ultimo.
Los conceptos de homomorfismo e isomorfismo, as como los teoremas corres-
pondientes, son el objeto del captulo 4. Por medio de estos teoremas es posible
caracterizar las imagenes homomorfas de un grupo, y ellos son herramienta clave
para la clasificacion de grupos, en particular, para la clasificacion de grupos finitos.
Los homomorfismos biyectivos de un grupo G en s mismo se conocen como los
automorfismos de G. Estas funciones conforman un grupo que tiene informacion
importante relativa sobre grupo G y seran estudiados en el quinto captulo.
En el captulo 6 estudiaremos con algun detalle al grupo simetrico Sn . Destacare-
mos en Sn el subgrupo alternante An y describiremos el grupo diedrico de grado n,
Dn , por medio de permutaciones. El objetivo del captulo 7 es presentar la cons-
truccion del grupo producto cartesiano y la suma directa externa para una familia
dada de grupos. Como fundamento teorico para la demostracion de los teoremas de
Sylow, en el captulo 8 seran tratadas las acciones de grupos sobre conjuntos. Para
los grupos cclicos finitos es valido el recproco del teorema de Lagrange (vease el
segundo captulo), es decir, si G un grupo cclico finito de orden n y m divide a n
entonces G contiene exactamente un subgrupo de orden m. En el noveno captulo
se mostrara que la afirmacion anterior es valida para cuando m es potencia de un
primo. Este resultado es uno de los famosos teoremas de Sylow.
El objetivo del captulo 10 es describir para un entero positivo n dado todos los
grupos abelianos de orden n (salvo isomorfismo). Se incluira tambien en este captulo
una tabla con la lista de todos los grupos de orden 15. Por ultimo, una de las mas
importantes generalizaciones de la nocion de conmutatividad es la solubilidad, de la
cual nos ocupamos en el captulo 11.
El material presentado esta complementado con una gran variedad de ejemplos
que ilustran las definiciones y propiedades estudiadas a lo largo del texto. Estos
ejemplos constituyen parte muy importante de la teora basica de grupos introducida
en el presente cuaderno.
viii PROLOGO
Oswaldo Lezama
Departamento de Matematicas
Universidad Nacional de Colombia
Bogota, Colombia
jolezamas@unal.edu.co
Captulo 1
Grupos y subgrupos
1
2 CAPITULO 1. GRUPOS Y SUBGRUPOS
+:NNN
(a, b) 7 a + b.
4:NNN
(a, b) 7 mn(a, b).
:NNN
a b 7 (a 4 b) + 2,
5 3 = (543) + 2 = 3 + 2 =5,
4 4 = (444) + 2 = 4 + 2 = 6.
Dado un conjunto G con una operacion binaria interna y dados 3 elementos a,b
y c del conjunto G, podemos preguntarnos las maneras de operar estos tres elemen-
tos en ese orden e investigar si los resultados de estas formas de operar coinciden.
As pues, en el ejemplo 1.1.2 sean 2,5, 7 N, entonces
(3 5) 7 = 5 7 = 7, 3 (5 7) = 3 7 = 5.
Esto permite clasificar las operaciones binarias de acuerdo con esta condicion.
a (b c) = (a b) c.
De esta definicion surge una pregunta inmediata: en el caso que sean dados
4, 5, o n elementos (en un orden determinado), la secuencia en que se efectuen las
operaciones influye en el resultado? Se puede probar por induccion sobre n que si la
operacion es asociativa, es decir, si para el caso de 3 elementos se tiene la propiedad
exigida, entonces la misma propiedad tendra lugar para cualesquiera n elementos
dados. As pues, si se dan n elementos a1 , . . . , an del conjunto G y suponiendo que
la operacion de G es asociativa, los parentesis que indican la secuencia de como se
realizan las operaciones en la expresion a1 an pueden ser colocados donde se
quiera y el resultado no vara.
a1 := a, an := an1 a, n 2.
(x u)0 = u0 x0 , (x0 )0 = x.
1.2. Grupos
En la seccion anterior fueron estudiadas algunas propiedades que pueda tener una
operacion binaria definida en un conjunto. As pues, se dijo que cuando la operacion
binaria definida sobre el conjunto G es asociativa se obtiene sobre el conjunto G
una estructura de semigrupo. Al poseer la operacion mas propiedades, la estructura
se hace mas rica y las posibilidades de operar en G se hacen mayores. Un ejemplo
de tal situacion lo constituyen los llamados grupos, los cuales pasamos a definir.
Definicion 1.2.1. Sea G un conjunto no vaco y una operacion binaria definida en
G. Se dice que G es un grupo respecto de , o tambien que da a G una estructura
de grupo, si cumple las siguientes propiedades:
(i) es asociativa.
(ii) En G existe un elemento identidad e respecto de .
(iii) Cada elemento de G es invertible.
Denotaremos un grupo por (G, ), pero cuando no haya ambiguedad sobre la
operacion , escribiremos simplemente G.
Definicion 1.2.2. Un grupo (G, ) es conmutativo, tambien denominado abelia-
no, si la operacion es conmutativa.
Ejemplo 1.2.3. Los siguientes conjuntos numericos, donde las operaciones indi-
cadas son las habituales, constituyen grupos conmutativos:
(Z, +, 0), (Q, +, 0), (R, +, 0), (C, +, 0).
Z, Q, R y C denotan los conjuntos de numeros enteros, racionales, reales y complejos,
respectivamente.
6 CAPITULO 1. GRUPOS Y SUBGRUPOS
Z = {1,- 1}.
De igual manera,
(Q , , 1); (R , , 1); (C , , 1)
xz =yz x=y
z x = z y x = y.
a b = a,
a c = a,
a b = a c b = c.
Analogamente, si tiene lugar la propiedad (i) a la izquierda y la propiedad (ii) a la
derecha, el sistema (G, ) no es necesariamente un grupo.
Presentamos a continuacion algunos ejemplos notables de grupos.
Ejemplo 1.2.9. El grupo de elementos invertibles del semigrupo Aplc(X), denotado
por S(X), esta constituido por las funciones f : X X tales que existe g : X X
para la cual f g = iX = g f . En otras palabras, f S(X) si, y solo si, f es una
funcion biyectiva. S(X) es pues el grupo de todas las funciones biyectivas definidas
de X en X. En el caso en que X sea un conjunto finito de n 1 elementos, S(X)
se denota por Sn . Este grupo sera estudiado en detalle en el captulo 6. Para el caso
n = 3, los elementos de S3 son:
x1 x2 x3 x1 x2 x3 x1 x2 x3
, ,
x1 x2 x3 x1 x3 x2 x3 x2 x1
x1 x2 x3 x1 x2 x3 x1 x2 x3
, , .
x2 x1 x3 x2 x3 x1 x3 x1 x2
Notemos que este grupo no es conmutativo.
Ejemplo 1.2.10. Sea X un conjunto no vaco y sea (G, .) un grupo con elemento
identidad 1. Sea Aplc(X, G) el conjunto de funciones de X en G. Se define en este
conjunto la siguiente operacion:
fg : X G
x 7 (f g)(x) = f (x) g(x),
nula y el inverso aditivo de una matriz F := [fij ] es la matriz cuyas entradas son los
elementos opuestos a las entradas de la matriz F , es decir, F := [fij ]. El grupo
de matrices cuadradas de tamano n n se denota por Mn (R).
1.3. Subgrupos
Dado un grupo (G, , 1) y un subconjunto no vaco S de G, es interesante conocer si
bajo la misma operacion binaria S tiene tambien estructura de grupo. Lo primero
que debera cumplirse es que el producto x y de dos elementos del conjunto S debe
permanecer tambien en S.
De acuerdo con esta definicion tendramos que verificar cuatro condiciones para
garantizar que un subconjunto =6 S G constituye un subgrupo:
(i) Si x, y S, entonces x y S.
Sin embargo, como lo muestra la siguiente proposicion, solo hay que comprobar el
cumplimiento de dos condiciones.
(i) Si a, b S entonces a b S.
(ii) Si a S entonces a1 S.
10 CAPITULO 1. GRUPOS Y SUBGRUPOS
Ejemplo 1.3.8. Para un semigrupo con notacion multiplicativa fueron definidas las
potencias enteras positivas (vease la proposicion 1.1.8). Pretendemos ahora extender
estas potencias a todos los enteros y presentar la correspondiente notacion para el
caso de los grupos aditivos. Sea G un grupo, entonces
1.3. SUBGRUPOS 11
(G, , 1) (G, +, 0)
a1 := a 1 a := a
an := an1 a, n Z+ n a := (n 1) a + a, n Z+
a0 := 1 0 a := 0
n
a := (a1 )n , n Z+ (n) a := n (a), n Z+ .
Teniendo en cuenta esta definicion, es posible demostrar por induccion matematica
las siguientes relaciones en cualquier grupo:
H + := {x H | x Z+ } =
6 .
12 CAPITULO 1. GRUPOS Y SUBGRUPOS
Demostracion. Evidente.
H K (K = H o K = G).
K H (K = H o K = {1}).
Ejemplo 1.4.3. Los subgrupos maximales del grupo (Z, +, 0) son de la forma hpi,
donde p es primo. Ademas, (Z, +, 0) no posee subgrupos minimales.
(iii) hXi coincide con la interseccion de la familia de todos los subgrupos de G que
contienen a X.
(iv) hi = 1.
Demostracion. Evidente.
La proposicion anterior no permite de una manera concreta determinar los ele-
mentos del subgrupo hXi, ya que sera necesario determinar todos los subgrupos de
G que contienen X y luego efectuar la interseccion. Se tiene en cambio el siguiente
resultado.
Ejemplo 1.4.9. Sea (Q, +, 0) el grupo aditivo de los numeros racionales, entonces
Q = n1 | n N .
(i) H G hHi = H.
(ii) X Y G hXi hY i.
(iii) hXi hY i hX Y i.
Demostracion. Sea z [a], entonces a z. Por ser una relacion simetrica tenemos
que z a, y por eso, za1 = x, con x H, luego z = xa Ha. Hemos probado
que [a] Ha. Sea z = xa un elemento de Ha, con x H, entonces za1 = x H,
o sea z a, de donde a z, es decir, z [a].
La proposicion anterior muestra que la clase del elemento identidad 1 del grupo
G coincide con el subgrupo H. Luego [1] y H tienen la misma cantidad de elementos.
A continuacion probaremos que todas las clases tienen la cardinalidad de H, y por
ende, todas las clases de equivalencia tienen la misma cantidad de elementos.
|G|
|G : H| = . (1.5.2)
|H|
1.6. Ejercicios
1. Demuestre por induccion las proposiciones 1.1.8 y 1.1.13.
18 CAPITULO 1. GRUPOS Y SUBGRUPOS
(i) Demuestre que (1.6.1) esta bien definida, es decir, demuestre que para
otros representantes a1 y b1 de las clases [a] y [b], respectivamente, se
cumple que [a1 ][b1 ] = [a][b].
(ii) La funcion j : (A, ) (A, ) que asigna a cada elemento a de A su clase
[a] es un homomorfismo sobreyectivo.
10. Sea (G, ) un semigrupo finito en el cual se cumplen las leyes cancelativas, es
decir, para cualesquiera elementos a, b, c G se tiene que
ac = bc a = b,
ca = cb a = b.
es un grupo. G es conmutativo?
15. Sea R \{0} el conjunto de reales no nulos con la operacion definida por
a b := |a| b.
16. Cada una de las siguientes tablas definen operaciones binarias internas de las
cuales se saben que son asociativas. Compruebe que ellas definen grupos:
1.6. EJERCICIOS 21
Z4 = {0, 1, 2, 3}
+ 0 1 2 3
0 0 1 2 3
1 1 2 3 0
2 2 3 0 1
3 3 0 1 2
V = {e, a, b, c}
. e a b c
e e a b c
a a e c b
b b c e a
c c b a e
21. Sea GLn (R) el grupo lineal general de orden n sobre los numeros reales,
es decir, GLn (R) := Mn (R) es el grupo de elementos invertibles del semigrupo
multiplicativo (Mn (R), ). Entonces,
22 CAPITULO 1. GRUPOS Y SUBGRUPOS
(i) Sea SLn (R) el subconjunto de GLn (R) constituido por las matrices de
determinante 1, es decir,
SLn (R) := {F GLn (R) | det(F ) = 1}.
Demuestre que SLn (R) GLn (R). SLn (R) se denomina el grupo espe-
cial de orden n sobre R.
(ii) Sea
Dn (R) := {diag(d1 , . . . , dn ) Mn (R) | d1 dn 6= 0}.
Demuestre que Dn (R) GLn (R). Dn (R) se conoce como el grupo de
matrices diagonales de orden n sobre R.
(iii) Sea
f11 f1n
. . .
.
Tn (R) := . Mn (R) | f11 fnn 6= 0, fij = 0 si i > j .
.
0 fnn
Demuestre que:
(i) GLn (R) se puede generar por matrices elementales. Mejor aun, demuestre
que
GLn (R) = hTij (a), Dn (d)|1 i, j n, i 6= j, a R, 0 6= d Ri.
(ii) SLn (R) = hTij (a)|1 i, j n, i 6= j, a Ri.
(iii) Dn (R) = hDi (di )|0 6= di R, 1 i ni.
(iv) Tn (R) = hTij (a), Di (di )|j > i, a R, 0 6= di , 1 i, j ni.
(iv) U Tn (R) = hTij (a)|j > i, a R, 1 i, j ni.
(v) U Tnm (R) = hTij (a)|j i m, a R, 1 i, j ni.
Captulo 2
Grupos cclicos
Una rama destacada dentro de la teora de grupos la constituyen los llamados grupos
abelianos. Quiza los grupos abelianos mas importantes son los llamados grupos ccli-
cos, ya que los grupos abelianos finitamente generados son expresables a traves de
sumas directas de grupos cclicos. En este captulo vamos a mostrar las propiedades
basicas de los grupos cclicos finitos. Se establecera la relacion que guardan los
conceptos de periodo de un elemento y orden. Para grupos cclicos finitos son de-
mostradas algunas proposiciones relacionadas con el orden de sus subgrupos y el
numero de generadores de dichos grupos. Al final del captulo hemos incluido una
serie de ejercicios donde se estudian algunas aplicaciones de los grupos cclicos a
teora elemental de numeros.
2.1. Definicion
Sea G un grupo cualquiera y sea a un elemento arbitrario de G. El conjunto de todas
las potencias enteras an , n Z, del elemento a constituye un subgrupo de G llamado
el subgrupo cclico de G generado por el elemento a. Como vimos en el captulo
anterior, cuando el grupo G sea aditivo, na, n Z, representa los multiplos enteros
del elemento a. Recordemos la nociones de subgrupo y grupo cclico introducidas en
el captulo anterior.
hai = {an | n Z} = {. . . , a3 , a2 , a1 , 1, a, a2 , a3 , . . . }
hai = {n a | n Z} = {. . . , 3 a, 2 a, a, 0, a, 2 a, 3 a, . . . }.
24
2.1. DEFINICION 25
Es posible que el subgrupo generado por algun elemento a del grupo G coincida
con todo el grupo: hai = G; esta situacion se presenta por ejemplo con el entero 1
en el grupo aditivo de los numeros enteros. Los grupos para los cuales se tiene este
tipo de situacion reciben un nombre especial.
Definicion 2.1.2. Sea G un grupo cualquiera. Se dice que G es cclico si G coincide
con uno de sus subgrupos cclicos; es decir, si existe un elemento a en G tal que
hai = G. En este caso se dice que a es un generador del grupo cclico G.
Ejemplo 2.1.3. (i) Z es un grupo cclico y todos sus subgrupos son cclicos.
(ii) El grupo de races complejas de grado n de la unidad, n 1, es cclico:
denotemos por Un las soluciones complejas de la ecuacion xn = 1, es decir,
Un := {z C | z n = 1};
afirmamos que Un es un subgrupo de hC, , 1i: en efecto, Un 6= ya que 1n = 1
y por lo tanto 1 Un . Sean z1 y z2 elementos de Un , entonces (z1 z2 )n = z1n z2n
por ser hC , , 1i un grupo abeliano, luego (z1 z2 )n = 1 y as z1 z2 Un . Sea ahora
n
z Un , entonces (z 1 ) = z n = (z n )1 = 11 = 1, es decir, z 1 Un y nuestra
afirmacion esta probada.
Sea z un elemento de Un . Al escribir z en la forma polar z = r (cos + i sin ) ,
donde r = | z| es la norma de z, y teniendo en cuenta que la norma de un producto de
complejos es el producto de las normas, concluimos que | z n | = | z|n = rn = |1| = 1.
Puesto que la norma es un real no negativo entonces r = 1 y z tiene la forma
polar z = cos + i sin . Podemos utilizar el teorema de DMoivre para determinar
la cantidad de elementos de Un y para demostrar que este subgrupo es cclico:
z n = cos n + i sin n = 1 = 1 + i0, entonces cos n = 1 y sin n = 0, as n = 2k,
k = 0, 1, 2, . . . . Despejando obtenemos que = 2k n
, k = 0, 1, 2, . . . . Sin embargo,
por la periodicidad de las funciones cos y sin es suficiente considerar los valores
de k hasta n 1: = 2k n
, k = 0, 1, 2, . . . , n 1. De tal manera que si z Un
entonces z es de la forma z = cos 2k n
+ i sin 2k n
, con k = 0, 1, . . . , n 1. Utilizando
la forma exponencial de z podemos demostrar que los complejos cos 2k n
+ i sin 2k
n
,
2k 2k 0
2k 2k0
con k = 0, 1, . . . , n 1 son diferentes: si cos n + i sin n = cos n + i sin n
2k 2k0 0
entonces ei n = ei as, i 2k
n
nn = i 2kn y por tanto k = k 0 . o
i 2k 2k 2k
De tal manera que Un = e n = cos n + i sin n | k = 0, 1, . . . , n 1 consta
de n elementos exactamente (notese que C es un grupo infinito que posee grupos
finitos no triviales: Un , n > 1). Utilizando nuevamente el teorema de DMoivre
2
comprobemos que Un es cclico y generado por z1 = ei n = cos 2 n
+ i sin 2
n
. Sea
i 2k
z =e n un elemento cualquiera de Un , entonces z es la k-esima potencia de z1 :
2 k 2k
k
(z1 ) = ei n = ei n = z. As que, Un h z1 i Un entonces Un = hz1 i,
|Un | = n.
26 CAPITULO 2. GRUPOS CICLICOS
Corolario 2.2.4. (i) Sea G un grupo grupo finito. Entonces |a| | |G| .
2.3. Ejemplos
Ejemplo 2.3.1. Grupo sin torsion. Notemos en primer lugar que todo grupo sin
torsion debe ser infinito. Sea p un numero primo. El conjunto de numeros racionales
n o
m
Qp = pn
Q | m, n Z
m1 m2 m1 .pn2 + m2 .pn1
pn1
+ pn2
= pn1 + n2
Qp ,
m m
pn = pn Qp .
Sea pmn Qp , supongase que existe k > 0 tal que k m
pn
= 0, es decir, km
pn
= 0,
entonces km = 0, as m = 0. Luego, pmn = 0.
Veamos que estos son los unicos sugbrupos: sea H un subgrupo propio de Cp . Si
para cada k 0, Cpk H, entonces H = Cp , pero este caso esta descartado.
Entonces existe un k 0 tal que Cpk no esta incluido en H. Escojamos el menor
k tal que Cpk1 H pero Cpk no esta incluido en H. k no puede ser 0 ya que
Cp0 H. Por lo tanto k 1. La idea es entonces demostrar que H = Cpk1 . Si esto
es as entonces el n buscado es n = k 1.
Sabemos que Cpk1 H y supongamos que la inclusion es estricta, es decir, existe
z H pero z / Cpk1 . Como z Cp existe un m 1 mnimo tal que z Cpm
pero z / Cpm1 . Notese que m k porque de lo contario z Cpk1 . Se tiene que
Cpk Cpm . Sea Cpm =< z1 >, entonces z = z1a , donde 0 a pm 1, notese
que p no divide al entero a. En efecto, si p|a, entonces a = pb y en consecuencia
m1 m1 m
zp = z1ap = z1bp = 1, pero esto indica que z Cpm1 , lo cual es falso. Se tiene
entonces que a y pm son primos realtivos, m
es decir, 1 = ua + vpm , donde u, v son
a u p
enteros. De aqu resulta que z1 = (z1 ) (z1 ) = z u . Esto implica que Cpm hzi H
v
2.4. Propiedades
Las siguientes afirmaciones son validas para grupos cclicos cualesquiera. Especial-
mente importante es la afirmacion (iv).
(iv) Sea G 6= {1} un grupo. Entonces, G es un grupo cclico finito de orden primo
si, y solo si, G no tiene subgrupos diferentes de los triviales.
2.5. Generadores
Teorema 2.5.1. (i) Sea G un grupo cclico finito de orden n con generador a.
Entonces, x G es generador de G x = ar , donde m.c.d.(n, r) = 1.
(ii) Sea G un grupo cclico con generador a y sea H 6= {1} un subgrupo de G.
Entonces H = has i , donde s es el menor entero positivo tal que as H.
Ademas, si G es de orden finito n entonces |H| = nd , d = m.c.d.(n, s).
(iii) Sea G un grupo cclico de orden finito n y sea t Z+ tal que t | n. Entonces
G contiene exactamente un subgrupo de orden t.
Demostracion. (i) ): Sea x un generador de G = hai . Entonces existe un r Z
tal que x = ar y hxi = har i = hai . De aqu obtenemos que a har i , es decir, existe
2.5. GENERADORES 31
24
d
= 8, entonces d = 3 = s;
3 = 0, 3, 6, 9, 12, 15, 18, 21
24
d
= 12, entonces d = 2 = s; 2 = 0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22 .
2.6. Ejercicios
1. Sea G un grupo y sean a,b elementos de G tales que:
(i) ab=ba.
(ii) |a| = n, |b| = m.
(iii) m.c.d.(n, m) = 1.
Subgrupos normales y
homomorfismos
El objetivo central de este captulo es mostrar la estrecha relacion que guardan los
conceptos de subgrupo normal y homomorfismo de grupos. Sera demostrado que,
salvo isomorfismo, hay tantos subgrupos normales en un grupo G como imagenes
homomorfas tiene este ultimo. El concepto de grupos isomorfos permite, entre otras
cosas, clasificar los grupos cclicos: los infintos que son isomorfos a hZ, +i, y los finitos
de orden n que son isomorfos a hZn , +i. Dentro de los ejemplos hemos incluido un
grupo muy importante como es el grupo octico correspondiente a las 8 simetras del
cuadrado.
34
3.2. GRUPO COCIENTE 35
(i) x G, h H : x1 hx H.
(ii) x G : x1 Hx = H.
(iii) x G : xH = Hx.
Definicion 3.1.4. Sea G 6= {1} un grupo. Entonces G posee al menos dos subgrupos
normales, llamados los subgrupos normales triviales: {1}, G. Si G no posee
otros subgrupos normales fuera de los triviales se dice que G es un grupo simple.
a b ab1 H.
[a] = Ha
36 CAPITULO 3. SUBGRUPOS NORMALES Y HOMOMORFISMOS
(iv) Zn = Z/hni.
(v) Sea K G tal que H K. Entonces, H E K.
(vi) Sea L G tal que |G : L| = 2, entonces L E G.
(vii) La relacion de normalidad no es en general transitiva.
Demostracion. Las cinco primeras afirmaciones son casi evidentes. VeamosSla prueba
de (vi): G queda dividido en solo dos clases laterales izquierdas: G = L (G L).
Sea x G, h L; consideremos las siguientes cuatro posibilidades:
a) x1 h L, x1 L x1 hx L
b) x1 h L, x1 / L, imposible
1 1
c) x h / L, x L, imposible
d) x1 h / L, x1 / L x1 h x1 x1 hx L L E G.
(vii) Esto se ilustra en el siguiente ejemplo.
3.2. GRUPO COCIENTE 37
1 2 3 4
= f g.
2 1 4 3
Definicion 3.3.1. Sean hG, i y hF, i dos grupos. Una funcion : G F tal que
(ab) = (a) (b), a, b G se denomina un homomorfismo del grupo G en el
grupo F .
(x) = (y) x = y.
(i) (1) = 1.
(iii) ker () E G.
H G (H) F .
K F 1 (K) G.
H E G (H) E Im().
K E F 1 (K) E G.
(x) es un isomorfismo si, y solo si, existe una funcion : F G tal que
= iG , = iF .
3.4. Ejercicios
1. Demuestre que en un grupo abeliano todos sus subgrupos son normales.
Ax := x1 Ax = {x1 ax | a A}.
6. Sea G un grupo y sea X un conjunto no vaco. Demuestre que Z[Apl (X, G)] =
Aplc (X, Z (G)).
Teoremas de estructura
42
4.1. TEOREMA FUNDAMENTAL DE HOMOMORFISMO 43
Los subgrupos de orden 2 son cclicos y por lo tanto generados por los elementos
de orden 2:
hgi, hf gi, hf 2 gi son los subgrupos de orden 2.
Los subgrupos de orden 3 son necesariamente cclicos y son generados por ele-
mentos de orden 3 :
hf i es el unico subgrupo de orden 3,
1 f f2 g f g f 2g
2
1 1 f f g f g f 2g
f f f2 1 f g f 2g g
f2 f2 1 f f 2g g fg
2 2
g g f g fg 1 f f
fg fg g f 2g f 1 f2
f 2g f 2g f g g f2 f 1
hgi no es subgrupo normal de S3 ya que f gf 1 = f gf 2 = f 2 g
/ hgi; hf gi no es
2 2 1 2 2
subgrupo normal de S3 ya que f f g (f ) = f f gf = gf = f g / hf gi; hf 2 gi no
2 1 2 2
es subgrupo normal de S3 ya que f f gf = gf = f g / hf gi .
S3 no tiene subgrupos normales de orden 2,
1, hf i, S3 son los subgrupos normales de S3 .
De aqu obtenemos que las imagenes homomorfas de S3 (salvo isomorfismo) son
S3 /1 = S3 , S3 / hf i
= Z2 ya que |S3 / hf i| = 63 = 2 ; S3 /S3
= Z1 (grupo unitario).
x, y B : xy xy 1 A.
Denotemos por [x] la clase de equivalencia correspondiente al elemento x B medi-
ante la relacion . Sea la relacion de equivalencia inducida en B/H por el subgrupo
A/H:
x, y B/H : xy x y 1 A/H.
(x = Hx, x B). Denotemos por [x] la clase de equivalencia determinada por el
elemento x de B/H mediante la relacion .
Sean C1 = B/ y C2 = (B/H)/ los respectivos conjuntos cocientes. Se quiere
probar que Card(C1 ) = Card(C2 ) : Definimos
F : C1 C2
F ([x]) := [x].
F esta bien definida: [x] = [y] implica xy 1 A luego xy 1 A/H, es decir,
x y 1 A/H, con lo cual [x] = [y] y as F ([x]) = F ([y]).
F es inyectiva: F ([x]) = F ([y]) implica [x] = [y], de donde x y 1 A/H por lo
tanto xy 1 A y de esta manera [x] = [y]. F es obviamente sobreyectiva.
(G/H)/(K/H)
= G/K.
HK/K
= H/H K.
Demostracion. En primer lugar HK = KH: sea hk HK, ya que K E G se tiene
que hk = (hkh1 )h KH; as pues, HK KH. Sea ahora kh KH; entonces
kh = h(h1 kh) HK KH HK y en consecuencia HK = KH. Esto garantiza
que HK es un subgrupo de G. Como K E G entonces K E HK y tiene sentido el
grupo factor HK/K. Definimos la funcion
f : H HK/K
h 7 hK.
Probemos que f es un homomorfismo sobreyectivo con nucleo ker(f ) = H K :
f (h1 h2 ) = (h1 h2 )K = h1 Kh2 K = f (h1 )f (h2 ). Sea x HK/K. Entonces x es de
la forma x = hkK = hK = f (h). Esto prueba que f es sobre. Sea x ker(f )
entonces f (x) = xK = 1K, es decir, x K con lo cual x H K. Esto establece
que ker(f ) = H K y el teorema esta demostrado.
Ejemplo 4.4.3. (i) Calculemos las imagenes homomorfas de Zn , n 0. Para n = 0,
Z0 = Z, segun vimos, en este caso las imagenes homomorfas son de la forma Zn ,
n 0. Sea n = 1, Z1 = 0, grupo con un solo elemento. Por tanto, las unicas
imagenes homomorfas de Z1 son los grupos unitarios. Sea n 2, Zn = Z/ hni. Las
imagenes homomorfas de Zn segun el teorema fundamental de homomorfismo son de
la forma Zn /H donde H es subgrupo normal de Zn . Como Zn es un grupo abeliano
entonces todos sus subgrupos son normales. Segun el teorema de correspondencia
los subgrupos de Zn = Z/ hni son de la forma K/ hni donde K es un subgrupo de Z
que contiene al subgrupo hni. Los subgrupos de Z son de la forma hmi. As pues, los
subgrupos de Zn = Z/ hni son de la forma hmi / hni donde hmi hni. Notese que si
hni hmi entonces n = km, k Z, m|n. Recprocamente, si m|n hni hmi.
En conclusion los subgrupos de Zn = Z/ hni son de la forma hmi / hni con m|n. Por
tanto las imagenes homomorfas de Zn = Z/ hni son de la forma Z/ hni / hmi / hni =
Z/ hmi = Zm . As pues, las imagenes homomorfas de Zn son los subgrupos Zm con
m|n. Por ejemplo, las imagenes homomorfas de Z12 son: Z1 = 0, Z2 , Z3 , Z4 , Z6 , Z12 .
(ii) Sea G un grupo no unitario y sea H E G. Se dice que H es un subgrupo
normal maximal de G si se cumple que
H K y K E G K = H o K = G,
en otras palabras, los unicos subgrupos normales de G que contienen H son G y
H. Sea hG, , 1i un grupo simple, es decir, G es no trivial y los unicos subgrupos
normales de G son los triviales: {1} y G. Probemos que H E G es maximal si,
y solo si, G/H es simple: sea W un subgrupo normal de G/H, segun el teorema
de correspondencia existe en G un subgrupo normal K que contiene H. Por ser H
normal maximal K = H o K = G, es decir W = K/H = H/H o W = G/H, es
decir, los unicos subgrupos normales de G/H son los triviales. Sea ahora K G,
4.4. TEOREMAS DE ISOMORFISMO 49
4) a = f 2 , b = f 3 g H4 ;
5) a = g, b = f g, descartado ya que g(f g) 6= (f g)g;
6) a = g, b = f 2 g K4 ;
7) a = g, b = f 3 g, descartado ya que g(f 3 g) 6= (f 3 g)g;
8) a = f g, b = f 2 g, descartado ya que (f g)(f 2 g) 6= (f 2 g)(f g);
9) a = f g, b = f 3 g H4 ;
10) a = f 2 g, b = f 3 g, descartado ya que (f 2 g)(f 3 g) 6= (f 3 g)(f 2 g).
Subgrupos de orden 4: Isomorfos a Z4 : hf i ; isomorfos a V: K4 , H4 .
Unico subgrupo de orden 8: D4 .
En resumen se obtiene lo siguiente: hf i = Z4 ;
K4 = H 4 = V ;
hgi = hf 2 gi = hf 2 i
= hf 3 gi
= hf gi = Z2 .
De otra parte, 1 y D4 son automaticamente subgrupos normales de D4 .
Ademas, K4 , H4 y hf i son tambien normales ya que su ndice en D4 es 2.
hgi no es subgrupo normal de D4 ya que f 1 gf = f 3 gf = f 2 g / hgi;
1 3
hf gi no es subgrupo normal de D4 ya que g (f g)g = f g / hf gi;
2 1 2
hf gi no es subgrupo normal de D4 ya que f (f g)f = g / hf 2 gi;
hf 3 gi no es subgrupo normal de D4 ya que f 1 (f 3 g)f = f g / hf 3 gi;
hf 2 i E D4 ya que f 1 f 2 f = f 2 ; (f 2 )1 f 2 f 2 = f 2 ; (f 3 )1 f 2 f 3 = f 2 ; g 1 f 2 g = f 2 ;
(f g)1 f 2 (f g) = f 2 ; (f 2 g)1 f 2 (f 2 g) = f 2 ; (f 3 g)1 f 2 (f 3 g) = f 2 .
Subgrupos normales de D4 : 1, D4 , hf 2 i, hf i, K4 , H4 .
Las imagenes homomorfas de D4 (salvo isomorfismo) son:
D4 /1 = D4 ; D4 / hf i = Z2 ; D4 /K4 = D4 /H4 = Z2 ; D4 /D4 = 1.
Para hf i se tiene que D4 / hf i = Z4 o D4 / hf 2 i
2 2
= V . La primera posibilidad
2
es descartada ya que en D4 / hf i no hay elementos de orden 4: en efecto, en D4
todos los elementos salvo 1, f 2 , f 3 son de orden 2. Ademas, para estos ultimos se
tiene que |1| = 1, f = 2, f 3 = 2. Por tanto, D4 / hf 2 i
= V , esta es la otra imagen
homomorfa de D4 .
(vi) Calculemos las imagenes homomorfas del grupo de los cuaterniones de
Hamilton Q8 : el grupo Q8 es de orden 8 y puede ser definido por las siguientes
relaciones:
Q8 = ha, b | a4 = 1, b2 = a2 , bab1 = a1 i,
Q8 = {1, a, a2 , a3 , b, ab, a2 b, a3 b}.
1 a a2 a3 b ab a2 b a3 b
1 1 a a2 a3 b ab a2 b a3 b
a a a2 a3 1 ab a2 b a3 b b
a2 a2 a3 1 a a2 b a3 b b ab
a3 a3 1 a a2 a3 b b ab a2 b
b b a3 b a2 b ab a2 a 1 a3
ab ab b a3 b a2 b a3 a2 a 1
a2 b a2 b ab b a3 b 1 a3 a2 a
a3 b a3 b a2 b ab b a 1 a3 a2
i C, i2 = 1, A4 = E, B 2 = A2 , BAB 1 = A1 .
52 CAPITULO 4. TEOREMAS DE ESTRUCTURA
4.5. Ejercicios
1. Calcule las imagenes homomorfas del grupo GL2 (R).
Automorfismos
fx : G : G
a 7 x1 ax
53
54 CAPITULO 5. AUTOMORFISMOS
G/Z (G)
= Int (G).
Teorema 5.2.1. Sea G un grupo y sea S (G) el grupo de permutaciones del conjunto
G. Entonces G es isomorfo a un subgrupo de S (G).
n!
Corolario 5.2.2. Sea n 1. Existen a lo sumo n
grupos no isomorficos de orden
n.
Demostracion. Sea G un grupo finito de orden n. Entonces G es isomorfo a un
subgrupo de Sn . Pero Sn tiene un numero finito de subgrupos de orden n, este
numero es menor que n!n
. Notese que el problema de determinar todos los grupos
no isomorfos de orden n se reducira a determinar todos los subgrupos no isomorfos
de Sn con n elementos.
5.3. Ejemplos
Ejemplo 5.3.1. Automorfismos de grupos cclicos: (i) Grupo cclico infinito Z: sea
f Aut(Z). Como f es un automorfismo, la imagen de cada generador de Z es
nuevamente un generador de Z, mas generalmente, si G es un grupo cclico con
generador a y f Aut (G) entonces f (a) es un generador de G. En efecto, dado
x G existe y G tal que x = f (y) x = f (at ) = f (a)t .
Puesto que Z tiene solo dos generadores entonces se presentan dos posibilidades
para f , f (1) = 1 o f (1) = 1, en el primer caso f (k) = k y en el segundo f (k) = k,
para cada k, por lo tanto Aut(Z) = Z2 .
(ii) Grupo cclico finito de orden n, Zn : recordemos que el grupo Zn se obtuvo a
partir de Z por medio de una relacion de equivalencia
a b n|(a b), a, b Z.
En otras palabras Zn es el grupo cociente Z/ hni. En Zn se puede definir un producto
y convertirlo as en un semigrupo multiplicativo:
r s = rs, para 0 r, s < n.
Es sencillo verificar que el producto esta correctamente definido. Ademas, este
pro-
ducto es asociativo con elemento neutro 1, luego se tiene el monoide Zn , , 1 . Aso-
ciado a todo monoide se tiene su grupo de elementos invertibles Zn . Notese que
Zn = {r| (r, n) = 1, 1 r < n}.
En efecto,
r Zn s Zn tal que r s = 1 rs = 1 n| (rs 1) rs 1 = nk con
k Z (r, n) = 1.
Con la observacion anterior queremos probar que Aut(Zn ) = Zn .
Sea h : Zn Zn un automorfismo de Zn . Como 1 genera a Zn entonces h(1) es
un generador de Zn . As pues, tenemos tantos automorfismos como generadores tiene
Zn . Pero notese que r genera Zn si, y solo si, m.c.d.(r, n) = 1. Podemos entonces
definir
56 CAPITULO 5. AUTOMORFISMOS
: Aut (Zn ) Zn
h 7 (h) = r
donde r = h 1 .
es un homomorfismo: sean f y h automorfismos
de Zn tales quef 1 = r,
h 1 = s. Notese que (h f ) = (h f ) 1 = h f 1 = h (r) = h r1 = rh 1
= rs = rs1 = rs = sr = sr = (h) (f ).
es inyectiva: sea h Aut (Zn ) con (h) = 1 entonces h 1 = 1 y h (r) = r
para cada 0 r < n por lo tanto h = iZn .
es sobre: sea r Zn y sea h definido por h (s) := sr. Notese que h 1 = r y
iG : 11 aa bb ab f = 11 ab abb ab
ab
, a
g : 11 aa bab abb , f 2 = 11 aab ba abb
f g = 11 ab ab ab f 2 g = 11 aab bb aba .
ab
,
Entonces, Aut (V )
= S3 .
T1,0 : D4 D4
f g 7 f (f 0 g) = f g
T1,0 = iD4
T1,1 : D4 D4
f g 7 f (f g)
2 3 g f g f 2g f 3g
T1,1 = 11 f f f
f f2 f3 fg f 2g f 3g g
T1,2 : D4 D4
f g 7 f (f 2 g)
5.3. EJEMPLOS 57
f2 f3 g f g f 2g f 3g
T1,2 = 11 f
f f2 f3 f 2g f 3g g f g
T1,3 : D4 D4
f g 7 f (f 3 g)
2 f3 g f g f 2g f 3g
T1,3 = 11 ff ff 2
f3 f 3y g f g f 2g
T3,0 : D4 D4
f g 7 (f 3 ) (f 0 g)
2 f3 f g f 2g f 3g
T3,0 = 11 ff 3 ff 2 g
f g f 3g f 2g f g
T3,1 : D4 D4
f g 7 (f 3 ) (f g)
2 f3 f 2g f 3g
T3,1 = 11 ff 3 ff 2 g fg
f fg g f 3g f 2g
T3,2 : D4 D4
f g 7 (f 3 ) (f 2 g)
2 f3 g f g f 2g f 3g
T3,2 = 11 ff 3 ff 2
f f 2g f g g f 3g
T3,3 : D4 D4
f g 7 (f 3 ) (f 3 g)
2 f3 g f g f 2g f 3g
T3,3 = 11 ff 3 ff 2
f f 3g f 2g f g g
.
po
Ejemplo 5.3.6. Aut (Q): sea f Aut (Q) y sea = f (1) , (po , qo ) = 1. Entonces
qo
p
f (p/q) = pf (1/q) qf (p/q) = pf (1) luego f (p/q) = f (1). Lo anterior permite
q
establecer la funcion
: Aut(Q) Q
f 7 f (1).
f: Q Q
p p p0
7 .
q q q0
p0 p0
Notese que f (1) = , es decir, (f ) = . Veamos que f Aut(Q):
q0 q0
58 CAPITULO 5. AUTOMORFISMOS
p r ps + qr ps + qr p0
f + =f =
q s qs qs q0
p p0 r p0 p r
= + =f +f ;
q q0 s q0 q s
p p p0 p
si f = 0 entonces = 0, entonces p = 0 luego = 0.
q q q
0 q
r r q0 r
Sea Q; entonces f = , es decir, f es sobre, luego Aut (Q)
= Q .
s s p0 s
Ejemplo 5.3.7. Calculamos en este ejemplo Aut (Q8 ). Sea F : Q8 Q8 un auto-
morfismo de Q8 . Puesto que en Q8 = ha, b | a4 = 1, b2 = a2 , ba = a1 bi el unico ele-
mento de orden 2 es a2 , entonces F (a2 ) = a2 , ademas, F (1) = 1, luego F realmente
permuta los 6 elementos restantes, a saber: a, a3 , b, ab, a2 b, a3 b. Esto parece mostrar
una relacion de Aut(Q8 ) con el grupo de permutaciones S4 . En realidad se vera que
Aut (Q8 )
= S4 . Cada F viene determinado por su accion sobre los generadores a, b.
Puesto que tanto a como b son de orden 4, entonces F (a) = a, a3 , b, ab, a2 b, a3 b y
F (b) = a, a3 , b, ab, a2 b, a3 b. Esto genera 36 posibilidades, de las cuales solo 24 corre-
sponden a funciones biyectivas:
F (a) = a F (b) = a Descartada ya que F debe ser biyectiva
F (a) = a F (b) = a3 Descartada ya que entonces F (a3 ) = a3
F1 (a) = a F1 (b) = b F1 (a3 ) = a3 , F1 (ab) = ab, F1 (a2 b) = a2 b, F1 (a3 b) = a3 b
F2 (a) = a F2 (b) = ab F2 (a3 ) = a3 , F2 (ab) = a2 b, F2 (a2 b) = a3 b, F2 (a3 b) = b
F3 (a) = a F3 (b) = a2 b F3 (a3 ) = a3 , F3 (ab) = a3 b, F3 (a2 b) = b, F3 (a3 b) = ab
F4 (a) = a F4 (b) = a3 b F4 (a3 ) = a3 , F4 (ab) = b, F4 (a2 b) = ab, F4 (a3 b) = a2 b
F (a) = a3 F (b) = a Descartada ya que F (a3 ) = a
F (a) = a3 F (b) = a3 Descartada ya que F debe ser biyectiva
F5 (a) = a3 F5 (b) = b F (a3 ) = a, F5 (ab) = a3 b, F5 (a2 b) = a2 b, F5 (a3 b) = ab
F6 (a) = a3 F6 (b) = ab F6 (a3 ) = a, F6 (ab) = b, F6 (a2 b) = a3 b, F6 (a3 b) = a2 b
F7 (a) = a3 F7 (b) = a2 b F7 (a3 ) = a, F7 (ab) = ab, F7 (a2 b) = b, F7 (a3 b) = a3 b
F8 (a) = a3 F8 (b) = a3 b F8 (a3 ) = a, F8 (ab) = a2 b, F8 (a2 b) = ab, F8 (a3 b) = b
F9 (a) = b F9 (b) = a F9 (a3 ) = a2 b, F9 (ab) = a3 b, F9 (a2 b) = a3 , F9 (a3 b) = ab
F10 (a) = b F10 (b) = a3 F10 (a3 ) = a2 b, F10 (ab) = ab, F10 (a2 b) = a, F10 (a3 b) = a3 b
F (a) = b F (b) = b Descartada ya que F debe ser biyectiva
F11 (a) = b F11 (b) = ab F11 (a3 ) = a2 b, F11 (ab) = a, F11 (a2 b) = a3 b, F11 (a3 b) = a3
F (a) = b F (b) = a2 b Descartada ya que F (ba) = 1 = F (a3 b) = F (1)
F12 (a) = b F12 (b) = a3 b F12 (a3 ) = a2 b, F12 (ab) = a3 , F12 (a2 b) = ab, F12 (a3 b) = a
F13 (a) = ab F13 (b) = a F13 (a3 ) = a3 b, F13 (ab) = b, F13 (a2 b) = a3 , F13 (a3 b) = a2 b
F14 (a) = ab F14 (b) = a3 F14 (a3 ) = a3 b, F14 (ab) = a2 b, F14 (a2 b) = a, F14 (a3 b) = b
F15 (a) = ab F15 (b) = b F15 (a3 ) = a3 b, F15 (ab) = a3 , F15 (a2 b) = a2 b, F15 (a3 b) = a
F (a) = ab F (b) = ab Descartada ya que F es biyectiva
F16 (a) = ab F16 (b) = a2 b F16 (a3 ) = a3 b, F16 (ab) = a, F16 (a2 b) = b, F16 (a3 b) = a3
F (a) = ab F (b) = a3 b Descartada ya que F (ba) = 1 = F (a3 b) = F (1)
F17 (a) = a2 b F17 (b) = a F17 (a3 ) = b, F17 (ab) = ab, F17 (a2 b) = a3 , F17 (a3 b) = a3 b
F18 (a) = a2 b F18 (b) = a3 F18 (a3 ) = b, F18 (ab) = a3 b, F18 (a2 b) = a, F18 (a3 b) = ab
F (a) = a2 b F (b) = b Descartada ya que F (ab) = 1 = F (1)
F19 (a) = a2 b F19 (b) = ab F19 (a3 ) = b, F19 (ab) = a3 , F19 (a2 b) = a3 b, F19 (a3 b) = a
F (a) = a2 b F (b) = a2 b Descartada ya que F es biyectiva
F20 (a) = a2 b F20 (b) = a3 b F20 (a3 ) = b, F20 (ab) = a, F20 (a2 b) = ab, F20 (a3 b) = a3
F21 (a) = a3 b F21 (b) = a F21 (a3 ) = ab, F21 (ab) = a2 b, F21 (a2 b) = a3 , F21 (a3 b) = b
F22 (a) = a3 b F22 (b) = a3 F22 (a3 ) = ab, F22 (ab) = b, F22 (a2 b) = a, F22 (a3 b) = a2 b
F23 (a) = a3 b F23 (b) = b F23 (a3 ) = ab, F23 (ab) = a, F23 (a2 b) = a2 b, F23 (a3 b) = a3
F (a) = a3 b F (b) = ab Descartada ya que F (ba) = 1 = F (a3 b) = F (1)
F24 (a) = a3 b F24 (b) = a2 b F24 (a3 ) = ab, F24 (ab) = a3 , F24 (a2 b) = b, F24 (a3 b) = a
F (a) = a3 b F (b) = a3 b Descartada ya que F es biyectiva.
Ahora solo falta demostrar que estas 24 funciones biyectivas son homomorfismos,
es decir, son los unicos automorfismos en Aut(Q8 ). Tendramos pues que las 24 per-
mutaciones de los 6 elementos a, a3 , b, ab, a2 b, a3 b corresponden a los automorfismos
de Q8 , quedando probado de esta manera que Aut (Q8 ) = S4 .
5.3. EJEMPLOS 59
Solo revisamos la funcion F24 , las otras 22 se revisan de manera similar (notese
que la funcion F1 corresponde a la identica). Cada elemento de Q8 es de la forma
ar bs , donde 0 r 3, 0 s 1. Se debe entonces demostrar que F24 (ar bs ap bq ) =
F24 (ar bs )F24 (ap bq ). Consideremos dos casos:
(i) s = 0. Entonces, F24 (ar bs ap bq ) = F24 (ar ap bq ) = F24 (ar+p bq ). Si q = 0, entonces
F24 (ar bs ap bq ) = F24 (ar+p ). Debemos entonces considerar 16 posibilidades, pero en
vista de la simetra de la situacion, basta tener en cuenta solo los siguientes 10 casos:
r = 0, p = 0 F24 (ar bs ap bq ) = 1, F24 (ar bs )F24 (ap bq ) = 1;
r = 0, p = 1 F24 (ar bs ap bq ) = a3 b, F24 (ar bs )F24 (ap bq ) = a3 b;
r = 0, p = 2 F24 (ar bs ap bq ) = a2 , F24 (ar bs )F24 (ap bq ) = a2 ;
r = 0, p = 3 F24 (ar bs ap bq ) = ab, F24 (ar bs )F24 (ap bq ) = ab;
r = 1, p = 1 F24 (ar bs ap bq ) = a2 , F24 (ar bs )F24 (ap bq ) = aa = a2 ;
r = 1, p = 2 F24 (ar bs ap bq ) = ab, F24 (ar bs )F24 (ap bq ) = a3 ba2 = ab;
r = 1, p = 3 F24 (ar bs ap bq ) = 1, F24 (ar bs )F24 (ap bq ) = a3 bab = 1;
r = 2, p = 2 F24 (ar bs ap bq ) = 1, F24 (ar bs )F24 (ap bq ) = a2 a2 = 1;
r = 2, p = 3 F24 (ar bs ap bq ) = a3 b, F24 (ar bs )F24 (ap bq ) = a2 ab = a3 b;
r = 3, p = 3 F24 (ar bs ap bq ) = a2 , F24 (ar bs )F24 (ap bq ) = abab = a2 .
Para q = 1 entonces F24 (ar bs ap bq ) = F24 (ar+p b), se presentan entonces 16 posi-
bilidades:
r = 0, p = 0 F24 (ar bs ap bq ) = a2 b, F24 (ar bs )F24 (ap bq ) = a2 b;
r = 0, p = 1 F24 (ar bs ap bq ) = a3 , F24 (ar bs )F24 (ap bq ) = a3 ;
r = 0, p = 2 F24 (ar bs ap bq ) = b, F24 (ar bs )F24 (ap bq ) = b;
r = 0, p = 3 F24 (ar bs ap bq ) = a, F24 (ar bs )F24 (ap bq ) = a;
r = 1, p = 0 F24 (ar bs ap bq ) = a3 , F24 (ar bs )F24 (ap bq ) = a3 ba2 b = a3 ;
r = 1, p = 1 F24 (ar bs ap bq ) = b, F24 (ar bs )F24 (ap bq ) = a3 ba3 = b;
r = 1, p = 2 F24 (ar bs ap bq ) = a, F24 (ar bs )F24 (ap bq ) = a3 bb = a;
r = 1, p = 3 F24 (ar bs ap bq ) = a2 b, F24 (ar bs )F24 (ap bq ) = a3 ba = a2 b;
r = 2, p = 0 F24 (ar bs ap bq ) = b, F24 (ar bs )F24 (ap bq ) = a2 a2 b = b;
r = 2, p = 1 F24 (ar bs ap bq ) = a, F24 (ar bs )F24 (ap bq ) = a2 a3 = a;
r = 2, p = 2 F24 (ar bs ap bq ) = a2 b, F24 (ar bs )F24 (ap bq ) = a2 b;
r = 2, p = 3 F24 (ar bs ap bq ) = a3 , F24 (ar bs )F24 (ap bq ) = a2 a = a3 ;
r = 3, p = 0 F24 (ar bs ap bq ) = a, F24 (ar bs )F24 (ap bq ) = aba2 b = a;
r = 3, p = 1 F24 (ar bs ap bq ) = a2 b, F24 (ar bs )F24 (ap bq ) = aba3 = a2 b;
r = 3, p = 2 F24 (ar bs ap bq ) = a3 , F24 (ar bs )F24 (ap bq ) = abb = a3 ;
r = 3, p = 3 F24 (ar bs ap bq ) = b, F24 (ar bs )F24 (ap bq ) = aba = b.
(ii) s = 1. Entonces, F24 (ar bs ap bq ) = F24 (ar+3p bq+1 ). Al igual que en el caso (i) se
debe considerar por separado cuando q = 0 y cuando q = 1. Revisemos en calidad
de ilustracion el caso r = 3, p = 3, q = 1: F24 (ar bs ap bq ) = F24 (a12 b2 ) = F24 (a2 ) =
a2 , F24 (ar bs )F24 (ap bq ) = aa = a2 .
60 CAPITULO 5. AUTOMORFISMOS
5.4. Ejercicios
1. Calcule Aut (S3 ).
2. Calcule Int(S3 ).
3. Calcule Int(V ).
4. Calcule Int(D4 ).
5. Calcule Int(Q8 ).
Captulo 6
Grupos de permutaciones
6.1. Ciclos
Definicion 6.1.1. Sea f un elemento de Sn . Se dice que f es un ciclo de longitud
m, (1 m n), si existen a1 , a2 , . . . , am elementos diferentes de In tales que
1. f (a1 ) = a2 , f (a2 ) = a3 , . . . , f (am1 ) = am , f (am ) = a1 ,
2. f (x) = x para x
/ {a1 , . . . , am }.
Se denota a f por
f = (a1 a2 am ) = (a2 a3 am a1 ) = (a3 a4 am a1 a2 ) = = (am a1 a2 am1 ).
Notese que un ciclo de longitud 1 es la identica de In .
Sean f = (a1 . . . am ) y g = (b1 . . . br ) dos ciclos de Sn . Se dice que f y g son dos
ciclos disyuntos si {a1 , a2 , . . . , am }{b1 , b2 , . . . , br} = . Notese que las siguientes
permutaciones f y g de S7 son ciclos disyuntos:
1 2 3 4 5 6 7
f= = (123),
2 3 1 4 5 6 7
1 2 3 4 5 6 7
g= = (4576).
1 2 3 5 7 4 6
61
62 CAPITULO 6. GRUPOS DE PERMUTACIONES
(i) x A: entonces f (x) A, f (x) / B luego g(f (x)) = f (x); g(x) = x implica
f (g(x)) = f (x) y f g(x) = gf (x).
(iii) x
/Ayx
/ B entonces f (x) = x, g(x) = x de donde f g(x) = x = gf (x).
|f | = m.
|f | = m.c.m.(m1 , . . . , mt ).
Si j = k entonces
Ahora, si x
/ {a1 , . . . , ak } entonces g(x) = x, luego f1 g(x) = f1 (x) = f (x).
Puesto que f1 fija los elementos a1 , . . . , ak entonces f1 puede considerarse como
una permutacion del conjunto In {a1 , . . . , ak }. Por la hipotesis de induccion f1 es
producto de ciclos disyuntos conformados por los elementos de In {a1 , . . . , ak }. En
total f es producto de ciclos disyuntos conformados por los elementos de In . Esto
completa la prueba de la primera afirmacion del teorema.
Probemos ahora la unicidad de la descomposicion: sean
pf = p, f = (ab), a > b.
(c) pf = (1)r p = (1)s p, entonces (1)r = (1)s si, y solo si, r y s son pares o r
y s son impares.
Segun la proposicion anterior se pueden distinguir aquellas permutaciones que
son producto de un numero par de transposiciones.
6.3. SISTEMAS DE GENERADORES 67
sgn : Sn Z
1, si f es par
sgn(f ) :=
1, si f es impar.
sgn es un homomorfismo: sean f, g Sn . Entonces se presentan las siguientes posi-
bilidades:
f y g pares: entonces f g es par y as
sgn(1) = 1, sgn(ab) = 1; a, b In , a 6= b.
Z
= Sn / ker(sgn),
(ab) = (1a)(1b)(1a).
a = 1 : (1a) = 1 = (12)(12);
a = 2 : (1a) = (12);
a = 3 : (13) = (21345 n)(12)(21345 n)1 .
Proposicion 6.3.2. Para n 3, An coincide con con el subgrupo generado por los
3-ciclos.
6.3. SISTEMAS DE GENERADORES 69
= (ij ) ( ) , donde i 6= j.
Para el caso en que n sea par los ejes de simetra son: (a) n2 lneas obtenidas uniendo el
centro O del polgono con cada uno de sus vertices 1, 2, . . . , n. (b) n2 lneas obtenidas
uniendo el centro O con los puntos medios de los n lados del polgono. Para el caso
en que n es impar las n reflexiones corresponden a los n ejes de simetra obtenidos
uniendo el centro O del polgono con sus vertices.
6.4. EL GRUPO DIEDRICO DN , N 3 71
f n = 1.
Sea R10 es la reflexion a traves del eje de simetra que pasa por el vertice 1. Esta
reflexion corresponde a la permutacion de los vertices dada por
1 2 3 k n 1 n
g= .
1 n n 1 n k + 2 3 2
Notese que R10 tiene orden 2: (R10 )2 = R0 , g 2 = 1. Por ultimo, notese que f g es de
orden 2, de donde (f g)2 = 1, luego
gf g = f 1 .
x = f k1 g l1 f k2 g l2 f km g lm , ki , li Z, 1 i m.
x = f k1 g l1 f k2 g l2 f km g lm , con 0 ki n 1, 0 li 1, 1 i m.
falso). En consecuencia, n|(r k). Siendo r y k con las condiciones dadas solo puede
tenerse que r = k, y de esto resulta tambien que l = s.
De lo anterior obtenemos que
De otra parte, sea G un grupo generado por los elementos a y b tales que
an = 1 es decir, a es de orden n,
b2 = 1 es decir, b es de orden 2,
bab = a1 .
es decir BAB = A1 . Esto indica que hA, Bi es isomorfo al grupo diedrico. La matriz
A representa la rotacion del sistema de coordenadas xy a traves de de un angulo
= 2
n
; la matriz B representa una reflexion de dicho sistema.
Regla de multiplicacion en el grupo diedrico: notese que en Dn se tiene la siguiente
regla de multiplicacion:
k+k0 m+m0
k m k0 m0 f g , si m = 0
(f g )(f g ) = 0 0
f kk g m+m , si m = 1.
6.6. Ejercicios
Dn , si n es impar
1. Demuestre que Int(Dn ) =
D n2 , si n es par.
7.1. Definicion
Sea {G1 , . . . , Gn } una coleccion finita de grupos (tomados con notacion multiplica-
tiva) y sea
Qn
i=1 Gi := Gi Gn := {(xi , . . . , xn ) | xi Gi , 1 i n}
Qn
el producto cartesiano conjuntista de la familia dada. Se pretende definir en i=1 Gi
una operacion binaria bajo la cual ni=1 Gi tenga estructura de grupo.
Q
Proposicion 7.1.1. Sea {G1 , . . . , Gn } una familia finita de grupos y sea ni=1 Gi el
Q
producto cartesiano de los conjuntos Gi , 1 i n. El producto definido por
(x1 , . . . , xn ) (x01 , . . . , x0n ) := (x1 x01 , . . . , xn x0n )
da a ni=1 Gi una estructura de grupo. La pareja ( ni=1 Gi , ) as constituida se de-
Q Q
nomina producto cartesiano de la familia {G1 , . . . , Gn } .
Demostracion. En efecto, la asociatividad del producto se desprende de las respec-
tivas propiedades asociativas de los productos definidos en los grupos Gi , 1 i n.
Denotando por 1 el elemento neutro del grupo Gi , entonces 1 := (1, . . . , 1) es el
elemento neutro del producto cartesiano. Ademas, si x1 i denota el inverso de xi en
1
Gi entonces el inverso de x = (x1 , . . . , xn ) es x = (x1 , . . . , x1
1
n ).
75
76 CAPITULO 7. PRODUCTOS Y SUMAS DIRECTAS
Z2 Z3 = {(0, 0), (0, 1), (0, 2), (1, 0), (1, 1), (1, 2)}.
Proposicion 7.1.4. Sea {Gi }ni=1 una familia de grupos arbitrarios. Entonces:
(i) G1 G2
= G2 G1 .
(ii) G1 Gn
= G(1) G(n) , para cada Sn .
(iii) G1 G2 G3
= G1 (G2 G3 )
= (G1 G2 ) G3 .
Proposicion 7.1.5. Sea {Gi }ni=1 una familia de grupos finitos. Entonces:
Ademas,
7.2. PRODUCTO CARTESIANO: CASO INFINITO 77
n
Qn {Gi }i=1 una familia finita de grupos arbitrarios y sea x = (x1 , . . . , xn )
(i) Sea
i=1 Gi tal que xi es de orden finito para cada 1 i n, entonces |x| =
m.c.m. {|xi |}ni=1 .
Zm1 Zmk
= Zm1 mk .
mk
(iv) Sea n = pm
1 pk
1
la descomposicion del entero n en factores primos. En-
tonces
Zpm
1 Z mk = Zn .
1 pk
(ii) (G1 Gn ) / Gi
= G1 Gi1 Gi+1 Gn .
Demostracion. Esto es un sencillo ejercicio para el lector.
El producto cartesiano junto con sus proyecciones esta caracterizado por la siguiente
propiedad universal.
Q
TeoremaQ 7.2.1. Sean {G i } iI una familia de grupos, iI Gi su producto cartesiano
y {j : iI Gi Gj }jI las proyecciones canonicas. Entonces,
j0
(ii) Cualquier otro grupo H con homomorfismos {H Gj }jI que tenga la
propiedad (i) es isomorfo al producto cartesiano.
L
iIGi es un subgrupo del producto L y se denomina suma directa externa de
la familia dada. En efecto,L 1 iI Gi , con lo cual la suma directa externa no
es vaca. Sean x, z iI G i con soportes Ix , Iz . Entonces, xi zi = 1 para cada
i I (Ix Iz ). Esto indica que solo para los elementos de un cierto subconjunto
finito Iy Ix IzLse tiene que xi zi 6= 1. Por lo L tanto, si y = (yi ) es el producto de x
1
L
y z entonces y iI Gi . Es claro que si x iI Gi entonces x iI Gi .
Asociadas a la suma directa externa de una familia de grupos estan las siguientes
inyecciones canonicas:
L
j : Gj iI Gi ,
a, si i = j
j (a) := x := (xi ), donde xj :=
1, si i 6= j.
Evidentemente estas funciones son homomorfismos inyectivos.
Para la clase de los grupos abelianos, la suma directa externa con sus inyecciones
canonicas esta caracterizada por la siguiente propiedad universal.
L
Teorema 7.3.1. Sea {Gi }iI una familia
L de grupos abelianos, y sea iI Gi su suma
directa externa y sean {j : Gj iI Gi } sus inyecciones canonicas. Entonces,
(i) Para cada grupo abelianoLG con homomorfismos {tj : Gj G} existe un
unico homomorfismo : iI Gi G tal que para cada j I se tiene que
j = tj .
(ii) Cualquier otro grupo abeliano H con homomorfismos {0j : Gj H}jI que
tenga la propiedad (i) es isomorfo a la suma directa externa.
Demostracion. (i) Definimos por
Q
jIx tj (xj ), si x 6= 1
(x) :=
1 , si x = 1.
es un homomorfismo: si x = 1 o y = 1 entonces evidentemente (xy) = (x)(y).
Supongamos pues que x 6= 1 y y 6= 1. Sea z = (zi ) = xy. Si z = 1, entonces y = x1
y as yi = x1
Q Q
i para cada i I, con lo cual (z) = 1 = jIx tj (xj ) jIy tj (yj ) =
(x)(y). Sea entonces z 6= 1. Ya que Iz Ix Iy se tiene que
Q Q Q
(z) = jIz tj (zj ) = jIx Iy tj (zj ) = jIx Iy tj (xj yj ) =
Q Q Q Q
jIx Iy tj (xj ) jIx Iy tj (yj ) = jIx tj (xj ) jIy tj (yj ) = (x)(y).
L
Probemos ahora la unicidad de : sea otro homomorfismo de LiI Gi en G tal
que j = tj para cada j I. Sea x un elemento cualquiera de iI Gi . Si x = 1
entonces necesariamente (1) = (1) = 1. Considerese
Q Q hQ pues quei x 6= 1. Entonces
(x) = jIx tj (xj ) = jIx j (xj ) = jIx j (xj ) = (x), ya que x =
Q
jIx j (xj ).
(ii) La prueba es como en el caso del producto y la dejamos al lector.
80 CAPITULO 7. PRODUCTOS Y SUMAS DIRECTAS
La normalidad
Sn se acabaSnde probar; la ultima afirmacion de la proposicion es
evidente ya que i=1 Hi = i=1 H(i) .
x = h1 hn , hi Hi , 1 i n.
Definicion 7.4.3. Se dice que el grupo G es suma directa interna de los sub-
grupos normales H1 , . . . , Hn si:
(i) G = H1 Hn .
Proposicion 7.4.4. Sea {Gi }ni=1 una coleccion finita de grupos, y sea G = G1
Gn su producto cartesiano. Sea
G = G01 G0n .
Ademas G0i
= Gi , 1 i n.
Demostracion. Claramente G0i E G para cada 1 i n. Ademas, cada elemento
x = (x1 , . . . , xn ) de G tiene la representacion unica
x = (x1 , 1, . . . , 1) (1, . . . , 1, xn ).
Por ser i inyectivo se tiene que G0i = Gi .
Ejemplo 7.4.5. (i) Sea M2 (R) el grupo aditivo de las matrices cuadradas reales de
orden 2. Sean
R 0
M11 := = {A = [aij ] | aij = 0 para i 6= 1 y j 6= 1},
0 0
0 R 0 0 0 0
M12 := , M21 := , M22 := .
0 0 R 0 0 R
Entonces, M2 (R) =M11 M12 M21 M22 .
(ii) Sea C el grupo aditivo de los numeros complejos, y sean R y iR los subgrupos
de numeros reales e imaginarios, respectivamente. Entonces C = R iR.
(iii) Sea V = {1, a, b, ab}, a2 = 1 = b2 , ab = ba el grupo de Klein; V es
suma directa de los subgrupos hai y hbi ya que ambos son normales en V y ademas
hai hbi = 1; luego, V = hai hbi.
(iv) Cada grupo G se puede descomponer trivialmente en suma directa interna:
G = G 1. Hay grupos para los cuales esta es la unica descomposicion posible.
Consideremos el grupo diedrico de grado 4, D4 :
Los subgrupos normales de D4 son 1, D4 , hf i , hf 2 i , K4 = {1, f 2 , g, f 2 g}, H4 =
{1, f 2 , f g, f 3 g}. Si D4 es suma directa de dos de sus subgrupos normales entonces
se presentan las siguientes posibilidades:
G = 1 D4 , hf i hf 2 i , hf 2 i K4 , hf 2 i H4 .
Solo la primera posibilidad tiene lugar ya que hf i hf 2 i = 6 1, hf 2 i K4 6= 1,
2
hf i H4 6= 1.
(v) Notese que si un grupo G no se puede descomponer en suma directa de dos
subgrupos no triviales entonces no se puede descomponer en suma directa de 3 o
mas subgrupos no triviales.
(vi) Sea G = G1 G2 Gn y sea Ai E Gi , 1 i n. Entonces A :=
A1 An E G : sea x = (x1 . . . xn ) G y sea a = (a1 . . . an ) A. Entonces
x1 ax = (x1 1
1 a1 x1 , ., xn an xn ) A.
Q
El resultado
Q anterior podemos generalizarlo: sea G = iI Gi , y sea Ai E Gi ,
i I. Si A := iI Ai , entonces A E G.
7.4. SUMA DIRECTA INTERNA 83
A := hf i, B := {g, f g, f 2 g, . . . , f n1 g},
GJ
7 (f ).
(f r g s f p g q ) = (f rp g s+q ) = f kr f kp g s g q = f kr g s f kp g q ,
(f r g s f p g q ) = f rp+ks g s = f r+ks f p g s =
r+ks s p
=f g f = f r+ks g s f p+kq g q = (f r g s )(f p g q ).
7.5. Ejercicios
1. Pruebe que S3 solo tiene la descomposicion trivial S3 = 1 S3 .
2. Sea G := G1 Gn . Demuestre que Z (G) = Z (G1 ) Z (Gn ).
Extienda
Q este resultado
Q a una familia cualquiera de grupos, es decir, pruebe
que Z ( iI Gi ) = iI Z(Gi ).
3. Sea G := G1 Gn y sean Hi Gi , 1 i n. Sea H := H1 Hn .
Demuestre que
4. Sean G y H grupos finitos cuyos ordenes son primos relativos. Pruebe que
Aut (G H)
= Aut (G) Aut (H).
5. Es cierto que la unica descomposicion de Q8 es la trivial: Q8 = 1 Q8 ?
Captulo 8
G-conjuntos
: G X X , (g, x) := gx
tal que
(ii) (1, x) = 1x = x,
87
88 CAPITULO 8. G-CONJUNTOS
:GX X
(g, x) 7 (gx) =: g (x),
: G S(X)
Definicion 8.1.4. Sea : G X X, (g, x) = gx, una accion del grupo G sobre
el conjunto X y sea : G S(X), (g) = g , g (x) = gx, la representacion de G
en S(X) asociada a . Se denomina nucleo de la accion y se denota por ker()
al nucleo del homomorfismo :
Gx := {g G : gx = x}.
Ademas, Card(G(x)) = |G : Gx |.
90 CAPITULO 8. G-CONJUNTOS
(i) Si x, y estan en la misma orbita entonces sus grupos estacionarios son conju-
gados:
y = gx Gy = gGx g 1 .
r
X
|X| = |G : Gxi | (Ecuacion de clases).
i=1
:GGG
(g, x) 7 gxg 1 .
8.2. ORBITAS Y SUBGRUPOS ESTACIONARIOS 91
ker() = {g G | gxg 1 = x, x G}
= {g G | gx = xg, x G} = Z(G).
xG = {gxg 1 | g G}.
Notese que G ha sido particionado en clases conjugadas. Decir que dos elementos
x, y G son conjugados significa que estan en una misma clase (de equivalencia)
conjugada, es decir, existe g G tal que y = gxg 1 . Sea x un elemento cualquiera
de G. El subgrupo estacionario de x se denomina en este caso el centralizador de
x en G:
CG (x) = {g G : gxg 1 = x} = {g G : gx = xg}.
Segun la proposicion 8.1.5, la accion de conjugacion puede ser extendida a los sub-
conjuntos del grupo G. Sean A, B subconjuntos de G. Decimos que A y B son
conjugados si existe g G tal que B = gAg 1 . Notemos que cuando A es un
subgrupo de G entonces gAg 1 es tambien un subgrupo de G, es decir, la accion
de conjugacion a subconjuntos de G puede ser restringida a subgrupos de G. En
este caso, dado un subgrupo H de G la orbita de H, H G , esta constituida por los
subgrupos de G que son conjugados con H:
H G = {gHg 1 : g G}.
Determinemos el nucleo de :
x ker() g 1 xg H, g G x gHg 1 , g G,
es decir,
\
ker() = gHg 1 = Interseccion de los subgrupos de G conjugados con H.
gG
Demostremos que
\
gHg 1 es el subgrupo normal mas grande de G que esta contenido en H.
gG
En efecto, sea \
x gHg 1 .
gG
Si es par, entonces no hay nada que probar. Supongase que es impar. Sean
z1 , z2 In {y1 , . . . , yn2 }. Entonces = (z1 z2 ) es par y ademas (xi ) = yi
i = 1, . . . , n 2.
(i)
X
|N (g)| = |G|.
gG
(siendo as, podemos afirmar que los n elementos g1 , . . . , gn son diferentes). Sea g un
elemento cualquiera de G. Sea i In la imagen de 1 mediante g: g(1) = i. Entonces
Sea N (g) el conjunto de puntos de In que permanecen fijos bajo g; sea {g}N (g)
el producto cartesiano del conjunto unitario {g} y el conjunto N (g). Notese que para
g 6= h, {g} N (g) {h} N (h) = . Es posible ademas que N (g) = .
Sea Gj el subgrupo estacionario del punto j In . Considerese el producto carte-
siano Gj {j}; como antes, para i 6= j se tiene que Gj {j} Gi {i} = .
Evidentemente
" # " n #
[ [
Card ( ) {g} N (g) = Card ( ) Gj {j} ;
gG i=1
" n
#
[ X
Card ( ) {g} N (g) = Card({g} N (g)) =
i=1 gG
X Xn n
X
|N (g)| = Card(Gj {j}) = |Gj |.
gG j=1 j=1
Por lo tanto n X
X
|N (g)| = 2n|G1 | = 2|G|.
j=1 gGj
Pero n X
X X
|N (g)| = |N (g)|2 .
j=1 gGj gG
8.4. Ejercicios
1. Calcule todas las acciones del grupo Z3 sobre el conjunto Z2 .
Teoremas de Sylow
De fundamental importancia para el estudio de los grupos finitos son los teoremas
probados por el matematico noruego Ludwig Sylow. Es conocido que para los grupos
cclicos finitos es valido el recproco del teorema de Lagrange, es decir, si G un grupo
cclico finito de orden n y m divide a n entonces G contiene exactamente un sub-
grupo de orden m. En este captulo se mostrara que la afirmacion anterior es valida
para grupos finitos cualesquiera pero con m una potencia de un primo. Ademas,
la unicidad se da salvo conjugacion. Los resultados de este captulo ayudaran a
describir en el proximo los grupos abelianos finitos.
9.1. p-grupos
En el captulo 2 se definieron los principales conceptos relacionados con la parte
finita de un grupo. Ademas, se tienen las siguientes nociones.
(i) Periodo (exponente) de un grupo periodico: supongamos que el conjunto
de los periodos de los elementos de un grupo periodico es acotado superiormente.
Entonces el mnimo comun multiplo de estos perodos se denomina periodo del grupo
periodico G.
(ii) Parte periodica de un grupo abeliano: sea G un grupo abeliano. El
conjunto de elementos de G de periodo finito constituyen un subgrupo de G llamado
subgrupo de torsion de G o parte periodica de G.
(iii) p-grupos: sea G un grupo (finito o infinito). Si cada elemento de G tiene
periodo potencia del primo p, se dice que G es un p grupo.
(iv) p-subgrupo: se dice que H G es un p subgrupo de G , si H es un
p grupo.
(v) Grupos primarios: un grupo G se dice que es primario, si G es un pgrupo
para algun primo p. En otras palabras, la coleccion de los grupos primarios es la
reunion de los p grupos, donde p recorre los primos positivos.
97
98 CAPITULO 9. TEOREMAS DE SYLOW
G = ri=1 xG
i , xi G.
Se tienen clases de un solo elemento (por ejemplo 1G ). Podemos reordenar los ndices
y suponer que las primeras q clases constan de un solo elemento. Se afirma que Z(G)
={x1 , . . . , xq } . En efecto, si x Z(G), entonces gxg 1 = x para cada g G, luego
xG = {x} y por lo tanto x {x1 , . . . , xq }. El recproco es evidente.
La ecuacion numerica de clases toma la forma
|G| = | Z(G)| + ri=q+1 | G : CG (xi )|.
P
(i) P es un p-subgrupo de G.
Entonces P Q es un p-subgrupo de G.
Demostracion. P Q G : sea pq P Q, entonces pqp1 Q luego pq QP con lo
cual P Q QP . Analogamente, QP P Q y as P Q = QP .
Q E P Q: sean q Q, pq0 P Q, entonces pq0 q(pq0 )1 = pq0 qq01 p1 Q.
Por el teorema fundamental de isomorfismo P Q/Q = P/(P Q). Notese que
P/(P Q) es un p-grupo ( mas generalmente, si G es un p-grupo y N E G entonces
G/N es un p-grupo: x G implica |x| = p , 0; (x)p = xp = 1 luego |x| | p ).
Q es un p-grupo ya que los elementos de Q tienen el mismo orden que los elementos
de P .
100 CAPITULO 9. TEOREMAS DE SYLOW
9.2. Preliminares
El siguiente ejemplo ilustra que el recproco del teorema de Lagrange no es en general
valido.
Ejemplo 9.2.1. En A5 no hay subgrupos de orden 30, aunque 30 | |A5 | = 60. Si
existiera H A5 tal que | H| = 30 entonces H E A5 . Pero probaremos que para
cada n 5, An es simple.
Proposicion 9.2.2. Para cada n 5, An es simple.
Demostracion. Sea H E An y H 6= 1. Sea 6= 1, H. Puesto que cada
permutacion es producto de ciclos disyuntos entonces tiene alguna de las siguientes
formas:
(a) En la descomposicion de hay al menos un ciclo de longitud 4, =
(1 2 3 4 )
(b) Si en todos los ciclos son de longitud 3 entonces se presentan dos posi-
bilidades:
(b1) es exactamente un ciclo de longitud 3, = (1 2 3 ).
(b2) En hay un ciclo de longitud 3 y otros ciclos de longitud 3, =
(1 2 3 )(4 , 5 )
(c) En todas los ciclos son de longitud 2, es decir, es producto de trans-
posiciones (al menos 2 ya que H An ), = ( 3 4 )( 1 2 ) (si para cada
H no se presenta ninguna de estas 4 formas entonces H = 1).
Demostraremos que la existencia en H de un elemento 6= 1 implica la existencia
en H de al menos un ciclo de longitud 3. Estudiaremos las 4 formas posibles.
(a) = (1 2 3 4 ) H; sea = (1 2 3 ). Como = (1 2 )(1 3 )
An y H E An entonces ( 1 ) 1 H, es decir,
(1 2 3 )(1 2 3 4 ) (3 2 1 ) ( 4 3 2 1 ) = (1 2 4 ) H
(b1) No hay nada que probar.
(b2) = (4 5 )(1 2 3 ) H. Sea = (1 2 4 ) An , entonces 1 1
= (1 2 5 3 4 ) H. Esto implica, segun (a), que H tiene un ciclo de longitud 3.
9.2. PRELIMINARES 101
(c) = ( 3 4 )( 1 2 ) H; = (1 2 3 ) An , luego 1 1 =
(2 4 )(1 3 ) H. Puesto que n 5 entonces se tiene que (1 2 5 3 4 ) =
(1 4 )(1 3 )(1 5 )(1 2 ) An, de aqu resulta
Antes de probar los tres teoremas de Sylow consideremos algunos hechos elemen-
tales de la teora de numeros.
pr k m( pr m 1) ( pr m ( pk 1))
r
pm
= .
pk 12 (pk 1)
rm i
Consideremos el racional p i
, con 1 i pk 1 < pk . Si pj es una potencia
de p que divide a i, entonces
9.3. Teoremas
Teorema 9.3.1 (Teoremas de Sylow). Sea G un grupo finito y sea p un numero
primo que divide al orden de G. Entonces:
Demostracion. (i) Existencia: sea n el orden del grupo G y sea pr la maxima potencia
de p que divide a n. Sea pues n := pr m, donde m.c.d.(p, m) = 1. Consideremos el
conjunto M de todos los subconjuntos de G que contiene p elementos. Puesto que
G actua sobre s mismo de la manera trivial
G G G, (g, x) 7 gx,
C = {gP g 1 | g G} = P G .
|G|
|C| = |G| = |C||NG (P )|.
|NG (P )|
9.4. Aplicaciones
Proposicion 9.4.1. Sea G un grupo finito y sea H un p-subgrupo de Sylow de G.
Entonces, H E G H es unico.
Demostracion. ): Sea K un p-subgrupo de Sylow, entonces K = xHx1 = H
luego H es unico.
): Sea x G entonces |xHx1 | = |H| luego xHx1 es p-subgrupo de Sylow,
de donde xHx1 = H, y por lo tanto H E G.
Corolario 9.4.2. Sea G un grupo finito y sea H el p-subgrupo de Sylow de G tal
que H E G. Entonces H = {x G | |x| es una potencia de p}.
Demostracion. Sea x H, como H por definicion es p-subgrupo entonces |x| es
una potencia de p. De otra parte, sea x G tal que |x| = p entonces hxi es un
p-subgrupo de G por lo tanto hxi esta contenido en el unico p-subgrupo de Sylow
de G.
La proposicion anterior sirve para caracterizar todos los subgrupos de orden pq
con p > q y p, q primos
Proposicion 9.4.3. Sea G un grupo de orden pq con p y q primos y con p > q.
Entonces:
(i) G
= Zpq o
(ii) G es no abeliano y se tiene que G = Gpq := ha, b | ap = 1, bq = 1, bab1 = ak
con k 6 1 (mod p) y k q 1 (mod p), p 1 (mod q) i.
9.4. APLICACIONES 107
l
ar bl as bm = ar+sk bl+m , r, l, s, m 0.
bab1 = 1 a = 1, falso.
bab1 = a ab = ba ha, bi es abeliano, pero este subgrupo tiene 12 elementos
y coincide entonces con G, falso.
3
bab1 = a2 (bab1 ) = 1 ba3 b1 = 1 a3 = 1, falso.
2
bab1 = a3 (bab1 ) = 1 a2 = 1, falso.
3
bab1 = a4 (bab1 ) = 1 a3 = 1, falso.
bab1 = a5 = a1 bab1 = a1 , esta es una entonces una condicion necesaria
en G.
9.5. Ejercicios
1. Sea G un grupo formado por dos elementos x, y tales que
(i) xp = 1 (es decir x es de orden p);
(ii) y q = 1 (es decir y es de orden q < p);
(iii) Existe 1 < k0 < p, k0 6 1(p) tal que yxy 1 = xk0 ;
(iv) k0q 1 (p);
(v) p 1 (q).
Entonces, G
= Gpq .
2. Demuestre que ningun grupo de orden pq es simple, donde p, q son primos.
3. Demuestre que todo grupo de orden 15 es cclico.
4. Demuestre que todo grupo de orden 35 es cclico.
5. Demuestre que todo grupo de orden 77 es cclico.
n!
6. Demuestre que si n 2, H Sn , |H| = 2
H = An (vease la demostracion
de la proposicion 9.2.2).
7. Calcule todos los 3-subgrupos de Sylow del grupo T .
8. Calcule el grupo Aut(T ).
9. Calcule el grupo Aut(Gpq ).
Captulo 10
Entonces, G es suma directa de sus subgrupos de Sylow si, y solo si, estos son
normales en G:
G = P1 Pk , (10.1.1)
donde Pi es el pi -subgrupo de Sylow de G, 1 i k. En particular, si G es abeliano,
entonces G es suma directa interna de sus subgrupos de Sylow.
Demostracion. ): Si G es suma directa de sus subgrupos de Sylow, entonces por
la definicion de suma directa, cada sumando es necesariamente subgrupo normal de
G.
): Para 1 i k, sea Pi un pi -subgrupo de Sylow de G tal que Pi es un
subgrupo normal de G. Entonces Pi es unico. Probaremos entonces que (10.1.1) se
cumple. Veremos que cada elemento x G tiene una representacion unica en la
forma x = x1 xk , donde xi Pi , 1 i k.
111
112 CAPITULO 10. GRUPOS ABELIANOS FINITOS
G = G1 Gr ,
G = G1 G r = H1 Hs ,
entonces r = s y los ordenes |Gi | coinciden con los ordenes |Hj | despues de una
reordenacion de ndices.
Demostracion. Este resultado se puede enunciar y probar de una manera mas gen-
eral usando teora de modulos, omitimos sun demostracion e invitamos al lector a
consultar [9].
G = G1 Gr , |Gi | = pmi ,
(i) Se dice que G es del tipo (pm1 , . . . , pmr ) si G es suma directa de subgrupos
cclicos de ordenes pmi , 1 i r, m1 m2 mr , 1 r n,
m1 + + mr = n; las componentes pm1 , . . . , pmr se denominan divisores
elementales del grupo G.
(ii) Sean A y B dos p grupos abelianos finitos con el mismo sistema de divisores
elementales (pm1 , . . . , pmr ). Entonces A = A1 Ar , B = B1 Br
con Ai
= Zpmi = Bi . El sistema de isomorfismos i induce el isomorfismo
:AB
(a1 , . . . , ar ) := (1 (a1 ), . . . , r (ar )).
Proposicion 10.2.2. Con sus divisores elementales cada p-grupo abeliano finito
queda determinado unvocamente salvo isomorfismo.
Ejemplo 10.2.5. n = 4: (4), (3, 1), (2, 2), (2, 1, 1), (1, 1, 1, 1) p(4) = 5.
h: F P
h(G) := (m1 , . . . , mr ).
Cada particion (m1 , . . . , mr ) determina un unico grupo (salvo isomorfismo) con sis-
tema de divisores elementales (pm1 , . . . , pmr ). As pues, h es 1 1. Ahora, h es
claramente sobre: (m1 , . . . , mr ) determina (pm1 ,...,p
1 mr
), el cual a su vez determina
Zpm1 Zpmr .
Teorema 10.3.1. Cada grupo abeliano finito es suma directa de p-subgrupos ccli-
cos. Dos descomposiciones difieren solo en el orden de disposicion de los sumandos.
es p(n1 )p(n2 ) p(nk ), donde p(ni ) es el numero de particiones del entero positivo
ni , 1 i k.
Demostracion. Consecuencia directa del teorema anterior y de la proposicion 10.2.6.
m mj mj1 mj+1
pj1j+1 pm m1 mk
k luego |x| | d, donde d = m.c.d. (pj ; p1 pj1 pj+1 pk ) = 1. Se
k
Ejemplo 10.3.4. (i) Determinemos todos los grupos abelianos de orden 1440.
1440 = 25 5 32 ;
p(5): (5),(4,1),(3,2),(3,1,1),(2,2,1),(2,1,1,1),(1,1,1,1,1);
p(1)=(1);
p(2):(2),(1,1);
Z32 Z5 Z9 ; Z32 Z5 Z3 Z3
Z16 Z2 Z5 Z9 ; Z16 Z2 Z5 Z3 Z3
Z8 Z4 Z5 Z9 ; Z8 Z4 Z5 Z3 Z3
Z8 Z2 Z2 Z5 Z9 ; Z8 Z2 Z2 Z5 Z3 Z3
118 CAPITULO 10. GRUPOS ABELIANOS FINITOS
Z4 Z4 Z2 Z5 Z9 ; Z4 Z4 Z2 Z5 Z3 Z3
Z4 Z2 Z2 Z2 Z5 Z9 ; Z4 Z2 Z2 Z2 Z5 Z3 Z3 ,
Z2 Z2 Z2 Z2 Z2 Z5 Z9 ; Z2 Z2 Z2 Z2 Z2 Z5 Z3 Z3
(ii)Veamos que Z72 Z84 = Z36 Z168 :
Z72 Z84 = 8
Z Z9 Z
4 Z3 Z7 = Z9 Z4 Z8 Z3 Z7 = Z36 Z168
(iii) Son Z72 Z12 y Z18 Z48 isomorfos?
Z72 Z12 = Z8 Z9 Z4 Z3 = Z8 Z4 Z9 Z3 (23 , 22 , 32 , 31 );
Z18 Z48 = Z9 Z2 Z16 Z3
= Z16 Z2 Z9 Z3 (24 , 21 , 32 , 31 ).
Puesto que los sistemas de divisores elementales son distintos, entonces los grupos
no son isomorfos.
10.5. Ejercicios
1. Determine todos los grupos abelianos de orden 81.
2. Determine todos los grupos abelianos de orden 1024.
3. Son Z30 Z20 y Z10 Z60 isomorfos?
4. Sean G, H grupos abelianos finitos tales que G G
= H H. Demuestre que
G = H.
10.5. EJERCICIOS 119
5. Sean G, H grupos abelianos finitos tales que para cada entero positivo m ambos
tienen el mismo numero de elementos de orden m. Demuestre que G = H.
6. Sea G un grupo abeliano que tiene 8 elementos de orden 3, 18 elementos
de orden 9 y el elemento identidad. Encuentre la descomposicion de G como
producto de grupos cclicos.
Captulo 11
Grupos solubles
En los captulos anteriores hemos tratado con grupos abelianos y grupos finitos. Un
grupo cualquiera no esta obligado a pertenecer a alguna de estas clases, sin embargo,
siempre se puede relacionar de alguna manera con ellas y estudiar por este camino
el grupo. Una de las generalizaciones mas importantes de la conmutatividad es la
solubilidad, de la cual nos ocupamos en este captulo. Es importante anotar que la
solubilidad en grupos esta estrechamente ligada con la solubilidad por radicales de
las ecuaciones algebraicas (vease [10]). La solubilidad, sera estudiada a traves de los
conmutadores y el conmutante de un grupo.
120
11.2. CONMUTANTE DE UN GRUPO 121
(ii) K E G NG (K) = G.
Demostracion. (i) La primera parte es consecuencia de la definicion de normalizador.
(ii) Es una consecuencia directa de (i).
Recordemos que si G es un grupo su centro se define como el centralizador de G
en G y se denota por Z (G), es decir,
Z (G) := {x G|ax = a para cada a G}.
Proposicion 11.1.3. Sea G un grupo. Entonces
(i) Z (G) es un grupo abeliano.
(ii) Z (G) E G.
Proposicion 11.2.5. Sea G un grupo tal que G/Z (G) es cclico. Entonces G es
abeliano.
Demostracion. Sea x un elemento de G. Entonces, x = xZ (G) G/Z (G). Como
este cociente es cclico existe a G tal que x = a k para algun k Z por lo tanto
x1 ak Z (G), es decir, existe z Z(G) tal que x1 ak = z luego x = ak z 1 , es
decir, x es de la forma x = ak , donde Z (G).
Sean x, y elementos cualesquiera de G. Entonces
1 k 1 k
[x, y] = x1 y 1 xy = ak1 w1 a 2 w2 a 1 w1 ak2 w2 , donde k1 , k2 Z y
w1 w2 Z (G);
1 k1 1 k2 k1
[x, y] = w1 a w2 a a w1 ak2 w2 = ak1 k2 +k1 +k2 = 1,
11.2. CONMUTANTE DE UN GRUPO 123
Notese que el conmutador [(ijk) , (lij)] coincide con el primero, [(ijk) , (jli)] tambien
coincide con el primero.
0
L An : las relaciones anteriores demuestran esta inclusion ya que ademas
(ik) (jl) = (il) (jk) (ij) (kl).
0
n 5: An = An , n 5. En efecto, sean i, j, k, l, m elementos diferentes de
0
In . Entonces (ijk) = [(ikl) , (ijm)] y esto prueba que An An y en consecuencia
0
An = An .
Cerramos esta seccion con otras propiedades de los conmutantes.
Proposicion 11.2.8. Sea G un grupo, A, B G y sea H := hA, Bi. Entonces
(i) [A, B] , A [A, B] , B [A, B] E H.
donde ai A, bi B, i = 1, 1 i n, x es de la forma
x = x1 1 xmm , xi A B, i = 1, 1 i m. (11.2.2)
Basta entonces considerar los productos de la forma x1 [a, b] x, x1 [a, b]1 x, con
a A, b B y x A B.
x A: notese que x1 [a, b] x = [ax, b] [x, b]1 [A, B] (vease el ejercicio 4).
1
x1 [a, b]1 x = (x1 [a, b] x) [A, B]
1
x B: x1 [a, b] x = x1 [b, a]1 x = (x1 [b, a] x)
1
= [bx, a] [x, a]1 (vease el ejercicio 4)
1
= [x, a] [bx, a]
= [a, x]1 [a, bx] [A, B].
1
Ahora, x1 [a, b]1 x = (x1 [a, b] x) [A, B].
A [A, B] E H : sean y [A, B] un elemento como en (11.2.1) y sea x H un
elemento como en (11.2.2); sea ademas a A. Es suficiente entonces considerar
solamente un producto de la forma
x1 ayx, con x A B.
Pero x1 ayx = x1 axx1 yx; segun lo probado, x1 yx [A, B]. Ademas, si x A
entonces x1 ax A y as x1 ayx A [A, B].
1
Si x B entonces x1 ax = x1 axa1 a = [x, a1 ] a = [a1 , x] a [A, B] A =
A [A, B], y as x1 ayx A [A, B] (la ultima igualdad es consecuencia de que A
normaliza [A, B]).
11.2. CONMUTANTE DE UN GRUPO 125
= bi ak bj ar ak bi ar bj = bi ak bj akr bi ar bj ;
(a) i = 0, j = 0: ak akr ar = 1.
(b) i = 0, j = 1: ak b1 akr ar b = ak a2 bak b
= ak+2 ak b2 = a2 a2 = 1.
(c) i = 1, j = 0: b1 ak akr bar = a2 bar a3r b = a2 ba2r b
= a2 a6r b2 = a2 a6r a2 = a6r = (a2 )3r ha2 i.
(d) i = 1, j = 1: b1 ak b1 akr bar b = (a2 )9r+3k ha2 i [Q8 , Q8 ] = ha2 i ya que
tomando r = 1 en (c) tenemos que a2 [Q8 , Q8 ] .
1 a a2 a3 a4 a5 b ab a2 b a3 b a4 b a5 b
1 1 a a2 a3 a4 a5 b ab a2 b a3 b a4 b a5 b
a a a2 a3 a4 a5 1 ab a2 b a3 b a4 b a5 b b
a2 a2 a3 a4 a5 1 a a2 b a3 b a4 b a5 b b ab
a3 a3 a4 a5 1 a a2 a3 b a4 b a5 b b ab a2 b
a4 a4 a5 1 a a2 a3 a4 b a5 b b ab a2 b a3 b
a5 a5 1 a a2 a3 a4 a5 b b ab a2 b a3 b a4 b
b b a5 b a4 b a3 b a2 b ab a3 a2 a 1 a5 a4
ab ab b a5 b a4 b a3 b a2 b a4 a3 a2 a 1 a5
a2 b a2 b ab b a5 b a4 b a3 b a5 a4 a3 a2 a 1
a3 b a3 b a2 b ab b a5 b a4 b 1 a5 a4 a3 a2 a
a4 b a4 b a3 b a2 b ab b a5 b a 1 a5 a4 a3 a2
a5 b a5 b a4 b a3 b a2 b ab b a2 a 1 a5 a4 a3
1 = H0 H1 Hn = G. (11.3.1)
Hi E G, para 0 i n.
Observacion 11.3.2. Para los grupos abelianos los conceptos de cadena, cadena
subnormal y normal coinciden. Evidentemente en el caso general toda cadena nor-
mal es subnormal.
Ejemplo 11.3.3. (i) 0 < 6Z < 3Z < Z y 0 < 45Z < 15Z < 3Z <
Z son cadenas de Z con secciones 6Z/0 = Z, 3Z/6Z = Z2 , Z/3Z = Z3 ; 45Z/0 = Z,
15Z/45Z = Z3 , 3Z/15Z = Z5 , Z/3Z = Z3 .
(ii) 1 < 2Z < Z < Qp es una cadena de Qp con secciones 2Z/1 = Z, Z/2Z = Z2 ,
Qp /Z = Cp .
(iii) 1 < Cp < Cp2 < < Cpn es una cadena de Cpn con secciones isomorfas a
Cp .
(iv) 1 < hgi < K = {1, f 2 , g, f 2 g} < D4 es una cadena subnormal no normal de
D4 con secciones isomorfas a Z2 .
(v) 1 < ha2 i < hbi < Q8 ; 1 < ha2 i < hai < Q8 ; 1 < ha2 i < habi < Q8 son cadenas
normales de Q8 con secciones isomorfas a Z2 . Notese que en Q8 toda cadena es
normal ya que todos sus subgrupos son normales.
(vi) 1 < {1, (12)(34)} < A04 = {1, (12)(34), (13)(24), (14)(23)} < A4 es una
cadena subnormal no normal de A4 con secciones Z2 , Z2 , Z3 . En efecto, {1, (12)(34)}
no es normal en A4 : (123)1 (12)(34)(123) = (13)(24).
1 = H0 H1 Hn = G, (11.3.2)
1 = K0 K1 Km = G (11.3.3)
cadenas del grupo G.
Hi+1 /Hi
= K(i)+1 /K(i) , 0 i n 1.
128 CAPITULO 11. GRUPOS SOLUBLES
Ejemplo 11.3.5. (i) 0 < Z2 < Z6 < Z12 < Z24 < Z48 es un refinamiento de la
cadena 0 < Z2 < Z12 < Z48 .
(ii) 0 < Z2 < Z6 < Z24 y 0 < Z4 < Z12 < Z24 son cadenas normales isomorfas de
Z24 : Z2 /0
= Z2 = Z4
= Z24 /Z12 ; Z24 /Z6 = Z4 /0 Z6 /Z2
= Z3
= Z12 /Z4 .
Una ultima definicion para luego probar los principales resultados de esta seccion.
Definicion 11.3.6. Sea (11.3.1) una cadena subnormal del grupo G. Se dice que
(11.3.1) es una cadena de composicion de G si
1 = H0 H1 Hn = G.
Sea K G. Entonces
(ii) Si K E G entonces
Hi+1 K Hi+1
Hi+1
= K
Hi K
=
Hi+1 K
=
Hi+1
=
Hi
Hi (Hi+1 K) .
Hi Hi K Hi (Hi+1 K)
K Hi
A E B G, H E G; entonces BH
= B
.
AH A(BH)
(i) H (H K ) E H (H K).
(ii) K (H K) E K (H K).
(iii) H (H K)/H (H K )
= K (H K)/K (H K)
=
(H K)/[(H K)(H K )].
: H (H K) (H K)/[(H K)(H K )]
(hx) := xL,
130 CAPITULO 11. GRUPOS SOLUBLES
1 = K0 K1 K2 Km = G, (11.3.5)
dos cadenas subnormales de G. Para cada 0 i n 1 insertamos entre Hi y Hi+1
una sucesion ordenada de subgrupos (no necesariamente diferentes)
Hi = Hi (Hi+1 K0 ) Hi (Hi+1 K1 ) . Hi (Hi+1 Km ) = Hi+1 .
Sea Hi,j = Hi (Hi+1 Kj ), 0 i n 1, 0 j m. Notese que Hi,m = Hi+1 =
H1+i,0 , 0 i n 1. Segun el lema de Zassenhaus se obtiene una nueva cadena
subnormal de G que es refinamiento de (11.3.4):
1 = H0,0 H0,1 H0,m1 H1,0 H1,1 H1,m1
H2,0 H2,1 H2,m1 H3,0 Hn1,0 (11.3.6)
Hn1,2 . Hn1,m1 Hn = G.
Notese que esta nueva cadena subnormal tiene nm+1 subgrupos (no necesariamente
diferentes). Lo mismo podemos hacer con la cadena (11.3.5) obteniendose la cadena
subnormal (11.3.7) que es refinamiento de (11.3.5) y que contiene tambien nm + 1
subgrupos (no necesariamente diferentes):
1 = K0,0 K0,1 K0,n1 K1,0 K1,1 K1,n1
K2,0 K2,2 K2,n1 K3,0 Km1,0 (11.3.7)
Km1,2 Km1,n1 Km = G,
11.3. CADENAS NORMALES 131
Demostracion. Sean {Hi } y {Kj } dos series de composicion (principales) del grupo
G. Segun el teorema 11.3.9 ambos tienen refinamientos isomorfos. Pero como Hi es
maximal en Hi+1 0 i n 1 y Kj es maximal en Kj+1 , 0 j m 1, entonces
los refinamientos coinciden con las cadenas iniciales.
Corolario 11.3.11. Si el grupo G tiene una cadena de composicion (principal) y
N es un subgrupo normal propio de G, entonces G tiene una cadena de composicion
(principal) que contiene a N.
Demostracion. La cadena 1 < N < G es subnormal y normal en G. Consideremos
inicialmente el caso subnormal. Sea {Hi } una cadena de composicion de G. Segun
el teorema 11.3.10, 1 < N < G tiene un refinamiento subnormal isomorfo a un refi-
namiento de {Hi }. Pero como {Hi } es de composicion, entonces dicho refinamiento
de 1 < N < G es una serie de composicion. De manera analoga se argumenta el
caso principal.
11.5. Ejercicios
1. Sea G un grupo y sean L, M G no vacos. Pruebe que [L, M ] = [M, L] .
0
2. Sea G un grupo y K G. Pruebe que el conmutante K de K es normal en G.
0 0
3. Sea : G1 G2 un homomorfismo de grupos. Pruebe que G1 G2 .
0 0
Ademas, si es sobre entonces G1 = G2
4. Demuestre que b1 [a, c]b = [ab, c][b, c]1 ; a[b, a]a1 = [a1 , b]; [a, b]1 = [b, a].
7. Calcule refinamientos isomorfos de las cadenas normales 0 < 60Z < 20Z < Z
y 0 < 45Z < 90Z < Z.
8. Calcule todas las cadenas de composicion de Z60 y muestre que son isomorfas.
[1] Cohn, P.M., Basic Algebra: groups, rings and fields, Springer, 2003.
[2] Corry, L., Modern Algebra and the Rise of Mathematical Structures, Springer,
2003.
[3] Herstein, I.N., Topics in Algebra, 2nd. edition, John Wiley, 1975.
[12] Spindler, K., Abstract Algebra with Applications, Vol. I, II, Marcel Dekker,
1994.
[13] Van der Waerden, B.L., Algebra, Vol. I, II, Springer, 1991.
134
Indice alfabetico
A D
accion de un grupo sobre un conjunto, divisores elementales, 115
87
de conjugacion, 90 E
efectiva, 89 ecuacion de clases, 90
transitiva, 93 elemento
automorfismo, 19, 53 conjugado, 91
interior, 53 identidad, 4
a la derecha, 18
C a la izquierda, 18
cadena(s), 126 inverso, 4
de composicion, 128 a la derecha, 18
isomorfas, 127 a la izquierda, 18
normal, 126 invertible, 4
principal, 128 exponente, 97
subnormal, 126
F
cardinal, 17
factorizacion de homomorfismos, 44
centralizador, 40, 91 funcion de Euler, 33
centro de un grupo, 40
ciclo(s) G
de longitud 1 m n, 61 G-conjunto, 88
disyuntos, 61 G-orbita, 89
clase lateral derecha, 16, 35 generador, 25
congruencia modulo un subgrupo, 16 grado de solubilidad, 133
conjugado, 40 grupo(s), 5
conjunto abeliano, 5
de generadores, 14 elemental, 116
producto, 35 alternante, 67
conmutador, 121 cclico, 11, 25
conmutante cociente, 36
de un grupo, 121 de elementos invertibles de un monoide,
mutuo, 121 6
cuaterniones de Hamilton, 50 de enteros, 11
135
136 INDICE ALFABETICO
modulo n 1, 31 I
de Klein, 49 imagen
de los p-cocientes racionales, 28 de un homomorfismo, 19
de matrices de grupos, 38
diagonales de orden n 1 sobre homomorfa, 39
R, 22 inversa, 38
triangulares superiores de orden ndice, 17
n 1 sobre R, 22 inyecciones canonicas, 79
unitriangulares superiores de or- isomorfismo, 19
den n 1 sobre R, 22 de grupos, 39
de operadores, 88
de permutaciones, 10 L
de polinomios, 9 lema de Zassenhaus, 129
de sucesiones reales, 8 ley cancelativa, 6
diedrico de grado n 3, 71 longitud de una G-orbita, 89
especial de orden n 1 sobre R,
M
22
matriz
finitamente generado, 14
canonica, 22
k-transitivo, 93
identica, 22
lineal general de orden n 1 sobre
matrices elementales, 22
R, 21
diagonales, 22
mixto, 27
propiamente elementales, 22
periodico, 27
permutaciones, 22
primario, 97
transvecciones, 22
semicclico del tipo p , 28
monoide, 4
simetrico de grado n 1, 61
simple, 35 N
sin torsion, 27 normalizador
soluble, 132 de un elemento, 21
de un subconjunto, 40, 91
H notacion
homomorfismo, 18 aditiva, 11
inyectivo, 19 multiplicativa, 11
sobreyectivo, 19 nucleo
homomorfismo de grupos, 38 de un homomorfismo, 19
canonico, 40 de grupos, 38
identico, 38 de una accion, 89
inverso, 40
inyectivo, 39 O
sobreyectivo, 39 operacion binaria interna, 1
trivial, 38 asociativa, 3
INDICE ALFABETICO 137
P T
p-grupo, 97 teorema
p-subgrupo, 97 de Caley, 54
parte periodica de un grupo abeliano, generalizacion, 91
97 de correspondencia, 46
periodo, 26, 97 de Euler, 33
finito, 26 de Fermat, 33
infinito, 26 de Jordan, 69
producto de Jordan-Holder, 131
cartesiano, 75, 77 de Lagrange, 17
de conjuntos, 35 recproco para grupos abelianos
semidirecto, 85 finitos, 117
proyecciones canonicas, 78 de Schreier, 130
de Sylow, 103
R fundamental de homomorfismo, 42
refinamiento, 127 primer teorema fundamental de iso-
relacion compatible, 19 morfismo, 47
representacion de un grupo, 88 segundo teorema fundamental de
isomorfismo, 47
S
secciones de una cadena subnormal, 127
semigrupo, 3
soporte, 78
subgrupo(s), 9
cclico generado por un elemento,
11, 24
de Sylow, 98
de torsion, 97
derivado, 121
estacionario, 89
generado por un conjunto, 14
maximal, 12
minimal, 12
normal(es), 35
maximal, 48
triviales, 35
triviales, 10
suma
directa externa, 79