Professional Documents
Culture Documents
No. 1
Grupos
Oswaldo Lezama
Departamento de Matematicas
Facultad de Ciencias
Universidad Nacional de Colombia
Sede de Bogota
30 de junio de 2015
ii
Contenido
Pr
ologo
vi
1. Grupos y subgrupos
1.1. Operaciones binarias y estructuras algebraicas elementales
1.2. Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3. Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4. Generacion de subgrupos . . . . . . . . . . . . . . . . . . .
1.5. Teorema de Lagrange . . . . . . . . . . . . . . . . . . . . .
1.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
1
1
5
9
12
15
17
.
.
.
.
.
.
24
24
26
28
29
30
31
2. Grupos cclicos
2.1. Definicion . . . . . . . . . . . .
2.2. Orden y periodo de un elemento
2.3. Ejemplos . . . . . . . . . . . . .
2.4. Propiedades . . . . . . . . . . .
2.5. Generadores . . . . . . . . . . .
2.6. Ejercicios . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
34
34
35
38
40
4. Teoremas de estructura
4.1. Teorema fundamental de homomorfismo
4.2. Teorema de factorizacion . . . . . . . . .
4.3. Teorema de correspondencia . . . . . . .
4.4. Teoremas de isomorfismo . . . . . . . . .
4.5. Ejercicios . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
42
42
44
46
47
52
iii
iv
CONTENIDO
5. Automorfismos
5.1. Automorfismos interiores
5.2. Teorema de Cayley . . .
5.3. Ejemplos . . . . . . . . .
5.4. Ejercicios . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
6. Grupos de permutaciones
6.1. Ciclos . . . . . . . . . . . . .
6.2. El grupo alternante An . . . .
6.3. Sistemas de generadores . . .
6.4. El grupo dihedrico Dn , n 3
6.5. Subgrupos normales del grupo
6.6. Ejercicios . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . .
. . . . . .
. . . . . .
. . . . . .
Dn , n 3
. . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
53
53
54
55
58
.
.
.
.
.
.
61
61
65
67
70
73
74
.
.
.
.
.
75
75
78
79
80
83
8. G-conjuntos
8.1. Accion de grupos sobre conjuntos
8.2. Orbitas
y subgrupos estacionarios
8.3. Grupos transitivos . . . . . . . .
8.4. Ejercicios . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
87
87
89
93
96
9. Teoremas de Sylow
9.1. p-grupos . . . . .
9.2. Preliminares . . .
9.3. Teoremas . . . .
9.4. Aplicaciones . . .
9.5. Ejercicios . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
97
97
100
102
106
110
.
.
.
.
.
112
. 112
. 115
. 117
. 119
. 119
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
CONTENIDO
11.Grupos solubles
11.1. Centro de un grupo . . .
11.2. Conmutante de un grupo
11.3. Cadenas normales . . . .
11.4. Grupos solubles . . . . .
11.5. Ejercicios . . . . . . . .
Bibliografa
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
121
. 121
. 122
. 126
. 132
. 133
135
Pr
ologo
La coleccion Cuadernos de algebra consta de 10 publicaciones sobre los principales
temas de esta rama de las matematicas, y pretende servir de material para preparar
los examenes de admision y de candidatura de los programas colombianos de doctorado en matematicas. Los primeros cinco cuadernos cubren el material basico de
los cursos de estructuras algebraicas y algebra lineal de los programas de maestra;
los cinco cuadernos siguientes contienen algunos de los principales temas de los
examenes de candidatura, a saber: anillos y modulos; categoras; algebra homologica;
algebra no conmutativa; algebra conmutativa y geometra algebraica. Cada cuaderno
es fruto de las clases dictadas por el autor en la Universidad Nacional de Colombia
en los u
ltimos 25 a
nos, y estan basados en las fuentes bibliograficas consignadas en
cada uno de ellos, como tambien en el libro Anillos, M
odulos y Categoras, publicado
por la Facultad de Ciencias de la Universidad Nacional de Colombia, y cuya edicion
esta totalmente agotada (vease [8]). Un material similar, pero mucho mas completo
que el presentado en estas diez publicaciones, es el excelente libro de Serge Lang, Algebra, cuya tercera edicion revisada ha sido publicada por Springer en el 2004 (vease
[7]). Posiblemente el valor de los Cuadernos de
algebra sea su presentacion ordenada
y didactica, as como la inclusion de muchas pruebas omitidas en la literatura y
suficientes ejemplos que ilustran la teora. Los cuadernos son:
1.
2.
3.
4.
5.
Grupos
Anillos
Modulos
Algebra
lineal
Cuerpos
6. Anillos y modulos
7. Categoras
8. Algebra
homologica
9. Algebra
no conmutativa
10. Algebra
conmutativa y geometra algebraica
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 finitamente 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 u
ltimo.
El concepto de homomorfismo e isomorfismo, as com o los teoremas correspondientes, son el objeto del captulo 4. Por medios de estos teoreams se pueden caracterizar las imagenes homomorfas de un grupo, y son herramienta clave para la
clasificacion de grupos, en particular, para la clasificacion de grupos finitos. Los homomorfismos biyectivos de un grupo G en si 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 alg
un detalle al grupo simetrico Sn . Destacaremos en Sn el subgrupo alternante An y describiremos el grupo dihedrico de grado
n, Dn por medio de permutaciones. El objetivo del captulo 7 es presentar la construccion 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 u
ltimo, 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 en 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
Captulo 1
Grupos y subgrupos
La teora de grupos estudia ciertos objetos matematicos llamados grupos, as como
las relaciones entre ellos, los homomorfismos. Podramos justificar el estudio de la
teora de los grupos diciendo que los conjuntos son para la matematica como los
grupos son para el algebra. En este primer captulo presentamos la definicion axiomatica de la estructura abstracta de grupo y veremos algunos ejemplos notables. Se
estudiara la nocion de subgrupo y se demostrara un teorema de gran importancia
dentro de la teora de grupos finitos como es el teorema de Lagrange sobre clases
laterales.
1.1.
(3 5) 7 = 5 7 = 7, 3 (5 7) = 3 7 = 5.
Esto permite clasificar las operaciones binarias de acuerdo con esta condicion.
Definici
on 1.1.7. Sea una operaci
on binaria definida sobre un conjunto G. Se
dice que la operacion tiene la propiedad asociativa, o que * es una operaci
on
asociativa, si para cualesquiera elementos a,b,c de G se cumple la igualdad
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.
Proposici
on 1.1.8. Sea G un conjunto donde se ha definido una operaci
on binaria
asociativa . Para a G, sea
a1 := a, an := an1 a,
n 2.
Definici
on 1.1.12. Sea una operaci
on binaria definida sobre un conjunto G. Se
dice que la operacion es conmutativa si para cualesquiera elementos a y b de G
se tiene que:
a b = b a.
Mediante induccion es facil probar la siguiente propiedad.
Proposici
on 1.1.13. Sea (G, ) un semigrupo conmutativo, es decir, la operaci
on
es asociativa y conmutativa. Entonces, para cualequiera a, b G y cualquier natural
n se tiene que:
(a b)n = an bn .
Demostracion. Ejercicio para el lector.
Existen conjuntos con operaciones binarias internas donde se destacan elementos
especiales.
Definici
on 1.1.14. Sea G un conjunto en el cual se ha definido una operaci
on
binaria . Se dice que el elemento e de G es una identidad de G con respecto a la
operacion si para cualquier elemento de G se tiene que:
e a = a = a e.
Ejemplo 1.1.15. En el semigrupo (Z, +), donde Z es el conjunto de n
umeros enteros
y + es la adicion habitual, 0 es una identidad.
Surge la siguiente pregunta: en un conjunto G con una operacion binaria
pueden existir varias identidades?
Proposici
on 1.1.16. En un conjunto G con una operaci
on binaria solo puede
existir un elemento identidad respecto de .
Demostracion. Sean e, e0 dos identidades, entonces e e0 = e = e0 .
Notese que para diferentes operaciones, las identidades no necesariamente coinciden, como tampoco cada operacion debe tener un elemento identidad. Por ejemplo,
0 es la identidad del semigrupo (Z, +), 1 es la identidad de (Z, ) y (N, +) no tiene
identidad.
Definici
on 1.1.17. Un monoide es un semigrupo que posee elemento identidad.
Definici
on 1.1.18. Sea G un conjunto dotado de una operaci
on binaria interna
la cual posee un elemento identidad e, se dice que u G es invertible si existe
u0 G tal que u0 u = e = u u0 . El elemento u0 se denomina el inverso de u
respecto de la operacion .
1.2. GRUPOS
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.
Definici
on 1.2.1. Sea G un conjunto no vaco y una operaci
on 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.
Definici
on 1.2.2. Un grupo (G, ) es conmutativo, tambien denominado abeliano, si la operacion es conmutativa.
Ejemplo 1.2.3. Los siguientes conjuntos numericos, donde las operaciones indicadas son las habituales, constituyen grupos conmutativos:
(Z, +, 0), (Q, +, 0), (R, +, 0), (C, +, 0).
Z, Q, R y C denotan los conjuntos de n
umeros enteros, racionales, reales y complejos,
respectivamente.
1.2. GRUPOS
Observaci
on 1.2.8. (i) Seg
un la proposicion anterior, si se da un semigrupo G, es
suficiente encontrar en G un elemento identidad a la izquierda e y encontrar para
cada x G un inverso a la izquierda x0 para concluir que G es un grupo.
(ii) La proposicion anterior es valida para el caso derecho.
(iii) No es siempre cierto que si en un semigrupo (G, ) tiene lugar la propiedad
(i) por la derecha y la propiedad (ii) por la izquierda el sistema sea un grupo. Por
ejemplo, sea G un conjunto no vaco cualquiera y sea definida por a b = a.
es claramente asociativa. Ademas, cualquier elemento x0 de G es identidad a la
derecha: a x0 = a. Tambien, dado a G, a tiene inverso a la izquierda respecto
del elemento x0 : x0 a = x0 . Sin embargo, (G, ) no es un grupo en el caso que
G tenga al menos tres elementos distintos a, b, c. En efecto, si G fuera un grupo se
tendra la ley cancelativa:
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
, ,
x3 x2 x1
x1 x2 x3
x1 x3 x2
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 (f g)(x) = f (x) g(x),
donde f, g son elementos de Aplc(X, G) y x X. Esta operacion convierte a
Aplc(X, G) en un grupo. Notese que el elemento identidad es la funcion i que asigna
a cada elemento x de X el elemento identidad 1 de G. El inverso de la funcion f
es una funcion f 1 tal que f 1 (x) = f (x)1 , para cada x X. Un caso particular
de esta construccion es cuando X = N y G = (R, +), en este caso Aplc(N, R) es el
grupo de sucesiones reales.
Ejemplo 1.2.11. Del algebra lineal tenemos el siguiente ejemplo: sea M nm (R) el
conjunto de matrices rectangulares de n filas y m columnas con la operacion habitual
de adicion definida sobre las entradas de las matrices. Esta operacion convierte a
Mnm (R) en un grupo conmutativo, en el cual el elemento identidad es la matriz
1.3. SUBGRUPOS
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 tama
no n n se denota por Mn (R).
Ejemplo 1.2.12. En algebra elemental se consideran los polinomios a0 + a1 x +
+ an xn con coeficientes reales; la coleccion de todos estos polinomios (n no es
fijo) se denota por R[x], y constituye un grupo respecto de la adicion mediante
reduccion de terminos semejantes. El polinomio nulo es el elemento identidad y el
inverso aditivo de un polinomio se obtiene cambiandole el signo a cada uno de sus
coeficientes.
1.3.
Subgrupos
10
1 2 3
1 2 3
C = ,
1 2 3
2 1 3
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
Notaci
on multiplicativa
(G, , 1)
a1 =: a
an =: an1 a, n Z+
a0 =: 1
n
a
=: (a1 )n , n Z+
11
Notaci
on aditiva
(G, +, 0)
1 a =: a
n a =: (n 1) a + a, n Z+
0 a =: 0
(n) a =: n (a), n Z+ .
Notacion aditiva
(an )m = anm
an am = an+m
(an )1 = an
m (n a) = (mn) a
(n a) + (m a) = (n + m) a
(n a) = (n) a
para cualesquiera m, n Z.
Sea (G, , 1) un grupo y sea a un elemento cualquiera de G. Simbolizamos por
hai el conjunto de todos los elementos de G que son potencias enteras de a :
hai = {. . . , a3 , a2 , a1 , 1, a, a2 , a3 , . . . } = {an | n Z}.
Notese que hai es un subgrupo de G: claramente hai es no vaco ya que a hai, y
ademas
Si x = an hai , y = am hai, entonces xy = an+m hai .
Si x = an hai entonces x1 = (an )1 = (an ) hai.
hai se denomina el subgrupo cclico de G generado por el elemento a. En notacion
aditiva tenemos que el subgrupo cclico generado por a es :
hai = {. . . , 3a, 2a, a, 0, a, 2a, 3a, . . . } = {n a | n Z}.
Definici
on 1.3.9. Sea G un grupo, se dice que G es cclico si existe un elemento
a G tal que el subgrupo cclico generado por a coincide con todo el grupo G, es
decir, G = hai.
Ejemplo 1.3.10. El grupo Z. (Z+, 0) es un grupo cclico y todos sus subgrupos
son cclicos. Sea H Z, si H = {0} es el subgrupo trivial nulo, entonces claramente
h0i = {0} y H es cclico. Supongase que H 6= {0}. Entonces existe k 6= 0, k entero,
k H. Si k Z , entonces k Z+ y k H. As pues, el conjunto
H + := {x H | x Z+ } =
6 .
12
1.4.
Generaci
on de subgrupos
DE SUBGRUPOS
1.4. GENERACION
13
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.
Queremos responder ahora las preguntas planteadas al principio de la seccion.
Proposici
on 1.4.4. Sean G un grupo, {Hi }iI una familia de subgrupos de G y X
un subconjunto cualquiera de G. Entonces,
T
(i) La interseccion iI Hi es un subgrupo de G.
(ii) Existe en G un subgrupo, denotado por hXi, que contiene a X y es el m
as
peque
no subgrupo de G con dicha propiedad.
(iii) hXi coincide con la intersecci
on 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 elementos 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.
Proposici
on 1.4.5. Sean (G, , 1) un grupo y X 6= un subconjunto de G. Entonces,
hXi = {x11 xnn | xi X, i = 1, n 1}.
Demostracion. Sea S el conjunto de la derecha de la igualdad anterior. Entonces,
m
S es un subgrupo de G: sean x = x11 xnn , y = y11 ym
dos elementos de S,
m
entonces xy = x11 xnn y11 ym
tiene la forma de los elementos del conjunto S.
Es claro que el inverso de un elemento de S tiene la forma de los elementos de S.
Ademas, S contiene al conjunto X: en efecto, para cada elemento x de X se tiene
que x = x1 S. De lo anterior se obtiene que hXi S.
De otra parte,
\
hXi =
H
XHG
14
hXi = xk11 xknn | ki Z, xi X, n 1 .
En notacion aditiva, hXi = {k1 x1 + + kn xn | ki Z, xi X, n 1}.
Demostracion. Como G es abeliano, para cada elemento x = x11 xnn hXi
podemos agrupar las potencias de elementos iguales.
Definici
on 1.4.7. Sea G un grupo y sea X un subconjunto de G. hXi se denomina
el subgrupo generado por X y a X se le llama un conjunto de generadores de
hXi. Si X es finito y hXi = G se dice que G es un grupo finitamente generado.
Ejemplo 1.4.8. Todo grupo cclico G con generador a es un grupo finitamente
generado con conjunto generador {a}:
G = h{a}i = hai = ak | k Z .
Notese por ejemplo que
Z = h{1}i = h1i = {k 1 | k Z}.
Ejemplo 1.4.9. Sea (Q, +, 0) el grupo aditivo de los n
umeros racionales, entonces
Q = n1 | n N .
En efecto, sea r un racional. Si r es positivo entonces
podemos considerar que r es
p
1
de la forma r = q , con p, q N, luego r = p q . Si r = 0 entonces r = 01 = 0 11 .
Si r es negativo entonces podemos suponer que r es de la forma r =
luego r = (p) 1q .
p
,
q
con p, q N
p
q
con
15
(i) H G hHi = H.
(ii) X Y G hXi hY i.
(iii) hXi hY i hX Y i.
Demostracion. (i) es evidente.
(ii) hY i es un subgrupo de G que contiene a Y X, por tanto, hXi hY i.
(iii) hX Y i X Y X, luego hX Y i hXi. Analogamente, hX Y i
hY i, de donde hXi hY i hX Y i (en general, la union de subgrupos no es un
subgrupo).
Proposici
on 1.4.12. Sea G un grupo finitamente generado y sea H un subgrupo
propio de G. Entonces, existe un subgrupo maximal de G que contiene a H.
Demostracion. Sea {x1 , . . . , xn } un sistema finito de generadores de G. Sea :=
{K | H K G}. Notemos que 6= ya que H . (,
S ) es un conjunto
0
parcialmente ordenado. Sea 0 una cadena de . Sea H := K, la union de los
subgrupos K de esta cadena. Notese que H H 0 G. En efecto, Sean x, y H 0 ,
entonces existen Kx ,Ky 0 tales que x Kx , y Ky . Como 0 es totalmente
ordenado, entonces podemos suponer que Kx Ky y entonces x, y Ky , luego
xy Ky , con lo cual xy H 0 . Ademas, x1 Kx H 0 . Ahora, como H K para
cada K 0 , entonces H H 0 .
Observemos que H 0 6= G. En efecto, si H 0 = G = hx1 , . . . , xn i, entonces x1
Kx1 , . . . , xn Kxn , con Kxi 0 . Existe entonces Kxj tal que x1 , . . . , xn Kxj ,
luego G Kxj , es decir, Kxj = G, lo cual es contradictorio. As pues, H 0 6= G. H 0
es cota superior para 0 en . De acuerdo con el Lema de Zorn, tiene elemento
maximal H0 el cual es obviamente subgrupo maximal de G.
1.5.
Teorema de Lagrange
16
1.6. EJERCICIOS
17
|G|
.
|H|
(1.5.2)
1.6.
Ejercicios
18
19
1.6. EJERCICIOS
(1.6.1)
(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.
9. Sea f : j : (A, ) (B, ) un homomorfismo sobreyectivo. Definimos en A la
relacion como sigue:
20
21
1.6. EJERCICIOS
16. Cada una de las siguientes tablas definen operaciones binarias internas de las
cuales se saben que son asociativas. Compruebe que ellas definen grupos:
Z4 = {0, 1, 2, 3}
+
0
1
2
3
0
0
1
2
3
1
1
2
3
0
2
2
3
0
1
V = {e, a, b, c}
.
e
a
b
c
3
3
0
1
2
e
e
a
b
c
a
a
e
c
b
b
b
c
e
a
c
c
b
a
e
0
d1
.
.
D :=
| d1 , . . . , dn R .
.
dn
Demuestre que D Mn (R).
21. Sea GLn (R) el grupo lineal general de orden n sobre los n
umeros reales,
es decir, GLn (R) := Mn (R) es el grupo de elementos invertibles del semigrupo
multiplicativo (Mn (R), ). Entonces,
(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 especial de orden n sobre R.
22
(ii) Sea
d
0
1
.
..
Dn (R) := diag(d1 , . . . , dn ) :=
Mn (R) | d1 dn 6= 0 .
0
dn
Demuestre que Dn (R) GLn (R). Dn (R) se conoce como el grupo de
matrices diagonales de orden n sobre R.
(iii) Sea
f
1n
11
.
.
..
.. Mn (R) | f11 fnn 6= 0, fij = 0 si i > j .
Tn (R) :=
0
fnn
Demuestre que Tn (R) GLn (R). Tn (R) se denomina el grupo de matrices triangulares superiores de orden n sobre R.
(iv) Sea
U Tn (R) := {F Tn (R) | fii = 1, 1 i n}.
Demuestre que U Tn (R) Tn (R)SLn (R). U Tn (R) se denomina el grupo
de matrices unitriangulares superiores de orden n sobre R.
(iv) Para 1 m n sea U Tnm (R) el conjunto de matrices unitriangulares
F = [fij ] U Tn (R) tales que fij = 0 para i < j < i + m, es decir,
las primeras m 1 diagonales consecutivas por encima de la diagonal
principal de F son nulas. Demuestre que U Tnm (R) U Tn (R), y ademas
U Tn (R) = U Tn1 (R) U Tn2 (R) U Tnn (R) = {E}.
22. En el grupo GLn (R) se tienen tres tipos de matrices elementales:
(i) Matrices propiamente elementales o transvecciones: Tij (a) :=
E + aEij , i 6= j, a R, donde E es la matriz id
entica y Eij Mn (R)
es la matriz can
onica que tiene todas sus entradas nulas, salvo la
entrada (i, j) que es 1. Notese que Tij (a) SLn (R).
(ii) Matrices diagonales: Di (d) := diag(1, . . . , d, . . . , 1) Dn (R), 0 6= d
R, 1 i n.
(iii) Permutaciones: Pij = E Eii Ejj + Eij + Eji .
Demuestre que:
(i) GLn (R) se puede generar por matrices elementales. Mejor a
un, demuestre
que
1.6. EJERCICIOS
23
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 cclicos, 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 demostradas algunas proposiciones relacionadas con el orden de sus subgrupos y el
n
umero 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 n
umeros.
2.1.
Definici
on
2.1. DEFINICION
25
2k0
n
as, i 2k
= i 2k y por tanto k = k 0 .
nn 2k n
o
2k
2k
i n
De tal manera que Un = e
= 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
+ i sin 2
. Sea
comprobemos que Un es cclico y generado por z1 = ei n = cos 2
n
n
i 2k
n
un elemento cualquiera de Un , entonces z es la k-esima potencia de z1 :
z =e
2 k
2k
k
(z1 ) = ei n
= ei n = z. As que, Un h z1 i Un entonces Un = hz1 i,
|Un | = n.
entonces ei
= ei
26
2.2.
27
28
2.3.
Ejemplos
m1 .pn2 + m2 .pn1
pn1 + n2
m
m
pn = pn Qp
m2
pn2
Qp ,
m
pn
= 0, es decir,
km
pn
= 0,
2.4. PROPIEDADES
2.4.
29
Propiedades
Las siguientes afirmaciones son validas para grupos cclicos cualesquiera. Especialmente importante es la afirmacion (iv).
Proposici
on 2.4.1.
30
por lo que k = p. Supongase ahora que bk = G = hbi entonces existe t Z tal
t
que bk = b, as bkt1 = 1 entonces p | kt 1, es decir que existe s Z tal que
kt 1 = ps, pero k | p entonces existe k 0 Z tal que p = kk 0 ; luego kt 1 = kk 0 s;
as k(t k 0 s) = 1 entonces k = 1. Esto prueba que los u
nicos divisores de p son p
y 1, y de esta forma se tiene que p es primo.
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
k Z tal que a = (ar )k entonces ark1 = 1, as n | rk 1 es decir rk 1 = sn, con
s Z; de lo cual rk sn = 1, as r y n son primos relativos y m.c.d.(r, n) = 1.
): sea r Z tal que m.c.d.(n, r) = 1. Logicamente, har i G. Sea x G,
entonces existe k Z tal que x = ak . Como m.c.d.(n, r) = 1 existen t, v Z tales
que 1 = nt + rv, as k = ntk + rvk; luego x = ak = antk arvk = arvk = (ar )vk har i.
(ii) La primera parte de esta afirmacion fue demostrada en el punto (ii) de la
proposicion 2.4.1.
Para la segunda parte, el orden de H es el orden de as . Sea m := |as |, entonces
(as )m = 1, es decir, asm = 1, luego n | sm, por lo tanto nd | m, con d := m.c.d.(n, s).
s
n
De otra parte, (as ) d = (an ) d = 1 entonces m | nd . Por lo tanto, nd | m y m | nd con lo
cual m = nd .
(iii) Existencia: como t | n entonces n = ts, con s Z, as |has i| = t. En efecto,
(as )t = 1, entonces |as | | t. Si |as | := t0 y t0 < t entonces ast0 = 1 y st0 < n, lo cual
es una contradiccion.
Unicidad: sea H un subgrupo de G de orden t. Sea
n =
menor
ts y sea k el
n
k
k
entero positivo tal que a H. Por (ii) sabemos que H = a y t = |H| = d , donde
d = m.c.d.(n, k); entonces n = td = ts de modo que s = d, as s | k, es decir, k = sw
con w Z. Luego, ak = (as )w y por tanto H has i , pero |H| = |has i| = t entonces
H = has i.
Ejemplo 2.5.2. Los enteros m
odulo n. Sea n 2 un entero, entonces el conjunto Zn conformado por todos los enteros {0, 1, 2, 3, . . . , n 1} conforman un grupo
2.6. EJERCICIOS
31
s).
Obtenemos
24
=
2,
entonces
d
=
12
=
s;
12
=
0,
12
d
24
= 3, entonces d = 8 = s;
8 = 0, 8, 16
d
24
=
4,
entonces
d
=
6
=
s;
6
=
0,
6,
12,
18
d
24
=
6,
entonces
d
=
4
=
s;
4
=
0,
4,
8,
12,
16,
20
d
24
= 8, entonces d = 3 = s;
3 = 0, 3, 6, 9, 12, 15, 18, 21
d
24
=
12,
entonces
d
=
2
=
s;
2
=
0,
2,
4,
6,
8,
10,
12,
14,
16,
18,
20,
22
.
d
Los generadores de Z24 son de la forma 1 = s, con m.c.d.(s, 24) = 1. Entonces
s = 1, 5, 7, 11, 13, 17, 19, 23.
2.6.
Ejercicios
32
(1+i)
2.6. EJERCICIOS
33
13. Demuestre que los subgrupos de Cp son: 1 = Cp0 < Cp1 < Cp2 < < Cpn <
.
Demostracion. 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,
m1
m
m1
entonces a = pb y en consecuencia z p
= z1ap
= z1bp = 1, pero esto
indica que z Cpm1 , lo cual es falso. Se tiene entonces que a y pm son primos
realtivos, es decir,
1 = ua + vpm , donde u, v son enteros. De aqu resulta que
m
z1 = (z1a )u (z1p )v = z u . Esto implica que Cpm < z > H y de aqu se tendra
que Cpk H, lo cual es falso. En conclusion, H = Cpk1 .
Captulo 3
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 u
ltimo. 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 ejercicios hemos includo un
grupo muy importante como es el grupo octico correspondiente a las 8 simetras del
cuadrado.
3.1.
Subgrupos normales
35
3.2.
Grupo cociente
36
|G|
|H|
(iv) Zn = Z/hni
(v) Sea K G y H E G tal que H K. Entonces, H E K.
(vi) Sea H G tal que |G : H| = 2, entonces H E G.
(vii) La relacion de normalidad no es en general transitiva.
Demostracion. Las cinco primeras afirmaciones son casi evidentes. Veamos
S la prueba
de (vi): G queda dividido en solo dos clases laterales izquierdas: G = H (G H).
Sea x G, h H; consideremos las siguientes cuatro posibilidades:
a) x1 h H, x1 H x1 hx H
b) x1 h H, x1
/ H, imposible
1
1
c) x h
/ H, x H, imposible
d) x1 h
/ H, x1
/ H x1 h x1 x1 hx H H E G.
(vii) Esto se ilustra en el siguiente ejemplo.
37
Ejemplo 3.2.3. Consideremos un cuadrado cuyos vertices se numeran sucesivamente en sentido contrario al movimiento de las manecillas del reloj con los n
umeros
1, 2, 3, 4, comenzando en el extremo inferior izquierdo, y consideremos el conjunto
D4 de las 8 simetras de un cuadrado: cuatro rotaciones en sentido contrario al
movimiento de las manecillas del reloj a traves de los angulos: 2k
, k = 0, 1, 2, 3:
4
Cuatro reflexiones a traves de cuatro ejes de simetra: X, Y, 13, 24. Este conjunto
de 8 movimientos posee estructura de grupo bajo la operacion de composicion de
movimientos. Notese que cada movimiento permuta los vertices 1, 2, 3, 4; por lo
tanto el grupo D4 puede ser mirado como subgrupo de S4 : la rotacion a traves del
angulo = 2 , k = 1, corresponde a la permutacion:
f=
1 2 3 4
2 3 4 1
= (1 2 3 4)
1 2 3 4
1 4 3 2
= (2 4), g 2 = 1
1 2 3 4
2 1 4 3
1 2 3 4
4 3 2 1
1 2 3 4
3 2 1 4
= fg
= f 3g
= f 2g
38
3.3.
Homomorfismo de grupos
39
40
3.4.
Ejercicios
3.4. EJERCICIOS
41
Captulo 4
Teoremas de estructura
El concepto de homomorfismo e isomorfismo, as como los teoremas correspondientes, son el objeto del presente captulo. Por medios de estos teoremas se pueden
caracterizar las imagenes homomorfas de un grupo, y son herramienta clave para la
clasificacion de grupos, en particular, para la clasificacion de grupos finitos.
4.1.
43
44
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
1
subgrupo normal de S3 ya que f 2 f g (f 2 ) = f 2 f gf = gf = f 2 g
/ hf gi; hf 2 gi no
es subgrupo normal de S3 ya que f f 2 gf 1 = gf 2 = f g
/ hf 2 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).
4.2.
Teorema de factorizaci
on
Definici
on 4.2.1. Sea : G1 G2 un homomorfismo de grupos. Se dice que el
homomorfismo se puede factorizar a traves del homomorfismo j : G1 G3 (o
tambien, a traves del grupo G3 ) si existe un homomorfismo : G3 G2 tal que
j = .
Teorema 4.2.2. Sea : G G0 un homomorfismo de grupos y sea H un subgrupo
normal de G. Entonces se puede factorizar de una manera u
nica a traves de G/H
si, y solo si,, H ker .
Demostracion. ): sea H E G tal que se puede factorizar a traves de G/H.
Esto quiere decir que existe un homomorfismo : G/H G0 tal que j = . Sea
x H j(x) = (x) (j(x)) = (
x) = (1) = 1 = (x) x ker() H
ker().
) Supongase que H E G tal que H ker(). Definimos
: G/H G0 (
x) := (x), x = xH, x G .
esta bien definida : x = y x1 y H x1 y ker() (x1 y) = 1
(x)1 (y) = 1 (x) = (y) (
x) = (
y ).
es homomorfismo : (
x y) = (xy) = (xy) = (x)(y) = (
x)(
y ).
j(x) = (
x) = (x), para todo x G; j = .
es u
nica : sea : G/H G0 un homomorfismo tal que j = ; j(x) = (
x)
= (x) = (
x); = .
4.2. TEOREMA DE FACTORIZACION
45
46
4.3.
Teorema de correspondencia
47
x, y B : xy xy 1 A.
Denotemos por [x] la clase de equivalencia correspondiente al elemento x B medinte la relacion . Sea la relacion de equivalencia inducida en B/H por el subgrupo
A/H:
x, y B/H : x
y x y1 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] xy 1 A xy 1 A/H x y 1 A/H
[x] = [y] F ([x]) = F ([y]).
F es inyectiva: F ([x]) = F ([y]) [x] = [y] x y 1 A/H xy 1 A
[x] = [y] F es obviamente sobreyectiva.
4.4.
Teoremas de isomorfismo
El primer teorema fundamental de isomorfismo combinado con el teorema de correspondencia permite determinar las imagenes homomorfas de Zn , n 2.
Teorema 4.4.1 (Primer teorema fundamental de isomorfismo). Sea G un
grupo y sean H y K subgrupos normales de G tales que H K. Entonces K/H E
G/H y se tiene el isomorfismo
(G/H)/(K/H)
= G/K.
Demostracion. Podemos aplicar el teorema de factorizacion y el teorema fundamental de homomorfismo para demostrar este importante teorema: en efecto el homomorfismo canonico j : G G/K se puede factorizar a traves del homomorfismo j1 : G G/H debido a que H K = ker(j) Denotamos los elementos de
G/H mediante x := xH y los de G/K por x := xK, entonces : G/H G/K
esta definido por (
x) := x; puesto que j es sobreyectivo, entonces tambien lo
es, y seg
un el teorema fundamental de homomorfismo (G/K)
= (G/H)/ ker()
pero ker() = {
x G/H | x = 0} = {
x G/H | x K} = K/H. As pues,
(G/H)/(K/H)
= G/K.
Teorema 4.4.2 (Segundo teorema fundamental de isomorfismo). Sean G un
grupo, H G y K E G. Entonces,
48
HK/K
= H/H K.
Demostracion. En primer lugar HK = KH: sea hk HK hk = (hkh1 )h
KH ya que K E G; 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 n
ucleo 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 )
f (x) = xK = 1K x K x H K 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, seg
un 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 u
nicas
imagenes homomorfas de Z1 son los grupos unitarios. Sea n 2, Zn = Z/ hni. Las
imagenes homomorfas de Zn seg
un 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. Seg
un 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 u
nicos 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 u
nicos 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, seg
un 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
49
decir, los u
nicos subgrupos normales de G/H son los triviales. Sea ahora K G,
K E G, H K. Entonces seg
un el teorema de correspondencia K/H E G/H; como
este u
ltimo es simple entonces K/H = {1} o K/H = G/H K/H = H/H o
K/H = G/H K = H o K = G con lo cual H es maximal normal.
(iii) Calculemos las imagenes homomoficas del grupo de Klein
V = {1, a, b, ab}, a2 = 1, b2 = 1, ab = ba.
V es un grupo de orden 4. Por tanto, sus subgrupos son de ordenes 1,2,4. Subgrupo
de orden 1 : H1 = {1}. Los subgrupos de orden 2 son necesariamente cclicos:
H2 = hai = {1, a}, K2 = hbi = {1, b}, L2 = habi = {1, ab}. As pues, los subgrupos
de orden 2 son H2 = hai, K2 = hbi, L2 = habi. Hay un u
nico subgrupo de orden
4: V . De lo anterior obtenemos que todos los subgrupos de V son normales. As,
las imagenes homomorfas de V son : V /H1
= V , V /H2
= V /K2
= V /L2
= Z2 ,
V /V = 1.
(iv) Notemos que V es un grupo abeliano de orden 4 al igual que Z4 . Sin embargo,
V no es isomorfo a Z4 ya que este u
ltimo es cclico. Tenemos pues dos grupos distintos
de orden 4. Nos preguntamos si existen otros grupos de orden 4 diferentes (no
isomorfos) a Z4 y V . La respuesta es no: como V es de orden 4, V es necesariamente
abeliano. En efecto, probemos que si G es un grupo de orden 5 entonces G es
abeliano: |G| = 1 G es un grupo unitario y por ende abeliano
|G| = 2 G es un grupo cclico G
= Z2 G es abeliano
50
3) a = f 2 , b = f 2 g K4
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
= Z2 ; D4 /D4 = 1.
= D4 /H4
2
2
Para hf i se tiene que D4 / hf i = Z4 o D4 / hf 2 i
= V.
La primera posibilidad es descartada ya que en D4 / hf 2 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 u
ltimos 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}.
La tabla para Q8 viene dada por
51
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
a3 b
b
ab
a2 b
a2
a2
a3
1
a
a2 b
a3 b
b
ab
a3
a3
1
a
a2
ab
a2 b
a3 b
b
b
b
ab
a2 b
a3 b
a2
a3
1
a
ab
ab
a2 b
a3 b
b
a
a2
a3
1
a2 b
a2 b
a3 b
b
ab
1
a
a2
a3
a3 b
a3 b
b
ab
a2 b
a3
1
a
a2
|1| = 1, |a|
=
2 : a = a = 1.
2
3
a = 1, a = 2 : (a3 ) 2 = a6 = a2 = 1,
b = 2 : b 2 = b2 = a2 = 1
ab = 2 : ab 2 = (ab)2 = a2 = 1; a2 b = 2 : (a2 b) 2 = (a2 b)2 = 1;
3
a b = 2 : (a3 b) 2 = (a3 b)2 = a2 = 1.
Matricialmente Q8 se puede interpretar como
Q8 = hA, Bi,
i 0
0 i
A=
, B=
,
0 i
i 0
52
i C, i2 = 1, A4 = E, B 2 = A2 , BAB 1 = A1 .
Notese que Q8 y D4 no son isomorfos, ya que en Q8 hay 6 elementos diferentes
de orden 4 : a, a3 , b, a2 b, ab, a3 b, en cambio en D4 solo hay 2 : f, f 3 . Otra forma de
explicar esto es que en Q8 todos sus sugrupos son normales, en cambio en D4 el
subgrupo hgi no es normal.
Centro de Q8 : a
/ Z(Q8 ) ya que ab 6= ba hai 6= Z(Q8 ); b
/ Z(Q8 )
Z(Q8 ) 6= hbi ; ab
/ Z(Q8 ) ya que (ab)a 6= a(ab) Z(Q8 ) 6= habi. Seg
un lo anterior
Z(Q8 ) 6= Q8 . Notese que, Z(Q8 ) = ha2 i
= Z2 .
4.5.
Ejercicios
Captulo 5
Automorfismos
Los homomorfismos biyectivos de un grupo G en si mismo se conocen como los
automorfismos de G. Estas funciones conforman un grupo que tiene informacion
importante relativa al grupo G.
5.1.
Automorfismos interiores
54
CAPITULO 5. AUTOMORFISMOS
5.2.
Teorema de Cayley
La importancia
del teorema de Cayley radica en parte en que determina la cota
superior n!
para
el n
umero de grupos finitos no isomorfos de orden n.
n
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).
Demostracion. Considerese la funcion
: G S(G)
definida por (x) := %x , %x : G G, %x (a) := xa. %x S(G) para cada x G:
%x (a) = %x (b) xa = xb, es decir, %x es 1 1; sea y G entonces y = %x (x1 y).
es un homomorfismo: (xy) = %xy , %xy (a) = xya = %x (%y (a)) %xy = %x %y =
(x)(y). es inyectiva : (x) = (y) x1 = y1 x = y.
55
5.3. EJEMPLOS
n!
n
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,
f
Z
Z
f
Z
1 1
1 1
k k
k -k
Luego, 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
Z
a b m|(a b),
a, b Z.
para
0 r, s < n.
56
CAPITULO 5. AUTOMORFISMOS
Zn
(h) = r
donde r = h 1 .
es un homomorfismo: sean f y h automorfismos
de
Z
tales
que
f
1
= r,
n
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 h 1 = 1 h (r) = r pra cada
0 r < n h = iZn .
es sobre: sea r Zn y sea h definido por h (s) := sr. Notese que h 1 = r y
ademas h Aut (Zn ), con lo cual (h) = r.
Ejemplo 5.3.2. El grupo de automorfismos de un grupo finito es finito:
Sea G un grupo de orden n. Notese que Aut (G) S (G)
= Sn |Aut (G)| |
|Sn | = n!. Mas exactamente, |Aut (G)| | (n 1)! ya que para cada f Aut (G) , f (1) =
1.
Ejemplo 5.3.3. El grupo de automorfismos de un grupo conmutativo puede ser no
conmutativo: Consideremos el grupo de Klein: V = {1, a, b, ab} , a2 = 1, b2 = 1, ab =
ba. Seg
un el ejemplo anterior |Aut (V )| = 1, 2, 3, 6.
Facilmente se comprueba que las siguientes funciones son automorfismos de V y
ademas diferentes:
iG :
g:
fg =
1
1
1
1
1
1
a b ab
,
a b ab
a b ab
,
a ab b
a b ab
,
b a ab
b ab
f = 11 ab ab
a
f 2 = 11 aab ba abb
f 2 g = 11 aab bb aba .
Entonces, Aut (V )
= S3 .
Ejemplo 5.3.4. Dos grupos no isomorfos pueden tener grupos de automorfismos
isomorfos: Aut (Z3 )
= Z2
= Aut (Z).
Ejemplo 5.3.5. Aut (D4 ): en el captulo 6 estudiaremos los automorfismos del
grupo dihedrico Dn . Seg
un se vera alla |D4 | = 4 (4) = 8; Int (D4 )
= V y ademas
57
5.3. EJEMPLOS
T1,0 :
D4
f (f 0 g) = f g
T1,0 = iD4
D4
D4
f g
f (f g)
2
3
f
f
g f g f 2g f 3g
D4
f g
T1,1 :
T1,1 = 11
T1,2 :
f
f
T1,2 = 11
T1,3 :
f
f
f2
D4
f g
f2
f2
D4
f g
2
T1,3 = 11 ff ff 2
T3,0 : D4
f g
2
T3,0 = 11 ff 3 ff 2
T3,1 : D4
f g
2
T3,1 = 11 ff 3 ff 2
T3,2 : D4
f g
2
T3,2 = 11 ff 3 ff 2
T3,3 : D4
f g
2
T3,3 = 11 ff 3 ff 2
f3
fg
f3
f3
f 2g
f 3g
D4
f (f 2 g)
g f g f 2g f 3g
f 2g f 3g g f g
D4
f (f 3 g)
f3
f3
g f g f 2g
f 3y g f g
D4
(f 3 ) (f 0 g)
f3
f
g
g
f 3g
f 2g
f g f 2g f 3g
f 3g f 2g f g
D4
(f 3 ) (f g)
f3
f
g fg
fg g
f 2g
f 3g
f 3g
f 2g
D4
(f 3 ) (f 2 g)
f3
f
g f g f 2g
f 2g f g g
D4
(f 3 ) (f 3 g)
f3
f
g f g f 2g f 3g
f 3g f 2g f g g
f 3g
f 3g
po
= f (1) , (po , qo ) = 1. Entonces
qo
p
f (p/q) = pf (1/q) qf (p/q) = pf (1) f (p/q) = f (1). Lo anterior permite
q
establecer la funcion
Ejemplo 5.3.6. Aut (Q): sea f Aut (Q) y sea
: Aut(Q)
f
Q
f (1).
58
CAPITULO 5. AUTOMORFISMOS
es sobre: sea
po
6= 0 un racional. Definimos
qo
Q Q
p
p po
.
q
q qo
po
po
Notese que f (1) = , es decir, (f ) = . Veamos que f Aut(Q):
qo
qo
p r
ps + qr
ps + qr po
f
+
=f
=
q s
qs
qs
qo
r
p
p po r po
+
=f
+f
;
=
q qo s qo
q
s
p
p po
p
si f
= 0 entonces
= 0 p = 0 = 0.
q
q q
q
o
r
r qo
r
Sea Q; entonces f
= , es decir, f es sobre Aut (Q)
= Q .
s
s po
s
f:
5.4.
Ejercicios
F (b) = a
F (b) = a3
F1 (b) = b
F2 (b) = ab
F3 (b) = a2 b
F4 (b) = a3 b
F (a) = a3
F (a) = a3
F5 (a) = a3
F6 (a) = a3
F7 (a) = a3
F8 (a) = a3
F (b) = a
F (b) = a3
F5 (b) = b
F6 (b) = ab
F7 (b) = a2 b
F8 (b) = a3 b
F9 (a) = b
F10 (a) = b
F (a) = b
F11 (a) = b
F (a) = b
F12 (a) = b
F9 (b) = a
F10 (b) = a3
F (b) = b
F11 (b) = ab
F (b) = a2 b
F12 (b) = a3 b
5.4. EJERCICIOS
F13 (a) = ab
F14 (a) = ab
F15 (a) = ab
F (a) = ab
F16 (a) = ab
F (a) = ab
F13 (b) = a
F14 (b) = a3
F15 (b) = b
F (b) = ab
F16 (b) = a2 b
F (b) = a3 b
59
F17 (a) = a2 b
F18 (a) = a2 b
F (a) = a2 b
F19 (a) = a2 b
F (a) = a2 b
F20 (a) = a2 b
F17 (b) = a
F18 (b) = a3
F (b) = b
F19 (b) = ab
F (b) = a2 b
F20 (b) = a3 b
F21 (a) = a3 b
F22 (a) = a3 b
F23 (a) = a3 b
F (a) = a3 b
F24 (a) = a3 b
F (a) = a3 b
F21 (b) = a
F22 (b) = a3
F23 (b) = b
F (b) = ab
F24 (b) = a2 b
F (b) = a3 b
F21 (a3 )
F22 (a3 )
F23 (a3 )
Descartada
F24 (a3 )
Descartada
Ahora solo falta demostrar que estas 24 funciones biyectivas son homomorfismos, es decir, son los u
nicos automorfismos en Aut(Q8 ). Tendramos pues que
las 24 permutaciones 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 .
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
posibilidades:
r = 0, p = 0 F24 (ar bs ap bq ) = a2 b, F24 (ar bs )F24 (ap bq ) = a2 b
60
CAPITULO 5. AUTOMORFISMOS
Captulo 6
Grupos de permutaciones
En el captulo anterior se probo que cada grupo G es isomorfo a un subgrupo del
grupo de permutaciones S(G). Cuando G = {x1 , . . . , xn } es finito, el grupo de
permutaciones se acostumbra a denotar Sn . En este caso los elementos x1 , . . . , xn
pueden ser reemplazados por los naturales 1, . . . , n. As pues, Sn es el grupo de todas
las funciones biyectivas del conjunto In := {1, 2, . . . , n}.
En este captulo estudiaremos con alg
un detalle al grupo Sn , denominado grupo
sim
etrico de grado n. Destacamos en Sn algunos subgrupos importantes: el grupo
alternante An y el grupo dihedrico de grado n, Dn .
6.1.
Ciclos
Definici
on 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
Proposici
on 6.1.2. En Sn el producto de ciclos disjuntos conmuta.
Demostracion. Sean f = (a1 am ) y g = (b1 br ) dos ciclos disyuntos de Sn . Sean
A := {a1 , . . . , am } y B := {b1 , . . . , br }. Sean A1 := In A y B1 := In B. Dado
x In existen tres posibilidades
(i) x A: entonces f (x) A, f (x)
/ B g(f (x)) = f (x) ; g(x) = x
f (g(x)) = f (x) f g(x) = gf (x).
(ii) x B : es analogo al anterior.
(iii) x
/Ayx
/ B f (x) = x, g(x) = x f g(x) = x = gf (x).
De (i), (ii) y (iii) se desprende que f g = gf .
La importancia de la anterior proposicion se pone de manifiesto en el siguiente
teorema.
Teorema 6.1.3.
6.1. CICLOS
63
64
1 2 3 4 5 6 7 8 9
2 5 3 1 7 6 9 8 4
f = (125794)(3)(6) = (125794);
g=
1 2 3 4 5 6 7 8 9
3 6 4 1 2 5 8 7 9
6.2.
65
El grupo alternante An
Definici
on 6.2.1. Para n 2, los ciclos de longitud 2 de Sn se conocen como
transposiciones.
Teorema 6.2.2. Cada permutaci
on de Sn es representable como un producto finito
de transposiciones.
Demostracion. Puesto que cada permutacion es representable como un producto de
ciclos disyuntos entonces es suficiente demostrar el teorema para cada ciclo. Sea
f = (a1 a2 am ) un m-ciclo. Si m = 1 entonces f = 1 y f = (a1 a2 )(a1 a2 ). Sea pues
m 6= 1. Notese que (a1 a2 am ) = (am a1 )(am1 a1 ) (a2 a1 ).
Observaci
on 6.2.3. (i) A diferencia del teorema 6.1.4, la representacion de una
permutacion en producto de transposiciones no es u
nica:
1 2 3 4 5
= (12435) = (51)(31)(41)(21) = (12)(52)(32)(42).
2 4 5 3 1
(ii) Seg
un el teorema anterior, cada permutacion f de Sn es representable como
un n
umero finito r de transposiciones; ademas se vio que dicha representacion no
es u
nica. De tal manera que podra presentarse la posibilidad de que en una descomposicion r sea par y en otra r sea impar. Sin embargo, la siguiente proposicion
muestra que tal situacion es imposible.
Proposici
on 6.2.4. Sea f una permutaci
on de Sn la cual tiene dos descomposiciones en producto de r y s transposiciones. Entonces, r es par si, y s
olo si,, s es
par.
Demostracion. Sea f una permutacion de Sn la cual tiene dos descomposiciones en
producto de transposiciones f = f1 fr = f10 fs0 r 1, s 1. Consideremos
el natural p = j>i (j i), i, j In (por ejemplo para n = 4 se tiene que p =
(4 3)(4 2)(4 1)(3 2)(3 1)(2 1) = 12). Sea f una permutacion cualquiera
de Sn . Definamos la accion de f sobre p como pf = j>i (f (j) f (i)).
Notese que pf es un entero (no necesariamente positivo como p); los factores
(f (j)f (i)) que conforman pf son diferencias de elementos de In y ademas |pf | = p.
En efecto, demostraremos que si f = f1 fr , donde cada fi , 1 i r, es una
transposicion, entonces
pf = (1)r p.
(a) Sea f = (ab) una transposicion con a > b. Los factores (j i) de p en los cuales
no intervienen ni a ni b no cambian al aplicar f . Consideremos pues aquellos factores
donde aparezcan a o b o ambos. Se presentan entonces las siguientes posibilidades.
(i) Factores donde aparece a pero no b:
66
6.3.
SISTEMAS DE GENERADORES
67
sgn(ab) = 1; a, b In , a 6= b.
Seg
un el teorema fundamental de homomorfismo
Z ' Sn / ker(sgn),
pero ker(sgn) = An , as pues, Z ' Sn /An ; |Sn : An | = 2 An E Sn . Notese
ademas que |An | = n!2 .
6.3.
Sistemas de generadores
Ya hemos visto que el subconjunto de todos los ciclos y tambien el conjunto de todas
las transposiciones constituyen sistemas de generadores para Sn . Queremos ahora
mostrar otros sistemas mas reducidos de generadores.
68
Proposici
on 6.3.1.
6.3.
SISTEMAS DE GENERADORES
69
Proposici
on 6.3.3 (Teorema de Jordan). Sea f una permutaci
on cuaquiera de
Sn . Entonces para cada ciclo (a1 a2 am ) se tiene que
f 1 (a1 a2 am )f = (f (a1 )f (a2 ) f (am )).
Demostracion. Puesto que cada permutacion es producto de transposiciones, es suficiente suponer que f es una pernutacion (). Consideremos dos casos posibles:
(i) {, } {a1 , a2 , . . . , am } = :
()(a1 a2 am )() = (a1 a2 am )()() = (a1 a2 am )
= (f (a1 )f (a2 ) f (am ))
ya que f (ai ) = ai para 1 i m.
(ii) {, } {a1 , a2 , . . . , am } =
6 : se presentan entonces dos situaciones:
(a) {a1 , a2 , . . . , am },
/ {a1 , a2 , . . . , am } : sea = aj , 1 j m. Entonces
()(a1 aj1 aj aj+1 am )() = (a1 aj1 aj+1 am )
= (f (a1 ) f (aj1 )f (aj )f (aj+1 ) f (am ))
(b) , {a1 , a2 , . . . , am } : sea = aj , = as , s 6= j, s < m, j < m. Entonces
70
6.4.
El grupo dih
edrico Dn, n 3
k
n 1 n
g=
1 n n 1 n k + 2
3
2
71
(6.4.1)
(6.4.2)
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 .
Entonces es posible repetir la prueba realizada anteriormente para comprobar que
G tiene 2n elementos diferentes a saber
G = {1, a, a2 , . . . , an1 , b, ab, . . . , an1 b}.
La funcion : G Dn , definida por (ak bl ) = f k g l , 0 k n 1, 0 l 1 es un
isomorfismo de grupos.
72
Representacion matricial del grupo dihedrico: consideremos en GL2 (R) las matrices
cos sin
A :=
sin cos
1 0
B :=
.
0 1
con :=
2
.
n
1 0
0 1
cos sin
sin cos
1 0
0 1
=
cos sin
sin cos
,
f f 2 = f 2 f,
gf 2 = f 2 g = f 2 g.
73
6.5.
n
1, 0 l 1} =< f 2 , g >
= D n2
2
74
6.6.
Ejercicios
Captulo 7
Productos y sumas directas
El objetivo de este captulo es presentar la construccion del grupo producto cartesiano y su suma directa externa para una familia dada de grupos. Mostraremos como
se definen el producto y la suma directa externa en el caso de una familia infinita. Se
da ademas la definicion de suma directa interna de una familia finita de subgrupos
de un grupo dado, mostrando la relacion que esta guarda con el producto cartesiano.
Las construcciones presentadas aqu serviran como base teorica para iniciar en el
captulo 10 el estudio de los grupos abelianos finitos.
7.1.
Definici
on
Sea {G1 , . . . , Gn } una coleccion finita de grupos (tomados con notacion multiplicativa) y sea
Qn
i=1 Gi := Gi Gn := {(xi , . . . , xn ) | xi Gi , 1 i n}
Q
el producto cartesiano conjuntista de
familia dada. Se pretende definir en ni=1 Gi
Qla
una operacion binaria bajo la cual ni=1 Gi tenga estructura de grupo.
Q
Proposici
on 7.1.1. Sea {G1 . . . Gn } una familia finita de grupos y sea ni=1 Gi el
producto cartesiano de los conjuntos Gi , 1 i n. El producto de n-plas definido
por
(x1 , . . . , xn ) (x01 , . . . , x0n ) := (x1 x01 , . . . , xn x0n )
Q
Q
da a ni=1 Gi una estructura de grupo. La pareja ( ni=1 Gi , .) as constituida se denomina producto cartesiano de la familia {G1 , . . . , Gn } .
Demostracion. En efecto, la asociatividad del producto de n-plas se desprende de las
respectivas propiedades asociativas de los productos definidos en los grupos Gi , 1
i n. Denotando por 1 el elemento neutro del grupo Gi , entonces la n-pla 1 :=
75
76
7.1. DEFINICION
77
Zpm
1 Z mk = Zn .
pk
1
Demostracion. Basta encontrar dos elementos a, b en Zm Zn tales que su ordenes
|a| = m y |b| = n sean primos entre si, porque entonces ab es de orden mn y
Zm Zn resulta cclico de orden mn, es decir, Zm Zn
= Zmn . Notese que a = (1, 0)
y b = (0, 1) son los elementos buscados. La parte (iii) de esta proposicion se prueba
usando lo que acabamos de ver en forma recurrente, y la parte (iv) es un caso
particular de (iii).
Notemos que para cada 1 i n, Gi se sumerge de manera natural en el
producto G1 Gn , y por lo tanto puede ser considerado como un subgrupo de
este.
Proposici
on 7.1.6. Sea {Gi }ni=1 una familia finita de grupos. Entonces:
(i) Gi E G1 Gn , para cada 1 i n.
(ii) (G1 Gn ) / Gi
= G1 Gi1 Gi+1 Gn .
Demostracion. Esto es un sencillo ejercicio para el lector.
78
7.2.
iI
Gi := {x : I
iI
iI
Gi el producto cartesiano
Gi | x(i) Gi }.
Q
Definimos en iI Gi el producto de manera analoga a como se hizo en el caso finito.
Sea xi := x(i), luego x = (xi )iI y entonces
xy = (xi )(yi ) := (xi yi ).
Q
Notese que este producto da a iI Gi una estructura de grupo, cuyo elemento
neutro es 1 := (ei ), donde ei = 1 Gi , para cada i I. El inverso de x = (xi )
1
es entonces xQ
= (x1
on
i ). Cuando I = In = {1, 2 . . . n} entonces esta definici
de producto iI Gi coincide con la definicion de producto cartesiano dada en la
seccion anterior.
Las proyecciones can
onicas del producto se definen por
j :
Gi Gj , j [(xi )] := xj .
El producto cartesiano junto con sus proyecciones esta caracterizado por la siguiente
propiedad universal.
Q
Teorema
Q 7.2.1. Sean {Gi }iI una familia de grupos, iI Gi su producto cartesiano
y {j : iI Gi Gj }jI las proyecciones can
onicas. Entonces,
(i) Para cada grupo G con homomorfismos
{pj : G Gj }jI existe un u
nico
Q
homomorfismo de G en iI Gi tal que para cada j I se tiene que j =
pj .
j0
7.3.
79
Q
Sea {Gi }iI una familia de grupos y sea iI Gi su grupo producto. Se denomina
soporte de x = (xi ) al subconjunto Ix de I de elementos i tales que xi 6= 1.
Definimos el conjunto
L
Q
Gi | x es de soporte finito}.
iI Gi := {x = (xi )
L
iI Gi es un subgrupo del producto
L y se denomina suma directa externa de
la familia dada. En efecto,
iI Gi , con lo cual la suma directa externa no
L 1
es vaca. Sean x, z
G
con
soportes Ix , Iz . Entonces, xi zi = 1 para cada
i
iI
i I (Ix Iz ). Esto indica que solo para los elementos de un cierto subconjunto
finito Iy Ix IzL
se tiene que xi zi 6= 1. Por lo L
tanto, si y = (yi ) es el producto
de x
L
1
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 can
onicas:
L
j : Gj iI G
i ,
a,
i=j
j (a) := x := (xi ), donde xj :=
1,
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
de
grupos
abelianos,
y
sea
iI Gi su suma
L
directa externa y sean {j : Gj iI Gi } sus inyecciones can
onicas. Entonces,
L
(i) Para cada grupo abeliano G con
homomorfismos
{t
:
G
j
j
iI Gi }jI existe
L
un u
nico 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
si x 6= 1
jIx tj (xj ),
(x) :=
1
, si x = 1
es un homomorfismo: si x = 1 o y = 1 entonces evidentemente (xy) = (x)(y).
Supongase pues que x 6= 1 y y 6= 1. Sea z = (zi ) = xy. Si
z = 1, entonces
y = x1
Q
Q
y asi yi = x1
para cada i I, con lo cual (z) = 1 = jIx tj (xj ) jIy tj (yj ) =
i
(x)(y). Sea entonces z 6= 1. Ya que Iz Ix Iy se tiene que
80
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 L iI 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. Consid
hQerese pues que
i x 6= 1. Entonces
Q
Q
(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.
Observaci
on 7.3.2. Notese que cuando I = In := {1, 2, . . . , n} es un conjunto
finito,
Ln entonces el producto cartesiano G1 Gn y la suma directa externa
en la siguiente noi=1 Gi de grupos abelianos coinciden y entonces se usa tambi
tacion: G1 Gn = G1 Gn .
7.4.
i+1
i+1
i+2
x = x11 xi i xi+1
xt t = x11 xi i xi+1
(xi i )1 xi i xi+2
xt t
81
i+1
i+2
Como H1 E G entonces xi i xi+1
(xi i )1 H1 . Si xi+2
. . . xt t estan todos en H2 ,
i+1
entonces tendremos que x = x01 x02 , con x01 := x11 xi i xi+1
(xi i )1 H1 y x02 :=
i+2
xi i xi+2
xtt H2 . En caso contrario repetimos lo anterior maximo hasta t. De
esto obtenemos que hH1 H2 i H1 H2 .
Supongase que hH1 Hn1 i = H1 Hn1 . Notese que hH1 Hn i =
hK Hn i , con K = hH1 Hn1 i, ademas, K E G ya que gH1 Hn1 g 1 =
gH1 g 1 gH2 g 1 g gHn1 g 1 = H1 Hn1 .
De acuerdo con el paso n = 2 y con la hipotesis de induccion, hH1 Hn i =
KHn = H1 Hn1 Hn .
La normalidad
ltima afirmacion de la proposicion es
S se acabaS de probar; la u
evidente ya que ni=1 Hi = ni=1 H(i) .
Teorema 7.4.2. Sean G un grupo y H1 , . . . , Hn subgrupos normales de G. Las siguientes condiciones son equivalentes:
(i) Para cada 1 j n, Hj (H1 . . . Hj1 Hj+1 . . . Hn ) = 1.
(ii) Cada elemento x de H1 Hn tiene una representaci
on u
nica en la forma:
x = h1 hn ,
hi Hi ,
1 i n.
82
Pn
i=1
Hi =
Proposici
on 7.4.4. Sea {Gi }ni=1 una colecci
on finita de grupos, y sea G = G1
Gn su producto cartesiano. Sea
G0i := i (Gi ) = {(1, . . . , x, . . . , 1) | x Gi }
la imagen de Gi mediante la inyecci
on canonica i . Entonces, G es suma directa
0
interna de los subgrupos Gi ,
G = G01 G0n .
Adem
as 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 u
nica
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 n
umeros complejos, y sean R y iR los subgrupos
de n
umeros 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 u
nica descomposicion posible.
Consideremos el grupo dihedrico 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 .
7.5. EJERCICIOS
83
7.5.
Ejercicios
84
7.5. EJERCICIOS
85
g) |F | = n. Sea F , seg
un la parte b) (g) debe ser un elemento de B,
k
digamos, (g) = f g, con 0 k n 1. As pues cada elemento F
determina un u
nico elemento f k g B, es decir, definimos
F B
7 (g)
Si 1 (g) = 2 (g) entonces 1 = 2 ya que 1 (f ) = f = 2 (f ). Veamos
finalmente que la asigancion que estamos haciendo es sobre: sea f k g B,
con 0 k n 1, definimos la funcion por (f r g s ) := f r+ks g s , con
0 r n 1, s = 0, 1. es un automorfismo: primero veamos que
es un homomorfismo, (f r g s f p g q ) = (f r+p g q ) si s = 0, y en este
caso (f r+p g q ) = f r+p+kq g q = f r+ks g s f p+kq g q , es decir, (f r g s f p g q ) =
(f r g s )(f p g q ). Cuando s = 1, se tiene que (f r g s f p g q ) = (f rp g s+q ).
Consideremos los dos casos posibles, q = 0: entonces
(f r g s f p g q ) = f rp+ks g s = f r+ks f p g s =
= f r+ks g s f p = f r+ks g s f p+kq g q = (f r g s )(f p g q ).
Si q = 1, entonces (f r g s f p g q ) = (f rp ) = f rp , por el otro lado,
(f r g s )(f p g q ) = f r+k gf p+k g = f r+kpk = f rp . Al igual que el punto
f), hf i hgi = 1, luego es claramente inyectiva y por lo tanto biyectiva.
Entonces es la preimagen buscada ya que (g) = f k g y F debido
a que (f r ) = f r , para cada 0 r n 1.
h) Se tiene que |F G| = |F | |G| = n(n). De otra parte, si Aut(Dn ),
entonces por b) (f ) debe ser un generador de A y (g) B, esto hace
que |Aut(Dn )| (n)n. Como se probo en e), F G es un sugrupo de
Aut(Dn ) y en consecuencia F G = Aut(Dn ) y |Aut(Dn )| = (n)n.
Si G fuera subgrupo normal de Aut(Dn ) entonces Aut(Dn ) sera suma
directa interna de F y G. Pero G no es un subgrupo normal de Aut(Dn ):
en efecto, seg
un f) y g) las siguientes funciones son elementos de G y F ,
respectivamente: (f ) = f k , (g) = g, (f ) = f , (g) = f g, donde k es
primo relativo con n y distinto de 1. Esta u
ltima condicion se da ya que
n 3. Entonces, 1 (g) = (f n1 g) = (f k g) = f k+1 g. Es decir,
1
/ G, con lo cual G no es un subgrupo normal de Aut(Dn ).
Entonces, que es Aut(Dn ) respecto de F y G?
i ) Sean G1 y G2 grupos y un homomorfismo de G2 en Aut(G1 ); en
el conjunto G1 G2 definimos la operacion , as: (a, b) (c, d) =
(a(b)(c), bd). Entonces, G1 G2 con esta operacion es un grupo y recibe
el nombre de producto semidirecto de G1 y G2 con respecto a . Para
el producto corriente de grupos en calidad de se toma el homomorfismo
trivial que asigna a cada elemento de G2 el automorfismo identico.
86
Captulo 8
G-conjuntos
Como fundamento teorico para la demostracion de los teoremas de Sylow aparece
el concepto de accion de un grupo sobre un conjunto. Esta nocion tiene bastante
analoga con el de operacion binaria externa y sera tratada en el presente captulo.
Se estudiara en particular la accion de conjugacion. Ademas, seran definidos los
grupos transitivos del grupo simetrico Sn . De vital importancia para la demostracion
de los teoremas de Sylow es la ecuacion de clases, la cual estableceremos en este
captulo. Un tratamiento completo de los G-conjuntos nos llevara a la teora de los
espacios vectoriales y modulos sobre anillos. Nosotros nos limitaremos a utilizar los
G-conjuntos como lenguaje y herramienta para comprender mejor la teora de Sylow.
8.1.
Acci
on de grupos sobre conjuntos
88
CAPITULO 8. G-CONJUNTOS
8.2. ORBITAS
Y SUBGRUPOS ESTACIONARIOS
89
Definici
on 8.1.4. Sea : G X X, (g, x) = gx, una acci
on del grupo G sobre
el conjunto X y sea : G S(X), (g) = g , g (x) = gx, la representaci
on de G
en S(X) asociada a . Se denomina n
ucleo de la acci
on y se denota por ker()
al n
ucleo del homomorfismo :
ker() =: ker() = {g G | gx = x, x X}.
Se dice que G actua efectivamente sobre X si ker() = 1, es decir, gx = x, x X
si, y s
olo si, g = 1.
Directamente de la definicion de accion de un grupo sobre un conjunto se desprenden las siguientes propiedades.
Proposici
on 8.1.5. Sea X un Gconjunto. Entonces,
(i) X k = X X es un Gconjunto.
(ii) 2X es un Gconjunto, donde 2X denota el conjunto de partes del conjunto X.
(iii) Sea Y X y sea C(Y ) := {Z X | Card(Z) = Card(Y )}. Entonces C(Y )
es un Gconjunto.
Demostracion. Ejercicio para el lector.
8.2.
Orbitas
y subgrupos estacionarios
Proposici
on 8.2.1. Supongase que G actua sobre el conjunto X. En X se define
la relacion por
x y g G : gx = y.
es de equivalencia en X. La clase de equivalencia del elemento x se denota por
G(x) y se llama la G
orbita determinada por x. Para cada x X
G(x) = {gx|g G}
Al Card(G(x)) se le denomina la longitud de la G
orbita determinada por x.
Demostracion. Ejercicio para el lector.
Proposici
on 8.2.2. Sea X un Gconjunto y sea x un elemento de X. Se denomina
subgrupo estacionario del punto x en G y se denota por Gx al subgrupo de
elementos de G que dejan fijo x
Gx =: {g G : gx = x}
Adem
as, Card(G(x)) = |G : Gx |.
90
CAPITULO 8. G-CONJUNTOS
r
X
|G : Gxi | (Ecuaci
on de clases).
i=1
8.2. ORBITAS
Y SUBGRUPOS ESTACIONARIOS
91
Notemos que el n
ucleo de es el centro del grupo G:
ker() = {g G | gxg 1 = x, x G}
= {g G | gx = xg, x G} = Z(G).
Sea x un elemento cualquiera de G. La orbita G(x) del elemento x, en este caso
denotada por xG , se denomina la clase de elementos conjugados con x:
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}.
Seg
un la proposicion 8.1.5, la accion de conjugacion puede ser extendida a los subconjuntos 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}.
Ademas, el subgrupo estacionario en este caso coincide con el normalizador de H
en G:
NG (H) = {g G : gHg 1 = H}.
Notese que Card(H G ) = |G : NG (H)|, es decir, el n
umero de subgrupos conjugados
de un subgrupo H de G es igual al ndice de su normalizador en G.
Ejemplo 8.2.6. Generalizaci
on del Teorema de Cayley. Sea G un grupo y H
un subgrupo cualquiera de G. Denotemos por G/H el conjunto de clases laterales
izquierdas determinadas por H en G. La aplicacion definida por
: G G/H G/H
(x, gH) 7 xgH,
determina una accion de G en G/H. Notemos en primer lugar que es una funcion:
sean gH = hH g 1 h H g 1 x1 xh H xgH = xhH. Ademas, (1, gh)
1gH = gH, y tambien, (xy) (gH) = (xy)gH = x(yg)H = x (y (gH)).
92
CAPITULO 8. G-CONJUNTOS
Determinemos el n
ucleo de :
ker() = {x G | xgH = gH, g G}
= {x G | g 1 xgH = H, g G};
de aqu obtenemos que
x ker() g 1 xg H, g G x gHg 1 , g G,
es decir,
ker() =
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
Sea
G, K H para cada g G, K = gKg 1 gHg 1 K
T K E 1
gG gHg .
La accion determina desde luego una representacion del grupo G en S(G/H) :
: G S(G/H)
(x) 7 x
x : G/H G/H
gH 7 xgH.
Tomando H = {1} la funcion es precisamente el isomorfismo del teorema de
Cayley. Notese que cuando H 6= {1} y ker() = ker() = {1}, G no es tan peque
no
con respecto a S(G/H) como en el teorema de Cayley.
93
8.3.
Grupos transitivos
Se dice que el grupo G actua transitivamente sobre X si G determina en X solamente una orbita, es decir, para cada par de elementos i, j X existe g G tal
que gi = j. Mas generalmente, se dice que G actua k transitivamente sobre X o
tambien que G es un grupo ktransitivo sobre X, si para cualesquiera subconjuntos ordenados de k elementos de X {x1 , . . . , xk }, {y1 , . . . , yk } existe g G tal que
gxi = yi , i = 1, 2, . . . , k. Esto equivale a decir que G actua transitivamente sobre el
conjunto X [k] de subconjuntos ordenados de X de k elementos.
Proposici
on 8.3.1. Si G actua ktransitivamente sobre X, donde k |X|, entonces G actua stransitivamente sobre X para cada s k.
Demostracion. Si s = k entonces no hay nada que probar. Sea s < k y {x1 , . . . , xs }
y {y1 , . . . , ys } subconjuntos ordenados de X de s elementos. Sean {xs+1 , . . . , xk }
X\{x1 , . . . , xs } y {ys+1 , . . . , yk } X\{y1 , . . . , ys }. Consideremos los conjuntos ordenados {x1 , . . . , xs , xs+1 , . . . , xk } y {y1 , . . . , ys , ys+1 , . . . , yk }. Como G es ktransitivo
entonces existe g G tal que gxi = yi , i = 1, . . . , s, s + 1, . . . , k; es decir, G es
stransitivo.
Proposici
on 8.3.2.
94
CAPITULO 8. G-CONJUNTOS
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.
Proposici
on 8.3.3. Sea G Sn y In = {1, 2, , n}. Sup
ongase que G actua
transitivamente sobre In . Sea N (g) el conjunto de puntos de In que quedan fijos bajo
g, g G. Entonces,
(i)
X
|N (g)| = |G|.
gG
i=1
95
Sea Gj el subgrupo estacionario del punto j In . Considerese el producto cartesiano Gj {j}; como antes, para i 6= j se tiene que Gj {j} Gi {i} = .
Evidentemente
"
#
" n
#
[
[
Card ( ) {g} N (g) = Card ( ) Gj {j} ;
i=1
gG
"
Card (
n
[
#
) {g} N (g) =
i=1
|N (g)| =
X
gG
n
X
Card({g} N (g)) =
Card(Gj {j}) =
j=1
gG
n
X
|Gj |.
j=1
|N (g)| =
gG
n
X
|Gj | =
j=1
n
X
j=1
gG1
gG1
la u
ltima igualdad se debe a que cada g G1 , deja fijo un punto mas en In , el 1.
De esto obtenemos que
X
X
X
(g)| = |G1 | + |G1 | = 2|G1 |.
|N (g)| =
1+
|N
gG1
gG1
gG1
Por lo tanto
n X
X
j=1 gGj
96
CAPITULO 8. G-CONJUNTOS
Pero
n X
X
|N (g)| =
j=1 gGj
8.4.
Ejercicios
X
gG
|N (g)|2 .
Captulo 9
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 subgrupo 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
98
1 a b
0 1 c | a, b, c Zp ;
U T3 (, Zp ) :=
0 0 1
U T3 (Zp ) GL3 (Zp ): U T3 (Zp ) 6= ya que E U T3 (Zp );
1 a b
1 a ac b
0 1 c = 0 1
c ,
0 0 1
0 0
1
por u
ltimo, el producto de dos matrices de U T3 (Zp ) es nuevamente una matriz de
este conjunto.
Notese que |U T3 (Zp )| = p3 con lo cual U T3 (Zp ) es un p-subgrupo de GL3 (Zp ), el
cual no es abeliano:
1 1 1
1 0 1
1 0 1
1 1 1
0 1 0 0 1 1 6= 0 1 1 0 1 0 .
0 0 1
0 0 1
0 0 1
0 0 1
Ejemplo 9.1.4. Algunos ejemplos de grupos primarios son Cp , Zpn , U T (3, Zp ).
Ejemplo 9.1.5. Subgrupos de Sylow de Z72 : 2-subgrupos: Z1 , Z2 , Z4 , Z8 ; 2subgrupo de Sylow : Z8 . 3-subgrupos: Z1 , Z3 , Z9 ; 3-subgrupo de Sylow : Z9.
9.1. P -GRUPOS
99
Proposici
on 9.1.6. Sea G un grupo de orden pn , con p primo y n 1. Entonces,
Z (G) 6= 1.
G
Demostracion. Sea G un grupo finito cualquiera y sean xG
1 , . . . , xr , las clases de
equivalencia determinadas por la accion de conjugacion :
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) gxg 1 = x para cada g G xG = {x}
x {x1 , . . . , xq } . El recproco es evidente.
La ecuacion numerica de clases toma la forma
P
|G| = | Z(G)| + ri=q+1 | G : CG (xi )|
Si q = r entonces G es abeliano y as Z(G) = G 6= 1. Sea pues q < r. Notese
que |G : CG (xi )| |pn pni = |G : CG (xi )| con 1 ni < n, q + 1 i r p||Z(G)|
luego Z(G) 6= 1.
Corolario 9.1.7. Todo grupo de orden p2 es abeliano.
Demostracion. El Z(G) es de orden 1, p, p2 . Seg
un la proposicion anterior Z(G) 6= 1.
Supongamos que |Z(G)| = p. Entonces, |G/Z(G)| = p G/Z(G) = hai, a G.
Logicamente a
/ Z(G), ademas, Z(G) CG (a). Ya que a 6 Z(G) |CG (a)| >
p |CG (a)| = p2 CG (a) = G a Z(G), lo cual es contradictorio. Luego,
|Z(G)| = p2 G es abeliano.
Proposici
on 9.1.8. Sean G un grupo y P, Q G tales que:
(i) P es un p-subgrupo de G.
(ii) P y Q son conjugados, es decir, existe x G tal que Q = xP x1 .
(iii) P normaliza Q, es decir, para cada p P , pQp1 = Q.
Entonces P Q es un p-subgrupo de G.
Demostracion. P Q G : sea pq P Q pqp1 Q pq QP P Q QP .
Analogamente, QP P Q y as P Q = QP .
Q E P Q : sean q Q, pq0 P Q 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
100
1 xp N (xp )p = 1 con 0 xp
= 1 |x| | p+ , esto completa la
prueba de la afirmacion.
Proposici
on 9.1.9. Sean G un grupo y H un p-subgrupo de G. Entonces, xHx1
es un p-subgrupo de G para cada x G.
Demostracion. Fue probada en la demostracion anterior.
9.2.
Preliminares
9.2. PRELIMINARES
101
(c) = ( 3 4 )( 1 2 ) H; = (1 2 3 ) An 1 1 = (2 4 )(1
3 ) H. Puesto que n 5 entonces (1 2 5 3 4 ) = (1 4 )(1 3 )(1 5 )(1 2 )
An, de aqu resulta: (1 2 5 3 4 )(2 4 )(1 3 )(1 2 5 3 4 )1 = (1 5 )(2 4 )
H. Hagamos ahora el producto de estas permutaciones (1 5 )(4 2 )(2 4 )(1 3 ) =
(1 3 5 ) H.
Queremos mostrar ahora que la contenencia en H de un ciclo de longitud 3
implica la inclusion en H de todos los 3-ciclos, con lo cual H = An . Sea pues
(1 2 3 ) un ciclo de H. Sea (1 2 3 ) un 3-ciclo cualquiera de An . Puesto que
n 5 entonces An es 3-transitivo; existe entonces An tal que (i ) = i ,
i = 1, 2, 3. Entonces 1 (1 2 3 ) = (1 2 3 ) H.
Antes de probar los tres teoremas de Sylow consideremos algunos hechos elementales de la teora de n
umeros.
Proposici
on 9.2.3. Sea X un conjunto de n elementos. Entonces el n
umero de
subconjuntos diferentes de k elementos de X , 0 k n, es
n
k
=
n!
.
(n k)!k!
102
de X 0 es :
n
+
k
!
k nk
n
k
n +1
1+
=
=
.
n k +1
k
n k +1
k
9.3.
Teoremas
9.3. TEOREMAS
103
subgrupo de orden p esta incluido en un subgrupo de orden p+1 . En particular, los p-subgrupos de Sylow de G existen y son los subgrupos de G de orden
pr , donde pr es la maxima potencia de p que divide al orden de G.
(ii) Conjugacion: todos los p-subgrupos de Sylow son conjugados en G.
(iii) Cantidad: la cantidad de los p-subgrupos de Sylow de G es congruente con 1
modulo p y divide al orden del grupo G.
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 si mismo de la manera trivial
G G G, (g, x) gx,
se induce entonces una accion de G sobre M. Demostraremos en primer lugar que
la accion de G sobre M determina una orbita de s elementos {M1 . . . Ms } tal que
r
pr + 1 no divide a s: sabemos que card(M ) = ppm ; si la longitud de cada una de
las orbitas determinadas en M por el grupo G es divisible por pr + 1 , entonces
pr + 1 divide a card(M ) debido a la ecuacion de clases, pero esto no es posible
seg
un la proposicion 9.2.4.
Sea G1 el sugrupo estacionario de M1 . Queremos demostrar que G1 es de orden
104
|G|
|G| = |C||NG (P )|.
|NG (P )|
9.3. TEOREMAS
105
106
Puesto que P G |NG (P )| = |G| entonces el n
umero de p-subgrupos de Sylow
G
de G divide el orden de G. P actua sobre P mediante la accion de conjugacion
determinado al menos una orbita de un solo elemento: {P }. Supongase que P determina otra orbita de un solo elemento Q, Q 6= P . Entonces se tiene que P y Q con
conjugados, P normaliza Q, P es un p-subgrupo. De aqu obtenemos que P Q es un
p-subgrupo y ademas P es subgrupo propio de P Q. Esto contradice el hecho de que
P es maximal. Por lo tanto, P determina sobre P G solo una
orbita unitaria. Ya que
las longitudes de las orbitas dividen a pr = |P | entonces P G 1 (mod p ).
9.4.
Aplicaciones
Proposici
on 9.4.1. Sea G un grupo finito y sea H un p-subgrupo de Sylow de G.
Entonces, H E G H es u
nico.
Demostracion. ): sea K un p-subgrupo de Sylow K = xHx1 = H H es
u
nico.
): sea x G |xHx1 | = |H| xHx1 es p-subgrupo de Sylow xHx1 =
H, entonces 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 hxi es un p-subgrupo de
G hxi esta contenido en el u
nico 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
Proposici
on 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 (m
od p), p 1 (m
od q) i.
Demostracion. G contiene al menos un subgrupo de Sylow H = hai de orden p y un
sugrupo de Sylow K = hbi de orden q. Sean np y nq el n
umero de tales subgrupos
de Sylow, como p > q entonces np = 1. De aqui se afirma que H E G. Para nq se
tienen entonces dos posibilidades, nq = 1 o nq = p.
Caso 1. En G solo hay un subgrupo de Sylow de orden q. Entonces K E G y
1 1
aba b H K = 1, luego ab = ba G
= Zpq .
107
9.4. APLICACIONES
bn abn = ak , n 0
(9.4.1)
q
ar bl as bm = ar+sk bl+m , r, l, s, m 0.
Proposici
on 9.4.4. Sea p primo impar y G un grupo de orden 2p. Entonces, G
=
Z2p
o G = Dp .
Demostracion. Si G es abeliano entonces G
= Z2p . En caso contrario existen a, b G
1
k
tales que |a| = p, |b| = 2, bab
= a con k 6 1(p), k 2 1(p), p 1(2),
2 k p 1. Supongase que k p 2. Como p|(k 2 1) p|k + 1 o p|k 1. Por la
condicion de k obtenemos una contradiccion. As, k = p 1 bab = ap1 = a1 .
Entonces, G
= Dp .
Corolario 9.4.5. Los grupos de orden 6 son Z6 y D3
= S3 .
Demostracion. Consecuencia directa de la proposicion anterior.
Proposici
on 9.4.6. Los grupos no abelianos de orden 8 son D4 y Q8 .
108
9.4. APLICACIONES
109
110
A4 , D6 = a, b | a6 = 1, b2 = 1, bab1 = a1 , T = a, b | a6 = 1, b2 = a3 , bab1 = a1 .
9.5.
Ejercicios
n!
2
H = An (vease la demostracion
9.5. EJERCICIOS
111
Captulo 10
Grupos abelianos finitos
El objetivo central de este captulo es describir para un entero positivo dado n
todos los grupos abelianos de orden n (salvo isomorfismo). La descripcion se hara en
terminos de p-grupos cclicos, los cuales, como veremos, son indescomponibles. Se
establecera ademas un criterio para la unicidad de dicha descomposicion.
10.1.
Comenzamos probando que todo grupo finito G de orden n = pr11 prkk es suma
directa de sus subgrupos de Sylow si, y solo si, estos son normales. En el caso de ser
G abeliano esta condicion se da automaticamente y podemos enunciar el siguiente
teorema.
Teorema 10.1.1. Sea G un grupo finito de orden n,
|G| = n = pr11 prkk ; p1 , . . . , pk primos diferentes y r1 , . . . , rk 1
Entonces, G es suma directa de sus subgrupos de Sylow si, y s
olo 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 u
nico. Probaremos entonces que (10.1.1) se
cumple. Veremos que cada elemento x G tiene una representacion u
nica en la
forma x = x1 xk , donde xi Pi , 1 i k.
112
113
114
i
con 0 si < pm . Sea |bi | = pi con 1 i m, entonces (bpi )p i = (asi )p i , luego
i , 1 i r. Por lo tanto,
ai i = a hai. De aqu obtenemos que h
ai i = hi i = G
= h
G
ai i h
ar i.
Sea x un elemento cualquiera de G. Entonces x = x1 xr donde xi hai i, 1
i r; xi = ai ki , 0 ki < pmi , xi = aki i x = ak11 akr r x(ak11 akr r )1 =
ak hai x = ak11 akr r ak .
Se ha probado que cada elemento x de G se expresa como producto de elementos
de ha1 i har i y hai. Queda por demostrar que la representacion es u
nica. Para esto
es suficiente demostrar la unicidad de la representacion del elemento identidad 1.
Sea
115
10.2.
Sistemas de invariantes
Seg
un el teorema 10.1.5 cada p-grupo abeliano finito G, |G| = pn , determina un
arreglo ordenado (pm1 , . . . , pmr ) conformada por los ordenes de los subgrupos cclicos
de su descomposicion:
G = G1 Gr , |Gi | = pmi ,
La suma directa se puede reordenar de tal forma que m1 m2 mr 1,
1 r n (se ha incluido el caso trivial cuando G es cclico y r = 1). Seg
un el
m1
teorema 10.1.6, la longuitud r del arreglo as como sus componentes p , . . . , pmr ,
estan determinadas unvocamente por el grupo G. Esta primera observacion permite
dar la siguiente definicion.
Definici
on 10.2.1. Sea G un p grupo abeliano finito, (|G| = pn ).
116
(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 )).
Hemos probado entonces la siguiente proposicion.
Proposici
on 10.2.2. Con sus divisores elementales cada p-grupo abeliano finito
queda determinado unvocamente salvo isomorfismo.
Veamos en un ejemplo la ilustracion de los resultados anteriores.
Ejemplo 10.2.3. Sea p un primo cualquiera y n = 4. Determinemos todos los
posibles grupos abelianos de orden p4 .
Divisores elementales: (p4 ), (p3 , p), (p2 , p2 ), (p2 , p, p), (p, p, p, p). Salvo isomorfismo, u
nicamente se tienen los siguientes grupos distintos de orden p4 :
Zp4 , Zp3 Zp , Zp2 Zp2 , Zp2 Zp Zp , Zp Zp Zp Zp .
El ejemplo anterior permite la siguiente generalizacion:
Definici
on 10.2.4. Sea n un entero positivo. Una sucesi
on de enteros positivos
(m1 , . . . , mr ) con m1 m2 mr 1 y m1 + + mr = n se denomina una
partici
on de n. Sea p(n) el n
umero de particiones de n.
Ejemplo 10.2.5. n = 4: (4), (3, 1), (2, 2), (2, 1, 1), (1, 1, 1, 1) p(4) = 5.
Proposici
on 10.2.6. Sea F la clase de todos los grupos abelianos no isomorfos
de orden pn , n 1, y sea P el conjunto de todas las particiones de n. Existe una
correspondencia biunvoca entre F y P , es decir, el n
umero de grupos abelianos no
n
isomorfos de orden p es finito e igual a p(n).
Demostracion. Seg
un hemos visto, cada elemento G de F determina unvocamente
m1
mr
su tipo (p , . . . , p ) con m1 m2 mr y m1 + + mr = n. Tenemos pues
la funcion
h: F P
h(G) := (m1 , . . . , mr )
117
10.3.
P2 = G21 G2t2 ,
...
, Pk = Gk1 Gktk ,
118
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
119
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 = Z8 Z9 Z4 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.4.
Grupos de orden 15
10.5.
Ejercicios
G = H.
3. Sean G, H grupos abelianos finitos tales que para cada entero positivo m ambos
tienen el mismo n
umero de elementos de orden m. Demuestre que G
= H.
120
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.
11.1.
Centro de un grupo
122
11.2.
Conmutante de un grupo
Ademas del centro, otro de los parametros que permite establecer la distanciade un
grupo a la conmutatividad es su conmutante. Definimos en esta leccion el conmutante
de dos subconjuntos cualesquiera de un grupo.
Definici
on 11.2.1. Sea G un grupo cualquiera y sean a, b elementos de G. Se denomina conmutador de los elementos a y b al elemento [a, b] de G definido por
[a, b] := a1 b1 ab
Se denomina conmutante de G o subgrupo derivado de G al subgrupo generado
por los conmutadores y se denota por G0 o tambien por [G, G]:
G0 = [G, G] := h[a, b] | a G, b Gi.
M
as generalmente, sean L, M G no vacos. Se denomina conmutante mutuo,
o sencillamente conmutante de L y M , al subgrupo
[L, M ] := h[a, b] | a L, b M i.
123
Proposici
on 11.2.2. Sea G un grupo y sean L, M E G. Entonces [L, M ] E G. En
particular, G0 E G.
Demostracion. Cada elemento z de [L, M ] es de la forma z = z1 zk , donde cada
zi , 1 i k, es de la forma [a, b] o [a, b]1 con a L, b M . Sea x un elemento
cualquiera de G. Entonces z x = x1 zx = z1x zkx . Pero
[a, b]x = [ax , bx ] y ax L, bx M
x
1
[a, b]1 = ([a, b]x ) = [ax , bx ]1 .
Se obtiene entonces que z x [L, M ] , es decir, [L, M ] E G.
Proposici
on 11.2.3. Sea G un grupo. G es abeliano G0 = 1.
Demostracion. Evidente.
Proposici
on 11.2.4. Sea G un grupo. Si G0 K G entonces K E G. Adem
as,
0
0
G/G es un grupo abeliano y G est
a contenido en cada subgrupo normal K de G tal
que G/K sea abeliano. En particular, el m
aximo cardinal de G/K, con este u
ltimo
abeliano, es igual a | G : G0 |.
Demostracion. Sea K tal que G0 K G. Sea x G y a un elemento cualquiera
de K. Entonces (x1 ax) a1 G0 K x1 ax K, es decir, K E G. Sean
x, y G. Entonces, x 1 y 1 xy = x1 y 1 xy = 1, es decir, x y = y x y as G/G0 es
abeliano.
Sea ahora K E G tal que G/K es abeliano. Sea z = z1 zk un elemento
cualquiera de G0 . Cada zi es de la forma [a, b] = a1 b1 ab o de la forma [a, b]1 =
[b, a] = b1 a1 ab, donde a, b G. Consideremos la clase de a1 b1 ab en el cociente
1
G/K: a1 b1 ab = a 1 b 1 ab = 1, o sea que (a1 b1 ab) K. De lo anterior se
desprende que z K y en total G0 K. Ademas, | G |=| G : K || K || G : K ||
G0 | | G : G0 || G0 |=| G || G : K || G0 || G : G0 || G : K |.
Consideremos ahora algunas propiedades de los conmutadores y conmutantes.
Proposici
on 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 alg
un k Z x1 ak
Z (G), es decir, existe z Z(G) tal que x1 ak = z 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,
124
125
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.
Proposici
on 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.
(ii) A [A, B] B [A, B] = H.
Demostracion. (i) [A, B] E H : sea y [A, B] y sea x H. Queremos mostrar que
x1 yx H. Notemos que y es de la forma
y = [a1, b1 ]1 [an , bn ]n ,
(11.2.1)
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; seg
un 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 u
ltima igualdad es consecuencia de que A
normaliza [A, B]).
126
11.3.
Cadenas normales
(11.3.1)
127
(11.3.2)
1 = K0 K1 Km = G
(11.3.3)
128
Hi+1 /Hi
= K(i)+1 /K(i) , 0 i n 1.
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
= Z24 /Z12 ; Z24 /Z6
= Z4
= Z4 /0 Z6 /Z2
= Z3
= Z12 /Z4 .
= Z2
Una u
ltima definicion para luego probar los principales resultados de esta seccion.
Definici
on 11.3.6. Sea (11.3.1) una cadena subnormal del grupo G. Se dice que
(11.3.1) es una cadena de composici
on de G si
Hi+1 /Hi es simple para cada 0 i n 1.
Si (11.3.1) es normal se dira entonces que es una cadena principal de G.
Proposici
on 11.3.7. Sea G un grupo con cadena subnormal (normal)
1 = H0 H1 Hn = G.
Sea K G. Entonces
(i) 1 = K0 K1 Kn = K, con Ki = Hi K es una cadena subnormal
(normal) de K. Ademas Ki+1 /Ki , Hi+1 /Hi , 0 i n 1.
(ii) Si K E G entonces
1 = H0 H1 Hn = G/K, con Hi = Hi K/K
es una cadena subnormal (normal) de G/K,. Tambien, la secci
on Hi+1 /Hi es
una imagen homomorfa de Hi+1 /Hi , 0 i n 1.
Demostracion. (i) Sea Hi E Hi+1 y sea Ki = Hi K, con K G. Entonces
Ki E Ki+1 . En efecto, sea x Ki+1 , a Ki , entonces x Hi+1 K y a Hi K,
x1 ax Hi K = Ki (caso subnormal).
Sea Hi E G y sea x K, b Ki = Hi K. Entonces x1 bx Hi K = Ki (caso
Ki+1
Ki+1 Hi
= Ki+1
normal). Evidentemente K0 = 1 y Kn = K. Ahora, KKi+1
Hi =
Hi
i
Hi+1
Hi
129
Hi+1
Hi
Hi+1 K
K
Hi K
K
Hi+1 K
Hi K
Hi+1
Hi (Hi+1 K)
Hi+1
Hi
Hi (Hi+1 K)
Hi
BH
AH
B
.
A(BH)
130
(11.3.4)
1 = K0 K1 K 2 Km = G
(11.3.5)
(11.3.6)
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
Km1,2 Km1,n1 Km = G,
(11.3.7)
131
Kj (Kj+1 Hi+1 )
;
Kj (Kj+1 Hi )
(11.3.8)
el u
ltimo isomorfismo es debido al
J I0
(r, s) rn + s
(m, 0) mn
0r m1
0sn1
En la nueva notacion:
Hi,j = Him+j , Hn,0 = Hnm , 0 i n 1, 0 j m 1;
Kr,s = Krm+s ,Km,0 = Kmn , 0 r m 1, 0 s n 1.
Sea ahora Snm el conjunto de permutaciones del conjunto I0 := {0, 1 . . . , nm 1} .
Entonces la funcion
I0 I0
: k = im + j jn + i, 0 i n 1, 0 j m 1
es tal que Snm y ademas:
Hk+1 /Hk = Him+j+1 /Him+j = Hi,j+1 /Hi,j ,
K(k)+1 /K(k) = Kjn+i+1 /Kjn+i = Kj,i+1 /Kj,i ;
seg
un (11.3.8) Hk+1 /Hk
= K(k)+1 /K(k) , k I0 .
Con esto termina la prueba del teorema para el caso subnormal. Para el caso
normal basta observar que Hi E G, 0 i n y Kj E G, 0 j m, y entonces
Hi,j E G, Kj,i E G.
Teorema 11.3.10 (Teorema de Jordan-H
older). Cualesquiera dos cadenas de
composicion (principales) de un grupo son isomorfas.
132
Demostracion. Sean {Hi } y {Kj } dos series de composicion (principales) del grupo
G. Seg
un 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 composici
on (principal) y
N es un subgrupo normal propio de G, entonces G tiene una cadena de composici
on
(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. Seg
un el
Teorema 1, 1 < N < G tiene un refinamiento subnormal isomorfo a un refinamiento
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.4.
Grupos solubles
Teorema 11.4.1. Sea G un grupo. Entonces las siguientes condiciones son equivalentes:
(i) G posee una cadena subnormal con secciones abelianas.
(ii) La cadena de conmutantes
G G(1) G(2) G(m)
del grupo G se estabiliza en 1 despues de un n
umero finito de pasos, donde
G(k) := [G(k1) , G(k1) ], k 1; G(0) := G.
(iii) G posee una cadena normal con secciones abelianas.
Demostracion. (i) (ii): supongase que
1 = H0 H1 Hn = G
es una cadena subnormal de G con secciones abelianas. Puesto que Hn1 E G y
G/Hn1 es abeliano entonces de acuerdo con la proposicion 11.2.4, G0 Hn1 .
Supongase inductivamente que G(k) Hnk , 1 k n. De nuevo, como Hnk1 E
Hnk y Hnk /Hnk1 es abeliano (Hnk )0 Hnk1 , pero (G(k) )0 (Hnk )0 , luego
G(k+1) Hnk1 . As pues por induccion, G(n) Hnn = 1 G(n) = 1.
(ii) (iii): seg
un la proposicion 11.2.2, G(k) E G, para cada 1 k n.
(iii) (i): evidente.
133
11.5. EJERCICIOS
Definici
on 11.4.2. Un grupo G se dice que es soluble si satisface una cualquiera
de las condiciones del teorema anterior.
Corolario 11.4.3. (i) Si G es soluble entonces cada subgrupo de G es soluble y
cada imagen homomorfica de G es soluble.
(ii) G1 Gn es soluble Gi es soluble, para cada 1 i n.
Demostracion. (i) Es consecuencia directa de la proposicion 11.3.7.
(ii) ): consecuencia (i).
): se k := max{ki }1in , donde ki es el grado de solubilidad de Gi , es decir,
el menor entero positivo k tal que G(k) = 1. Pero [G1 Gn , G1 Gn ] =
[G1 , G1 ] [Gn , Gn ], luego G1 Gn es soluble de grado k.
Ejemplo 11.4.4. (i) Todo grupo abeliano es soluble. El concepto de solubilidad
tiene entonces interes para los grupos no abelianos.
(ii) S3 es soluble: [S3 , S3 ] = A3 , [A3 , A3 ] = 1.
(iii) S4 es soluble: [S4 , S4 ] = A4 , [A4 , A4 ] = V, [V, V ] = 1.
(iv) Sn no es soluble para n 5: [Sn , Sn ] = An , [An , An ] = An .
(iv) [Q8 , Q8 ] = ha2 i , [ha2 i , ha2 i] = 1 Q8 es soluble.
11.5.
Ejercicios
134
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
a5 b
b
ab
a2 b
a3 b
a4 b
a2
a2
a3
a4
a5
1
a
a4 b
a5 b
b
ab
a2 b
a3 b
a3
a3
a4
a5
1
a
a2
a3 b
a4 b
a5 b
b
ab
a2 b
a4
a4
a5
1
a
a2
a3
a2 b
a3 b
a4 b
a5 b
b
ab
a5
a5
1
a
a2
a3
a4
ab
a2 b
a3 b
a4 b
a5 b
b
b
b
ab
a2 b
a3 b
a4 b
a5 b
a3
a4
a5
1
a
a2
ab
ab
a2 b
a3 b
a4 b
a5 b
b
a2
a3
a4
a5
1
a
a2 b
a2 b
a3 b
a4 b
a5 b
b
ab
a
a2
a3
a4
a5
1
a3 b
a3 b
a4 b
a5 b
b
ab
a2 b
1
a
a2
a3
a4
a5
a4 b
a4 b
a5 b
b
ab
a2 b
a3 b
a5
1
a
a2
a3
a4
a5 b
a5 b
b
ab
a2 b
a3 b
a4 b
a4
a5
1
a
a2
a3
Bibliografa
[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.
[4] Hungerford, T.W., Algebra, Springer, 2003.
[5] Kargapolov M.I. and Merzljakov, J. I., Fundamentals of the Theory of
Groups, 2nd ed., translated from the Russian by R. G. Burns, Springer, 1979.
135