Professional Documents
Culture Documents
No. 1
Grupos
Oswaldo Lezama
Departamento de Matematicas
Facultad de Ciencias
Universidad Nacional de Colombia
Sede de Bogota
30 de noviembre de 2016
ii
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
32
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 diedrico Dn , n 3 .
6.5. Subgrupos normales del grupo
6.6. Ejercicios . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . .
. . . . . .
. . . . . .
. . . . . .
Dn , n 3
. . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
53
53
54
55
60
.
.
.
.
.
.
61
61
65
67
70
73
74
.
.
.
.
.
75
75
77
78
80
85
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
103
106
110
.
.
.
.
.
111
. 111
. 114
. 116
. 118
. 118
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
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
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
120
. 120
. 121
. 126
. 132
. 133
134
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. 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.
Los conceptos de homomorfismo e isomorfismo, as como los teoremas correspondientes, son el objeto del captulo 4. Por medio de estos teoremas es posible
caracterizar las imagenes homomorfas de un grupo, y ellos son herramienta clave
para la clasificacion de grupos, en particular, para la clasificacion de grupos finitos.
Los homomorfismos biyectivos de un grupo G en s mismo se conocen como los
automorfismos de G. Estas funciones conforman un grupo que tiene informacion
importante relativa sobre grupo G y seran estudiados en el quinto captulo.
En el captulo 6 estudiaremos con alg
un detalle al grupo simetrico Sn . Destacaremos en Sn el subgrupo alternante An y describiremos el grupo diedrico de grado n,
Dn , por medio de permutaciones. El objetivo del captulo 7 es presentar la 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 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 cualesquiera 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 tambien por el lado 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 7 (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 Mnm (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. Supongamos 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}. Observemos 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 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 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 : (A, ) (B, ) un homomorfismo sobreyectivo. Definimos en A la
relacion como sigue:
20
21
1.6. EJERCICIOS
Z4 = {0, 1, 2, 3}
+
0
1
2
3
0
0
1
2
3
1
1
2
3
0
2
2
3
0
1
3
3
0
1
2
V = {e, a, b, c}
.
e
a
b
c
e
e
a
b
c
a
a
e
c
b
b
b
c
e
a
c
c
b
a
e
d
0
1
.
..
D := diag(d1 , . . . , dn ) :=
| d1 , . . . , dn R .
0
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,
22
(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.
(ii) Sea
Dn (R) := {diag(d1 , . . . , dn ) Mn (R) | d1 dn 6= 0}.
Demuestre que Dn (R) GLn (R). Dn (R) se conoce como el grupo de
matrices diagonales de orden n sobre R.
(iii) Sea
f11 f1n
.
.
.
.
Tn (R) :=
.
. Mn (R) | f11 fnn 6= 0, fij = 0 si i > j .
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 .
1.6. EJERCICIOS
23
Demuestre que:
(i) GLn (R) se puede generar por matrices elementales. Mejor a
un, demuestre
que
GLn (R) = hTij (a), Dn (d)|1 i, j n, i 6= j, a R, 0 6= d Ri.
(ii) SLn (R) = hTij (a)|1 i, j n, i 6= j, a Ri.
(iii) Dn (R) = hDi (di )|0 6= di R, 1 i ni.
(iv) Tn (R) = hTij (a), Di (di )|j > i, a R, 0 6= di , 1 i, j ni.
(iv) U Tn (R) = hTij (a)|j > i, a R, 1 i, j ni.
(v) U Tnm (R) = hTij (a)|j i m, a R, 1 i, j ni.
Captulo 2
Grupos cclicos
Una rama destacada dentro de la teora de grupos la constituyen los llamados grupos
abelianos. Quiza los grupos abelianos mas importantes son los llamados grupos 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 2kn y por tanto k = k 0 .
nn =
o
2k
2k
i 2k
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
comprobemos que Un es cclico y generado por z1 = ei n = cos 2
+ i sin 2
. Sea
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
m
pn
Q | m, n Z
m1 .pn2 + m2 .pn1
pn1 + n2
m
m
pn = pn Qp .
m2
pn2
Qp ,
m
pn
= 0, es decir,
km
pn
= 0,
{1} = Cp0
S
Cp = k 0 Cpk
Cp Cp2 Cp3 Cpn Cpn+1
2.4. PROPIEDADES
29
2.4.
Propiedades
Las siguientes afirmaciones son validas para grupos cclicos cualesquiera. Especialmente importante es la afirmacion (iv).
Proposici
on 2.4.1.
30
2.5.
Generadores
Teorema 2.5.1. (i) Sea G un grupo cclico finito de orden n con generador a.
Entonces, x G es generador de G x = ar , donde m.c.d.(n, r) = 1.
(ii) Sea G un grupo cclico con generador a y sea H 6= {1} un subgrupo de G.
Entonces H = has i , donde s es el menor entero positivo tal que as H.
Ademas, si G es de orden finito n entonces |H| = nd , d = m.c.d.(n, s).
(iii) Sea G un grupo cclico de orden finito n y sea t Z+ tal que t | n. Entonces
G contiene exactamente un subgrupo de orden t.
Demostracion. (i) ): Sea x un generador de G = hai . Entonces existe un r Z
tal que x = ar y hxi = har i = hai . De aqu obtenemos que a har i , es decir, existe
2.5. GENERADORES
31
unsubgrupo
de orden r. Ahora, cada subgrupo H es cclico y de la forma H = s 1 = h s i ,
donde |H| = r = 24
, con d = m.c.d.(24,
pues:
d
s).
Obtenemos
24
= 2, entonces d = 12 = s;
12
d
=
0, 12
24
=
3,
entonces
d
=
8
=
s;
8
=
d
0, 8, 16
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
32
24
d
24
d
= 8, entonces d = 3 = s;
3 = 0, 3, 6, 9, 12, 15, 18, 21
= 12, entonces d = 2 = s; 2 = 0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22 .
2.6.
Ejercicios
2.6. EJERCICIOS
33
(1+i)
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 ejemplos hemos incluido 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 tal que H K. Entonces, H E K.
(vi) Sea L G tal que |G : L| = 2, entonces L E G.
(vii) La relacion de normalidad no es en general transitiva.
Demostracion. Las cinco primeras afirmaciones son casi evidentes. Veamos
Sla prueba
de (vi): G queda dividido en solo dos clases laterales izquierdas: G = L (G L).
Sea x G, h L; consideremos las siguientes cuatro posibilidades:
a) x1 h L, x1 L x1 hx L
b) x1 h L, x1
/ L, imposible
1
1
c) x h
/ L, x L, imposible
d) x1 h
/ L, x1
/ L x1 h x1 x1 hx L L E G.
(vii) Esto se ilustra en el siguiente ejemplo.
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 antihorario a
traves de los angulos 2k
, k = 0, 1, 2, 3; cuatro reflexiones a traves de cuatro ejes de
4
simetra X, Y, 13, 24. Este conjunto posee estructura de grupo bajo la operacion de
composicion. Notese que cada simetra permuta los vertices 1, 2, 3, 4; por lo tanto
el grupo D4 puede ser visto 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
= f g.
= f 3 g.
1 2 3 4
3 2 1 4
= f 2 g.
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
2
2 1
2
2
subgrupo normal de S3 ya que f f g (f ) = f f gf = gf = f g
/ hf gi; hf 2 gi no
2
1
2
2
es subgrupo normal de S3 ya que f f gf = gf = f g
/ hf gi .
S3 no tiene subgrupos normales de orden 2,
1, hf i, S3 son los subgrupos normales de S3 .
De aqu obtenemos que las imagenes homomorfas de S3 (salvo isomorfismo) son
S3 /1 = S3 , S3 / hf i
= Z2 ya que |S3 / hf i| = 63 = 2 ; S3 /S3
= Z1 (grupo unitario).
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 entonces j(x) = (x) por lo tanto (j(x)) = (
x) = (1) = 1 = (x), es
decir, x ker() y de esta manera H ker().
): Supongamos que H E G tal que H ker(). Definimos
: G/H G0 , (
x) := (x), x = xH, x G .
esta bien definida : x = y entonces x1 y H luego x1 y ker(), es decir,
(x1 y) = 1, con lo cual (x)1 (y) = 1 y as (x) = (y); esto indica que (
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 = , entonces
j(x) = (
x) = (x) = (
x), luego = .
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 mediante 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] implica xy 1 A luego xy 1 A/H, es decir,
x y 1 A/H, con lo cual [x] = [y] y as F ([x]) = F ([y]).
F es inyectiva: F ([x]) = F ([y]) implica [x] = [y], de donde x y 1 A/H por lo
tanto xy 1 A y de esta manera [x] = [y]. F es obviamente sobreyectiva.
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, ya que K E G se tiene
que hk = (hkh1 )h KH; as pues, HK KH. Sea ahora kh KH; entonces
kh = h(h1 kh) HK KH HK y en consecuencia HK = KH. Esto garantiza
que HK es un subgrupo de G. Como K E G entonces K E HK y tiene sentido el
grupo factor HK/K. Definimos la funcion
f : H HK/K
h 7 hK.
Probemos que f es un homomorfismo sobreyectivo con 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 )
entonces f (x) = xK = 1K, es decir, x K con lo cual x H K. Esto establece
que ker(f ) = H K y el teorema esta demostrado.
Ejemplo 4.4.3. (i) Calculemos las imagenes homomorfas de Zn , n 0. Para n = 0,
Z0 = Z, 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
decir, los u
nicos subgrupos normales de G/H son los triviales. Sea ahora K G,
49
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 luego K/H = H/H o
K/H = G/H por lo tanto K = H o K = G, con lo cual H es maximal normal.
(iii) Calculemos las imagenes homomorfas 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
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
2
es descartada ya que en D4 / hf i no hay elementos de orden 4: en efecto, en D4
todos los elementos salvo 1, f 2 , f 3 son de orden 2. Ademas, para estos 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
a = 1, a3 = 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
i C, i2 = 1, A4 = E, B 2 = A2 , BAB 1 = A1 .
52
4.5.
Ejercicios
Captulo 5
Automorfismos
Los homomorfismos biyectivos de un grupo G en s mismo se conocen como los
automorfismos de G. Estas funciones conforman un grupo que tiene informacion
importante relativa 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
n!
superior n para el n
umero de grupos finitos no isomorfos de orden 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) por lo tanto 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)) luego
%xy = %x %y = (x)(y). es inyectiva: (x) = (y), entonces, x1 = y1, es decir,
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, en el primer caso f (k) = k y en el segundo f (k) = k,
para cada k, por lo tanto Aut(Z)
= Z2 .
(ii) Grupo cclico finito de orden n, Zn : recordemos que el grupo Zn se obtuvo a
partir de Z por medio de una relacion de equivalencia
a b n|(a b), a, b Z.
En otras palabras Zn es el grupo cociente Z/ hni. En Zn se puede definir un producto
y convertirlo as en un semigrupo multiplicativo:
r s = rs, para 0 r, s < n.
Es sencillo verificar que el producto esta correctamente definido. Ademas, este
producto es asociativo con elemento neutro 1, luego se tiene el monoide Zn , , 1 . Asociado a todo monoide se tiene su grupo de elementos invertibles Zn . Notese que
Zn = {r| (r, n) = 1, 1 r < n}.
En efecto,
r Zn s Zn tal que r s = 1 rs = 1 n| (rs 1) rs 1 = nk con
k Z (r, n) = 1.
Con la observacion anterior queremos probar que Aut(Zn )
= Zn .
Sea h : Zn Zn un automorfismo de Zn . Como 1 genera a Zn entonces h(1) es
un generador de Zn . As pues, tenemos tantos automorfismos como generadores tiene
Zn . Pero notese que r genera Zn si, y solo si, m.c.d.(r, n) = 1. Podemos entonces
definir
56
CAPITULO 5. AUTOMORFISMOS
: Aut (Zn )
h
7
Zn
(h) = r
donde r = h 1 .
es un homomorfismo: sean f y h automorfismos
de Zn tales quef 1 = r,
h 1 = s. Notese que (h f ) = (h f ) 1 = h f 1 = h (r) = h r1 = rh 1
= rs = rs1 = rs = sr = sr = (h) (f ).
es inyectiva: sea h Aut (Zn ) con (h) = 1 entonces h 1 = 1 y h (r) = r
para cada 0 r < n por lo tanto h = iZn .
es sobre: sea r Zn y sea h definido por h (s) := sr. Notese que h 1 = r y
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 luego |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:
b ab
iG : 11 aa bb ab
,
f = 11 ab ab
ab
a
g : 11 aa bab abb ,
f 2 = 11 aab ba abb
f g = 11 ab ab ab
,
f 2 g = 11 aab bb aba .
ab
Entonces, Aut (V )
= S3 .
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 diedrico Dn . Seg
un se vera alla |D4 | = 4 (4) = 8; Int (D4 )
= V y ademas
D4
7
f (f 0 g) = f g
T1,0 = iD4
D4
D4
f g
7 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
f2
D4
f g
f3
fg
f 2g
f 3g
D4
f (f 2 g)
57
5.3. EJEMPLOS
T1,2 = 11
T1,3 :
f2
f2
f
f
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
f3
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
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
f 2g
f 3g
f 3g
f 2g
f 3g
f 3g
g f g f 2g f 3g
f 3g f 2g f g g
po
= f (1) , (po , qo ) = 1. Entonces
qo
p
f (p/q) = pf (1/q) qf (p/q) = pf (1) luego f (p/q) = f (1). Lo anterior permite
q
establecer la funcion
Ejemplo 5.3.6. Aut (Q): sea f Aut (Q) y sea
: Aut(Q)
f
7
Q
f (1).
Q
p
7
q
Q
p p0
.
q q0
p0
p0
, es decir, (f ) = . Veamos que f Aut(Q):
q0
q0
58
CAPITULO 5. AUTOMORFISMOS
f
ps + qr
ps + qr p0
p r
+
=f
=
q s
qs
qs
q0
p
p p0 r p0
r
=
+
=f
+f
;
q q0 s q0
q
s
p
p p0
p
si f
= 0 entonces
= 0, entonces p = 0 luego = 0.
q
q q
q
0
r q0
r
r
Sea Q; entonces f
= , es decir, f es sobre, luego Aut (Q)
= Q .
s
s p0
s
Ejemplo 5.3.7. Calculamos en este ejemplo Aut (Q8 ). Sea F : Q8 Q8 un automorfismo de Q8 . Puesto que en Q8 = ha, b | a4 = 1, b2 = a2 , ba = a1 bi el u
nico ele2
2
2
mento de orden 2 es a , entonces F (a ) = a , ademas, F (1) = 1, luego F realmente
permuta los 6 elementos restantes, a saber: a, a3 , b, ab, a2 b, a3 b. Esto parece mostrar
una relacion de Aut(Q8 ) con el grupo de permutaciones S4 . En realidad se vera que
Aut (Q8 )
= S4 . Cada F viene determinado por su accion sobre los generadores a, b.
Puesto que tanto a como b son de orden 4, entonces F (a) = a, a3 , b, ab, a2 b, a3 b y
F (b) = a, a3 , b, ab, a2 b, a3 b. Esto genera 36 posibilidades, de las cuales solo 24 corresponden a funciones biyectivas:
F (a) = a
F (a) = a
F1 (a) = a
F2 (a) = a
F3 (a) = a
F4 (a) = a
F (a) = a3
F (a) = a3
F5 (a) = a3
F6 (a) = a3
F7 (a) = a3
F8 (a) = a3
F9 (a) = b
F10 (a) = b
F (a) = b
F11 (a) = b
F (a) = b
F12 (a) = b
F13 (a) = ab
F14 (a) = ab
F15 (a) = ab
F (a) = ab
F16 (a) = ab
F (a) = ab
F17 (a) = a2 b
F18 (a) = a2 b
F (a) = a2 b
F19 (a) = a2 b
F (a) = a2 b
F20 (a) = a2 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
F (b) = a
F (b) = a3
F1 (b) = b
F2 (b) = ab
F3 (b) = a2 b
F4 (b) = a3 b
F (b) = a
F (b) = a3
F5 (b) = b
F6 (b) = ab
F7 (b) = a2 b
F8 (b) = a3 b
F9 (b) = a
F10 (b) = a3
F (b) = b
F11 (b) = ab
F (b) = a2 b
F12 (b) = a3 b
F13 (b) = a
F14 (b) = a3
F15 (b) = b
F (b) = ab
F16 (b) = a2 b
F (b) = a3 b
F17 (b) = a
F18 (b) = a3
F (b) = b
F19 (b) = ab
F (b) = a2 b
F20 (b) = a3 b
F21 (b) = a
F22 (b) = a3
F23 (b) = b
F (b) = ab
F24 (b) = a2 b
F (b) = a3 b
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 .
5.3. EJEMPLOS
59
Solo revisamos la funcion F24 , las otras 22 se revisan de manera similar (notese
que la funcion F1 corresponde a la identica). Cada elemento de Q8 es de la forma
ar bs , donde 0 r 3, 0 s 1. Se debe entonces demostrar que F24 (ar bs ap bq ) =
F24 (ar bs )F24 (ap bq ). Consideremos dos casos:
(i) s = 0. Entonces, F24 (ar bs ap bq ) = F24 (ar ap bq ) = F24 (ar+p bq ). Si q = 0, entonces
F24 (ar bs ap bq ) = F24 (ar+p ). Debemos entonces considerar 16 posibilidades, pero en
vista de la simetra de la situacion, basta tener en cuenta solo los siguientes 10 casos:
r = 0, p = 0 F24 (ar bs ap bq ) = 1, F24 (ar bs )F24 (ap bq ) = 1;
r = 0, p = 1 F24 (ar bs ap bq ) = a3 b, F24 (ar bs )F24 (ap bq ) = a3 b;
r = 0, p = 2 F24 (ar bs ap bq ) = a2 , F24 (ar bs )F24 (ap bq ) = a2 ;
r = 0, p = 3 F24 (ar bs ap bq ) = ab, F24 (ar bs )F24 (ap bq ) = ab;
r = 1, p = 1 F24 (ar bs ap bq ) = a2 , F24 (ar bs )F24 (ap bq ) = aa = a2 ;
r = 1, p = 2 F24 (ar bs ap bq ) = ab, F24 (ar bs )F24 (ap bq ) = a3 ba2 = ab;
r = 1, p = 3 F24 (ar bs ap bq ) = 1, F24 (ar bs )F24 (ap bq ) = a3 bab = 1;
r = 2, p = 2 F24 (ar bs ap bq ) = 1, F24 (ar bs )F24 (ap bq ) = a2 a2 = 1;
r = 2, p = 3 F24 (ar bs ap bq ) = a3 b, F24 (ar bs )F24 (ap bq ) = a2 ab = a3 b;
r = 3, p = 3 F24 (ar bs ap bq ) = a2 , F24 (ar bs )F24 (ap bq ) = abab = a2 .
Para q = 1 entonces F24 (ar bs ap bq ) = F24 (ar+p b), se presentan entonces 16 posibilidades:
r = 0, p = 0 F24 (ar bs ap bq ) = a2 b, F24 (ar bs )F24 (ap bq ) = a2 b;
r = 0, p = 1 F24 (ar bs ap bq ) = a3 , F24 (ar bs )F24 (ap bq ) = a3 ;
r = 0, p = 2 F24 (ar bs ap bq ) = b, F24 (ar bs )F24 (ap bq ) = b;
r = 0, p = 3 F24 (ar bs ap bq ) = a, F24 (ar bs )F24 (ap bq ) = a;
r = 1, p = 0 F24 (ar bs ap bq ) = a3 , F24 (ar bs )F24 (ap bq ) = a3 ba2 b = a3 ;
r = 1, p = 1 F24 (ar bs ap bq ) = b, F24 (ar bs )F24 (ap bq ) = a3 ba3 = b;
r = 1, p = 2 F24 (ar bs ap bq ) = a, F24 (ar bs )F24 (ap bq ) = a3 bb = a;
r = 1, p = 3 F24 (ar bs ap bq ) = a2 b, F24 (ar bs )F24 (ap bq ) = a3 ba = a2 b;
r = 2, p = 0 F24 (ar bs ap bq ) = b, F24 (ar bs )F24 (ap bq ) = a2 a2 b = b;
r = 2, p = 1 F24 (ar bs ap bq ) = a, F24 (ar bs )F24 (ap bq ) = a2 a3 = a;
r = 2, p = 2 F24 (ar bs ap bq ) = a2 b, F24 (ar bs )F24 (ap bq ) = a2 b;
r = 2, p = 3 F24 (ar bs ap bq ) = a3 , F24 (ar bs )F24 (ap bq ) = a2 a = a3 ;
r = 3, p = 0 F24 (ar bs ap bq ) = a, F24 (ar bs )F24 (ap bq ) = aba2 b = a;
r = 3, p = 1 F24 (ar bs ap bq ) = a2 b, F24 (ar bs )F24 (ap bq ) = aba3 = a2 b;
r = 3, p = 2 F24 (ar bs ap bq ) = a3 , F24 (ar bs )F24 (ap bq ) = abb = a3 ;
r = 3, p = 3 F24 (ar bs ap bq ) = b, F24 (ar bs )F24 (ap bq ) = aba = b.
(ii) s = 1. Entonces, F24 (ar bs ap bq ) = F24 (ar+3p bq+1 ). Al igual que en el caso (i) se
debe considerar por separado cuando q = 0 y cuando q = 1. Revisemos en calidad
de ilustracion el caso r = 3, p = 3, q = 1: F24 (ar bs ap bq ) = F24 (a12 b2 ) = F24 (a2 ) =
a2 , F24 (ar bs )F24 (ap bq ) = aa = a2 .
60
5.4.
CAPITULO 5. AUTOMORFISMOS
Ejercicios
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 diedrico 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 luego g(f (x)) = f (x); g(x) = x implica
f (g(x)) = f (x) y f g(x) = gf (x).
(ii) x B: es analogo al anterior.
(iii) x
/Ayx
/ B entonces f (x) = x, g(x) = x de donde 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
Ahora, si x
/ {a1 , . . . , ak } entonces g(x) = x, luego f1 g(x) = f1 (x) = f (x).
Puesto que f1 fija los elementos a1 , . . . , ak entonces f1 puede considerarse como
una permutacion del conjunto In {a1 , . . . , ak }. Por la hipotesis de induccion f1 es
producto de ciclos disyuntos conformados por los elementos de In {a1 , . . . , ak }. En
total f es producto de ciclos disyuntos conformados por los elementos de In . Esto
completa la prueba de la primera afirmacion del teorema.
Probemos ahora la unicidad de la descomposicion: sean
f = (a11 a12 a1k1 )(a21 a22 a2k2 ) (ar1 ar2 arkr )
= (b11 b12 b1m1 )(b21 b22 b2m2 ) (bs1 bs2 bsms )
dos descomposiciones de f en producto de ciclos disyuntos. Notese que 1 r
n, 1 s n. Estamos considerando que los elementos de In que permanezcan fijos
bajo f conforman ciclos de longitud 1, es decir,
1 ki n, 1 i r; 1 mj n, 1 i s.
En otras palabras, estamos considerando que
In = {a11 , a12 , . . . , a1k1 ; . . . ; ar1 , ar2 , . . . , arkr }
= {b11 , b12 , . . . , b1m1 ; . . . ; bs1 , bs2 , . . . , bsms }.
El elemento a11 debe aparecer en alguno de los ciclos de la segunda descomposicion.
Por la conmutatividad de los factores podemos asumir que a11 {b11 , b12 , . . . , b1m1 }.
Reordenando el ciclo (b11 b12 b1m1 ) podemos considerar sin perdida de generalidad que a11 = b11 . Seg
un el teorema 6.1.3, k1 es el menor entero positivo tal que
k1
f (a11 ) = a11 . Se obtiene pues que k1 = m1 y ademas
f (b11 ) = b12 = f (a11 ) = a12 ; f (b12 ) = b13 = f (a12 ) = a13 ; . . . ;
f (b1m1 1 ) = b1m1 = f (a1k1 1 ) = a1k1 ; f (b1m1 ) = b11 = f (a1k1 ) = a11 ,
es decir, (a11 a12 a1k1 ) = (b11 b12 b1m1 ). El mismo analisis podemos aplicar a
a21 , a31 , . . . , ar1 demostrando que r s y la igualdad de ciclos. En forma similar
s r, lo cual concluye la prueba del teorema.
Ejemplo 6.1.5.
f=
1 2 3 4 5 6 7 8 9
2 5 3 1 7 6 9 8 4
f = (125794)(3)(6) = (125794);
1 2 3 4 5 6 7 8 9
g=
3 6 4 1 2 5 8 7 9
g = (134)(265)(78)(9) = (265)(134)(78) = (78)(134)(265) = (134)(78)(265) =
(78)(265)(134) = (265)(78)(134).
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 cualquiera 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 di
edrico Dn, n 3
6.4. EL GRUPO DIEDRICO
DN , N 3
71
Este conjunto de 2n movimientos constituye un grupo bajo la operacion de composicion de movimientos, y se denomina el grupo di
edrico de grado n el cual se
denota por Dn .
El grupo diedrico Dn como subgrupo de Sn : sea R1 la rotacion a traves del angulo
. Esta rotacion corresponde a la permutacion de los vertices dada por
:= 2
n
f=
1 2 3 n
2 3 4 1
= (123 n).
k
n 1 n
g=
.
1 n n 1 n k + 2
3
2
Notese que R10 tiene orden 2: (R10 )2 = R0 , g 2 = 1. Por u
ltimo, notese que f g es de
orden 2, de donde (f g)2 = 1, luego
gf g = f 1 .
Generadores y relaciones del grupo diedrico: consideremos la rotacion y reflexion anteriores las cuales podemos identificar con las permutaciones f y g, respectivamente.
Desde luego que hf, gi Dn . Si probamos que |hf, gi| = 2n entonces tendramos
que
Dn = hf, gi, con f n = 1, g 2 = 1, gf g = f 1 .
(6.4.1)
Sea x hf, gi, entonces x tiene la forma
x = f k1 g l1 f k2 g l2 f km g lm , ki , li Z, 1 i m.
Puesto que f es un elemento de orden n y g un elemento de orden 2 podemos
considerar que
x = f k1 g l1 f k2 g l2 f km g lm , con 0 ki n 1, 0 li 1, 1 i m.
Como gf = f 1 g, entonces cada elemento x hf, gi tiene la forma x = f k g l , con
0 k n 1, 0 l 1. Resultan 2n elementos. Comprobemos que ellos son
diferentes. Sean 0 k, r n 1 y 0 l, s 1 tales que f k g l = f r g s entonces
f rk = g sl hf i hgi = 1 (de lo contrario g = f k , con 1 k n 1, luego
gf = f k+1 = f 1 g, y de esta forma f k+2 = g = f k , es decir, f 2 = 1, lo cual es
72
falso). En consecuencia, n|(r k). Siendo r y k con las condiciones dadas solo puede
tenerse que r = k, y de esto resulta tambien que l = s.
De lo anterior obtenemos que
Dn = {1, f, f 2 , . . . , f n1 , g, f g, . . . , f n1 g}.
(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.
Representacion matricial del grupo diedrico: consideremos en GL2 (R) las matrices
cos sin
A :=
,
sin cos
1 0
B :=
,
0 1
con :=
2
.
n
es decir BAB = A1 . Esto indica que hA, Bi es isomorfo al grupo diedrico. La matriz
A representa la rotacion del sistema de coordenadas xy a traves de de un angulo
; la matriz B representa una reflexion de dicho sistema.
= 2
n
Regla de multiplicacion en el grupo diedrico: notese que en Dn se tiene la siguiente
regla de multiplicacion:
k+k0 m+m0
f
g
, si m = 0
k m
k0 m0
(f g )(f g ) =
0
0
f kk g m+m , si m = 1.
Ejemplo 6.4.1. Algunos subgrupos de Dn . A partir de los generadores y las relaciones que definen Dn podemos presentar inmediatamente los siguientes subgrupos:
de orden 1 el trivial 1 := {1}; de orde 2n el trivial Dn ; de orden n tenemos al menos
73
f f 2 = f 2 f,
gf 2 = f 2 g = f 2 g.
6.5.
74
n
1, 0 l 1} =< f 2 , g >
= D n2 .
2
6.6.
Ejercicios
Dn ,
D n2 ,
si n es impar
si n es par.
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}
Qn
el producto cartesiano conjuntista de
la
familia
dada.
Se
pretende
definir
en
i=1 Gi
Q
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 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 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 1 := (1, . . . , 1) es el
elemento neutro del producto cartesiano. Ademas, si x1
denota el inverso de xi en
i
1
1
Gi entonces el inverso de x = (x1 , . . . , xn ) es x = (x1 , . . . , x1
n ).
75
76
Observaci
on 7.1.2. Si los grupos Gi , 1 i n, presentan notacion aditiva, entonces la operacion se denota por
(x1 , . . . , xn ) + (x01 , . . . , x0n ) = (x1 + x01 , . . . , xn + x0n ).
En este caso el neutro y los opuestos toman la forma
0 := (0, . . . , 0), (x1 , . . . , xn ) = (x1 , . . . , xn ) = x.
Ejemplo 7.1.3. (i) Sean G1 = Z2 y G2 = Z3 . Entonces los elementos de Z2 Z3
son
Z2 Z3 = {(0, 0), (0, 1), (0, 2), (1, 0), (1, 1), (1, 2)}.
Notese que |Z2 Z3 | = 6 = 2 3 = |Z2 | . |Z3 |. Mas a
un, Z6
= Z2 Z3 : Z2 Z3
es un grupo cclico con generador (1, 1): 1 (1, 1) = (1, 1) ; 2 (1, 1) = (0, 2); 3 (1, 1) =
(1, 0) ; 4 (1, 1) = (0, 1); 5 (1, 1) = (1, 2) ; 6 (1, 1) = (0, 0).
(ii) Sean G1 = G2 = Z2 . Entonces los elementos de Z2 Z2 son
Z2 Z2 = {(0, 0) , (0, 1) , (1, 0) , (1, 1)}.
Observemos que |Z2 Z2 | = 4 pero Z2 Z2 no es isomorfo a Z4 :
|(0, 0)| = 1, |(0, 1)| = |(1, 0)| = |(1, 1)| = 2, luego Z2 Z2 no es cclico, por lo
tanto, Z2 Z2 no es isomorfo a Z4 , y entonces Z2 Z2
= V.
Algunas propiedades del producto cartesiano se presentan a continuacion.
Proposici
on 7.1.4. Sea {Gi }ni=1 una familia de grupos arbitrarios. Entonces:
(i) G1 G2
= G2 G1 .
(ii) G1 Gn
= G(1) G(n) , para cada Sn .
(iii) G1 G2 G3
= G1 (G2 G3 )
= (G1 G2 ) G3 .
(iv) El producto cartesiano tiene la propiedad asociativa generalizada.
(v) G1 Gn es abeliano para cada i, 1 i n, Gi es abeliano.
Demostracion. Todas las afirmaciones se obtienen en forma inmediata de la definicion de producto cartesiano.
Proposici
on 7.1.5. Sea {Gi }ni=1 una familia de grupos finitos. Entonces:
|G1 Gn | = |G1 | |Gn |.
Adem
as,
77
n
(i) Sea
Qn {Gi }i=1 una familia finita de grupos arbitrarios y sea x = (x1 , . . . , xn )
i=1 Gi tal que xi es de orden finito para cada 1 i n, entonces |x| =
m.c.m. {|xi |}ni=1 .
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.
7.2.
Q
Sea {Gi }iI una familia cualquiera de grupos. Sea iI Gi el producto cartesiano
de los conjuntos de la familia dada, es decir,
Q
S
iI Gi := {x : I
iI 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
78
Gi Gj , j [(xi )] := xj .
El producto cartesiano junto con sus proyecciones esta caracterizado por la siguiente
propiedad universal.
Q
Teorema
7.2.1.
Sean
{G
}
una
familia
de
grupos,
i
iI
iI Gi su producto cartesiano
Q
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.
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
iI
Gi := {x = (xi )
Gi | x es de soporte finito}.
79
80
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 .
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 i+1
1
0 0
0
entonces tendremos que x = x1 x2 , con x1 := x1 xi xi+1 (xi i )1 H1 y x02 :=
i+2
xi i xi+2
xt t 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 = H1 Hn1 , 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 .
81
La normalidad
ltima afirmacion de la proposicion es
Sn se acabaSnde probar; la u
evidente ya que i=1 Hi = i=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
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 diedrico de grado 4, D4 :
Los subgrupos normales de D4 son 1, D4 , hf i , hf 2 i , K4 = {1, f 2 , g, f 2 g}, H4 =
{1, f 2 , f g, f 3 g}. Si D4 es suma directa de dos de sus subgrupos normales entonces
se presentan las siguientes posibilidades:
G = 1 D4 , hf i hf 2 i ,
hf 2 i K4 , hf 2 i H4 .
83
84
(f r g s f p g q ) = (f rp g s+q ) = f kr f kp g s g q = f kr g s f kp g q ,
es decir, (f r g s f p g q ) = (f r g s )(f p g q ). Teniendo en cuenta que hf i hgi = 1,
entonces es claramente inyectiva y por lo tanto biyectiva. Entonces es la
preimagen buscada ya que (f ) = f k y G por ser (g) = g.
7. |F | = n. Sea F , seg
un la parte b) (g) debe ser un elemento de B, digamos,
k
(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
g f = f r+ks g s f p+kq g q = (f r g s )(f p g q ).
r+ks s p
7.5. EJERCICIOS
85
9. 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.
10. Sea G un grupo con M y N subgrupos de G tal que M es normal en G. Si
M N = {1} y M N = G, G es isomorfo al producto semidirecto de M y N
mediante el homomorfismo : N Aut(M ) dado por: (n)(m) = nmn1 .
En efecto, como G = M N , entonces todo elemento g G se puede escribir en la forma g = mn, m M , n N y de manera u
nica ya que
M N = {1}. Definimos f : G M N , de la siguiente manera: f (g) :=
f (mn) = (m, n); f esta bien definida y es obviamente biyectiva. Veamos que
f es un homomorfismo: sea g1 = m1 n1 , g2 = m2 n2 elementos de G, entonces g1 g2 = (m1 n1 )(m2 n2 ) = m1 (n1 m2 n1
1 )n1 n2 = m1 (n1 )(m2 )n1 n2 , donde
m1 (n1 )m2 M y n1 n2 N . As pues, f (g1 g2 ) = f (m1 (n1 )(m2 )n1 n2 ) =
(m1 (n1 )(m2 ), n1 n2 ) = (m1 , n1 ) (m2 , n2 ) = f (g1 ) f (g2 ).
11. De los puntos anteriores tenemos que Aut(Dn )
= F G, mediante el homomorfismo : G Aut(F ) dado por (y)(x) = y x y 1 .
12. Una u
ltima observacion. De manera mas sencilla se define la suma semidirecta interna de dos subgrupos de un grupo de la siguiente forma: sea G
un grupo y M, N subgrupos de G. Se dice que G es suma semidirecta interna
de M y N (en ese orden) si: M es normal en G, M N = {1} y G = M N . Uno
podra entonces obviar los pasos i), j) y k) y decir simplemente que Aut(Dn )
es la suma semidirecta interna de F y G.
7.5.
Ejercicios
86
4. Sean G y H grupos finitos cuyos ordenes son primos relativos. Pruebe que
Aut (G H)
= Aut (G) Aut (H).
5. Es cierto que la u
nica descomposicion de Q8 es la trivial: Q8 = 1 Q8 ?
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 (vease [9]). 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 act
ua 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. Si el grupo G act
ua sobre el conjunto X, entonces 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
on de clases).
|G : Gxi | (Ecuaci
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, entonces g 1 h H, luego g 1 x1 xh H, es decir, xgH = xhH.
Ademas, (1, gh) 7 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
93
8.3.
Grupos transitivos
(i) Sn act
ua ntransitivamente sobre In = {1, 2, , n}.
(ii) An act
ua (n 2)transitivamente sobre In .
Demostracion. (i) Sean {x1 , . . . , xn } y {y1 , . . . , yn } dos ordenaciones de In . Sean
, Sn definidas por (i) = xi y (i) = yi . Entonces ( 1 (xi )) = yi i = 1, . . . , n.
(ii) Sean {x1 , . . . , xn2 } y {y1 , . . . , yn2 } subconjuntos ordenados de In . Como
Sn es ntransitivo, entonces Sn es (n 2)transitivo, es decir, existe Sn tal
que (xi ) = yi i = 1, . . . , n 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 e In = {1, 2, . . . , n}. Si G act
ua 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
|N (g)|2 = 2|G|.
gG
n
[
gi G1
(8.3.1)
i=1
(siendo as, podemos afirmar que los n elementos g1 , . . . , gn son diferentes). Sea g un
elemento cualquiera de G. Sea i In la imagen de 1 mediante g: g(1) = i. Entonces
g(1) = i = gi (1) gi1 g(1) = 1 gi1 g(1) G1 g gi G1
n
n
[
[
G
gi G1 . Obviamente
gi G1 G.
i=1
i=1
95
Sea N (g) el conjunto de puntos de In que permanecen fijos bajo g; sea {g}N (g)
el producto cartesiano del conjunto unitario {g} y el conjunto N (g). Notese que para
g 6= h, {g} N (g) {h} N (h) = . Es posible ademas que N (g) = .
Sea Gj el subgrupo estacionario del punto j In . Considerese el producto 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)| =
n
X
|Gj | =
j=1
n
X
j=1
(g)| = |G1 |
|N
gG1
|N (g)| =
gG1
(g)|),
(1 + |N
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
gG1
|N (g)| =
X
gG1
1+
gG1
96
CAPITULO 8. G-CONJUNTOS
Por lo tanto
n X
X
j=1 gGj
Pero
n X
X
|N (g)| =
j=1 gGj
8.4.
|N (g)|2 .
gG
Ejercicios
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 ; 2-subgrupo 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), entonces gxg 1 = x para cada g G, luego
xG = {x} y por lo tanto x {x1 , . . . , xq }. El recproco es evidente.
La ecuacion numerica de clases toma la forma
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 por lo tanto pni = |G : CG (xi )| con 1 ni < n, q + 1 i r,
de donde 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 y G/Z(G) = hai, a G.
Logicamente a
/ Z(G), ademas, Z(G) CG (a). Ya que a 6 Z(G) se tiene que
|CG (a)| > p luego |CG (a)| = p2 y entonces CG (a) = G, es decir, a Z(G), lo cual
es contradictorio. Por lo tanto, |Z(G)| = p2 , es decir, 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, entonces pqp1 Q luego pq QP con lo
cual P Q QP . Analogamente, QP P Q y as P Q = QP .
Q E P Q: sean q Q, pq0 P Q, entonces pq0 q(pq0 )1 = pq0 qq01 p1 Q.
Por el teorema fundamental de isomorfismo P Q/Q
= P/(P Q). Notese que
P/(P Q) es un p-grupo ( mas generalmente, si G es un p-grupo y N E G entonces
100
P Q es un p-grupo: mas generalmente, si G/N es un p-grupo y N es un psubgrupo de G, entonces G es un p-grupo. En efecto, si x G entonces |x| =
9.2.
Preliminares
9.2. PRELIMINARES
101
(c) = ( 3 4 )( 1 2 ) H; = (1 2 3 ) An , luego 1 1 =
(2 4 )(1 3 ) H. Puesto que n 5 entonces se tiene que (1 2 5 3 4 ) =
(1 4 )(1 3 )(1 5 )(1 2 ) An, de aqu resulta
(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
Por lo tanto el n
umero de conjuntos diferentes de k elementos donde figura xn +1
k(n
)
es n kk +1 . Como conclusion obtenemos que el n
umero de conjuntos de k elementos
de X 0 es :
!
k nk
n
k
n +1
n
+
=
1+
=
.
n k +1
k
n k +1
k
k
Hemos probado que el n
umero de subconjuntos
de k elementos con 0 k n, de
un conjunto de n + 1 elementos es n k+1 .
El caso k = n + 1 es evidentemente pues nn +1
= 1.
+1
La siguiente afirmacion es clave en la demostracion de los teoremas de Sylow.
Proposici
on 9.2.4. Sean p primo, m Z+ , m.c.d.(p,
1, r 0, 0 k n.
m)r =
pr m
k
Entonces, la mayor potencia de p que divide a pk es p
.
Demostracion. Notese en primer lugar que
r
pm
pr k m( pr m 1) ( pr m ( pk 1))
.
=
12 (pk 1)
pk
rm
Consideremos el racional p
de p que divide a i, entonces
m(p 1))
En conclusion, como m.c.d. (m, p) = 1, entonces el racional m(p m1)(p
1,2(pk 1)
es libre de potencias de p.
r
r mpk+1 )
r
r
Resta ver que prk | ppkm . Sea c = ppkm y m(p m1)(p
= ab , donde esta
1,2(pk 1)
u
ltima fraccion ya esta libre de factores p en su numerador y denominador. Entonces
r
c = prk ab , luego cb = prk a, es decir, prk | c. Notese que prk+1 no divide a ppkm ,
ya que de lo contario ab prk = prk+1 y entonces ab = p, lo cual ya probamos no
se tiene.
9.3. TEOREMAS
9.3.
103
Teoremas
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 act
ua sobre s mismo de la manera trivial
G G G, (g, x) 7 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
pr m
r+1
p
no divide a s: sabemos que card(M ) = p ; 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
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, entonces K = xHx1 = H
luego H es u
nico.
): Sea x G entonces |xHx1 | = |H| luego xHx1 es p-subgrupo de Sylow,
de donde xHx1 = H, y por lo tanto H E G.
Corolario 9.4.2. Sea G un grupo finito y sea H el p-subgrupo de Sylow de G tal
que H E G. Entonces H = {x G | |x| es una potencia de p}.
Demostracion. Sea x H, como H por definicion es p-subgrupo entonces |x| es
una potencia de p. De otra parte, sea x G tal que |x| = p entonces hxi es un
p-subgrupo de G por lo tanto hxi esta contenido en el 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.
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 p1.
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
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.
111
112
xp = 1 de donde K Cp y K = Cp .
Ahora si existieran H, K en Cpn tales que Cpn = H K entonces H = Cp ,
K = Cp , H K = {1}. Para y dados se tiene que o . En el primer
caso H K y H K = H = {1} luego = 0 y = n. En el segundo caso K H,
H K = K = {1} y entonces = n, = 0. En total, la u
nica descomposicion de
Cpn es la trivial: Cpn = {1} Cpn .
113
r,
(
i
i
pmi
si
m
i
entonces
=
a
con
0
s
<
p
.
Sea
|b
|
=
p
con
1
m,
entonces
i
i
i
i
pmi pi
si pi
si pi
m
i
(bi ) = (a ) , luego 1 = a
, con lo cual p |si p y existe entonces ti tal que
si = ti pmi . Definimos
ai =: i ati , 1 i r.
Notese que para cada 1 i r a
i = i : en efecto, a
i = ai hai = i hai = i ya que
1
ti
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, resulta xi = ai ki , 0 ki < pmi , luego xi = aki i y entonces x = ak11 akr r , es
decir, x(ak11 akr r )1 = ak hai, con lo cual 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
114
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.
115
Definici
on 10.2.1. Sea G un p grupo abeliano finito, (|G| = pn ).
(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
su tipo (pm1 , . . . , pmr ) con m1 m2 mr y m1 + + mr = n. Tenemos pues
la funcion
116
h: F P
h(G) := (m1 , . . . , mr ).
Cada particion (m1 , . . . , mr ) determina un u
nico grupo (salvo isomorfismo) con sistema de divisores elementales (pm1 , . . . , pmr ). As pues, h es 1 1. Ahora, h es
mr
1
claramente sobre: (m1 , . . . , mr ) determina (pm
), el cual a su vez determina
1 ,...,p
Zpm1 Zpmr .
Ejemplo 10.2.7. (i) Determinemos todos los subgrupos abelianos de orden 4: 4 = 22
entonces en este caso p = 2, n = 2, luego (4), (2, 2) y as los subgrupos son Z4 ,
Z2 Z2
= V.
(ii) Determinemos todos los grupos abelianos de orden 125:
p = 5, n = 3 (53 ), (52 , 5), (5, 5, 5) Z125 , Z25 Z5 , Z5 Z5 Z5 .
Definici
on 10.2.8. Un grupo abeliano de orden pn con sistema de divisores elementales (p, . . . , p) (es decir, isomorfo a Zp Zp ) se denomina grupo abeliano
elemental.
10.3.
P2 = G21 G2t2 ,
...
, Pk = Gk1 Gktk ,
117
Ejemplo 10.3.4. (i) Determinemos todos los grupos abelianos de orden 1440.
1440 = 25 5 32 ;
p(5): (5),(4,1),(3,2),(3,1,1),(2,2,1),(2,1,1,1),(1,1,1,1,1);
p(1)=(1);
p(2):(2),(1,1);
Z32 Z5 Z9 ; Z32 Z5 Z3 Z3
Z16 Z2 Z5 Z9 ; Z16 Z2 Z5 Z3 Z3
Z8 Z4 Z5 Z9 ; Z8 Z4 Z5 Z3 Z3
Z8 Z2 Z2 Z5 Z9 ; Z8 Z2 Z2 Z5 Z3 Z3
118
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 :
Z
Z72 Z84
= 8
9
4 Z3 Z7 = Z9 Z4 Z8 Z3 Z7 = Z36 Z168
(iii) Son Z72 Z12 y Z18 Z48 isomorfos?
Z72 Z12
= Z8 Z9 Z4 Z3
= Z8 Z4 Z9 Z3 (23 , 22 , 32 , 31 );
10.4.
Grupos de orden 15
10.5.
Ejercicios
G = H.
10.5. EJERCICIOS
119
5. 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.
6. Sea G un grupo abeliano que tiene 8 elementos de orden 3, 18 elementos
de orden 9 y el elemento identidad. Encuentre la descomposicion de G como
producto de grupos cclicos.
Captulo 11
Grupos solubles
En los captulos anteriores hemos tratado con grupos abelianos y grupos finitos. Un
grupo cualquiera no esta obligado a pertenecer a alguna de estas clases, sin embargo,
siempre se puede relacionar de alguna manera con ellas y estudiar por este camino
el grupo. Una de las generalizaciones mas importantes de la conmutatividad es la
solubilidad, de la cual nos ocupamos en este captulo. Es importante anotar que la
solubilidad en grupos esta estrechamente ligada con la solubilidad por radicales de
las ecuaciones algebraicas (vease [10]). La solubilidad, sera estudiada a traves de los
conmutadores y el conmutante de un grupo.
11.1.
Centro de un grupo
121
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.
122
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 |, luego | G : G0 || G0 |=| G || G : K || G0 | por lo tanto | 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 por lo tanto
1 k
1 k
x a Z (G), es decir, existe z Z(G) tal que x a = z luego x = ak z 1 , es
decir, x es de la forma x = ak , donde Z (G).
Sean x, y elementos cualesquiera de G. Entonces
1 k 1 k
[x, y] = x1 y 1 xy = ak1 w1
a 2 w2
a 1 w1 ak2 w2 , donde k1 , k2 Z y
w1 w2 Z (G);
1 k1 1 k2 k1
[x, y] = w1 a w2 a a w1 ak2 w2 = ak1 k2 +k1 +k2 = 1,
123
124
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]).
125
126
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
11.3.
Cadenas normales
(11.3.1)
127
Hi E G, para 0 i n.
Se dice que un subgrupo H de un grupo G es subnormal en G, lo cual denotamos
por H EE G, si H es miembro de una cadena subnormal de G.
Los cocientes Hi+1 /Hi , 0 i n 1, se denominan secciones de la cadena
subnormal (11.3.1).
Observaci
on 11.3.2. Para los grupos abelianos los conceptos de cadena, cadena
subnormal y normal coinciden. Evidentemente en el caso general toda cadena normal es subnormal.
Ejemplo 11.3.3. (i) 0 < 6Z < 3Z < Z y 0 < 45Z < 15Z < 3Z <
Z son cadenas de Z con secciones 6Z/0
= Z, 3Z/6Z
= Z2 , Z/3Z = Z3 ; 45Z/0
= Z,
(11.3.2)
1 = K0 K1 Km = G
(11.3.3)
128
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
= Z12 /Z4 .
= Z4
= Z4 /0 Z6 /Z2
= Z3
= Z2
= Z24 /Z12 ; Z24 /Z6
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 normal). Evidentemente K0 = 1 y Kn = K. Ahora,
Ki+1
Ki+1
Ki+1 Hi
Hi+1
.
=
Ki
Ki+1 Hi
Hi
Hi
(ii) Notese que Hi es la imagen de Hi mediante el homomorfismo canonico.
j : G G/K;
por lo tanto, como Hi E Hi+1 , entonces j(Hi ) = Hi E j(Hi+1 ) = Hi+1 . Por ser j
sobre y Hi E G, entonces j(Hi ) = Hi E G/K. Evidentemente H0 = 1 y Hn = G/K.
Ahora,
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
(HK)
.
L
(11.3.4)
1 = K0 K1 K2 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
0 s n 1.
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 11.3.10, 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): Supongamos 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 y entonces 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).
): Sea 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, por lo tanto Q8 es soluble.
11.5.
Ejercicios
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.
134
Indice alfab
etico
D
divisores elementales, 115
A
accion de un grupo sobre un conjunto,
87
de conjugacion, 90
efectiva, 89
transitiva, 93
automorfismo, 19, 53
interior, 53
E
ecuacion de clases, 90
elemento
conjugado, 91
identidad, 4
a la derecha, 18
a la izquierda, 18
inverso, 4
a la derecha, 18
a la izquierda, 18
invertible, 4
exponente, 97
C
cadena(s), 126
de composicion, 128
isomorfas, 127
normal, 126
principal, 128
subnormal, 126
cardinal, 17
centralizador, 40, 91
centro de un grupo, 40
ciclo(s)
de longitud 1 m n, 61
disyuntos, 61
clase lateral derecha, 16, 35
congruencia modulo un subgrupo, 16
conjugado, 40
conjunto
de generadores, 14
producto, 35
conmutador, 121
conmutante
de un grupo, 121
mutuo, 121
cuaterniones de Hamilton, 50
F
factorizacion de homomorfismos, 44
funcion de Euler, 33
G
G-conjunto, 88
G-orbita, 89
generador, 25
grado de solubilidad, 133
grupo(s), 5
abeliano, 5
elemental, 116
alternante, 67
cclico, 11, 25
cociente, 36
de elementos invertibles de un monoide,
6
de enteros, 11
135
136
INDICE ALFABETICO
modulo n 1, 31
de Klein, 49
de los p-cocientes racionales, 28
de matrices
diagonales de orden n 1 sobre
R, 22
triangulares superiores de orden
n 1 sobre R, 22
unitriangulares superiores de orden n 1 sobre R, 22
de operadores, 88
de permutaciones, 10
de polinomios, 9
de sucesiones reales, 8
diedrico de grado n 3, 71
especial de orden n 1 sobre R,
22
finitamente generado, 14
k-transitivo, 93
lineal general de orden n 1 sobre
R, 21
mixto, 27
periodico, 27
primario, 97
semicclico del tipo p , 28
simetrico de grado n 1, 61
simple, 35
sin torsion, 27
soluble, 132
H
homomorfismo, 18
inyectivo, 19
sobreyectivo, 19
homomorfismo de grupos, 38
canonico, 40
identico, 38
inverso, 40
inyectivo, 39
sobreyectivo, 39
trivial, 38
I
imagen
de un homomorfismo, 19
de grupos, 38
homomorfa, 39
inversa, 38
ndice, 17
inyecciones canonicas, 79
isomorfismo, 19
de grupos, 39
L
lema de Zassenhaus, 129
ley cancelativa, 6
longitud de una G-orbita, 89
M
matriz
canonica, 22
identica, 22
matrices elementales, 22
diagonales, 22
propiamente elementales, 22
permutaciones, 22
transvecciones, 22
monoide, 4
N
normalizador
de un elemento, 21
de un subconjunto, 40, 91
notacion
aditiva, 11
multiplicativa, 11
n
ucleo
de un homomorfismo, 19
de grupos, 38
de una accion, 89
O
operacion binaria interna, 1
asociativa, 3
INDICE ALFABETICO
conmutativa, 4
orden, 26
P
p-grupo, 97
p-subgrupo, 97
parte periodica de un grupo abeliano,
97
periodo, 26, 97
finito, 26
infinito, 26
producto
cartesiano, 75, 77
de conjuntos, 35
semidirecto, 85
proyecciones canonicas, 78
R
refinamiento, 127
relacion compatible, 19
representacion de un grupo, 88
S
secciones de una cadena subnormal, 127
semigrupo, 3
soporte, 78
subgrupo(s), 9
cclico generado por un elemento,
11, 24
de Sylow, 98
de torsion, 97
derivado, 121
estacionario, 89
generado por un conjunto, 14
maximal, 12
minimal, 12
normal(es), 35
maximal, 48
triviales, 35
triviales, 10
suma
directa externa, 79
137
directa interna, 81
semidirecta interna, 85
T
teorema
de Caley, 54
generalizacion, 91
de correspondencia, 46
de Euler, 33
de Fermat, 33
de Jordan, 69
de Jordan-Holder, 131
de Lagrange, 17
recproco para grupos abelianos
finitos, 117
de Schreier, 130
de Sylow, 103
fundamental de homomorfismo, 42
primer teorema fundamental de isomorfismo, 47
segundo teorema fundamental de
isomorfismo, 47