Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Grupos PDF
Grupos PDF
No. 1
Grupos
Oswaldo Lezama
Departamento de Matematicas
Facultad de Ciencias
Universidad Nacional de Colombia
Sede de Bogota
30 de junio de 2014
ii
Pr
ologo iv
1. Grupos y subgrupos 1
1.1. Operaciones binarias y estructuras algebraicas elementales . . . . . . 1
1.2. Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3. Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.4. Generacion de subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.5. Teorema de Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2. Grupos cclicos 24
2.1. Definicion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.2. Orden y periodo de un elemento . . . . . . . . . . . . . . . . . . . . . 26
2.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.4. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.5. Generadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
4. Teoremas de estructura 42
4.1. Teorema fundamental de homomorfismo . . . . . . . . . . . . . . . . 42
4.2. Teorema de factorizacion . . . . . . . . . . . . . . . . . . . . . . . . . 44
4.3. Teorema de correspondencia . . . . . . . . . . . . . . . . . . . . . . . 46
4.4. Teoremas de isomorfismo . . . . . . . . . . . . . . . . . . . . . . . . . 47
4.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
iii
iv CONTENIDO
5. Automorfismos 53
5.1. Automorfismos interiores . . . . . . . . . . . . . . . . . . . . . . . . . 53
5.2. Teorema de Cayley . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
5.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
5.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
6. Grupos de permutaciones 61
6.1. Ciclos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
6.2. El grupo alternante An . . . . . . . . . . . . . . . . . . . . . . . . . . 65
6.3. Sistemas de generadores . . . . . . . . . . . . . . . . . . . . . . . . . 67
6.4. El grupo dihedrico Dn , n 3 . . . . . . . . . . . . . . . . . . . . . . 70
6.5. Subgrupos normales del grupo Dn , n 3 . . . . . . . . . . . . . . . . 73
6.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
8. G-conjuntos 87
8.1. Accion de grupos sobre conjuntos . . . . . . . . . . . . . . . . . . . . 87
8.2. Orbitas y subgrupos estacionarios . . . . . . . . . . . . . . . . . . . . 89
8.3. Grupos transitivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
8.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
9. Teoremas de Sylow 97
9.1. p-grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
9.2. Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
9.3. Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
9.4. Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
9.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
Bibliografa 135
Pr
ologo
vi
PROLOGO vii
tudio de la teora de los grupos diciendo que los conjuntos son para la matematica
como los grupos son para el algebra.
En el primer captulo daremos la definicion axiomatica de la estructura abstracta
de grupo y veremos algunos conjuntos estructurados como grupos. Se estudiara la
nocion de subgrupo y se demostrara un teorema de gran imortancia dentro de la
teora de grupos finitos como es el teorema de Lagrange. Quiza los grupos abelianos
mas importantes son los llamados grupos cclicos, ya que los grupos abelianos fini-
tamente generados son expresables a traves de sumas directas de grupos cclicos.
En el segundo captulo mostraremos las propiedades basicas de los grupos cclicos.
El objetivo central del captulo 3 es mostrar la estrecha relacion que guardan los
conceptos de subgrupo normal y homomorfismo de grupos. Sera demostrado que,
salvo isomorfismo, hay tantos subgrupos normales en un grupo G como imagenes
homomorfas tiene este u ltimo.
El concepto de homomorfismo e isomorfismo, as com o los teoremas correspon-
dientes, son el objeto del captulo 4. Por medios de estos teoreams se pueden car-
acterizar las imagenes homomorfas de un grupo, y son herramienta clave para la
clasificacion de grupos, en particular, para la clasificacion de grupos finitos. Los ho-
momorfismos biyectivos de un grupo G en si mismo se conocen como los automor-
fismos 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 . Destacare-
mos en Sn el subgrupo alternante An y describiremos el grupo dihedrico de grado
n, Dn por medio de permutaciones. El objetivo del captulo 7 es presentar la con-
struccion del grupo producto cartesiano y la suma directa externa para una familia
dada de grupos. Como fundamento teorico para la demostracion de los teoremas de
Sylow, en el captulo 8 seran tratadas las acciones de grupos sobre conjuntos. Para
los grupos cclicos finitos es valido el recproco del teorema de Lagrange (vease el
segundo captulo), es decir, si G un grupo cclico finito de orden n y m divide a n
entonces G contiene exactamente un subgrupo de orden m. En el noveno captulo
se mostrara que la afirmacion anterior es valida para cuando m es potencia de un
primo. Este resultado es uno de los famosos teoremas de Sylow.
El objetivo del captulo 10 es describir para un entero positivo n dado todos los
grupos abelianos de orden n (salvo isomorfismo). Se incluira tambien en este captulo
una tabla con la lista de todos los grupos de orden 15. Por u ltimo, una de las mas
importantes generalizaciones de la nocion de conmutatividad es la solubilidad, de la
cual nos ocupamos en el captulo 11.
El material presentado en esta complementado con una gran variedad de ejemplos
que ilustran las definiciones y propiedades estudiadas a lo largo del texto. Estos
ejemplos constituyen parte muy importante de la teora basica de grupos introducida
en el presente cuaderno.
viii
PROLOGO
Oswaldo Lezama
Departamento de Matematicas
Universidad Nacional de Colombia
Bogota, Colombia
jolezamas@unal.edu.co
Captulo 1
Grupos y subgrupos
1
2 CAPITULO 1. GRUPOS Y SUBGRUPOS
+:NNN
(a, b) 7 a + b.
4:NNN
(a, b) 7 mn(a, b).
:NNN
a b 7 (a 4 b) + 2,
5 3 = (543) + 2 = 3 + 2 =5,
4 4 = (444) + 2 = 4 + 2 = 6.
Dado un conjunto G con una operacion binaria interna y dados 3 elementos a,b
y c del conjunto G, podemos preguntarnos las maneras de operar estos tres elemen-
tos en ese orden e investigar si los resultados de estas formas de operar coinciden.
As pues, en el ejemplo 1.1.2 sean 2,5, 7 N. Entonces,
(3 5) 7 = 5 7 = 7, 3 (5 7) = 3 7 = 5.
Esto permite clasificar las operaciones binarias de acuerdo con esta condicion.
a (b c) = (a b) c.
De esta definicion surge una pregunta inmediata: en el caso que sean dados
4, 5, o n elementos (en un orden determinado), la secuencia en que se efectuen las
operaciones influye en el resultado? Se puede probar por induccion sobre n que si la
operacion es asociativa, es decir, si para el caso de 3 elementos se tiene la propiedad
exigida, entonces la misma propiedad tendra lugar para cualesquiera n elementos
dados . As pues, si se dan n elementos a1 , . . . , an del conjunto G y suponiendo que
la operacion de G es asociativa, los parentesis que indican la secuencia de como se
realizan las operaciones en la expresion a1 an pueden ser colocados donde se
quiera y el resultado no vara.
a1 := a, an := an1 a, n 2.
(x u)0 = u0 x0 , (x0 )0 = x.
1.2. Grupos
En la seccion anterior fueron estudiadas algunas propiedades que pueda tener una
operacion binaria definida en un conjunto. As pues, se dijo que cuando la operacion
binaria definida sobre el conjunto G es asociativa se obtiene sobre el conjunto G
una estructura de semigrupo. Al poseer la operacion mas propiedades, la estructura
se hace mas rica y las posibilidades de operar en G se hacen mayores. Un ejemplo
de tal situacion lo constituyen los llamados grupos, los cuales pasamos a definir.
Definicion 1.2.1. Sea G un conjunto no vaco y una 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.
Definicion 1.2.2. Un grupo (G, ) es conmutativo, tambien denominado abelia-
no, si la operacion es conmutativa.
Ejemplo 1.2.3. Los siguientes conjuntos numericos, donde las operaciones indi-
cadas son las habituales, constituyen grupos conmutativos:
(Z, +, 0), (Q, +, 0), (R, +, 0), (C, +, 0).
Z, Q, R y C denotan los conjuntos de n
umeros enteros, racionales, reales y complejos,
respectivamente.
6 CAPITULO 1. GRUPOS Y SUBGRUPOS
Z = {1,- 1}.
De igual manera,
(Q , , 1); (R , , 1); (C , , 1)
xz =yz x=y
z x = z y x = y.
a b = a,
a c = a,
a b = a c b = c.
Analogamente, si tiene lugar la propiedad (i) a la izquierda y la propiedad (ii) a la
derecha, el sistema (G, ) no es necesariamente un grupo.
Presentamos a continuacion algunos ejemplos notables de grupos.
Ejemplo 1.2.9. El grupo de elementos invertibles del semigrupo Aplc(X), denotado
por S (X ), esta constituido por las funciones f : X X tales que existe g : X X
para la cual f g = iX = g f . En otras palabras, f S(X) si, y solo si, f es una
funcion biyectiva. S(X) es pues el grupo de todas las funciones biyectivas definidas
de X en X. En el caso en que X sea un conjunto finito de n 1 elementos, S(X)
se denota por Sn . Este grupo sera estudiado en detalle en el captulo 6. Para el caso
n = 3, los elementos de S3 son:
x1 x2 x3 x1 x2 x3 x1 x2 x3
, ,
x1 x2 x3 x1 x3 x2 x3 x2 x1
x1 x2 x3 x1 x2 x3 x1 x2 x3
, ,
x2 x1 x3 x2 x3 x1 x3 x1 x2
Notemos que este grupo no es conmutativo.
Ejemplo 1.2.10. Sea X un conjunto no vaco y sea (G, .) un grupo con elemento
identidad 1. Sea Aplc(X,G) el conjunto de funciones de X en G. Se define en este
conjunto la siguiente operacion:
fg : X G
x (f g)(x) = f (x) g(x),
nula y el inverso aditivo de una matriz F := [fij ] es la matriz cuyas entradas son los
elementos opuestos a las entradas de la matriz F , es decir, F := [fij ]. El grupo
de matrices cuadradas de tama no n n se denota por Mn (R).
1.3. Subgrupos
Dado un grupo (G, , 1) y un subconjunto no vaco S de G, es intresante conocer si
bajo la misma operacion binaria S tiene tambien estructura de grupo. Lo primero
que debera cumplirse es que el producto x y de dos elementos del conjunto S debe
permanecer tambien en S.
De acuerdo con esta definicion tendramos que verificar cuatro condiciones para
garantizar que un subconjunto =6 S G constituye un subgrupo:
(i) Si x, y S, entonces x y S.
Sin embargo, como lo muestra la siguiente proposicion, solo hay que comprobar el
cumplimiento de dos condiciones.
(i) Si a, b S entonces a b S.
(ii) Si a S entonces a1 S.
10 CAPITULO 1. GRUPOS Y SUBGRUPOS
Ejemplo 1.3.8. Para un semigrupo con notacion multiplicativa fueron definidas las
potencias enteras positivas (vease la proposicion 1.1.8). Pretendemos ahora extender
estas potencias a todos los enteros y presentar la correspondiente notacion para el
caso de los grupos aditivos. Sea G un grupo, entonces
1.3. SUBGRUPOS 11
Notaci
on multiplicativa Notaci
on aditiva
(G, , 1) (G, +, 0)
a1 =: a 1 a =: a
an =: an1 a, n Z+ n a =: (n 1) a + a, n Z+
a0 =: 1 0 a =: 0
n
a =: (a1 )n , n Z+ (n) a =: n (a), n Z+ .
Teniendo en cuenta esta definicion, es posible demostrar por induccion matematica
las siguientes relaciones en cualquier grupo:
H + := {x H | x Z+ } =
6 .
12 CAPITULO 1. GRUPOS Y SUBGRUPOS
1.4. Generaci
on de subgrupos
Dado un subconjunto X de un grupo G se desea establecer si existe un subgrupo
H en G, distinto de G, que contenga a X. En caso de que podamos determinar una
coleccion de tales subgrupos, conviene preguntar cual es el subgrupo mas peque
no
de G que contiene X. Antes de responder a estas preguntas aclaremos primero la
expresion subgrupo mas peque no.
Demostracion. Evidente.
H K (K = H
o K = G).
K H (K = H
o K = {1}).
Ejemplo 1.4.3. Los subgrupos maximales del grupo (Z, +, 0) son de la forma hpi,
donde p es primo. Ademas, (Z, +, 0) no posee subgrupos minimales.
(iv) hi = 1.
Demostracion. Evidente.
La proposicion anterior no permite de una manera concreta determinar los ele-
mentos del subgrupo hXi, ya que sera necesario determinar todos los subgrupos de
G que contienen X y luego efectuar la interseccion. Se tiene en cambio el siguiente
resultado.
Q = n1 | n N .
Proposici
on 1.4.11. Sea G un grupo y H un subconjunto no vaco de G. Entonces
1.5. TEOREMA DE LAGRANGE 15
(i) H G hHi = H.
(ii) X Y G hXi hY i.
(iii) hXi hY i hX Y i.
Demostracion. Sea z [a], entonces a z. Por ser una relacion simetrica tenemos
que z a, y por eso, za1 = x, con x H, luego z = xa Ha. Hemos probado
que [a] Ha. Sea z = xa un elemento de Ha, con x H, entonces za1 = x H,
o sea z a, de donde a z, es decir, z [a].
La proposicion anterior muestra que la clase del elemento identidad 1 del grupo
G coincide con el subgrupo H. Luego [1] y H tienen la misma cantidad de elementos.
A continuacion probaremos que todas las clases tienen la cardinalidad de H, y por
ende, todas las clases de equivalencia tienen la misma cantidad de elementos.
|G|
|G : H| = . (1.5.2)
|H|
1.6. Ejercicios
1. Demuestre por induccion las proposiciones 1.1.8 y 1.1.13.
18 CAPITULO 1. GRUPOS Y SUBGRUPOS
(i) Demuestre que (1.6.1) esta bien definida, es decir, demuestre que para
otros representantes a1 y b1 de las clases [a] y [b], respectivamente, se
cumple que [a1 ][b1 ] = [a][b].
(ii) La funcion j : (A, ) (A, ) que asigna a cada elemento a de A su clase
[a] es un homomorfismo sobreyectivo.
10. Sea (G, ) un semigrupo finito en el cual se cumplen las leyes cancelativas, es
decir, para cualesquiera elementos a, b, c G se tiene que
ac = bc a = b,
ca = cb a = b.
es un grupo. G es conmutativo?
no n 5 es conmutativo.
14. Pruebe que todo grupo finito de tama
15. Sea R \{0} el conjunto de reales no nulos con la operacion definida por
a b := |a| b.
16. Cada una de las siguientes tablas definen operaciones binarias internas de las
cuales se saben que son asociativas. Compruebe que ellas definen grupos:
Z4 = {0, 1, 2, 3} V = {e, a, b, c}
+ 0 1 2 3 . e a b c
0 0 1 2 3 e e a b c
1 1 2 3 0 a a e c b
2 2 3 0 1 b b c e a
3 3 0 1 2 c c b a e
(ii) Sea
d 1 0
Dn (R) := diag(d1 , . . . , dn ) :=
. .. Mn (R) | d1 dn 6= 0 .
0 dn
Demuestre que:
Grupos cclicos
Una rama destacada dentro de la teora de grupos la constituyen los llamados grupos
abelianos. Quiza los grupos abelianos mas importantes son los llamados grupos ccli-
cos, ya que los grupos abelianos finitamente generados son expresables a traves de
sumas directas de grupos cclicos. En este captulo vamos a mostrar las propiedades
basicas de los grupos cclicos finitos. Se establecera la relacion que guardan los
conceptos de periodo de un elemento y orden. Para grupos cclicos finitos son de-
mostradas algunas proposiciones relacionadas con el orden de sus subgrupos y el
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 numeros.
2.1. Definici
on
Sea G un grupo cualquiera y sea a un elemento arbitrario de G. El conjunto de
todas las potencias enteras an , n Z, del elemento a constituye un subgrupo de
G llamado el subgrupo cclico de G generado por el elemento a. Como vimos en el
captulo anterior, cuando el grupo G sea aditivo, na, n Z, representa los m
ultiplos
enteros del elemento a.
Definici
on 2.1.1. Sea G un grupo y sea a un elemento cualquiera de G. El conjunto
hai = {an | n Z} = {. . . , a3 , a2 , a1 , 1, a, a2 , a3 , . . . }
es un subgrupo del grupo G, llamado el subgrupo cclico de G generado por el
elemento a. Si G es un grupo con notaci
on aditiva escribiremos
hai = {na | n Z} = {. . . , 3a, 2a, , a, 0, a, 2a, 3a, . . . }.
Es posible que el subgrupo generado por alg un elemento a del grupo G coincida
con todo el grupo: hai = G; esta situacion se presenta por ejemplo con el entero 1
24
2.1. DEFINICION 25
en el grupo aditivo de los numeros enteros. Los grupos para los cuales se tiene este
tipo de situacion reciben un nombre especial.
Definici
on 2.1.2. Sea G un grupo cualquiera. Se dice que G es cclico si G coincide
con uno de sus subgrupos cclicos; es decir, si existe un elemento a en G tal que
hai = G. En este caso se dice que a es un generador del grupo cclico G.
Ejemplo 2.1.3. (i) Z es un grupo cclico y todos sus subgrupos son cclicos.
(ii) El grupo de races complejas de grado n de la unidad, n 1, es cclico:
denotemos por Un las soluciones complejas de la ecuacion xn = 1, es decir,
Un := {z C | z n = 1};
Corolario 2.2.4. (i) Sea G un grupo grupo finito. Entonces |a| | |G| .
2.3. Ejemplos
Ejemplo 2.3.1. Grupo sin torsi on. Notemos en primer lugar que todo grupo sin
torsion debe ser infinito. Sea p un n
umero primo. El conjunto de n
umeros racionales
n o
Qp = pmn Q | m, n Z
bajo la adicion es un grupo abeliano sin torsion, y se denomina el grupo de los
p-cocientes racionales: por ser Qp Q y por ser la operacion definida en Qp la
inducida por la adicion en Q entonces es suficiente probar que Qp Q y que Qp es
un grupo sin torsion:
m1 m2 m1 .pn2 + m2 .pn1
pn1
+ pn2
= pn1 + n2
Qp ,
m m
pn = pn Qp
Sea pmn Qp , supongase que existe k > 0 tal que k m
pn
= 0, es decir, km
pn
= 0,
entonces km = 0, as m = 0. Luego, pmn = 0.
Ejemplo 2.3.2. Grupo infinito peri odico. Observemos en primer lugar que
cada grupo finito es necesariamente periodico. Sin embargo, como lo muestra este
ejemplo, la recproca de la afirmacion anterior no es correcta. Sea p un n
umero
primo. El conjunto de numeros complejos
n
Cp := z C | z p = 1, para alg un n = 0, 1, 2, . . .
bajo la multiplicacion es un grupo abeliano infinito donde cada elemento diferente
de 1 tiene periodo finito. Notese pues que Cp consta de las races complejas de
n
las ecuaciones xp = 1, con n = 0, 1, 2, . . . . El grupo Cp se denomina grupo
semicclico del tipo p .
Para probar que Cp es un grupo es suficiente probar que Cp es un subgrupo
n1 n2
de C : sean z1 y z2 Cpn, entoncesnexisten n1 y n2 tales que z1p = 1 y z2p = 1. Si
n
n := n1 + n2 , entonces z1p = 1 y z2p = 1, luego (z1 z2 )p = 1, es decir, z1 z2 Cp .
n
Sea z Cp , entonces existe n 1 tal que z p = 1. Esto quiere decir que z
pn
Upn y como Upn C entonces z 1 Upn , es decir, (z 1 ) = 1 y as z 1 Cp .
Notemos que para cada n 1, Upn Cp , y por la misma definicion de Cp , cada
elemento z de Cp tiene periodo finito. Notese que para cada n 1 Upn Upn+1 .
Denotando por Cpn el grupo Upn obtenemos la cadena de subgrupos de Cp :
S
Cp = k 0 Cpk
{1} = Cp0 Cp Cp2 Cp3 Cpn Cpn+1
Ejemplo 2.3.3. Grupo mixto. El grupo multiplicativo de los n umeros complejos
es mixto ya que hay elementos, como por ejemplo los enteros diferentes de 1, que
son de periodo infinito y complejos como z1 = cos 2
n
+ i sin 2
n
, n 6= 1 , que son de
periodo finito.
2.4. PROPIEDADES 29
2.4. Propiedades
Las siguientes afirmaciones son validas para grupos cclicos cualesquiera. Especial-
mente importante es la afirmacion (iv).
Proposici
on 2.4.1. (i) Todo grupo cclico es abeliano.
(iv) Sea G 6= {1} un grupo. Entonces, G es un grupo cclico finito de orden primo
si, y solo si, G no tiene subgrupos diferentes de los triviales.
por lo que k = p. Supongase ahora que bk = G = hbi entonces existe t Z tal
t
que bk = b, as bkt1 = 1 entonces p | kt 1, es decir que existe s Z tal que
kt 1 = ps, pero k | p entonces existe k 0 Z tal que p = kk 0 ; luego kt 1 = kk 0 s;
as k(t k 0 s) = 1 entonces k = 1. Esto prueba que los u
nicos divisores de p son p
y 1, y de esta forma se tiene que p es primo.
2.5. Generadores
Teorema 2.5.1. (i) Sea G un grupo cclico finito de orden n con generador a.
Entonces, x G es generador de G x = ar , donde m.c.d.(n, r) = 1.
(ii) Sea G un grupo cclico con generador a y sea H 6= {1} un subgrupo de G.
Entonces H = has i , donde s es el menor entero positivo tal que as H.
Ademas, si G es de orden finito n entonces |H| = nd , d = m.c.d.(n, s).
(iii) Sea G un grupo cclico de orden finito n y sea t Z+ tal que t | n. Entonces
G contiene exactamente un subgrupo de orden t.
Demostracion. (i) ): sea x un generador de G = hai . Entonces existe un r Z
tal que x = ar y hxi = har i = hai . De aqu obtenemos que a har i , es decir, existe
k Z tal que a = (ar )k entonces ark1 = 1, as n | rk 1 es decir rk 1 = sn, con
s Z; de lo cual rk sn = 1, as r y n son primos relativos y m.c.d.(r, n) = 1.
): sea r Z tal que m.c.d.(n, r) = 1. Logicamente, har i G. Sea x G,
entonces existe k Z tal que x = ak . Como m.c.d.(n, r) = 1 existen t, v Z tales
que 1 = nt + rv, as k = ntk + rvk; luego x = ak = antk arvk = arvk = (ar )vk har i.
(ii) La primera parte de esta afirmacion fue demostrada en el punto (ii) de la
proposicion 2.4.1.
Para la segunda parte, el orden de H es el orden de as . Sea m := |as |, entonces
(as )m = 1, es decir, asm = 1, luego n | sm, por lo tanto nd | m, con d := m.c.d.(n, s).
n s
De otra parte, (as ) d = (an ) d = 1 entonces m | nd . Por lo tanto, nd | m y m | nd con lo
cual m = nd .
(iii) Existencia: como t | n entonces n = ts, con s Z, as |has i| = t. En efecto,
(as )t = 1, entonces |as | | t. Si |as | := t0 y t0 < t entonces ast0 = 1 y st0 < n, lo cual
es una contradiccion.
Unicidad: sea H un subgrupo de G de orden t. Sea
n = ts y sea k el menor
k k n
entero positivo tal que a H. Por (ii) sabemos que H = a y t = |H| = d , donde
d = m.c.d.(n, k); entonces n = td = ts de modo que s = d, as s | k, es decir, k = sw
con w Z. Luego, ak = (as )w y por tanto H has i , pero |H| = |has i| = t entonces
H = has i.
Ejemplo 2.5.2. Los enteros m odulo n. Sea n 2 un entero, entonces el conjun-
to Zn conformado por todos los enteros {0, 1, 2, 3, . . . , n 1} conforman un grupo
2.6. EJERCICIOS 31
2.6. Ejercicios
1. Sea G un grupo y sean a,b elementos de G tales que:
(i) ab=ba
(ii) |a| = n, |b| = m
(iii) m.c.d.(n, m) = 1
32 CAPITULO 2. GRUPOS CICLICOS
13. Demuestre que los subgrupos de Cp son: 1 = Cp0 < Cp1 < Cp2 < < Cpn <
.
Subgrupos normales y
homomorfismos
El objetivo central de este captulo es mostrar la estrecha relacion que guardan los
conceptos de subgrupo normal y homomorfismo de grupos. Sera demostrado que,
salvo isomorfismo, hay tantos subgrupos normales en un grupo G como imagenes
homomorfas tiene este u ltimo. El concepto de grupos isomorfos permite, entre otras
cosas, clasificar los grupos cclicos: los infintos que son isomorfos a hZ, +i, y los finitos
de orden n que son isomorfos a hZn , +i. Dentro de los ejercicios hemos includo un
grupo muy importante como es el grupo octico correspondiente a las 8 simetras del
cuadrado.
Definici
on 3.1.1. Sea G un grupo y sean A y B subconjuntos no vacos de G.
34
3.2. GRUPO COCIENTE 35
(i) x G, h H : x1 hx H
(ii) x G : x1 Hx = H
(iii) x G : xH = Hx
Definicion 3.1.4. Sea G 6= {1} un grupo. Entonces G posee al menos dos subgrupos
normales, llamados los subgrupos normales triviales: {1}, G. Si G no posee
otros subgrupos normales fuera de los triviales se dice que G es un grupo simple.
a b ab1 H
[a] = Ha
36 CAPITULO 3. SUBGRUPOS NORMALES Y HOMOMORFISMOS
(iv) Zn = Z/hni
(v) Sea K G y H E G tal que H K. Entonces, H E K.
(vi) Sea H G tal que |G : H| = 2, entonces H E G.
(vii) La relacion de normalidad no es en general transitiva.
Demostracion. Las cinco primeras afirmaciones son casi evidentes. VeamosS la prueba
de (vi): G queda dividido en solo dos clases laterales izquierdas: G = H (G H).
Sea x G, h H; consideremos las siguientes cuatro posibilidades:
a) x1 h H, x1 H x1 hx H
b) x1 h H, x1 / H, imposible
1 1
c) x h / H, x H, imposible
d) x1 h / H, x1 / H x1 h x1 x1 hx H H E G.
(vii) Esto se ilustra en el siguiente ejemplo.
3.2. GRUPO COCIENTE 37
(x) = (y) x = y.
(i) (1) = 1.
(iii) ker () E G.
H G (H) F .
K F 1 (K) G.
H E G (H) E Im().
K E F 1 (K) E G.
= iG , = iF .
3.4. Ejercicios
1. Demuestre que en un grupo abeliano todos sus subgrupos son normales.
Ax := x1 Ax = {x1 ax | a A}.
6. Sea G un grupo y sea X un conjunto no vaco. Demuestre que Z[Apl (X, G)] =
Aplc (X, Z (G)).
Teoremas de estructura
42
4.1. TEOREMA FUNDAMENTAL DE HOMOMORFISMO 43
Ejemplo 4.1.3. (i) Determinemos todas las imagenes homomorfas del grupo aditivo
de los n umeros enteros hZ, +i: seg un el teorema fundamental de homomorfismo las
imagenes homomorfas de hZ, +i son los subgrupos cociente de Z por sus subgrupos
normales. De esta manera debemos determinar todos los subgrupos normales H de
Z y construir los grupos cociente G/H. Como hZ, +i es un grupo abeliano entonces
cada uno de sus subgrupos es normal. As pues, las imagenes homomorfas de Z son
de la forma Z/hni con n 0, es decir las imagenes de hZ, +i son Zn con n 0 .
(ii) Sea (R, +, 0) el grupo de los n umeros reales bajo la adicion y sea (U, , 1) el
grupo multiplicativo de los complejos de modulo 1: U = {z C | |z| = 1}. Notese
que U = {cos + i sin | R} = {ei | R}. La funcion : R U definida
por () = ei es un homomorfismo: en efecto, (1 + 2 ) = ei(1 +2 ) = ei1 ei2 . es
obviamente un homomorfismo sobreyectivo ya que cada complejo tiene determinado
al menos un argumento . Seg un el teorema fundamental de homomorfismo U =
R/ ker() ; ker() = { R | cos +i sin = 1 } si ker() sin
= 0 = 2k, k Z. Recprocamente, cada real de forma = 2k, k Z es
un elemento de ker() N () = h2i, grupo generado por 2 U = R/h2i.
(iii) Imagenes homomorfas de S3 : determinamos en primer lugar los subgrupos
de S3 . Puesto
que |S
3 | = 6 entonces S3 solo puede
tener grupos
de orden 1, 2, 3 y 6:
1 2 3 1 2 3
f= = 1 2 3 , g= = 2 3
2 3 1 1 3 2
S3 = {1, f, f , g, f g, f g} ; f = 1 3 2 , f g = 1 2 , f 2 g = 1 3
2 2 2
1 = {1} es el u
nico subgrupo de orden 1
Los subgrupos de orden 2 son cclicos y por lo tanto generados por los elementos
de orden 2:
Los subgrupos de orden 3 son necesariamente cclicos y son generados por ele-
mentos de orden 3 :
hf i es el u
nico subgrupo de orden 3
S3 es el u
nico subgrupo de orden 6
1 f f2 g f g f 2g
2
1 1 f f g f g f 2g
f f f2 1 f g f 2g g
f2 f2 1 f f 2g g fg
2 2
g g f g fg 1 f f
fg fg g f 2g f 1 f2
f 2g f 2g f g g f2 f 1
hgi no es subgrupo normal de S3 ya que f gf 1 = f gf 2 = f 2 g / hgi; hf gi no es
1
subgrupo normal de S3 ya que f 2 f g (f 2 ) = f 2 f gf = gf = f 2 g / hf gi; hf 2 gi no
es subgrupo normal de S3 ya que f f 2 gf 1 = gf 2 = f g
/ hf 2 gi .
S3 no tiene subgrupos normales de orden 2
0 : G/H K/(H)
definido por 0 (
x) := (x), donde x = xH y (x) := (x)(H). Adem as, 0 es
olo si,, ker() H.
inyectivo (y por lo tanto un isomorfismo) si, y s
: G/H G/K
definido por (
x) := x , donde x := xH y x := xK.
46 CAPITULO 4. TEOREMAS DE ESTRUCTURA
x, y B : xy xy 1 A.
Denotemos por [x] la clase de equivalencia correspondiente al elemento x B med-
inte la relacion . Sea la relacion de equivalencia inducida en B/H por el subgrupo
A/H:
y x y1 A/H.
x, y B/H : x
x = Hx, x B). Denotemos por [
( x] la clase de equivalencia determinada por el
elemento x de B/H mediante la relacion .
Sean C1 = B/ y C2 = (B/H)/ los respectivos conjuntos cocientes. Se quiere
probar que Card(C1 ) = Card(C2 ) : Definimos
F : C1 C2
F ([x]) := [x]
F esta bien definida: [x] = [y] xy 1 A xy 1 A/H x y 1 A/H
[x] = [y] F ([x]) = F ([y]).
F es inyectiva: F ([x]) = F ([y]) [x] = [y] x y 1 A/H xy 1 A
[x] = [y] F es obviamente sobreyectiva.
(G/H)/(K/H)
= G/K.
HK/K
= H/H K.
Demostracion. En primer lugar HK = KH: sea hk HK hk = (hkh1 )h
KH ya que K E G; as pues, HK KH. Sea ahora kh KH; entonces kh =
h(h1 kh) HK KH HK y en consecuencia HK = KH. Esto garantiza que
HK es un subgrupo de G. Como K E G entonces K E HK y tiene sentido el grupo
factor HK/K. Definimos la funcion
f : H HK/K
h 7 hK
Probemos que f es un homomorfismo sobreyectivo con n ucleo ker(f ) = H K :
f (h1 h2 ) = (h1 h2 )K = h1 Kh2 K = f (h1 )f (h2 ). Sea x HK/K. Entonces x es de
la forma x = hkK = hK = f (h). Esto prueba que f es sobre. Sea x ker(f )
f (x) = xK = 1K x K x H K ker(f ) = H K y el teorema
esta demostrado.
Ejemplo 4.4.3. (i) Calculemos las imagenes homomorfas de Zn , n 0. Para n = 0,
Z0 = Z, seg un vimos, en este caso las imagenes homomorfas son de la forma Zn ,
n 0. Sea n = 1, Z1 = 0, grupo con un solo elemento. Por tanto, las u nicas
imagenes homomorfas de Z1 son los grupos unitarios. Sea n 2, Zn = Z/ hni. Las
imagenes homomorfas de Zn seg un el teorema fundamental de homomorfismo son de
la forma Zn /H donde H es subgrupo normal de Zn . Como Zn es un grupo abeliano
entonces todos sus subgrupos son normales. Seg un el teorema de correspondencia
los subgrupos de Zn = Z/ hni son de la forma K/ hni donde K es un subgrupo de Z
que contiene al subgrupo hni. Los subgrupos de Z son de la forma hmi. As pues, los
subgrupos de Zn = Z/ hni son de la forma hmi / hni donde hmi hni. Notese que si
hni hmi entonces n = km, k Z, m|n. Recprocamente, si m|n hni hmi.
En conclusion los subgrupos de Zn = Z/ hni son de la forma hmi / hni con m|n. Por
tanto las imagenes homomorfas de Zn = Z/ hni son de la forma Z/ hni / hmi / hni =
Z/ hmi = Zm . As pues, las imagenes homomorfas de Zn son los subgrupos Zm con
m|n. Por ejemplo, las imagenes homomorfas de Z12 son : Z1 = 0, Z2 , Z3 , Z4 , Z6 ,
Z12 .
(ii) Sea G un grupo no unitario y sea H E G. Se dice que H es un subgrupo
normal maximal de G si se cumple que
H K y K E G K = H o K = G,
en otras palabras, los u
nicos subgrupos normales de G que contienen H son G y
H. Sea hG, , 1i un grupo simple, es decir, G es no trivial y los u
nicos subgrupos
normales de G son los triviales: {1} y G. Probemos que H E G es maximal si,
y solo si, G/H es simple: sea W un subgrupo normal de G/H, seg un el teorema
de correspondencia existe en G un subgrupo normal K que contiene H. Por ser H
normal maximal K = H o K = G, es decir W = K/H = H/H o W = G/H, es
4.4. TEOREMAS DE ISOMORFISMO 49
el captulo 3). 1 es el u nico subgrupo de orden 1. Los subgrupos de orden 2 son los
determinados por las permutaciones de orden 2:
hgi , hf 2 i , hf gi , hf 2 gi , hf 3 gi son los subgrupos de orden 2.
Los subgrupos de orden 4 son de dos tipos: unos isomorfos a Z4 y otros isomorfos
al grupo de Klein, V : elementos de orden 4 : f , f 3 . Pero hf i = hf 3 i = Z4 . Sub-
grupos isomorfos a V = {1, a, b, ab}, a2 = 1, b2 = 1, ab = ba. a puede tomar los
valores f 2 , g, f g, f 2 g, f 3 g; lo mismo ocurre para b. Se presentan entonces 54
2
= 10
combinaciones posibles :
1) a = f 2 , b = g K4 = {1, f 2 , g, f 2 g}
2) a = f 2 , b = f g H4 = {1, f 2 , f g, f 3 g}
50 CAPITULO 4. TEOREMAS DE ESTRUCTURA
3) a = f 2 , b = f 2 g K4
4) a = f 2 , b = f 3 g H4
5) a = g, b = f g Descartado ya que g(f g) 6= (f g)g
6) a = g, b = f 2 g K4
7) a = g, b = f 3 g Descartado ya que g(f 3 g) 6= (f 3 g)g
8) a = f g, b = f 2 g Descartado ya que (f g)(f 2 g) 6= (f 2 g)(f g)
9) a = f g, b = f 3 g H4
10) a = f 2 g, b = f 3 g Descartado ya que (f 2 g)(f 3 g) 6= (f 3 g)(f 2 g)
Subgrupos de orden 4: Isomorfos a Z4 : hf i , isomorfos a V : K4 , H4 .
Unico subgrupo de orden 8 : D4
En resumen se obtiene lo siguiente: hf i = Z4
K4 = H 4 = V
hgi = hf 2 gi = hf 2 i
= hf 3 gi
= hf gi = Z2
De otra parte, 1 y D4 son automaticamente subgrupos normales de D4 .
Ademas, K4 , H4 y hf i son tambien normales ya que su ndice en D4 es 2.
hgi no es subgrupo normal de D4 ya que f 1 gf = f 3 gf = f 2 g / hgi
1 3
hf gi no es subgrupo normal de D4 ya que g (f g)g = f g / hf gi
2 1 2
hf gi no es subgrupo normal de D4 ya que f (f g)f = g / hf 2 gi
hf 3 gi no es subgrupo normal de D4 ya que f 1 (f 3 g)f = f g / hf 3 gi
hf 2 i E D4 ya que f 1 f 2 f = f 2 ; (f 2 )1 f 2 f 2 = f 2 ; (f 3 )1 f 2 f 3 = f 2 ; g 1 f 2 g = f 2 ;
(f g)1 f 2 (f g) = f 2 ; (f 2 g)1 f 2 (f 2 g) = f 2 ; (f 3 g)1 f 2 (f 3 g) = f 2 .
Subgrupos normales de D4 : 1, D4 , hf 2 i, hf i, K4 , H4
Las imagenes homomorfas de D4 (salvo isomorfismo) son :
D4 /1 = D4 ; D4 / hf i = Z2 ; D4 /K4 = D4 /H4 = Z2 ; D4 /D4 = 1.
Para hf i se tiene que D4 / hf i = Z4 o D4 / hf 2 i
2 2
= V.
La primera posibilidad es descartada ya que en D4 / hf 2 i no hay elementos de
orden 4: en efecto, en D4 todos los elementos salvo 1, f 2 , f 3 son de orden 2.
ltimos se tiene que |1| = 1, f = 2, f 3 = 2. Por tanto,
Ademas, para estos u
D4 / hf 2 i
= V , esta es la otra imagen homomorfa de D4 .
(vi) Calculemos las imagenes homomorfas del grupo de los cuaterniones de
Hamilton Q8 : el grupo Q8 es de orden 8 y puede ser definido por las siguientes
relaciones:
Q8 = ha, b | a4 = 1, b2 = a2 , bab1 = a1 i,
Q8 = {1, a, a2 , a3 , b, ab, a2 b, a3 b}.
1 a a2 a3 b ab a2 b a3 b
1 1 a a2 a3 b ab a2 b a3 b
a a a2 a3 1 ab a2 b a3 b b
a2 a2 a3 1 a a2 b a3 b b ab
a3 a3 1 a a2 a3 b b ab a2 b
b b a3 b a2 b ab a2 a 1 a3
ab ab b a3 b a2 b a3 a2 a 1
a2 b a2 b ab b a3 b 1 a3 a2 a
a3 b a3 b a2 b ab b a 1 a3 a2
i C, i2 = 1, A4 = E, B 2 = A2 , BAB 1 = A1 .
Notese que Q8 y D4 no son isomorfos, ya que en Q8 hay 6 elementos diferentes
de orden 4 : a, a3 , b, a2 b, ab, a3 b, en cambio en D4 solo hay 2 : f, f 3 . Otra forma de
explicar esto es que en Q8 todos sus sugrupos son normales, en cambio en D4 el
subgrupo hgi no es normal.
Centro de Q8 : a / Z(Q8 ) ya que ab 6= ba hai 6= Z(Q8 ); b / Z(Q8 )
Z(Q8 ) 6= hbi ; ab
/ Z(Q8 ) ya que (ab)a 6= a(ab) Z(Q8 ) 6= habi. Seg un lo anterior
Z(Q8 ) 6= Q8 . Notese que, Z(Q8 ) = ha2 i = Z2 .
4.5. Ejercicios
1. Calcule las imagenes homomorfas del grupo GL2 (R).
Automorfismos
Definici
on 5.1.1. Sea (G, . , 1) un grupo, un automorfismo de G es un homo-
morfismo biyectivo de G en si mismo. Sea x G; la funci
on definida por
fx : G : G
a 7 x1 ax
53
54 CAPITULO 5. AUTOMORFISMOS
G/Z (G)
= Int (G).
Teorema 5.2.1. Sea G un grupo y sea S (G) el grupo de permutaciones del conjunto
G. Entonces G es isomorfo a un subgrupo de S (G).
n!
Corolario 5.2.2. Sea n 1. Existen a lo sumo n
grupos no isomorficos de orden
n.
Demostracion. Sea G un grupo finito de orden n. Entonces G es isomorfo a un
subgrupo de Sn . Pero Sn tiene un n umero finito de subgrupos de orden n, este
n!
n
umero es menor que n . Notese que el problema de determinar todos los grupos
no isomorfos de orden n se reducira a determinar todos los subgrupos no isomorfos
de Sn con n elementos.
5.3. Ejemplos
Ejemplo 5.3.1. Automorfismos de grupos cclicos: (i) Grupo cclico infinito Z: sea
f Aut(Z). Como f es un automorfismo, la imagen de cada generador de Z es
nuevamente un generador de Z, mas generalmente, si G es un grupo cclico con
generador a y f Aut (G) entonces f (a) es un generador de G. En efecto, dado
x G existe y G tal que x = f (y) x = f (at ) = f (a)t .
Puesto que Z tiene solo dos generadores entonces se presentan dos posibilidades
para f , f (1) = 1 o f (1) = 1,
Z f Z Z f Z
1 1 1 1
k k k -k
Luego, Aut(Z) = Z2 .
(ii) Grupo cclico finito de orden n, Zn : recordemos que el grupo Zn se obtuvo a
partir de Z por medio de una relacion de equivalencia
a b m|(a b), a, b Z.
En otras palabras Zn es el grupo cociente Z/ hni. En Zn se puede definir un producto
y convertirlo as en un semigrupo multiplicativo:
r s = rs para 0 r, s < n.
Es sencillo verificar que el producto esta correctamente definido. Ademas, este
pro-
ducto es asociativo con elemento neutro 1, luego se tiene el monoide Zn , ., 1 . Aso-
ciado a todo monoide se tiene su grupo de elementos invertibles Zn . Notese que
Zn = {r| (r, n) = 1, 1 r < n}
En efecto,
r Zn s Zn tal que r s = 1 rs = 1 n| (rs 1) rs 1 = nk con
k Z (r, n) = 1.
56 CAPITULO 5. AUTOMORFISMOS
: Aut (Zn ) Zn
h 7 (h) = r
donde r = h 1 .
es un homomorfismo: sean f y h automorfismos
de Zn tales que f 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 h 1 = 1 h (r) = r pra cada
0 r < n h = iZn .
es sobre: sea r Zn y sea h definido por h (s) := sr. Notese que h 1 = r y
Entonces, Aut (V )
= S3 .
T1,0 : D4 D4
f g f (f 0 g) = f g
T1,0 = iD4
T1,1 : D4 D4
f g f (f g)
2 3 g f g f 2g f 3g
T1,1 = 11 f f f
f f2 f3 fg f 2g f 3g g
T1,2 : D4 D4
f g f (f 2 g)
f2 f3 g f g f 2g f 3g
T1,2 = 11 f
f f2 f3 f 2g f 3g g f g
T1,3 : D4 D4
f g f (f 3 g)
2 f3 g f g f 2g f 3g
T1,3 = 11 ff ff 2
f3 f 3y g f g f 2g
T3,0 : D4 D4
f g (f 3 ) (f 0 g)
2 f3 f g f 2g f 3g
T3,0 = 11 ff 3 ff 2 g
f g f 3g f 2g f g
T3,1 : D4 D4
f g (f 3 ) (f g)
2 f3 f 2g f 3g
T3,1 = 11 ff 3 ff 2 g fg
f fg g f 3g f 2g
T3,2 : D4 D4
f g (f 3 ) (f 2 g)
2 f3 g f g f 2g f 3g
T3,2 = 11 ff 3 ff 2
f f 2g f g g f 3g
T3,3 : D4 D4
f g (f 3 ) (f 3 g)
2 f3 g f g f 2g f 3g
T3,3 = 11 ff 3 ff 2
f f 3g f 2g f g g
po
Ejemplo 5.3.6. Aut (Q): sea f Aut (Q) y sea = f (1) , (po , qo ) = 1. Entonces
qo
p
f (p/q) = pf (1/q) qf (p/q) = pf (1) f (p/q) = f (1). Lo anterior permite
q
establecer la funcion
: Aut(Q) Q
f f (1).
po
es sobre: sea 6= 0 un racional. Definimos
qo
Q Q
f:
p p po
.
q q qo
po po
Notese que f (1) = , es decir, (f ) = . Veamos que f Aut(Q):
qo qo
p r ps + qr ps + qr po
f + =f =
q s qs qs qo
p po r po p r
= + =f +f ;
q qo s qo q s
p p po p
si f = 0 entonces = 0 p = 0 = 0.
q q q
o q
r r qo r
Sea Q; entonces f = , es decir, f es sobre Aut (Q)
= Q .
s s po s
5.4. Ejercicios
1. Calcule Aut (S3 ).
2. Calcule Aut (Q8 ).
Solucion. Sea F : Q8 Q8 un automorfismo de Q8 . Puesto que en Q8 =
ha, b | a4 = 1, b2 = a2 , ba = a1 bi el u nico elemento de orden 2 es a2 , entonces
F (a2 ) = a2 , ademas, F (1) = 1, luego F realmente permuta los 6 elementos
restantes, a saber: a, a3 , b, ab, a2 b, a3 b. Esto parece mostrar una relacion de
Aut(Q8 ) con el grupo de permutaciones S4 . En realidad se vera que Aut (Q8 ) =
S4 . Cada F viene determinado por su accion sobre los generadores a, b. Puesto
que tanto a como b son de orden 4, entonces F (a) = a, a3 , b, ab, a2 b, a3 b y
F (b) = a, a3 , b, ab, a2 b, a3 b. Esto genera 36 posibilidades, de las cuales solo 24
corresponden a funciones biyectivas:
F (a) = a F (b) = a Descartada ya que F debe ser biyectiva
F (a) = a F (b) = a3 Descartada ya que entonces F (a3 ) = a3
F1 (a) = a F1 (b) = b F1 (a3 ) = a3 , F1 (ab) = ab, F1 (a2 b) = a2 b, F1 (a3 b) = a3 b
F2 (a) = a F2 (b) = ab F2 (a3 ) = a3 , F2 (ab) = a2 b, F2 (a2 b) = a3 b, F2 (a3 b) = b
F3 (a) = a F3 (b) = a2 b F3 (a3 ) = a3 , F3 (ab) = a3 b, F3 (a2 b) = b, F3 (a3 b) = ab
F4 (a) = a F4 (b) = a3 b F4 (a3 ) = a3 , F4 (ab) = b, F4 (a2 b) = ab, F4 (a3 b) = a2 b
F13 (a) = ab F13 (b) = a F13 (a3 ) = a3 b, F13 (ab) = b, F13 (a2 b) = a3 , F13 (a3 b) = a2 b
F14 (a) = ab F14 (b) = a3 F14 (a3 ) = a3 b, F14 (ab) = a2 b, F14 (a2 b) = a, F14 (a3 b) = b
F15 (a) = ab F15 (b) = b F15 (a3 ) = a3 b, F15 (ab) = a3 , F15 (a2 b) = a2 b, F15 (a3 b) = a
F (a) = ab F (b) = ab Descartada ya que F es biyectiva
F16 (a) = ab F16 (b) = a2 b F16 (a3 ) = a3 b, F16 (ab) = a, F16 (a2 b) = b, F16 (a3 b) = a3
F (a) = ab F (b) = a3 b Descartada ya que F (ba) = 1 = F (a3 b) = F (1)
F17 (a) = a2 b F17 (b) = a F17 (a3 ) = b, F17 (ab) = ab, F17 (a2 b) = a3 , F17 (a3 b) = a3 b
F18 (a) = a2 b F18 (b) = a3 F18 (a3 ) = b, F18 (ab) = a3 b, F18 (a2 b) = a, F18 (a3 b) = ab
F (a) = a2 b F (b) = b Descartada ya que F (ab) = 1 = F (1)
F19 (a) = a2 b F19 (b) = ab F19 (a3 ) = b, F19 (ab) = a3 , F19 (a2 b) = a3 b, F19 (a3 b) = a
F (a) = a2 b F (b) = a2 b Descartada ya que F es biyectiva
F20 (a) = a2 b F20 (b) = a3 b F20 (a3 ) = b, F20 (ab) = a, F20 (a2 b) = ab, F20 (a3 b) = a3
F21 (a) = a3 b F21 (b) = a F21 (a3 ) = ab, F21 (ab) = a2 b, F21 (a2 b) = a3 , F21 (a3 b) = b
F22 (a) = a3 b F22 (b) = a3 F22 (a3 ) = ab, F22 (ab) = b, F22 (a2 b) = a, F22 (a3 b) = a2 b
F23 (a) = a3 b F23 (b) = b F23 (a3 ) = ab, F23 (ab) = a, F23 (a2 b) = a2 b, F23 (a3 b) = a3
F (a) = a3 b F (b) = ab Descartada ya que F (ba) = 1 = F (a3 b) = F (1)
F24 (a) = a3 b F24 (b) = a2 b F24 (a3 ) = ab, F24 (ab) = a3 , F24 (a2 b) = b, F24 (a3 b) = a
F (a) = a3 b F (b) = a3 b Descartada ya que F es biyectiva
Ahora solo falta demostrar que estas 24 funciones biyectivas son homomorfis-
mos, es decir, son los u
nicos automorfismos en Aut(Q8 ). Tendramos pues que
las 24 permutaciones de los 6 elementos a, a3 , b, ab, a2 b, a3 b corresponden a los
automorfismos de Q8 , quedando probado de esta manera que Aut (Q8 ) = S4 .
Solo revisamos la funcion F24 , las otras 22 se revisan de manera similar (notese
que la funcion F1 corresponde a la identica). Cada elemento de Q8 es de la
forma ar bs , donde 0 r 3, 0 s 1. Se debe entonces demostrar que
F24 (ar bs ap bq ) = F24 (ar bs )F24 (ap bq ). Consideremos dos casos:
(i) s = 0. Entonces, F24 (ar bs ap bq ) = F24 (ar ap bq ) = F24 (ar+p bq ). Si q = 0,
entonces F24 (ar bs ap bq ) = F24 (ar+p ). Debemos entonces considerar 16 posibili-
dades, pero en vista de la simetra de la situacion, basta tener en cuenta solo
los siguientes 10 casos:
r = 0, p = 0 F24 (ar bs ap bq ) = 1, F24 (ar bs )F24 (ap bq ) = 1
r = 0, p = 1 F24 (ar bs ap bq ) = a3 b, F24 (ar bs )F24 (ap bq ) = a3 b
r = 0, p = 2 F24 (ar bs ap bq ) = a2 , F24 (ar bs )F24 (ap bq ) = a2
r = 0, p = 3 F24 (ar bs ap bq ) = ab, F24 (ar bs )F24 (ap bq ) = ab
r = 1, p = 1 F24 (ar bs ap bq ) = a2 , F24 (ar bs )F24 (ap bq ) = aa = a2
r = 1, p = 2 F24 (ar bs ap bq ) = ab, F24 (ar bs )F24 (ap bq ) = a3 ba2 = ab
r = 1, p = 3 F24 (ar bs ap bq ) = 1, F24 (ar bs )F24 (ap bq ) = a3 bab = 1
r = 2, p = 2 F24 (ar bs ap bq ) = 1, F24 (ar bs )F24 (ap bq ) = a2 a2 = 1
r = 2, p = 3 F24 (ar bs ap bq ) = a3 b, F24 (ar bs )F24 (ap bq ) = a2 ab = a3 b
r = 3, p = 3 F24 (ar bs ap bq ) = a2 , F24 (ar bs )F24 (ap bq ) = abab = a2 .
Para q = 1 entonces F24 (ar bs ap bq ) = F24 (ar+p b), se presentan entonces 16
posibilidades:
r = 0, p = 0 F24 (ar bs ap bq ) = a2 b, F24 (ar bs )F24 (ap bq ) = a2 b
60 CAPITULO 5. AUTOMORFISMOS
Grupos de permutaciones
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 CAPITULO 6. GRUPOS DE PERMUTACIONES
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
(iii) x
/Ayx
/ B f (x) = x, g(x) = x f g(x) = x = gf (x).
|f | = m.
|f | = m.c.m.(m1 , . . . , mt )
1 ki n, 1 i r; 1 mj n, 1 i s.
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.
1 2 3 4 5 6 7 8 9
f=
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
(ii) Seg
un el teorema anterior, cada permutacion f de Sn es representable como
un numero 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 des-
composicion r sea par y en otra r sea impar. Sin embargo, la siguiente proposicion
muestra que tal situacion es imposible.
pf = p, f = (ab), a > b.
sgn : Sn Z
1, si f es par
sgn(f ) :=
1, si f es impar
sgn es un homomorfismo: sean f, g Sn . Entonces se presentan las siguientes posi-
bilidades:
f y g pares: entonces f g es par y as
sgn(1) = 1, sgn(ab) = 1; a, b In , a 6= b.
Seg
un el teorema fundamental de homomorfismo
Z ' Sn / ker(sgn),
Proposici
on 6.3.1. (i) Sn = h(12), (123 n)i
(ab) = (1a)(1b)(1a).
a = 1 : (1a) = 1 = (12)(12)
a = 2 : (1a) = (12)
a = 3 : (13) = (21345 n)(12)(21345 n)1 .
Proposicion 6.3.2. Para n 3, An coincide con con el subgrupo generado por los
3-ciclos.
6.3. SISTEMAS DE GENERADORES 69
f n = 1.
Sea R10 es la reflexion a traves del eje de simetra que pasa por el vertice 1. Esta
reflexion corresponde a la permutacion de los vertices dada por
1 2 3 k n 1 n
g=
1 n n 1 n k + 2 3 2
6.4. EL GRUPO DIHEDRICO DN , N 3 71
gf g = f 1 .
x = f k1 g l1 f k2 g l2 f km g lm , ki , li Z, 1 i m.
x = f k1 g l1 f k2 g l2 f km g lm , con 0 ki n 1, 0 li 1, 1 i m.
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 .
Representacion matricial del grupo dihedrico: consideremos en GL2 (R) las ma-
trices
cos sin
A :=
sin cos
1 0
B := .
0 1
2
con := n
. Notese que A es de orden n y B es de orden 2. Ademas,
1 0 cos sin 1 0 cos sin
= ,
0 1 sin cos 0 1 sin cos
n n
Obtenemos que f 2 conmuta con cada elemento de hf, gi = Dn , es decir, f 2 Z(Dn ).
De lo dicho obtenemos que
1, si n es impar
Z(Dn ) = n n
{1, f 2 } = hf 2 i, si n es par.
6.6. Ejercicios
1. Calcule Z (Sn ) y Z (An ).
Solucion. n = 2 S2 = Z2 Z (S2 ) = S2 ; Z (A2 ) = A2 .
n 3 : si n = 3 A3 = Z3 Z (A3 ) = A3 . Sea un elemento cualquiera de
Sn , 6= 1. Entonces es producto de ciclos disjuntos:
= (ij ) ( ) , donde i 6= j.
7.1. Definici
on
Sea {G1 , . . . , Gn } una coleccion finita de grupos (tomados con notacion multiplica-
tiva) y sea
Qn
i=1 Gi := Gi Gn := {(xi , . . . , xn ) | xi Gi , 1 i n}
75
76 CAPITULO 7. PRODUCTOS Y SUMAS DIRECTAS
Z2 Z3 = {(0, 0), (0, 1), (0, 2), (1, 0), (1, 1), (1, 2)}.
(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.
Adem
as,
n
Qn {Gi }i=1 una familia finita de grupos arbitrarios y sea x = (x1 , . . . , xn )
(i) Sea
i=1 Gi tal que xi es de orden finito para cada 1 i n, entonces |x| =
m.c.m. {|xi |}ni=1 .
Zm1 Zmk
= Zm1 mk
mk
(iv) Sea n = pm
1 pk
1
la descomposici
on del entero n en factores primos. En-
tonces
Zpm
1 Z mk = Zn .
1 pk
(ii) (G1 Gn ) / Gi
= G1 Gi1 Gi+1 Gn .
El producto cartesiano junto con sus proyecciones esta caracterizado por la siguiente
propiedad universal.
Q
TeoremaQ 7.2.1. Sean {Gi }iI una familia de grupos, iI Gi su producto cartesiano
y {j : iI Gi Gj }jI las proyecciones canonicas. Entonces,
j0
(ii) Cualquier otro grupo H con homomorfismos {H Gj }jI que tenga la
propiedad (i) es isomorfo al producto cartesiano.
(ii) Cualquier otro grupo abeliano H con homomorfismos {0j : Gj H}jI que
tenga la propiedad (i) es isomorfo a la suma directa externa.
Q Q Q
(z) = jIz tj (zj ) = jIx Iy tj (zj ) = jIx Iy tj (xj yj ) =
Q Q Q Q
jIx Iy tj (xj ) jIx Iy tj (yj ) = jIx tj (xj ) jIy tj (yj ) = (x)(y).
L
Probemos ahora la unicidad de : sea otro homomorfismo de L iI Gi en G tal
que j = tj para cada j I. Sea x un elemento cualquiera de iI Gi . Si x = 1
entonces necesariamente (1) = (1) = 1. Consid
Q Q hQerese pues que i x 6= 1. Entonces
(x) = jIx tj (xj ) = jIx j (xj ) = jIx j (xj ) = (x), ya que x =
Q
jIx j (xj ).
(ii) La prueba es como en el caso del producto y la dejamos al lector.
Proposici
on 7.4.1. Sean H1 . . . Hn subgrupos normales de G. Entonces
Como H1 E G entonces xi i xi+1 i+1
(xi i )1 H1 . Si xi+2
i+2
. . . xt t estan todos en H2 ,
i+1
entonces tendremos que x = x01 x02 , con x01 := x11 xi i xi+1 (xi i )1 H1 y x02 :=
i+2
xi i xi+2 xtt H2 . En caso contrario repetimos lo anterior maximo hasta t. De
esto obtenemos que hH1 H2 i H1 H2 .
Supongase que hH1 Hn1 i = H1 Hn1 . Notese que hH1 Hn i =
hK Hn i , con K = hH1 Hn1 i, ademas, K E G ya que gH1 Hn1 g 1 =
gH1 g 1 gH2 g 1 g gHn1 g 1 = H1 Hn1 .
De acuerdo con el paso n = 2 y con la hipotesis de induccion, hH1 Hn i =
KHn = H1 Hn1 Hn .
La normalidad S se acabaS de probar; la u ltima afirmacion de la proposicion es
evidente ya que ni=1 Hi = ni=1 H(i) .
x = h1 hn , hi Hi , 1 i n.
Definici
on 7.4.3. Se dice que el grupo G es suma directa interna de los sub-
grupos normales H1 , . . . , Hn si:
(i) G = H1 Hn
Pn
Dicha relacion entre G y los subgrupos H1 , . . . , Hn se denota por G = i=1 Hi =
H1 Hn .
G = G01 G0n .
as G0i
Adem = Gi , 1 i n.
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
G = 1 D4 , hf i hf 2 i , hf 2 i K4 , hf 2 i H4 .
7.5. EJERCICIOS 83
x1 ax = (x1 1
1 a1 x1 , ., xn an xn ) A.
Q
El resultado
Q anterior podemos generalizarlo: sea G = iI Gi , y sea Ai E Gi ,
i I. Si A := iI Ai , entonces A E G.
7.5. Ejercicios
1. Pruebe que S3 solo tiene la descomposicion trivial S3 = 1 S3 .
4. Sean G y H grupos finitos cuyos ordenes son primos relativos. Pruebe que
Aut (G H)
= Aut (G) Aut (H).
A := hf i, B := {g, f g, f 2 g, . . . , f n1 g},
84 CAPITULO 7. PRODUCTOS Y SUMAS DIRECTAS
GJ
7 (f )
(f r g s f p g q ) = (f rp g s+q ) = f kr f kp g s g q = f kr g s f kp g q ,
g) |F | = n. Sea F , seg
un la parte b) (g) debe ser un elemento de B,
k
digamos, (g) = f g, con 0 k n 1. As pues cada elemento F
determina un unico elemento f k g B, es decir, definimos
F B
7 (g)
G-conjuntos
8.1. Acci
on de grupos sobre conjuntos
En esta seccion se establece la equivalencia entre los conceptos de representacion de
un grupo en un grupo de permutaciones y el concepto de accion de un grupo sobre
un conjunto.
Definici
on 8.1.1. Sean X un conjunto y (G, ., 1) un grupo. Se dice que el grupo G
actua sobre el conjunto X, si existe una funci
on
: G X X , (g, x) := gx
tal que
(ii) (1, x) = 1x = x,
87
88 CAPITULO 8. G-CONJUNTOS
:GX X
(g, x) 7 (gx) =: g (x),
: G S(X)
Definicion 8.1.4. Sea : G X X, (g, x) = gx, una accion del grupo G sobre
el conjunto X y sea : G S(X), (g) = g , g (x) = gx, la representaci
on de G
en S(X) asociada a . Se denomina nucleo de la accion y se denota por ker()
al n
ucleo del homomorfismo :
8.2.
Orbitas y subgrupos estacionarios
Proposici on 8.2.1. Supongase que G actua sobre el conjunto X. En X se define
la relacion por
x y g G : gx = y.
es de equivalencia en X. La clase de equivalencia del elemento x se denota por
G(x) y se llama la Gorbita determinada por x. Para cada x X
G(x) = {gx|g G}
Gx =: {g G : gx = x}
as, Card(G(x)) = |G : Gx |.
Adem
90 CAPITULO 8. G-CONJUNTOS
Proposici
on 8.2.4. Sea G un grupo que actua sobre el conjunto X.
r
X
|X| = |G : Gxi | (Ecuaci
on de clases).
i=1
:GGG
(g, x) 7 gxg 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).
xG = {gxg 1 | g G}.
Notese que G ha sido particionado en clases conjugadas. Decir que dos elementos
x, y G son conjugados significa que estan en una misma clase (de equivalencia)
conjugada, es decir, existe g G tal que y = gxg 1 . Sea x un elemento cualquiera
de G. El subgrupo estacionario de x se denomina en este caso el centralizador de
x en G:
CG (x) = {g G : gxg 1 = x} = {g G : gx = xg}.
Segun la proposicion 8.1.5, la accion de conjugacion puede ser extendida a los sub-
conjuntos del grupo G. Sean A, B subconjuntos de G. Decimos que A y B son
conjugados si existe g G tal que B = gAg 1 . Notemos que cuando A es un
subgrupo de G entonces gAg 1 es tambien un subgrupo de G, es decir, la accion
de conjugacion a subconjuntos de G puede ser restringida a subgrupos de G. En
este caso, dado un subgrupo H de G la orbita de H, H G , esta constituida por los
subgrupos de G que son conjugados con H:
H G = {gHg 1 : g G}.
: G G/H G/H
(x, gH) 7 xgH,
determina una accion de G en G/H. Notemos en primer lugar que es una funcion:
sean gH = hH g 1 h H g 1 x1 xh H xgH = xhH. Ademas, (1, gh)
1gH = gH, y tambien, (xy) (gH) = (xy)gH = x(yg)H = x (y (gH)).
92 CAPITULO 8. G-CONJUNTOS
Determinemos el n
ucleo de :
x ker() g 1 xg H, g G x gHg 1 , g G,
es decir,
\
ker() = gHg 1 = Interseccion de los subgrupos de G conjugados con H.
gG
Demostremos que
\
gHg 1 es el subgrupo normal mas grande de G que esta contenido en H
gG
En efecto, sea \
x gHg 1
gG
Sea
T K E 1 G, K H para cada g G, K = gKg 1 gHg 1 K
gG gHg .
La accion determina desde luego una representacion del grupo G en S(G/H) :
: G S(G/H)
(x) 7 x
x : G/H G/H
gH 7 xgH.
Tomando H = {1} la funcion es precisamente el isomorfismo del teorema de
Cayley. Notese que cuando H 6= {1} y ker() = ker() = {1}, G no es tan peque
no
con respecto a S(G/H) como en el teorema de Cayley.
8.3. GRUPOS TRANSITIVOS 93
Si es par, entonces no hay nada que probar. Supongase que es impar. Sean
z1 , z2 In \{y1 , . . . , yn2 }. Entonces = (z1 z2 ) es par y ademas (xi ) = yi i =
1, . . . , n 2.
(i) X
|N (g)| = |G|.
gG
(siendo as, podemos afirmar que los n elementos g1 , . . . , gn son diferentes). Sea g un
elemento cualquiera de G. Sea i In la imagen de 1 mediante g: g(1) = i. Entonces
Por lo tanto n X
X
|N (g)| = 2n|G1 | = 2|G|.
j=1 gGj
96 CAPITULO 8. G-CONJUNTOS
Pero n X
X X
|N (g)| = |N (g)|2 .
j=1 gGj gG
8.4. Ejercicios
1. Demuestre la proposicion 8.2.1.
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 sub-
grupo de orden m. En este captulo se mostrara que la afirmacion anterior es valida
para grupos finitos cualesquiera pero con m una potencia de un primo. Ademas,
la unicidad se da salvo conjugacion. Los resultados de este captulo ayudaran a
describir en el proximo los grupos abelianos finitos.
9.1. p-grupos
En el captulo 2 se definieron los principales conceptos relacionados con la parte
finita de un grupo. Ademas, se tienen las siguientes definiciones.
(i) Periodo (exponente) de un grupo periodico: supongase que el conjunto
de los periodos de los elementos de un grupo periodico es acotado superiormente.
Entonces el mnimo comun m ultiplo de estos perodos se denomina periodo del grupo
periodico G.
(ii) Parte peri odica de un grupo abeliano: sea G un grupo abeliano. El
conjunto de elementos de G de periodo finito constituyen un subgrupo de G llamado
subgrupo de torsi on de G o parte periodica de G.
(iii) p-grupos: sea G un grupo ( finito o infinito). Si cada elemento de G tiene
periodo potencia del primo p, se dice que G es un p grupo.
(iv) p-subgrupo: se dice que H G es un p subgrupo de G , si H es un
p grupo.
(v) Grupos primarios: un grupo G se dice que es primario, si G es un pgrupo
para alg un primo p. En otras palabras, la coleccion de los grupos primarios es la
reunion de los p grupos, donde p recorre los primos positivos.
97
98 CAPITULO 9. TEOREMAS DE SYLOW
G = ri=1 xG
i , xi G.
Se tienen clases de un solo elemento (por ejemplo 1G ). Podemos reordenar los ndices
y suponer que las primeras q clases constan de un solo elemento. Se afirma que Z(G)
={x1 , . . . , xq } . En efecto, si x Z(G) gxg 1 = x para cada g G xG = {x}
x {x1 , . . . , xq } . El recproco es evidente.
La ecuacion numerica de clases toma la forma
|G| = | Z(G)| + ri=q+1 | G : CG (xi )|
P
(i) P es un p-subgrupo de G.
Entonces P Q es un p-subgrupo de G.
Demostracion. P Q G : sea pq P Q pqp1 Q pq QP P Q QP .
Analogamente, QP P Q y as P Q = QP .
Q E P Q : sean q Q, pq0 P Q pq0 q(pq0 )1 = pq0 qq01 p1 Q.
Por el teorema fundamental de isomorfismo P Q/Q = P/(P Q). Notese que
P/(P Q) es un p-grupo ( mas generalmente, si G es un p-grupo y N E G entonces
G/N es un p-grupo : x G |x| = p , 0; (x)p = xp = 1 |x| | p ). Q es
un p-grupo ya que los elementos de Q tienen el mismo orden que los elementos de
P.
100 CAPITULO 9. TEOREMAS DE SYLOW
9.2. Preliminares
El siguiente ejemplo ilustra que el recproco del teorema de Lagrange no es en general
valido.
Ejemplo 9.2.1. En A5 no hay subgrupos de orden 30, aunque 30 | |A5 | = 60. Si
existiera H A5 tal que | H| = 30 H E A5 . Pero probaremos que para cada
n 5, An es simple.
on 9.2.2. Para cada n 5, An es simple.
Proposici
Demostracion. Sea H E An y H 6= 1. Sea 6= 1, H. Puesto que cada
permutacion es producto de ciclos disyuntos entonces tiene alguna de las siguientes
formas:
(a) En la descomposicion de hay al menos un ciclo de longitud 4, =
(1 2 3 4 )
(b) Si en todos los ciclos son de longitud 3 entonces se presentan dos posi-
bilidades :
(b1) es exactamente un ciclo de longitud 3 , = (1 2 3 ).
(b2) En hay un ciclo de longitud 3 y otros ciclos de longitud 3 , =
(1 2 3 )(4 , 5 )
(c) En todas los ciclos son de longitud 2, es decir, es producto de trans-
posiciones (al menos 2 ya que H An ), = ( 3 4 )( 1 2 ) (si para cada
H no se presenta ninguna de estas 4 formas entonces H = 1).
Demostraremos que la existencia en H de un elemento 6= 1 implica la existencia
en H de al menos un ciclo de longitud 3. Estudiaremos las 4 formas posibles.
(a) = (1 2 3 4 ) H; sea = (1 2 3 ). Como = (1 2 )(1 3 )
An y H E An entonces ( 1 ) 1 H, es decir,
(1 2 3 )(1 2 3 4 ) (3 2 1 ) ( 4 3 2 1 ) = (1 2 4 ) H
(b1) No hay nada que probar.
(b2) = (4 5 )(1 2 3 ) H. Sea = (1 2 4 ) An 1 1
= (1 2 5 3 4 ) H. Seg un (a), esto implica que H contiene un ciclo de longitud
3.
9.2. PRELIMINARES 101
(c) = ( 3 4 )( 1 2 ) H; = (1 2 3 ) An 1 1 = (2 4 )(1
3 ) H. Puesto que n 5 entonces (1 2 5 3 4 ) = (1 4 )(1 3 )(1 5 )(1 2 )
An, de aqu resulta: (1 2 5 3 4 )(2 4 )(1 3 )(1 2 5 3 4 )1 = (1 5 )(2 4 )
H. Hagamos ahora el producto de estas permutaciones (1 5 )(4 2 )(2 4 )(1 3 ) =
(1 3 5 ) H.
Queremos mostrar ahora que la contenencia en H de un ciclo de longitud 3
implica la inclusion en H de todos los 3-ciclos, con lo cual H = An . Sea pues
(1 2 3 ) un ciclo de H. Sea (1 2 3 ) un 3-ciclo cualquiera de An . Puesto que
n 5 entonces An es 3-transitivo; existe entonces An tal que (i ) = i ,
i = 1, 2, 3. Entonces 1 (1 2 3 ) = (1 2 3 ) H.
Antes de probar los tres teoremas de Sylow consideremos algunos hechos elemen-
tales de la teora de n
umeros.
de X 0 es :
!
k nk
n n k n +1
+ = 1+ = .
k n k +1 k n k +1 k
pr k m( pr m 1) ( pr m ( pk 1))
r
pm
=
pk 12 (pk 1)
r
Consideremos el racional p mi i , con 1 i pk 1 < pk . Si pj es una potencia
de p que divide a i, entonces
i = pj < pk j < k r pr m i = pr j+ j m pj = pj (prj m )
pj |pr m i, es decir, pj es tambien una potencia que divide a pr m i.
Sea ahora pj una potencia de p que divide a pr m i, entonces pr m i = pj
pr m pj = i j r de lo contrario, pr m pjr+r = i pr (m pjr ) = i
i pr pk , lo cual es falso.
Por lo tanto, pr+ j j mpj = i pj (prj m ) = i pj |i.
r r m(pk 1))
En conclusion, como (m, p) = 1, entonces el racional m(p m1)(p 1,2(pk 1)
es
libre de potencias de p.
r r r r mpk+1 )
Resta ver que prk | ppkm . Sea c = ppkm y m(p m1)(p
1,2(pk 1)
= ab , donde esta
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
Teorema 9.3.1 (Teoremas de Sylow). Sea G un grupo finito y sea p un n
umero
primo que divide al orden de G. Entonces:
Demostracion. (i) Existencia: sea n el orden del grupo G y sea pr la maxima potencia
de p que divide a n. Sea pues n := pr m, donde m.c.d.(p, m) = 1. Consideremos el
conjunto M de todos los subconjuntos de G que contiene p elementos. Puesto que
G actua sobre si mismo de la manera trivial
G G G, (g, x) gx,
C = {gP g 1 | g G} = P G .
104 CAPITULO 9. TEOREMAS DE SYLOW
Puesto que P G |NG (P )| = |G| entonces el n umero de p-subgrupos de Sylow
G
de G divide el orden de G. P actua sobre P mediante la accion de conjugacion
determinado al menos una orbita de un solo elemento: {P }. Supongase que P de-
termina otra orbita de un solo elemento Q, Q 6= P . Entonces se tiene que P y Q con
conjugados, P normaliza Q, P es un p-subgrupo. De aqu obtenemos que P Q es un
p-subgrupo y ademas P es subgrupo propio de P Q. Esto contradice el hecho de que
P es maximal. Por lo tanto, P determina sobre P G solo una orbita unitaria. Ya que
las longitudes de las orbitas dividen a pr = |P | entonces P G 1 (mod p ).
9.4. Aplicaciones
Proposicion 9.4.1. Sea G un grupo finito y sea H un p-subgrupo de Sylow de G.
Entonces, H E G H es u nico.
(i) G
= Zpq o
l
ar bl as bm = ar+sk bl+m , r, l, s, m 0.
Proposici
on 9.4.6. Los grupos no abelianos de orden 8 son D4 y Q8 .
108 CAPITULO 9. TEOREMAS DE SYLOW
bab1 = 1 a = 1, falso.
9.4. APLICACIONES 109
9.5. Ejercicios
1. Sea G un grupo formado por dos elementos x, y tales que
Entonces, G
= Gpq .
112
10.1. P -GRUPOS ABELIANOS FINITOS 113
con 0 si < pm . Sea |bi | = pi con 1 i m, entonces (bpi )p i = (asi )p i , luego
i
1 = asi p i , entonces pm |si pi y existe entonces ti tal que si = ti pmi . Definimos
entonces
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
ai i = a hai. De aqu obtenemos que h
ai i = hi i = G i , 1 i r. Por lo tanto,
G = hai i har i.
Sea x un elemento cualquiera de G. Entonces x = x1 xr donde xi hai i, 1
i r; xi = ai ki , 0 ki < pmi , xi = aki i x = ak11 akr r x(ak11 akr r )1 =
ak hai x = ak11 akr r ak .
Se ha probado que cada elemento x de G se expresa como producto de elementos
de ha1 i har i y hai. Queda por demostrar que la representacion es u nica. Para esto
es suficiente demostrar la unicidad de la representacion del elemento identidad 1.
Sea
10.2. SISTEMAS DE INVARIANTES 115
G = G1 Gr ,
G = G1 G r = H1 Hs ,
Demostracion. Este resultado se puede enunciar y probar de una manera mas gen-
eral usando teora de modulos, omitimos sun demostracion e invitamos al lector a
consultar [9].
G = G1 Gr , |Gi | = pmi ,
(i) Se dice que G es del tipo (pm1 , . . . , pmr ) si G es suma directa de subgrupos
cclicos de ordenes pmi , 1 i r, m1 m2 mr , 1 r n,
m1 + + mr = n; las componentes pm1 , . . . , pmr se denominan divisores
elementales del grupo G.
(ii) Sean A y B dos p grupos abelianos finitos con el mismo sistema de divisores
elementales (pm1 , . . . , pmr ). Entonces A = A1 Ar , B = B1 Br
= Zpmi
con Ai = Bi . El sistema de isomorfismos i induce el isomorfismo
:AB
(a1 , . . . , ar ) := (1 (a1 ), . . . , r (ar )).
Proposicion 10.2.2. Con sus divisores elementales cada p-grupo abeliano finito
queda determinado unvocamente salvo isomorfismo.
Ejemplo 10.2.5. n = 4: (4), (3, 1), (2, 2), (2, 1, 1), (1, 1, 1, 1) p(4) = 5.
Cada particion (m1 . . . mr ) determina un u nico grupo (salvo isomorfismo) con sis-
tema de divisores elementales (p , . . . , pmr ). As pues, h es 1 1. Ahora, h es
m1
Teorema 10.3.1. Cada grupo abeliano finito es suma directa de p-subgrupos ccli-
cos. Dos descomposiciones difieren s
olo en el orden de disposici
on de los sumandos.
Entonces, seg
un el teorema 10.1.1 G tiene una descomposicion u
nica en suma directa
de sus subgrupos de Sylow (sus componentes primarias),
G = P1 Pk
Corolario 10.3.2. El n
umero de grupos abelianos no isomorfos de orden
Proposici
on 10.3.3 (Recproco del teorema de Lagrange para grupos a-
belianos finitos). Sea G un grupo abeliano finito y sea m Z+ tal que m||G|.
Entonces G contiene al menos un subgrupo de orden m.
Demostracion. Sea |G| = n = pn1 1 pnk k y sea m|n, m = pm mk
1 . pk
1
con 0
mi ni , 1 i k. Existen en G subgrupos H1 , . . . , Hk de ordenes |Hi | = pm i ,
i
m m mj1 mj+1
pj1j+1 pm
k
k
|x| | d, donde d = m.c.d. (pj j ; pm mk
1 pj1 pj+1 pk ) = 1
1
|x| = 1 x = 1.
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
10.4. GRUPOS DE ORDEN 15 119
Z4 Z4 Z2 Z5 Z9 ; Z4 Z4 Z2 Z5 Z3 Z3
Z4 Z2 Z2 Z2 Z5 Z9 ; Z4 Z2 Z2 Z2 Z5 Z3 Z3 ,
Z2 Z2 Z2 Z2 Z2 Z5 Z9 ; Z2 Z2 Z2 Z2 Z2 Z5 Z3 Z3
(ii)Veamos que Z72 Z84 = Z36 Z168 :
Z72 Z84 = Z8 Z9 Z4 Z3 Z7 = Z9 Z4 Z8 Z3 Z7 = Z36 Z168
(iii) Son Z72 Z12 y Z18 Z48 isomorfos?
Z72 Z12 = Z8 Z9 Z4 Z3 = Z8 Z4 Z9 Z3 (23 , 22 , 32 , 31 );
Z18 Z48 = Z9 Z2 Z16 Z3 = Z16 Z2 Z9 Z3 (24 , 21 , 32 , 31 ).
Puesto que los sistemas de divisores elementales son distintos, entonces los grupos
no son isomorfos.
n Abelianos No abelianos
1 1
2 Z2
3 Z3
4 Z4 , V = ha, b|a2 = 1 = b2 , ab = bai
5 Z5
6 Z6 D3 = S3
7 Z7
8 Z8 , Z4 Z2 , Z2 Z2 Z2 D4 , Q8
9 Z9 , Z3 Z3
10 Z10 D5
11 Z11
12 Z12 , Z6 Z2 A4 , D6 , T = ha, b | a6 = 1, b2 = a3 , bab1 = a1 i
13 Z13
14 Z14 D7
15 Z15
10.5. Ejercicios
1. Determine todos los grupos abelianos de orden 1024.
3. Sean G, H grupos abelianos finitos tales que para cada entero positivo m ambos
umero de elementos de orden m. Demuestre que G
tienen el mismo n = H.
120 CAPITULO 10. GRUPOS ABELIANOS FINITOS
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.
121
122 CAPITULO 11. GRUPOS SOLUBLES
(ii) K E G NG (K) = G.
Demostracion. (i) La primera parte es consecuencia de la definicion de normalizador.
(ii) Es una consecuencia directa de (i).
Recordemos que so G es un grupo su centro se define como el centralizador de
G en G y se denota por Z (G), es decir,
Z (G) := {x G|ax = a para cada a G}.
Proposici
on 11.1.3. Sea G un grupo. Entonces
(i) Z (G) es un grupo abeliano.
(ii) Z (G) E G.
Proposicion 11.2.5. Sea G un grupo tal que G/Z (G) es cclico. Entonces G es
abeliano.
Demostracion. Sea x un elemento de G. Entonces, x = xZ (G) G/Z (G). Como
este cociente es cclico existe a G tal que x = a k para alg un k Z x1 ak
Z (G), es decir, existe z Z(G) tal que x1 ak = z x = ak z 1 , es decir, x es de la
forma x = ak , donde Z (G).
Sean x, y elementos cualesquiera de G. Entonces
1 k 1 k
[x, y] = x1 y 1 xy = ak1 w1 a 2 w2 a 1 w1 ak2 w2 , donde k1 , k2 Z y
w1 w2 Z (G);
1 k1 1 k2 k1
[x, y] = w1 a w2 a a w1 ak2 w2 = ak1 k2 +k1 +k2 = 1,
124 CAPITULO 11. GRUPOS SOLUBLES
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.
on 11.2.8. Sea G un grupo, A, B G y sea H := hA, Bi. Entonces
Proposici
(i) [A, B] , A [A, B] , B [A, B] E H.
donde ai A, bi B, i = 1, 1 i n, x es de la forma
x = x1 1 xmm , xi A B, i = 1, 1 i m. (11.2.2)
Basta entonces considerar los productos de la forma x1 [a, b] x, x1 [a, b]1 x, con
a A, b B y x A B.
x A: notese que x1 [a, b] x = [ax, b] [x, b]1 [A, B] (vease el ejercicio 4).
1
x1 [a, b]1 x = (x1 [a, b] x) [A, B]
1
x B: x1 [a, b] x = x1 [b, a]1 x = (x1 [b, a] x)
1
= [bx, a] [x, a]1 (vease el ejercicio 4)
1
= [x, a] [bx, a]
= [a, x]1 [a, bx] [A, B].
1
Ahora, x1 [a, b]1 x = (x1 [a, b] x) [A, B].
A [A, B] E H : sean y [A, B] un elemento como en (11.2.1) y sea x H un
elemento como en (11.2.2); sea ademas a A. Es suficiente entonces considerar
solamente un producto de la forma
x1 ayx, con x A B.
Pero x1 ayx = x1 axx1 yx; segun lo probado , x1 yx [A, B]. Ademas, si x A
entonces x1 ax A y as x1 ayx A [A, B].
1
Si x B entonces x1 ax = x1 axa1 a = [x, a1 ] a = [a1 , x] a [A, B] A =
A [A, B], y as x1 ayx A [A, B] (la u
ltima igualdad es consecuencia de que A
normaliza [A, B]).
126 CAPITULO 11. GRUPOS SOLUBLES
Definici
on 11.3.1. Se denomina cadena de un grupo G a una sucesi on finita
totalmente ordenada de subgrupos de G comenzando en 1 y terminando en G:
1 = H0 H1 Hn = G. (11.3.1)
Hi E G, para 0 i n.
Observacion 11.3.2. Para los grupos abelianos los conceptos de cadena, cadena
subnormal y normal coinciden. Evidentemente en el caso general toda cadena nor-
mal es subnormal.
Ejemplo 11.3.3. (i) 0 < 6Z < 3Z < Z y 0 < 45Z < 15Z < 3Z <
Z son cadenas de Z con secciones 6Z/0 = Z, 3Z/6Z = Z2 , Z/3Z = Z3 ; 45Z/0 = Z,
15Z/45Z = Z3 , 3Z/15Z = Z5 , Z/3Z = Z3 .
(ii) 1 < 2Z < Z < Qp es una cadena de Qp con secciones 2Z/1 = Z, Z/2Z = Z2 ,
Qp /Z = Cp .
(iii) 1 < Cp < Cp2 < < Cpn es una cadena de Cpn con secciones isomorfas a
Cp .
(iv) 1 < hgi < K = {1, f 2 , g, f 2 g} < D4 es una cadena subnormal no normal de
D4 con secciones isomorfas a Z2 .
(v) 1 < ha2 i < hbi < Q8 ; 1 < ha2 i < hai < Q8 ; 1 < ha2 i < habi < Q8 son cadenas
normales de Q8 con secciones isomorfas a Z2 . Notese que en Q8 toda cadena es
normal ya que todos sus subgrupos son normales.
(vi) 1 < {1, (12)(34)} < A04 = {1, (12)(34), (13)(24), (14)(23)} < A4 es una
cadena subnormal no normal de A4 con secciones Z2 , Z2 , Z3 . En efecto, {1, (12)(34)}
no es normal en A4 : (123)1 (12)(34)(123) = (13)(24).
Definici
on 11.3.4. Sean
1 = H0 H1 Hn = G, (11.3.2)
1 = K0 K1 Km = G (11.3.3)
cadenas del grupo G.
Hi+1 /Hi
= K(i)+1 /K(i) , 0 i n 1.
Ejemplo 11.3.5. (i) 0 < Z2 < Z6 < Z12 < Z24 < Z48 es un refinamiento de la
cadena 0 < Z2 < Z12 < Z48 .
(ii) 0 < Z2 < Z6 < Z24 y 0 < Z4 < Z12 < Z24 son cadenas normales isomorfas de
Z24 : Z2 /0 = Z24 /Z12 ; Z24 /Z6
= Z2 = Z4
= Z4 /0 Z6 /Z2
= Z3
= Z12 /Z4 .
Una u
ltima definicion para luego probar los principales resultados de esta seccion.
Definicion 11.3.6. Sea (11.3.1) una cadena subnormal del grupo G. Se dice que
(11.3.1) es una cadena de composici on de G si
Proposici
on 11.3.7. Sea G un grupo con cadena subnormal (normal)
1 = H0 H1 Hn = G.
Sea K G. Entonces
(ii) Si K E G entonces
Hi+1 K Hi+1
Hi+1
= K
Hi K
=
Hi+1 K
=
Hi+1
=
Hi
Hi (Hi+1 K) .
Hi Hi K Hi (Hi+1 K)
K Hi
A E B G, H E G; entonces BH
= B
.
AH A(BH)
(i) H (H K ) E H (H K).
(ii) K (H K) E K (H K).
(iii) H (H K)/H (H K )
= K (H K)/K (H K)
=
(H K)/[(H K)(H K )].
: H (H K) (H K)/[(H K)(H K )]
(hx) := xL,
130 CAPITULO 11. GRUPOS SOLUBLES
1 = H0 H1 H2 Hn = G, (11.3.4)
1 = K0 K1 K 2 Km = G (11.3.5)
dos cadenas subnormales de G. Para cada 0 i n 1 insertamos entre Hi y Hi+1
una sucesion ordenada de subgrupos (no necesariamente diferentes)
Hi = Hi (Hi+1 K0 ) Hi (Hi+1 K1 ) . Hi (Hi+1 Km ) = Hi+1 .
Sea Hi,j = Hi (Hi+1 Kj ), 0 i n 1, 0 j m. Notese que Hi,m = Hi+1 =
H1+i,0 , 0 i n 1. Segun el lema de Zassenhaus se obtiene una nueva cadena
subnormal de G que es refinamiento de (11.3.4):
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):
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 composicion
(principal) que contiene a N.
Demostracion. La cadena 1 < N < G es subnormal y normal en G. Consideremos
inicialmente el caso subnormal. Sea {Hi } una cadena de composicion de G. Seg
un el
Teorema 1, 1 < N < G tiene un refinamiento subnormal isomorfo a un refinamiento
de {Hi } . Pero como {Hi } es de composicion, entonces dicho refinamiento de
1 < N < G es una serie de composicion. De manera analoga se argumenta el caso
principal.
11.5. Ejercicios
1. Sea G un grupo y sean L, M G no vacos. Entonces [L, M ] = [M, L] .
0
2. Sea G un grupo y KEG. Entonces pruebe que el conmutante K de K es
normal en G.
0 0
3. Sea : G1 G2 un homomorfismo de grupos. Pruebe que G1 G2 .
0 0
Ademas, si es sobre entonces G1 = G2
4. Demuestre que
8. Calcule [T, T ].
134 CAPITULO 11. GRUPOS SOLUBLES
10. Encuentre todas las cadenas de composicion de Z60 y muestre que son isomor-
fas.
12. Es D4 soluble?
13. Es Dn soluble?
15. Es T soluble?
1 a a2 a3 a4 a5 b ab a2 b a3 b a4 b a5 b
1 1 a a2 a3 a4 a5 b ab a2 b a3 b a4 b a5 b
a a a2 a3 a4 a5 1 ab a2 b a3 b a4 b a5 b b
a2 a2 a3 a4 a5 1 a a2 b a3 b a4 b a5 b b ab
a3 a3 a4 a5 1 a a2 a3 b a4 b a5 b b ab a2 b
a4 a4 a5 1 a a2 a3 a4 b a5 b b ab a2 b a3 b
a5 a5 1 a a2 a3 a4 a5 b b ab a2 b a3 b a4 b
b b a5 b a4 b a3 b a2 b ab a3 a2 a 1 a5 a4
ab ab b a5 b a4 b a3 b a2 b a4 a3 a2 a 1 a5
a2 b a2 b ab b a5 b a4 b a3 b a5 a4 a3 a2 a 1
a3 b a3 b a2 b ab b a5 b a4 b 1 a5 a4 a3 a2 a
a4 b a4 b a3 b a2 b ab b a5 b a 1 a5 a4 a3 a2
a5 b a5 b a4 b a3 b a2 b ab b a2 a 1 a5 a4 a3
[1] Cohn, P.M., Basic Algebra: groups, rings and fields, Springer, 2003.
[2] Corry, L., Modern Algebra and the Rise of Mathematical Structures, Springer,
2003.
[3] Herstein, I.N., Topics in Algebra, 2nd. edition, John Wiley, 1975.
[12] Spindler, K., Abstract Algebra with Applications, Vol. I, II, Marcel Dekker,
1994.
[13] van der Waerden, B.L., Algebra, Vol. I, II, Springer, 1991.
135