Introduccion Al Algebra PDF

Introduccion a la teora
de grupos finitos
por Alberto Garca Raboso

8 de marzo de 2007
II
Este documento ha sido realizado en AMS-LATEX 2 .
v. 1.0 (26 de agosto de 2001).

v. 1.1 (24 de febrero de 2004): Actualizacion de direccion de correo electronico.
v. 1.2 (8 de marzo de 2007): Correccion de algunas erratas (gracias a Jorge Nunez
Pascual). Modificada tabla al final del captulo 10 para incluir grupos abelianos (por
sugerencia de Jorge Nunez Pascual). Actualizacion de direccion de correo
electronico.
Se puede contactar con el autor en <agraboso@physics.rutgers.edu> y

<agraboso@gmail.com>
Indice general
Indice general III
1 Grupos y subgrupos 1
1.1. Primeras definiciones y propiedades . . . . . . . . . . . . . . . . 1
1.2. Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3. Homomorfismos de grupos . . . . . . . . . . . . . . . . . . . . . 4
2 Teorema de Lagrange 7
2.1. Clases de un grupo modulo un subgrupo . . . . . . . . . . . . . 7
2.2. Teorema de Lagrange . . . . . . . . . . . . . . . . . . . . . . . 8
2.3. Producto interno de subgrupos . . . . . . . . . . . . . . . . . . 9
3 Grupos cclicos 11
3.1. Definicion de grupo cclico . . . . . . . . . . . . . . . . . . . . . 11
3.2. Propiedades de los elementos de torsion . . . . . . . . . . . . . 11
3.3. Corolarios del teorema de Lagrange . . . . . . . . . . . . . . . . 13
3.4. Teoremas de Euler y Fermat . . . . . . . . . . . . . . . . . . . . 13
3.5. Clasificacion de grupos cclicos . . . . . . . . . . . . . . . . . . 15
3.6. Subgrupos de grupos cclicos . . . . . . . . . . . . . . . . . . . 16
3.7. Generadores de grupos cclicos . . . . . . . . . . . . . . . . . . 18
3.8. Imagen homomorfica de grupos cclicos . . . . . . . . . . . . . . 18
3.9. Automorfismos de grupos cclicos . . . . . . . . . . . . . . . . . 19
4 Acciones de grupos. Subgrupos normales 21

4.1. El teorema de orbita-estabilizador . . . . . . . . . . . . . . . . 21
4.2. Elementos conjugados y clases de conjugacion . . . . . . . . . . 23
4.3. Subgrupos normales . . . . . . . . . . . . . . . . . . . . . . . . 25
5 Grupos cociente y teoremas de isomorfa 29

5.1. Grupo cociente y teorema de correspondencia . . . . . . . . . . 29
5.2. Homomorfismos, subgrupos y teoremas de isomorfa . . . . . . 30
5.3. Corolarios de los teoremas de isomorfa . . . . . . . . . . . . . . 32
iii
IV Indice general
6 Grupos simetricos, alternados y diedricos 35

6.1. Permutaciones. Descomposicion en ciclos disjuntos . . . . . . . 35
6.2. Descomposicion en transposiciones. Sistemas de generadores de
Sn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
6.3. Signatura de una permutacion . . . . . . . . . . . . . . . . . . . 37
6.4. Grupos alternados . . . . . . . . . . . . . . . . . . . . . . . . . 39
6.5. Estructura de los grupos simetricos y alternados . . . . . . . . 41
6.6. Teorema de Abel . . . . . . . . . . . . . . . . . . . . . . . . . . 42
6.7. Teorema de Cayley . . . . . . . . . . . . . . . . . . . . . . . . . 43
6.8. Grupos diedricos . . . . . . . . . . . . . . . . . . . . . . . . . . 44
7 Producto directo y semidirecto 47

7.1. Producto directo de grupos . . . . . . . . . . . . . . . . . . . . 47
7.2. Producto semidirecto de grupos . . . . . . . . . . . . . . . . . . 50
8 p-grupos y teoremas de Sylow. Grupos solubles 53

8.1. p-grupos y p-subgrupos de Sylow . . . . . . . . . . . . . . . . . 53
8.2. Teoremas de Sylow . . . . . . . . . . . . . . . . . . . . . . . . . 54
8.3. Corolarios de los teoremas de Sylow . . . . . . . . . . . . . . . 56
8.4. Grupos solubles . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
9 Grupos abelianos finitos 61

9.1. Factorizacion de elementos de grupos abelianos finitos . . . . . 61
9.2. Clasificacion de los grupos abelianos finitos . . . . . . . . . . . 62
9.3. Cuerpos finitos . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
9.4. Grupos abelianos de orden bajo . . . . . . . . . . . . . . . . . . 68
10 Clasificacion de grupos de orden menor que 16 69

10.1. Primeros grupos clasificados . . . . . . . . . . . . . . . . . . . . 69
10.2. Grupos de orden pq . . . . . . . . . . . . . . . . . . . . . . . . . 69
10.3. Grupos de orden 8 . . . . . . . . . . . . . . . . . . . . . . . . . 70
10.4. Grupos de orden 12 . . . . . . . . . . . . . . . . . . . . . . . . 72
10.5. Resumen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
Bibliografa 75
Captulo 1
Grupos y subgrupos
1.1. Primeras definiciones y propiedades

Definicion 1.1.1 Un grupo es un conjunto G dotado de una operacion bina-
ria que satisface los siguientes axiomas:
(G1) Operacion interna:

x, y G, x y G
(G2) Propiedad asociativa:
x, y, z G, (x y) z = x (y z)
(G3) Existencia de elemento neutro:
e G : g G, e g = g e = g
(G4) Existencia de elemento inverso:
g G, g 1 G : g g 1 = e = g 1 g
Definicion 1.1.2 Se dice que un grupo (G, ) es abeliano si para todos x, y

G se cumple x y = y x.
Definicion 1.1.3 Sea (G, ) un grupo. Se llama orden de (G, ) al cardinal

|G| del conjunto subyacente. Se dice que (G, ) es finito si dicho cardinal lo
es, e infinito en caso contrario.
Proposicion 1.1.4 (Propiedades cancelativas) Sea (G, ) un grupo. Pa-

ra todos a, b, c G se cumple
a c = b c = a = b
c a = c b = a = b
1
2 Grupos y subgrupos
Demostracion. Dado c G, el axioma (G4) asegura la existencia de un

elemento c1 G tal que c c1 = e. Entonces, componiendo a c = b c por
la derecha con c1 , se tiene
(a c) c1 = (b c) c1 utilizando (G2)
1 1
a (c c ) = b (c c ) utilizando (G4)
ae=be utilizando (G3)
a=b
Analogamente, y dado que c1 c = e, componiendo c a = c b por la
izquierda con c1 ,
c1 (c a) = c1 (c b) utilizando (G2)
(c1 c) a = (c1 c) b utilizando (G4)
ea=eb utilizando (G3)
a=b
Q.E.D.
Proposicion 1.1.5 El elemento neutro e de un grupo (G, ) es unico.
Demostracion. Supongamos que existiesen en (G, ) dos elementos neutros

distintos e, f G. Entonces, utilizando el axioma (G3), e = e f = f .
Q.E.D.
Proposicion 1.1.6 El elemento inverso de cualquier elemento g de un grupo

(G, ) es unico.
Demostracion. Supongamos que existiesen dos elementos g 1 , g ? G tales

que g g 1 = g 1 g = e y g g ? = g ? g = e. Entonces, g g 1 = g g ? ,
y, utilizando la propiedad cancelativa por la izquierda, se tiene g 1 = g ? .
Q.E.D.
Proposicion 1.1.7 Sea (G, ) un grupo. Para todo g G se tiene que (g 1 )1 =

g.
Demostracion. Dada la unicidad del elemento inverso, basta observar que

g g 1 = g 1 g = e. Q.E.D.
Proposicion 1.1.8 Sea (G, ) un grupo. Para todos x, y G se tiene que

(x y)1 = y 1 x1 .
Demostracion. La unicidad del elemento inverso y las relaciones

(x y) (x y)1 = x (y y 1 ) x1 = x e x1 = x x1 = e
(x y)1 (x y) = y 1 (x1 x) y = y 1 e y = y 1 y = e
demuestran el enunciado. Q.E.D.
1.2. Subgrupos 3
Proposicion 1.1.9 Sea (G, ) un grupo. Entonces,
(G, )es abeliano x, y G, (x y)1 = x1 y 1
Demostracion. De la definicion de grupo abeliano, (x y)1 = y 1 x1 =

x1 y 1 .
Recprocamente, si para todos x, y G se tiene (x y)1 = x1 y 1 ,
entonces, utilizando sucesivamente las proposiciones 1.1.7 y 1.1.8, la hipotesis
y de nuevo la proposicion 1.1.7,
x y = (x1 )1 (y 1 )1 = (y 1 x1 )1 = (y 1 )1 (x1 )1 = y x
Q.E.D.
1.2. Subgrupos
Definicion 1.2.1 Dado un grupo (G, ) y un subconjunto H G, se dice que
(H, ) es un subgrupo de (G, ), y se denota (H, ) (G, ), si H es un grupo
con respecto a la operacion definida en G.
Definicion 1.2.2 Sea (G, ) un grupo. Los subconjuntos G y {e} reciben el

nombre de subgrupos impropios de G. El resto de subgrupos de G reciben el
nombre de subgrupos propios de G.
Proposicion 1.2.3 Sea (G, ) un grupo, y sea H G, H 6= . (H, ) es un

subgrupo de (G, ) si y solo si para todos x, y H se cumple x y 1 H.
Demostracion. Sea H un subgrupo de G. Si x, y H entonces, por (G4),

y 1 H, y, por (G1), x y 1 H.
Recprocamente, sea x H. Entonces x x1 = e H y e x1 =
1
x H, demostrando (G3)y (G4). Para probar (G1), basta observar que
x y = x (y 1 )1 H. Por ultimo, la asociatividad de la operacion en H se
deduce de la asociatividad de la operacion en G. Q.E.D.
Proposicion 1.2.4 Sea I un conjunto

T de ndices, y sean Hi , i I subgrupos
de un grupo (G, ). Entonces, iI Hi es un subgrupo de G.
Demostracion. Sean x, y Hi para todo i I. Por T ser Hi subgrupos,

1 1
x y Hi para todo i I. Entonces, x, y, x y iI Hi . Q.E.D.
Definicion 1.2.5 Sea X un subconjunto cualquiera de un grupo G. Se llama

subgrupo generado por X, y se denota hXi, a la interseccion de todos los
subgrupos de G que contienen a X.
Proposicion 1.2.6 En las condiciones de la definicion anterior,
hXi = {x1 1 x2 2 xnn : x1 , x2 , . . . , xn X, 1 , 2 , . . . , n Z}

Demostracion. Sea HX el conjunto del miembro derecho de la igualdad.

Es claro que HX es un subgrupo de G. Como X HX y hXi es el mnimo
subgrupo que contiene a X, se tiene que hXi HX .
Falta probar la inclusion contraria. Puesto que hXi es un subgrupo de
G y X hXi, si xi X, xi hXi para todo i = 1, 2, . . . , n, de donde
x1 1 x2 2 xnn hXi y HX hXi. Q.E.D.
Definicion 1.2.7 Se llama retculo de los subgrupos de un grupo (G, ) al

conjunto de todos los subgrupos de (G, ), junto con sus relaciones de inclusion.
1.3. Homomorfismos de grupos

Definicion 1.3.1 Sean (G1 , ), (G2 , ?) grupos, y sea f : G1 G2 una apli-
cacion entre ellos. Se dice que f es un homomorfismo de grupos si
f (x y) = f (x) ? f (y)
Un homomorfismo inyectivo recibe el nombre de monomorfismo; un ho-

momorfismo suprayectivo, epimorfismo; un homomorfismo biyectivo, isomor-
fismo; y un isomorfismo de G en s mismo, automorfismo.
Si existe un isomorfismo entre (G1 , ) y (G2 , ?), se dice que ambos grupos
son isomorfos, y se denota (G1 , )
= (G2 , ?).
Proposicion 1.3.2 Sean (G, ), (H, ?) grupos, y sea f : G H un homo-

morfismo entre ellos. Entonces, para todos x, y G,
f (x y 1 ) = f (x) ? f (y)1
f (y 1 x) = f (y)1 ? f (x)
Demostracion. Utilizando que f es un homomorfismo,
f (x y 1 ) ? f (y) = f ((x y 1 ) y) = f (x)
y basta componer con f (y)1 por la derecha. La demostracion del segundo

aserto es analoga. Q.E.D.
Corolario 1.3.3 Sean (G, ), (H, ?) grupos, y sea f : G H un homomor-

fismo entre ellos. Entonces,
1. f (eG ) = eH .
2. Para todo g G, f (g 1 ) = f (g)1 .
Demostracion.
1. Basta aplicar la proposicion anterior al caso x = y.

1.3. Homomorfismos de grupos 5
2. Basta aplicar la proposicion anterior al caso x = eG , y = g.
Q.E.D.
Proposicion 1.3.4 La relacion de isomorfa de grupos es una relacion de

equivalencia.
Demostracion. Sean G, H, K grupos.

La aplicacion idG : G G es claramente un isomorfismo, por lo que

G = G.
Si es un isomorfismo de G en H, 1 existe y es una biyeccion de H
en G. Si x1 , x2 G, y1 , y2 H, entonces 1 (yi ) = xi si y solo si (xi ) = yi .
Ademas, (x1 x2 ) = y1 y2 , de donde 1 (y1 y2 ) = x1 x2 . As,
1 (y1 )1 (y2 ) = x1 x2 = 1 (y1 y2 )
demostrando que 1 es un homomorfismo. Por tanto, H = G.

Finalmente, si es un isomorfismo de G en H, y es un isomorfismo de
H en K, es una biyeccion de G en K. Ademas,
(xy) = ((xy))
= ((x)(y)) por ser homomorfismo
= ((x))((y)) por ser homomorfismo
= ( (x))( (y))
de modo que es un homomorfismo, y G

= K. Q.E.D.
Definicion 1.3.5 Sean (G, ), (H, ?) grupos, y sea f : G H un homo-

morfismo entre ellos. Se llaman nucleo e imagen de f a los conjuntos
kerf = {g G : f (g) = e}
imf = f (G) = {h H : g G : f (g) = h}
Proposicion 1.3.6 Sean G, H grupos, y f : G H un homomorfismo. Si

G es abeliano, f (G) es abeliano.
Demostracion.
f (x)f (y) = f (xy) = f (yx) = f (y)f (x)
Q.E.D.
Proposicion 1.3.7 El conjunto Aut G de automorfismos de un grupo G es

un grupo bajo la operacion de composicion.
Demostracion. Sean f, g : G G automorfismos de G. Entonces, tan-

to f1 f2 como f2 f1 son biyecciones de G en G. Para demostar que son
automorfismos, basta, por tanto, comprobar que son homomorfismos.
(f1 f2 )(gh) = f1 (f2 (gh))

= f1 (f2 (g)f2 (h)) por ser f2 homomorfismo
= f1 (f2 (g))f1 (f2 (h)) por ser f1 homomorfismo
= (f1 f2 )(g)(f1 f2 )(h)
con demostracion analoga para f2 f1 .

La asociatividad se deduce de la asociatividad de la composicion de apli-
caciones.
La aplicacion identidad es, evidentemente, un automorfismo, y cumple
f idG = idG f = f , demostrando la existencia de elemento neutro.
Por ultimo, la inversa de una aplicacion biyectiva es biyectiva, y, si g 0 =
f 1 (g) y h0 = f 1 (h),
f 1 (gh) = f 1 (f (g 0 )f (h0 ))
= f 1 (f (g 0 h0 )) por ser f homomorfismo
0 0 1 1
=gh =f (g)h (h)
demuestra que es un homomorfismo. Q.E.D.

Captulo 2
Teorema de Lagrange
2.1. Clases de un grupo modulo un subgrupo

Definicion 2.1.1 Sea H un subgrupo de un grupo G. Se llama clase por la
izquierda de G modulo H a cada conjunto
gH = {gh : h H}
con g G.
Analogamente, se llama clase por la derecha de G modulo H a cada con-
junto
Hg = {hg : h H}
de nuevo con g G.
Proposicion 2.1.2 Sea H un subgrupo de un grupo G. Entonces, la relacion

H definida en G segun
x H y x1 y H
es una relacion de equivalencia, con [g] = gH.
Demostracion. La relacion H es reflexiva ya que x1 x = e H por

ser H subgrupo. Es simetrica, puesto que, si x H y, x1 y H, entonces
(x1 y)1 = y 1 x H y se tiene y H x. Finalmente, es transitiva, porque,
si x H y, y H z, x1 y, y 1 z H, entonces (x1 y)(y 1 z) = x1 z H y
x H z. Por tanto, la relacion H es de equivalencia.
Si x H g, entonces g 1 x = h para algun h H, por lo que x = gh gH.
Recprocamente, si gh gH entonces g 1 (gh) = h H y g H gh. Q.E.D.
Corolario 2.1.3 Sea H un subgrupo de un grupo G. Las clases por la izquier-

da modulo H forman una particion de G.
Proposicion 2.1.4 Sea H un subgrupo de un grupo G. Para todo g G

existe una biyeccion entre H y gH.
7
8 Teorema de Lagrange
Demostracion. Sea : H gH definida segun (h) = gh. Para compro-

bar que es inyectiva, basta notar que, si (x) = (y), se tiene gx = gy x =
y. La sobreyectividad es evidente: todo elemento de gH es de la forma gh con
h H, y, por tanto, es la imagen de h por . Q.E.D.
Corolario 2.1.5 |H| = |gH|
Proposicion 2.1.6 Sea H un subgrupo de un grupo G. La aplicacion defi-

nida segun (gH) = Hg 1 establece una biyeccion entre el conjunto de clases
por la izquierda de G modulo H y el conjunto de clases por la derecha de G
modulo H.
Demostracion. Para probar que es inyectiva, supongamos que (x) =

(y). Entonces, Hx1 = Hy 1 y existe h H tal que x1 = hy 1 . As,
y 1 x = h1 H y por tanto xH = yH. La sobreyectividad se deduce de que,
para todo x G, (x1 H) = Hx. Q.E.D.
2.2. Teorema de Lagrange

Definicion 2.2.1 Se llama ndice de H en G, y se denota [G : H], al numero
de clases por la izquierda de G modulo H.
Teorema 2.2.2 (Lagrange) Sea H un subgrupo de un grupo finito G. En-

tonces, |H| divide a |G|. En particular, se tiene que
|G| = [G : H]|H|
Demostracion. Basta observar que la relacion de equivalencia H parti-

ciona G en [G : H] clases distintas, todas ellas con el mismo cardinal |H|.
Q.E.D.
Corolario 2.2.3 Sean H y K subgrupos de un grupo G tales que H K G.

Entonces,
[G : H] = [G : K][K : H]
Demostracion. Del teorema de Lagrange,
|G| |K| |G|

[G : K][K : H] = = = [G : H]
|K| |H| |H|
Q.E.D.
2.3. Producto interno de subgrupos 9
2.3. Producto interno de subgrupos

Definicion 2.3.1 Dados dos subgrupos A y B de un grupo G. Se llama pro-
ducto interno de A y B al conjunto
AB = {ab : a A, b B}
.
Proposicion 2.3.2 Sean A y B subgrupos de un grupo G. AB es un subgrupo

de G si y solo si AB = BA, en cuyo caso se dice que A y B conmutan.
Demostracion. Supongamos que AB es un subgrupo. Sea ab AB. Existe

entonces un elemento a0 b0 AB tal que a0 b0 = (ab)1 de donde
ab = (a0 b0 )1 = (b0 )1 (a0 )1 BA
lo cual demuestra que AB BA. Por otro lado, para todo ba BA se tiene
ba = (a1 b1 )1 AB
por lo que BA AB y, finalmente, AB = BA.
Recprocamente, sean a1 b1 , a2 b2 AB. Como AB = BA, existe elementos
a A, b0 B tales que b1 a2 = a0 b0 . As,
0
(a1 b1 )(a2 b2 ) = (a1 a0 )(b0 b2 ) AB

demostrando (G1). La asociatividad (G2), se deduce de la de la operacion
definida en G. (G3) es evidente, ya que e A, e B e AB. Por ultimo,
para probar (G4) basta observar que (ab)1 = b1 a1 BA = AB. Q.E.D.
Proposicion 2.3.3 Sean A y B subgrupos finitos de un grupo G. Entonces,

|A||B|
|AB| =
|A B|
Demostracion. Sea {xi (A B) : i = 1, . . . , k} el conjunto de clases por la
izquierda de A modulo A B, de modo que xi x1 j / A B. Puesto que estas
establecen una particion en A, para todo a A podemos escribir a = xi g para
algun 1 i k y algun g A B.
As, todo elemento ab AB puede escribirse segun ab = xi (gb) xi B.
Ademas, xi B 6= xj B, ya que, en caso contrario, xi x1 1
j B, y, como xi xj A
por definicion, se tendra xi x1
j A B.
Esto demuestra que {xi B : i = 1, . . . , k} es el conjunto de clases por la
izquierda de AB modulo B, de manera que
|A| |AB|
[A : A B] = =k= = [AB : B]
|A B| |B|
de donde se deduce la afirmacion del enunciado. Q.E.D.
Captulo 3
Grupos cclicos
3.1. Definicion de grupo cclico

Definicion 3.1.1 Se dice que un grupo (G, ) es cclico si existe al menos un
elemento a G tal que hai = G. Entonces, se dice que a es un generador de
G.
Definicion 3.1.2 Sea (G, ) un grupo. Se define el orden de a G como

ord(a) = |hai|.
Definicion 3.1.3 Sea (G, ) un grupo. Se dice que a G es un elemento de

torsion de G si ord(a) es finito.
Proposicion 3.1.4 Sea (G, ) un grupo finito y a G. Si n = ord(a), en-

tonces an = e y
hai = {a, a2 , . . . , an1 , an = e}
siendo distintos todos los elementos de este conjunto.
Demostracion. Puesto que (G, ) es un grupo finito, el conjunto {xr : r Z}

debe contener repeticiones. Existen, pues, enteros positivos i < j tales que
xi = xj . Entonces,
e = xj xj = xj xi = xji
Tomando n como el menor entero positivo tal que xn = e, veamos que los
elementos del conjunto {x, x2 , . . . , xn1 , xn = e} son todos distintos.
En efecto, si existieran en el dos elementos iguales xr = xs con r < s < n,
se tendra que xsr = e con s r < n, en contradiccion con la definicion de n.
Q.E.D.
3.2. Propiedades de los elementos de torsion

Proposicion 3.2.1 Sea (G, ) un grupo y a, b G elementos de torsion. Se
cumplen las siguientes propiedades:
11
12 Grupos cclicos
1. ak = e ord(a)|k,
2. ord(a) = 1 a = e,
3. ord(a1 ) = ord(a),
ord(a)
4. ord(ak ) = (ord(a),k) (donde (m, n) denota el maximo comun divisor de
m y n),
5. si ord(ab) es finito, entonces ord(ab) = ord(ba), y
6. si ab = ba, entonces ord(ab)|[ord(a), ord(b)]; ademas, si ord(a) y ord(b)
son coprimos, ord(ab) = ord(a)ord(b) (siendo [m, n] el mnimo comun
multiple de m y n).
Demostracion.
1. Sea k = cn + r : c, r N, 0 r < n. Entonces,
xk = xcn+r = xcn xr = xr
de donde, necesariamente, ha de ser r = 0 y k = cn. El recproco es

evidente.
2. Si ord(a) = 1, entonces a1 = a = e. Recprocamente, si a = e, hai = {e}
y ord(a) = |hai| = 1.
3. Basta observar que (a1 )m = e (am )1 = e am = e.
4. Denotando n = ord(a), d = (n, k), podemos hacer n = n0 d, k = k 0 d. Si
(ak )m = akm = e, se tiene que n|km, o equivalentemente, n0 |k 0 m. Como
(n0 , k 0 ) = 1, n0 |m. As, ord(ak ) = n0 .
5. Sea m = ord(ab), de modo que (ab)m = e. Entonces,
(ab)m = (ab)(ab) . . . (ab)(ab) = a(ba) . . . (ba)b = e

(ba)m1 = a1 b1 (ba)m1 = (ba)1 (ba)m = e
6. Si a y b conmutan, se tiene (ab)k = ak bk . Por tanto, si M = [ord(a), ord(b)],

el primer apartado implica que (ab)M = aM bM = e y M |ord(ab).
Ademas, si n = ord(a), m = ord(b), (m, n) = 1, hacemos s = ord(ab), y
utilizamos los resultados anteriores,
(ab)s = as bs = e as = bs ord(as ) = ord(bs )

n m
= n|s, m|s M |s
(n, s) (m, s)
Como tambien s|M , se tiene s = M .
Q.E.D.
3.3. Corolarios del teorema de Lagrange 13
3.3. Corolarios del teorema de Lagrange

Corolario 3.3.1 Para todo g G con G finito, ord(g)||G|
Demostracion. Se deduce de la definicion del orden de x como |hxi|.

Q.E.D.
Corolario 3.3.2 Sea G un grupo de orden p primo. Entonces G es cclico.
Demostracion. Sea g G, g 6= e. Puesto que los unicos divisores de un

numero primo son la unidad y el mismo, y ord(g) = 1 implicara g = e, se
debe tener |hgi| = p. Q.E.D.
3.4. Teoremas de Euler y Fermat

Proposicion 3.4.1 Sea a Zn . Se dice que a es una unidad de Zn si existe
b Zn tal que ab = ba = 1.
El conjunto de unidades de Zn se denota U (Zn ), y cumple
U (Zn ) = {p N : p n, (p, n) = 1}
Demostracion. De la definicion, es claro que el inverso multiplicativo de

una unidad de Zn es tambien una unidad de Zn .
As, sean a, b U (Zn ) inversos recprocos. Entonces, ab 1 (mod n), de
donde (ab, n) = (1, n) = 1 y, por tanto, (a, n) = (b, n) = 1.
Recprocamente, sea a Zn tal que (a, n) = 1. La ecuacion ax 1
(mod n) tiene entonces una solucion unica hasta congruencia. Q.E.D.
Proposicion 3.4.2 (U (Zn ), ) es un grupo abeliano.
Demostracion. La asociatividad se deduce de la asociatividad del producto

de numeros enteros, y el axioma (G4) es consecuencia directa de la definicion
de U (Zn ).
Sean a, b U (Zn ), y sean c, d sus respectivos inversos. Entonces,
ab dc = a bd c = a 1 c = ac = 1
dc ab = d ca b = d 1 b = db = 1
lo que demuestra que ab U (Zn ) y 1 U (Zn ). Q.E.D.
Definicion 3.4.3 Se llama funcion de Euler a la aplicacion : N N

definida segun (n) = |U (Zn )|
Proposicion 3.4.4 La funcion de Euler cumple las siguientes propiedades:
1. Si (m, n) = 1, entonces (mn) = (m)(n),

14 Grupos cclicos
2. (pk ) = pk1 (p 1) si p es primo, y
3. (n) = n (1 p1i ), donde pi son los divisores primos de n.

Q
Demostracion.
1. Consideremos los numeros 1, 2, 3, . . . , mn, y formemos la tabla
0, 1, 2, ... k, . . . n 1,
n, n + 1, n + 2, ... n + k, . . . 2n 1,
... ... ... ... ... ... ...,
(m 1)n, (m 1)n + 1, (m 1)n + 2, . . . (m 1)n + k, . . . mn 1
Si (mn, 1) = 1, entonces se debe tener (m, 1) = (n, 1) = 1. En cada fila

hay (n) numeros primos con n. Observando que los numeros de una
misma columna son congruentes entre s modulo n, deducimos que, si
(k, n) = 1, entonces todos los numeros de la k-esima columna son primos
con n.
Consideremos una de estas columnas con (k, n) = 1:
n, n + k, 2n + k, . . . , (m 1)n + k
Estos numeros pueen considerarse como los valores de la funcion lineal

nx + k : (n, m) = 1, donde x recorre un sistema completo de restos
modulo m,
x = 0, 1, 2, . . . , m 1
Entonces, cada columna de la forma anterior forma un sistema completo
de restos modulo m, y, por tanto, contiene (m) numeros que son primos
con m.
2. Es claro que (p) = p 1 con p primo. Sea ahora n = pk , k > 1. El

sistema completo de restos modulo pk consta de pk1 sistemas completos
de restos modulo p, y en cada uno de ellos hay (p) numeros primos con
p.
3. Sea n = pki i . Utilizando los apartados anteriores,

Q
Y Y k 1
(n) = (pki i ) = pi i (pi 1)
Y k 1 Y 1
= pi i (1 ) = n (1 )
pi pi
Q.E.D.
Teorema 3.4.5 (Euler) Para todos a Z, n N tales que (a, n) = 1, se

tiene
a(n) 1 (mod n)
3.5. Clasificacion de grupos cclicos 15
Demostracion. Por el teorema de Lagrange, ord(a)||U (Zn )| = (n), de

donde a(n) = 1 en U (Zn ). Q.E.D.
Teorema 3.4.6 (Pequeno Teorema de Fermat) Para todo a Z y todo

p N primo con p - a, se tiene
ap1 1 (mod p)
Demostracion. Aplicando el segundo apartado de la proposicion 3.4.4 al

teorema de Euler,
a(p) 1 (mod p) = ap1 1 (mod p)
Q.E.D.
3.5. Clasificacion de grupos cclicos

Proposicion 3.5.1 Todo grupo cclico es abeliano.
Demostracion. Puesto que todo elemento de un grupo cclico G = hgi es

de la forma g n para algun n Z, se tiene
g i g j = g i+j = g j+i = g j g i
Q.E.D.
Teorema 3.5.2 (Teorema de clasificacion de grupos cclicos) Si (G, )

es un grupo cclico infinito, entonces es isomorfo a (Z, +)
Si (H, ) es un grupo cclico de orden finito |H| = n, entonces es isomorfo
a (Zn , +).
Demostracion. Sea (G, ) un grupo cclico infinito y : (Z, +) (G, ) la

aplicacion dada por (r) = g r . La aplicacion es un homomorfismo, ya que
(r + s) = g r+s = (r) + (s), y es evidentemente biyectiva. Por tanto es
un isomorfismo.
Sea (H, ) un grupo cclico de orden finito |H| = n y : (Zn , +) (H, )
la aplicacion dada por (r) = g r .
Veamos que esta bien definida. Sean r, s Z tales que r s (mod n),
i.e., r = s + kn. Entonces,
(r) = g r = g s+kn = g s = (s)
El mismo argumento prueba que esta aplicacion es inyectiva. Ademas, es un
homomorfismo, ya que
(r + s) = g r+s = g r g s = (r)(s)
Puesto que una aplicacion inyectiva entre conjuntos con la misma cardinalidad
es biyectiva, es un isomorfismo de grupos. Q.E.D.
16 Grupos cclicos
3.6. Subgrupos de grupos cclicos

Proposicion 3.6.1 Todo subgrupo de un grupo cclico es cclico.
Demostracion. Sea G = hgi un grupo cclico, y sea H G. Es claro que si

H es un subgrupo impropio de G es cclico. Supongamos que H es un subgrupo
propio. Sea g k H tal que g m
/ H para m < k, y sea g s otro elemento de H.
Utilizando el algoritmo de division de Euclides, podemos escribir s = ck + r
con 0 r < k. Como H es un subgrupo, (g k )1 = g k H. Por tanto,
g s (g k )c = g sck = g r H
en contra de la definicion de k, a menos que r = 0.

As, cada elemento de H es de la forma (g k )n para algun n Z, y H es
cclico generado por g k . Q.E.D.
Proposicion 3.6.2 Sea G = hgi un grupo cclico de orden n. Entonces,
1. Para cada divisor d de n, existe un unico subgrupo de G de orden d,

n
hg d i.
2. Si d y e son divisores de n, entonces la interseccion de los subgrupos de

ordenes d y e es el subgrupo de orden (d, e).
3. Si d y e son divisores de n, entonces el producto interno de los subgrupos

de ordenes d y e es el subgrupo de orden [d, e].
Demostracion.
n n
1. Es claro que el elemento g d tiene d potencias distintas, de donde hg d i es
un subgrupo de orden d. Supongamos que existiese otro subgrupo H de
orden d, generado por un elemento x = g r para algun r Z. Entonces,
xrd = e, por lo que n|rd. As, r debe ser de la forma k nd para algun
n
k Z y x es una potencia de g d . Por lo tanto, H debe ser un subgrupo
n
de hg d i, y, puesto que tiene el mismo cardinal, coinciden.
n n
n n
2. Sea x = g r hg d i hg e i. Como d |r, e |r, se tiene que [ nd , ne ]|r. Pero, si
d = d0 (d, e), e = e0 (d, e),
n n n 1 1 n
, = , =
d e (d, e) d0 e0 (d, e)
n
n
Por tanto, (d,e) |r y x hg (d,e) i.
n
n
Recprocamente, sea y = g s hg (d,e) i, de modo que (d,e) |s. Como nd | (d,e)
n
n n
n n n n
y e | (d,e) , se tiene que d |s y e |s, de donde y hg i hg i.
d e
3.6. Subgrupos de grupos cclicos 17
n n
3. Sea x hg d ihg e i. Entonces, existen enteros k1 , k2 tales que
n n n
x = g k1 d +k2 e = g de (k1 e+k2 d)
n
n n
y, evidentemente, de (k1 e + k2 d)| [d,e] , de donde x hg [d,e] i.
n
Recprocamente, sea y hg [d,e] i. Entonces, existe un entero k tal que
k n
y = g [d,e] . Utilizando la ecuacion ab = (a, b)[a, b] y la propiedad lineal
del maximo comun divisor,
n n n n n n
k [d,e]
y=g = g k de (k1 d+k2 e) = g kk2 d g kk1 e hg d ihg e i
Q.E.D.
Proposicion 3.6.3 Sea G = hgi un grupo cclico infinito. Entonces,
1. Para cada d N, existe exactamente un subgrupo de G de ndice d, hg d i.

Ademas, todo subgrupo no trivial de G es de ndice finito.
2. Sean d, e N. La interseccion de los subgrupos de ndices d y e es el

subgrupo de ndice [d, e].
3. Sean d, e N. El producto interno de los subgrupos de ndices d y e es

el subgrupo de ndice (d, e).
Demostracion.
1. Es claro que hg d i tiene ndice d. Basta observar que las clases por la
izquierda de G modulo hg d i son g k hg d i para cada 0 k < d.
Supongamos que existiese otro subgrupo H = hg s i de ndice d. Entonces,
g l hg s i con 0 k < s son las clases por la izquierda de G modulo H, de
donde, necesariamente, s = d.
2. Es claro que si x = g r hg d i hg e i, se debe tener d|r, e|r y, por tanto,

[d, e]|r y x hg [d,e] i.
Recprocamente, si y = g s hg [d,e] i, entonces [d, e]|s, y, por tanto,
d|s, e|s, de donde y hg d i hg e i.
3. Sea x = g r hg d ihg e i. Existen, entonces, enteros k1 , k2 tales que r =

k1 d + k2 e. Es evidente que (d, e)|s, de donde x hg (d,e) i.
Recprocamente, sea y = g s hg (d,e) i. Entonces, existe un entero k tal
que s = k(d, e). As, utilizando la propiedad lineal del maximo comun
divisor,
y = g k(d,e) = g kk1 d+kk2 e = g kk1 d g kk2 e hg d ihg e i
Q.E.D.
18 Grupos cclicos
3.7. Generadores de grupos cclicos

Proposicion 3.7.1 Los enteros 1 y 1 son los unicos generadores del grupo
(Z, +).
Demostracion. Es claro que todo entero n puede ponerse en cualquiera de

las dos formas
n=n1
n = n (1)
de modo que 1 y 1 generan efectivamente (Z, +). Sin embargo, el elemento

1 no puede ponerse en la forma 1 = m + m + + m = nm con n Z para
ningun m 6= 1, 1. Q.E.D.
Proposicion 3.7.2 Un elemento g k es un generador de un grupo cclico G =

hgi de orden finito n si y solo si (k, n) = 1.
Demostracion. Basta utilizar la proposicion 3.2.1, segun la cual

ord(g) n
ord(g k ) = =
(k, ord(g)) (k, n)
de donde ord(g k ) = n si y solo si (k, n) = 1. Q.E.D.
Corolario 3.7.3 Todo grupo cclico de orden finito n tiene (n) generadores
Demostracion. De entre todos los elementos de G = hgi, solamente seran

generadores aquellos que sean de la forma g k , k < n, (k, n) = 1. Este conjunto
es U (Zn ), cuyo cardinal es (n). Q.E.D.
3.8. Imagen homomorfica de grupos cclicos

Proposicion 3.8.1 Sea G = hgi un grupo cclico, y sea f : G G0 un
homomorfismo. Entonces, f (G) = hf (g)i.
Demostracion. Basta observar que todo x f (G) es de la forma x =

f (g n ) = f (g)n . Q.E.D.
Proposicion 3.8.2 Sea a un elemento de torsion de un grupo G, y sea

f : G G0 un homomorfismo. Entonces, ord(f (a))|ord(a), con igualdad si
f es inyectiva.
Demostracion. Sea a G tal que ord(a) = n, ord(f (a)) = m. Entonces,

e = f (an ) = f (a)n , de donde m|n. Ademas, si f es inyectiva, f (a)m = e
implica am = e, y n|m. Q.E.D.
3.9. Automorfismos de grupos cclicos 19
3.9. Automorfismos de grupos cclicos

Proposicion 3.9.1 Sea G
= (Z, +). Se tiene que
Aut G
= Z2
Demostracion. Sea f : G G un automorfismo, y sea g un generador

de G. Puesto que G = f (G) = hf (g)i, se tiene que f (g) debe ser tambien un
generador. Como G posee unicamente dos generadores, Aut G es un grupo de
orden dos, y, por tanto, isomorfo a Z2 . Q.E.D.
Proposicion 3.9.2 Sea G

= (Zn , +). Se tiene que
Aut G
= U (Zn )
Demostracion. Sea f : G G un automorfismo, y sea g un generador

de G. Puesto que todo automorfismo es inyectivo, ord(f (g)) = ord(g) = n, de
donde f (g) debe ser tambien un generador de G. As,
Aut G = {fi : G G, fi (g) = g i : (i, n) = 1}
Sea : Aut G U (Zn ) definida segun (fi ) = i. Utilizando el hecho de que

Aut G es un grupo,
(fi fj ) = (fij ) = ij = (fi )(fj )
lo que prueba que es un homomorfismo. Puesto que es evidentemente

biyectiva, es un isomorfismo. Q.E.D.
Captulo 4
Acciones de grupos.
Subgrupos normales
4.1. El teorema de orbita-estabilizador

Definicion 4.1.1 Sea G un grupo, y X un conjunto. Una accion de G sobre
X es una familia de aplicaciones
= {g : X X : g G}
que cumple las siguientes propiedades:
(A1) e (x) = x, y
(A2) a (b (x)) = ab (x).
Definicion 4.1.2 Dada una accion de un grupo G sobre un conjunto X, y

un elemento x X, se llama estabilizador de x al conjunto
Gx = {g G : g (x) = x}
Proposicion 4.1.3 En las condiciones de la definicion anterior, Gx G
Demostracion. El axioma (A1) asegura que el elemento neutro de G per-

tenece a Gx . (A2) asegura que, si a, b Gx , entonces,
ab (x) = a (b (x)) = a (x) = x
por lo que ab Gx . Por ultimo, si a Gx , se tiene que
a1 (x) = a1 (a (x)) = e (x) = x
demostrando que a1 Gx . Q.E.D.
21
22 Acciones de grupos. Subgrupos normales
Proposicion 4.1.4 Dada una accion de un grupo G sobre un conjunto X,

la relacion definida segun
x y g G : g (x) = y
es de equivalencia.
Demostracion. El axioma (A1) asegura que x x.

Si x y, entonces g (x) = y para algun g G. As,
g1 (y) = g1 (g (x)) = g1 g (x) = e (x) = x
demostrando que y x.
Por ultimo, si x y, y z, entonces g (x) = y, h (y) = z y
z = h (y) = h (g (x)) = hg (x)
de donde se deduce la transitividad de la relacion. Q.E.D.
Definicion 4.1.5 La clase de equivalencia de un elemento x X bajo la

relacion de la proposicion anterior recibe el nombre de orbita de x.
orb(x) = {y X : y x}
Teorema 4.1.6 (Orbita-estabilizador) Sea una accion de un grupo G

sobre un conjunto X. Para cada x X,
|orb(x)| = [G : Gx ]
Demostracion. Dado x X, definimos una aplicacion de la orbita de x en

el conjunto de clases por la izquierda de G modulo Gx segun (g (x)) = gGx .
Comprobemos que esta bien definida. Supongamos que g (x) = h (x).
Entonces, h1 g (x) = x y, por tanto, h1 g Gx , de donde gGx = hGx .
Veamos que es inyectiva. Si (g (x)) = (h (x)), se tiene que gGx = hGx
1
y h g Gx . As,
h (x) = h (h1 g (x)) = hh1 g (x) = g (x)
Por ultimo, es suprayectiva, ya que cada gGx es (g (x)) por definicion.

Por tanto, es una biyeccion, y sus conjuntos dominio e imagen poseen el
mismo cardinal. Q.E.D.
4.2. Elementos conjugados y clases de conjugacion 23
4.2. Elementos conjugados y clases de conjugacion

Definicion 4.2.1 Sea G un grupo. Dado H G, la accion de H sobre G
definida segun
Conj(G, H) = {h : G G, h (g) = hgh1 : h H}
recibe el nombre de conjugacion de G por H.

La orbita de un elemento g G se denomina clase de conjugacion de g en
H.
ClH (g) = {h (g) : h H}
El estabilizador de g G recibe el nombre de centralizador de g en H.
CH (g) = {h H : h (g) = g}
Proposicion 4.2.2 Sea G un grupo. La familia de aplicaciones que forma la

accion Conj(G, H) posee estructura de grupo bajo la operacion de composicion.
Este grupo, Int G recibe el nombre grupo de automorfismos internos de G, y
se tiene
Int G Aut G
Demostracion. Es claro que Int G Aut G. El axioma (A2) asegura que

Int G es cerrado por la operacion de composicion. El axioma (A1) asegura la
existencia del elemento neutro, e . Por ultimo,
(a1 a )(x) = a1 a (x) = e (x)

(a a1 )(x) = aa1 (x) = e (x)
asegura la existencia de inversos. Q.E.D.
Proposicion 4.2.3 Sea G un grupo, y sean x, y G. Entonces,
1. y ClG (x) a, b G : x = ab, y = ba,
2. y ClG (x) = ord(x) = ord(y), y
3. Ges abeliano ClG (x) = x x G.
Demostracion. Sea y = zxz 1 .
1. Haciendo a = z 1 y b = zx, se tiene x = ab e y = ba. Recprocamente,

sea x = ab. Entonces, y = ba = b(ab)b1 = bxb1 , de modo que
y ClG (x).
2. Sea ord(x) = n, ord(y) = m. Entonces,
y m = e (zxz 1 )m = zxm z 1 = e xn = e
3. Sea G abeliano. Entonces, para cada x G se tiene gxg 1 = xgg 1 = x

con g G. Recprocamente, si ClG (x) = x, entonces gxg 1 = x para
todos x, g G, o, equivalentemente, gx = xg.
Q.E.D.
Proposicion 4.2.4
CH (g) = CG (g) H
Demostracion. Basta observar que
CH (g) = {h H : h (g) = g}
= {h G : h (g) = g} H = CG (g) H
Q.E.D.
Definicion 4.2.5 Se llama centro de G al subgrupo

\
Z(G) = CG (g) = {g G : gh = hg h G}
gG
Proposicion 4.2.6 Z(G) es un subgrupo abeliano de G.
Demostracion. De la propia definicion de Z(G) com interseccion de sub-

grupos, se deduce que es un subgrupo, y la caracterizacion Z(G) = {g G :
gh = hg h G} demuestra que este es abeliano.
De hecho, se puede demostrar que Z(G) es el mayor subgrupo abeliano
contenido en G, en el sentido de que todo subgrupo abeliano de G esta conte-
nido en el, de modo que G es abeliano si y solo si G = Z(G). Q.E.D.
Proposicion 4.2.7 (Ecuacion de clases de conjugacion) Sea G un gru-

po finito, y sea C = {x1 , x2 , . . . , xm } una coleccion completa de representantes
de clases de conjugacion de G en G. Entonces,
X
|G| = |Z(G)| + |Cl(x)|
xC
xZ(G)
/
Demostracion. G puede escribirse como union disjunta de clases de conju-

gacion segun
[
G= Cl(x)
xC
[ [
= Cl(x) Cl(x)
xC xC
xZ(G) xZ(G)
/
4.3. Subgrupos normales 25
Ahora bien, las clases de conjugacion de los elementos de Z(G) constan de un

unico elemento. Por tanto,
[
|G| = |Z(G)| + | Cl(x)|
xC
xZ(G)
/
X
= |Z(G)| + |Cl(x)|
xC
xZ(G)
/
Q.E.D.
Definicion 4.2.8 Sea G un grupo. Dado H G, la accion de H sobre el

conjunto de subgrupos de G, denotado (G), definida segun
Conj((G), H) = {h : (G) (G), h (K) = hKh1 : h H}
recibe el nombre de conjugacion de subgrupos de G por H.
La orbita de un subgrupo K G se denomina clase de conjugacion de K
en H.
ClH (K) = {h (K) : h H}
El estabilizador de K G recibe el nombre de normalizador de K en H.
NH (K) = {h H : h (K) = K}
4.3. Subgrupos normales

Definicion 4.3.1 Sea G un grupo, y sea H G. Se dice que H es normal
en G, y se denota H G si, para todo g G, se tiene gHg 1 = H.
Proposicion 4.3.2 Son equivalentes:

1. H es normal en G.
2. Para todo g G, gH = Hg.
3. G = NG (H).
4. ClG (H) = H.
Demostracion.
(1 2) Componiendo gHg 1 = H por la derecha con g, obtenemos gH =
Hg.
(2 3) El normalizador de H en G es
NG (H) = {g G : g (H) = H}
= {g G : gHg 1 = H}
= {g G : Hgg 1 = He = H} utilizando la hipotesis
=H
(3 4) Si G = NG (H), entonces gHg 1 = H para todo g G,de donde

ClG (H) = H.
(4 1) Sea gHg 1 un conjugado de H. Entonces, gHg 1 ClG (H) = H,
de donde gHg 1 = H y H G. Q.E.D.
Proposicion 4.3.3 Sea G un grupo. Entonces,
1. {e} G, G G.
2. Si H G, entonces H NG (H).
3. Si H Z(G), entonces H G.
4. Si H G y G abeliano, entonces H G.
5. Si H G y [G : H] = 2, entonces H G.
6. Si H es el unico subgrupo de G de orden n, entonces H G.
Demostracion.
1. Para todo g G, g{e}g 1 = {e}, luego {e} G. Para todo g

G, gGg 1 = G, luego G G.
2. Basta observar el tercer apartado de la proposicion 4.3.2. De hecho,

NG (H) es el mayor subgrupo en el cual H es normal, en el sentido de
que cualquier otro subgrupo en el que H sea normal debe estar contenido
en NG (H).
3. Si H Z(G), todo h H conmuta con todo g G. Por tanto, gH = Hg

y, por el segundo apartado de la proposicion 4.3.2, H G.
4. Si G es abeliano, es claro que gH = Hg y H G por el segundo apartado

de la proposicion 4.3.2.
5. Si [G : H] = 2, las clases por la izquierda y por la derecha de G modulo

H deben coincidir: G y G\H. Aplicando ahora el segundo apartado de
la proposicion 4.3.2, H G.
6. Para todo g G, se tiene |gHg 1 | = |H|. Puesto que H es el unico

subgrupo de G de orden n, gHg 1 = H, demostrando la normalidad de
H en G.
Q.E.D.
Proposicion 4.3.4 Sean H y K subgrupos de un grupo G. Si K G, entonces

HK G y H K H; si ademas H G, entonces HK G y H K G.
4.3. Subgrupos normales 27
Demostracion. Como K G, se tiene que hK = Kh para todo h G. En

particular, HK = KH, y, por la proposicion 2.3.2, HK G.
Para todo x H K y todo h H, hxh1 H por ser H subgrupo de
G. Ademas, puesto que x K y K es normal en G, hxh1 K. Por tanto,
hxh1 H K.
Si tanto H como K son normales en G, sus clases por la izquierda y por
la derecha coinciden, de donde, para todo g G
gHKg 1 = HgKg 1 = HKgg 1 = HK
demostrando la normalidad de HK en G.
Por ultimo, si x H K, entonces gxg 1 H K para todo g G.
Q.E.D.
Definicion 4.3.5 Se dice que un grupo G es simple si sus unicos subgrupos

normales son sus subgrupos impropios.
Captulo 5
Grupos cociente y teoremas

de isomorfa
5.1. Grupo cociente y teorema de correspondencia

Proposicion 5.1.1 Sea N un subgrupo normal de un grupo G. El conjun-
to de clases por la izquierda de G modulo N es un grupo bajo la operacion
(xN )(yN ) = xyN . Este grupo recibe el nombre de grupo cociente de G sobre
N y se denota G/N .
Demostracion. En primer lugar, es necesario comprobar que la operacion

esta bien definida. Si xN = uN e yN = vN , entonces, u1 x, v 1 y N y se
tiene
(uv)1 (xy) = v 1 u1 xy
= v 1 ny donde n = u1 x N
= v 1 y(y 1 ny)
Dado que N es normal, y 1 ny N . Como v 1 y N , tambien (uv)1 (xy) N

y xyN = uvN .
Los axiomas de grupo se cumplen, entonces, de manera evidente: el ele-
mento neutro es 1N = N , y el inverso de gN es g 1 N . Q.E.D.
Teorema 5.1.2 (Teorema de correspondencia) Sea N un subgrupo nor-

mal de un grupo G. Existe una correspondencia biyectiva entre los subgrupos
de G/N y los subgrupos de G que contienen a N . Ademas, H G si y solo si
H/N G/N .
Demostracion. Sea H ? un subgrupo de G/N . Definimos la aplicacion del

conjunto de las partes de G/N en el conjunto de las partes de G segun
(H ? ) = {g G : gN H ? }
29
30 Grupos cociente y teoremas de isomorfa
(H ? ) es un subgrupo de G, ya que es no vaco (N (H ? ), pues, para todo

n N se tiene nN N H ? por ser H ? G/N )
a, b (H ? ) = aN, b1 N H ?
= ab1 N H ?
= ab1 (H ? )
Recprocamente, sea N H G. Definimos la aplicacion del conjunto

de las partes de G/N en el conjunto de las partes de G segun
(H) = {hN G/N : h H} = H/N
(H) es un subgrupo de G/N , ya que es no vaco (e (H)) y
h1 N, h2 N (H) h1 , h2 H h1 h1 1
2 H h1 h2 N (H)
Veamos ahora que tanto como son biyecciones, inversas la una de la

otra. En efecto, sea N H G. Entonces,
(H) = (H/N ) = {g G : gN H/N } = H
Recprocamente, si H ? G/N , entonces
(H ? ) = ({g G : gN H ? }) = {gN H ? } = H ?
Si H G, entonces ghg 1 H para todo g G, de donde
(gN )(hN )(gN )1 = (ghg 1 )N H/N gN G/N
demostrando la normalidad de H/N en G/N . Recprocamente, si H/N G/N ,

entonces (gN )(hN )(gN )1 = (ghg 1 )N H/N para todo gN G/N implica
que ghg 1 H para todos h H y g G, de modo que H G. Q.E.D.
5.2. Homomorfismos, subgrupos y teoremas de

isomorfa
Proposicion 5.2.1 Sean G1 y G2 grupos, y f : G1 G2 un homomorfismo.
1. H1 G1 = f (H1 ) G2 .
2. H2 G2 = f 1 (H2 ) G1 .
3. H1 G1 y f suprayectivo = f (H1 ) G2 .
4. H2 G2 = f 1 (H2 ) G1 .
Demostracion.
5.2. Homomorfismos, subgrupos y teoremas de isomorfa 31
1. Sean u, v f (H1 ), de modo que existen x, y H1 tales que u = f (x), v =

f (y). Entonces,
uv 1 = f (x)f (y)1 = f (xy 1 ) f (H1 )
2. Sean u, v H2 , de modo que existen x, y H1 tales que u = f (x), v =

f (y). Entonces,
uv 1 = f (x)f (y)1 = f (xy 1 ) H2 xy 1 f 1 (H2 )
3. Sea u f (H1 ), de modo que existe x H1 tal que f (x) = u. Para todo
v G2 , existe g G1 tal que f (g) = v, por ser f suprayectiva. As,
vuv 1 = f (g)f (x)f (g)1 = f (gxg 1 ) f (H1 )
ya que H1 es normal, de donde gxg 1 H1 .
4. Sea x f 1 (H2 ), de modo que existe u H2 tal que f (x) = u. Para

todo g G1 , existe v G2 tal que f (g) = v. Como H2 G2 ,
vuv 1 = f (g)f (h)f (g)1 = f (gxg 1 ) H2
de donde gxg 1 f 1 (H2 ) para todo g G1 , luego f 1 (H2 ) G1 .

Q.E.D.
Teorema 5.2.2 (Primer teorema de isomorfa) Sean G y H grupos, y

f : G H un homomorfismo. Entonces,
1. imf H,
2. kerf G, y
3. G/kerf
= imf .
Demostracion.
1. Basta aplicar el primer apartado de la proposicion anterior al subgrupo
impropio G.
2. Aplquese el ultimo apartado de la proposicion anterior al subgrupo im-

propio {e}.
3. Sea : G/N imf la aplicacion tal que (xN ) = f (x).

Supongamos que xN = yN , de modo que x1 y N . Entonces,
(xN ) = f (x) = f (x)e = f (x)f (x1 y) = f (y) = (yN )
demostrando que esta bien definida.

32 Grupos cociente y teoremas de isomorfa
El hecho de que f sea un homomorfismo implica que tambien lo es,

segun
((xN )(yN )) = (xyN ) = f (xy) = f (x)f (y) = (xN )(yN )
Ademas, es suprayectiva, ya que cada f (x) imf es (xN ) por defini-

cion, e inyectiva, ya que
(xN ) = (yN ) f (x) = f (y) f (xy 1 ) = e

xy 1 N xN = yN
Por tanto, es un isomorfismo.
Q.E.D.
Teorema 5.2.3 (Segundo teorema de isomorfa) Sean H G, N G.

Entonces,
H HN
=
N H N
Demostracion. Sea : G G/N el homomorfismo canonico con nucleo

N definido segun (g) = gN . Si consideramos la restriccion de a H, tenemos
(H) = HN/N y ker|H = H N . Basta, entonces, aplicar el primer teorema
de isomofa a |H . Q.E.D.
Teorema 5.2.4 (Tercer teorema de isomorfa) Sean H, N G, N H.

Entonces,
G/N
= G/H
H/N
Demostracion. Considerese la aplicacion : G/N G/H definida segun

(gN ) = gH. Se tiene im = G/H y ker = H/N . Basta aplicar ahora el
primer teorema de isomorfa. Q.E.D.
5.3. Corolarios de los teoremas de isomorfa

Proposicion 5.3.1
G/Z(G)
= Int G
Demostracion. Sea : G Int G la aplicacion definida segun (g) = g .

Esta aplicacion es un homomorfismo, pues
(gh)(x) = gh (x) = [g h ](x) = [(g) (h)](x)

5.3. Corolarios de los teoremas de isomorfa 33
y es suprayectiva, ya que g es (g) por definicion. Basta ahora aplicar el

primer teorema de isomorfa, ya que
ker = {g G : g = e }
= {g G : g (x) = e (x) x G}
= {g G : gxg 1 = x x G}
= Z(G)
Q.E.D.
Corolario 5.3.2 Sea G un grupo. Son equivalentes:
1. G es abeliano,
2. Int G es trivial, y
3. Int G es cclico.
Demostracion.
(1 2) Para todos a, g G, a (g) = aga1 = gaa1 = a.
(2 3) Evidente.
(3 1) Supongamos que IntG es cclico. Utilizando la proposicion anterior,
existe un elemento a G tal que G/Z(G) = haZ(G)i. Para todos x, y
G existen enteros i, j y elementos b, c Z(G) tales que x = ai b, y = aj c.
Entonces, xy = ai baj c, y, puesto que todos estos elementos conmutan entre
s, xy = ai baj c = aj cai b = yx. Q.E.D.
Captulo 6
Grupos simetricos, alternados

y diedricos
6.1. Permutaciones. Descomposicion en ciclos

disjuntos
Definicion 6.1.1 Se llama grupo simetrico de orden n, Sn , al grupo de per-
mutaciones del conjunto {1, 2, . . . , n}.
Proposicion 6.1.2
|Sn | = n!
Demostracion. Existen n! permutaciones en un conjunto de n elementos.

Q.E.D.
Proposicion 6.1.3 Sean Sn , e i {1, 2, . . . , n}. Si k es el menor entero

positivo tal que k (i) {i, (i), . . . , k1 (i)}, entonces k (i) = i.
Demostracion. Supongamos que k (i) = r (i) para algun 0 < r < k.

Entonces, kr (i) = i, en contra de la definicion de k. Por tanto, r = 0.
Q.E.D.
Definicion 6.1.4 Una permutacion se llama k-ciclo si existen k N e

i {1, 2, . . . , n} tales que
k es el menor entero positivo tal que k (i) = i, y
/ {i, (i), . . . , k1 (i)}.

(j) = j para todo j
Se denota entonces = (i(i) . . . k1 (i)). Un 2-ciclo recibe el nombre de

transposicion.
Proposicion 6.1.5 Sea un k-ciclo. Entonces, ord() = k.
35
36 Grupos simetricos, alternados y diedricos
Demostracion. Basta observar que un k-ciclo si k es el mnimo entero

positivo tal que k (i) = i, por la proposicion 6.1.3. Q.E.D.
Definicion 6.1.6 Se dice que , son permutaciones disjuntas si no existe

i {1, 2, . . . , n} tal que (i) 6= i y (i) 6= i.
Proposicion 6.1.7 Toda permutacion puede escribirse como producto de ci-

clos disjuntos.
Demostracion. Sea Sn . Definamos una relacion en {1, 2, . . . , n} segun
iRj k N : k (i) = j
Esta relacion es de equivalencia.

iRi, i.e., existe r N tal que r (i) = i, ya que, en caso contrario, el
conjunto { k (i) : k N} sera infinito. Si iRj, entonces existe k N tal
que k (i) = j, de donde i = r (i) = rk k (i) = rk (j). Por ultimo, si
iRj y jRk, se tienen k, m N tales que k (i) = j y m (j) = k, de donde
k+m (i) = k.
Por la proposicion 6.1.3, cada una de las clases de equivalencia de esta
relacion es un ciclo. La disjuncion de estas clases implica la disjuncion de los
ciclos. Q.E.D.
Proposicion 6.1.8 Sean , permutaciones disjuntas. Entonces = , y,

para todo k N, ()k = k k .
Demostracion. Sea i {1, 2, . . . , n} que queda fijo por . Entonces, r (i)

queda tambien fijo por , de donde (i) = (i) = (i).
Anlogamente, si j {1, 2, . . . , n} queda fijo por , r (j) queda tambien
fijo por y (j) = (j) = (j).
Por ultimo, si k {1, 2, . . . , n} queda fijo por ambas, es evidente que
(k) = (k) = k.
Si y conmutan, es evidente entonces que ()k = k k para todo k N.
Q.E.D.
Corolario 6.1.9 Sean , permutaciones disjuntas. Entonces,
ord() = [ord(), ord()]
Demostracion. Si ()m = m m = e, entonces m = e; m = e, por ser

permutaciones disjuntas. As m = ord() es el mnimo entero positivo tal
que ord()|m y ord()|m, es decir, m = [ord(), ord()]. Q.E.D.
6.2. Descomposicion en transposiciones. Sistemas de generadores de Sn 37
6.2. Descomposicion en transposiciones. Sistemas

de generadores de Sn
Proposicion 6.2.1 Todo k-ciclo en Sn puede descomponerse en un producto
de k 1 transposiciones.
Demostracion. Basta observar que el k-ciclo = (12 . . . k) admite la fac-

torizacion = (1k) . . . (13)(12), de donde
(i1 i2 . . . ik ) = (i1 ik ) . . . (i1 i3 )(i1 i2 )
Q.E.D.
Corolario 6.2.2 Las transposiciones generan Sn .
Demostracion. Evidente de la proposicion anterior Q.E.D.
Proposicion 6.2.3 Sean , Sn . La descomposicion en ciclos disjuntos de

1 se obtiene de la de sustituyendo cada entero i en la descomposicion
de por el entero (i).
Demostracion. En efecto, 1 ((i)) = (i). Por tanto, 1 aplica

(i) en ((i)), mientras que aplica i en (i). Q.E.D.
Corolario 6.2.4 Para todo n N, las transposiciones de la forma (k k + 1)

con 1 k n 1 generan Sn .
Demostracion. Veamos que toda transposicion (ij) con i < j puede escri-
birse como producto de transposiciones de la forma (k k + 1). Utilizando la
proposicion anterior, vemos que
(i i + 2) = (i + 1 i + 2)(i i + 1)(i + 1 i + 2)1
En general,
(ij) = (j 1 j)(j 2 j 1) . . . (i + 1 i + 2)(i i + 1)

(i + 1 i + 2)1 . . . (j 2 j 1)1 (j 1 j)1
Basta ahora utilizar las proposiciones 6.2.1 y 6.1.7. Q.E.D.
6.3. Signatura de una permutacion

Proposicion 6.3.1 Sea Fn el conjunto de los polinomios en n variables, y
sea la familia de aplicaciones : Fn Fn con Sn definidas segun
(f (x1 , x2 , . . . , xn )) = f (x(1) , x(2) , . . . , x(n) )
es una accion de Sn sobre Fn .

Demostracion. En efecto, si denotamos I la permutacion identidad,

I (f (x1 , x2 , . . . , xn )) = f (x1 , x2 , . . . , xn )
verificando (A1). Para comprobar (A2), basta observar que
(f (x1 , x2 , . . . , xn )) = (f (x(1) , x(2) , . . . , x(n) ))
= f (x(1) , x(2) , . . . , x(n) )
= (f (x1 , x2 , . . . , xn ))
Q.E.D.
Proposicion 6.3.2 Si
Y
n = (xi xj ) Fn
1i<jn
se define la signatura de como la aplicacion sgn : Sn {1, 1} definida

segun
sgn()n = (n )
Esta aplicacion sgn es un homomorfismo.
Demostracion. Es claro que, para todo R, (f ) = (f ). Por tanto,
utilizando la proposicion anterior,
sgn()n = n por definicion
= (n ) por el axioma (A2)
= (sgn()n ) por definicion
= sgn() (n )
= sgn()sgn()n por definicion
Q.E.D.
Definicion 6.3.3 Se dice que Sn es una permutacion par si sgn() = 1.
Se dice que Sn es una permutacion impar si sgn() = 1.
Corolario 6.3.4 Sean , Sn . Entonces,
1. sgn() = sgn( 1 ), y
2. sgn( 1 ) = sgn().
Demostracion. Utilizando que sgn es un homomorfismo,
1 = sgn(I) = sgn( 1 ) = sgn()sgn( 1 )
de donde sgn() = sgn( 1 ), y
sgn( 1 ) = sgn()sgn()sgn() = sgn()
Q.E.D.
6.4. Grupos alternados 39
Corolario 6.3.5 Sea un k-ciclo. Entonces, sgn() = (1)k1
Demostracion. Es claro que la transposicion (12) es impar, puesto que pro-

duce un unico cambio de signo en n , la del factor (x1 x2 ). Una transposicion
de la forma (1k) puede escribirse como
(1k) = (2k)(12)(2k)1
luego es impar por el corolario 6.3.4. Finalmente,
(lk) = (1l)(1k)(1l)1
por lo queda demostrado que toda transposicion es impar.

Por la proposicion 6.2.1, todo k-ciclo puede factorizarse en un producto de
k 1 transposiciones. Del hecho de que sgn es un homomorfismo se sigue el
enunciado. Q.E.D.
Proposicion 6.3.6 Sea Sn una permutacion par. Entonces, toda des-

composicion de en transposiciones posee un numero par de transposiciones.
Anlogamente, si Sn es una permutacion impar, toda descomposicion
de en transposiciones posee un numero impar de transposiciones.
Demostracion. Supongamos que Sn posee dos factorizaciones distintas

con k y l transposiciones, respectivamente. Entonces, las signaturas de cada
una de ellas debe coincidir con la signatura de . As, si es par,
sgn() = 1 = (1)k = (1)l
de manera que tanto k como l deben ser pares. Analogamente, si es impar,
sgn() = 1 = (1)k = (1)l
y k y l deben ser impares. Q.E.D.
6.4. Grupos alternados

Definicion 6.4.1 Se llama grupo alternado de orden n, An al subgrupo de
todas las permutaciones pares de Sn .
Proposicion 6.4.2 An = ker(sgn).
Demostracion. En efecto,
ker(sgn) = { Sn : sgn() = 1}
es efectivamente el conjunto de todas las permutaciones pares de Sn . Q.E.D.

Corolario 6.4.3
1. An Sn .
n!
2. |An | = 2.
Demostracion. Por el primer teorema de isomorfa, aplicado al homo-

morfismo sgn, An Sn y Sn /An = {1, 1}. Aplicando ahora el teorema de
Lagrange,
|Sn | |Sn | n!
|An | = = =
[Sn : An ] |Sn /An | 2
Q.E.D.
Proposicion 6.4.4
1. A2 = I.
2. A3
= Z3 .
Demostracion.
1. Es evidente del hecho de que S2 = {I, (12)}.
2. Puesto que S3 = {I, (12), (13), (23), (123), (132)}, se tiene que A3 =
{I, (123), (132)}. Pero
(123)(123) = (132)(123)(123)(123) = I
As, A3 es un grupo cclico de orden 3, y, por tanto, isomorfo a Z3 .
Q.E.D.
Proposicion 6.4.5 Para cada n 3, los 3-ciclos generan An .
Demostracion. De la propia definicion de grupo alternado, cada permuta-

cion de An puede escribirse como producto de un numero par de transposicio-
nes. Agrupando las transposiciones por pares, (ij)(kl), se tienen dos casos. Si
i, j, k, l son enteros distintos,
(ij)(kl) = (ikj)(ikl)
Si alguno de ellos coincide,
(ij)(il) = (ilj)
Por tanto, todo elemento de An con n 3 puede escribirse como producto de

3-ciclos. Q.E.D.
6.5. Estructura de los grupos simetricos y alternados 41
Corolario 6.4.6 Para cada par r0 , s0 {1, 2, . . . , n} con r0 6= s0 , los 3-ciclos

de la forma (r0 s0 i) generan An .
Demostracion. El resultado se sigue de la proposicion anterior, observando

que
(ijk) = (r0 ij)(r0 jk)

(r0 jk) = (r0 s0 j)(r0 s0 i)(r0 s0 i)
Q.E.D.
6.5. Estructura de los grupos simetricos y

alternados
Proposicion 6.5.1 Sean n, m N tales que n m. Entonces,
1. Sn Sm , y
2. An Am .
Demostracion. Basta ver que Sn Sm y An Am , y que Sn y An poseen

estructura de grupo. Q.E.D.
Proposicion 6.5.2 Sn es no abeliano para n 3.
Demostracion. S3 no es conmutativo, ya que (12), (13) S3 y
(12)(13) = (132)
(13)(12) = (123)
Como S3 Sn para n 3, Sn es no abeliano para n 3. Q.E.D.
Proposicion 6.5.3 An es no abeliano para n 4.
Demostracion. A4 no es conmutativo, ya que (123), (134) A4 y
(123)(134) = (234)
(134)(123) = (124)
Como A4 An para n 4, An es no abeliano para n 4. Q.E.D.
Proposicion 6.5.4 Para n 3, Z(Sn ) = I.

Demostracion. Sea Sn , 6= I. Entonces, existen i, j 1, 2, . . . , n tales

que (i) = j 6= i. Sea k 1, 2, . . . , n distinto de i y de j, y sea = (jk).
Entonces,
(i) = (i) = j
(i) = (j) = k
Por tanto, Z(Sn ) = I. Q.E.D.
Proposicion 6.5.5 Para n 4, Z(An ) = I.
Demostracion. Sea An , 6= I. Entonces, existen i, j 1, 2, . . . , n tales

que (i) = j 6= i. Sea k, l 1, 2, . . . , n distintos de i y de j, y sea = (jkl).
Entonces,
(i) = (i) = j
(i) = (j) = k
Por tanto, Z(An ) = I. Q.E.D.
Corolario 6.5.6 Sn y An no tienen subgrupos normales de orden dos.
Demostracion. A3 no puede tener subgrupos de orden dos, pues contradira

el teorema de Lagrange, ya que |A3 | = 3.
En el resto de casos, el centro de los grupos considerados es el subgrupo
trivial. Supongamos, entonces, que existiese un subgrupo normal de orden dos,
H = {e, a}. Para cualquier elemento b 6= a del grupo considerado, se tendra
bab1 = a, o, equivalentemente, ab = ba, en contra de que el centro del grupo
es trivial. Q.E.D.
6.6. Teorema de Abel

Proposicion 6.6.1 Sea N An con n 3. Si N contiene un 3-ciclo, entonces
N = An .
Demostracion. Sea (r0 s0 i) N . Entonces todo 3-ciclo de la forma (r0 s0 j)

pertenece a N , ya que
((ij)(r0 s0 ))1 (r0 s0 i)2 ((ij)(r0 s0 )) = (r0 s0 j)
y N es normal. As,
h(r0 s0 i), (r0 s0 j), ...i N
Pero, por el corolario 6.4.6, el primer miembro de la ultima inclusion es An .
Q.E.D.
6.7. Teorema de Cayley 43
Proposicion 6.6.2 A5 es simple.
Demostracion. Sea N A5 , N 6= {I}, y sea N, 6= I. Se tienen tres

casos:
1. = (ab)(cd): tomando un entero e distinto de a, b, c, d, sea = (abe)

An . Entonces,
[1 ] = (abe) N
por ser N un subgrupo normal de An .
2. = (abc).
3. = (abcde): puesto que N es un subgrupo normal,
1 [(abc)(abc)1 ] = (ace) N
As pues, aplicando la proposicion anterior, se debe tener N = An . Q.E.D.
Teorema 6.6.3 (Abel) An es simple si n 5.
Demostracion. Segun la proposicion anterior, A5 es simple. Supongamos

que Ak es simple para todo 5 k n 1.
Sea N An , N 6= {I}. Veamos que existe una permutacion N, 6= I
tal que (i) = i para algun i {1, 2, . . . , n}.
Supongamos que no existiese tal . Sea An . Entonces existen tres
enteros distintos a, b, c {2, . . . , n} tales que (1) = a, (b) = c. Si =
(1a)(bcde), entonces (1 ) N , por ser N normal. Pero
(1 )(1) = 1
(1 )(c) = d
de manera que (1 ) fija 1 y no es la permutacion identidad, en contra de

la hipotesis.
As pues, sea G(i) = { An : (i) = i} = An1 , que es simple por la
hipotesis de induccion. Entonces, N (i) = N G(i), que es un subgrupo normal
de G(i), debe ser N (i) = G(i).
Por tanto, todo subgrupo normal de An contiene a A5 , de donde debe
tambien contener un 3-ciclo. Por el corolario 6.4.6, se tiene entonces N = An .
Q.E.D.
6.7. Teorema de Cayley

Teorema 6.7.1 (Cayley) Todo grupo G es isomorfo a un subgrupo del grupo
de las biyecciones de G. En particular, si G es finito, G es isomorfo a un
subgrupo de un grupo de permutaciones.
Demostracion. Sea F una aplicacion que asigna a cada g G la aplicacion

Fg : G G definida segun Fg (x) = gx. Cada Fg es inyectiva, pues
Fg (x) = Fg (y) = gx = gy = x = y
y tambien suprayectiva, ya que x = Fg (g 1 x). As, F : G B(G), donde
B(G) es el grupo de las biyecciones de G con la operacion de composicion.
F es un homomorfismo, puesto que
Fgh (x) = ghx = Fg (hx) = Fg Fh (x)
Ademas, kerf = {e}. Por el primer teorema de isomorfa, G es isomorfo a su
imagen, que es un subgrupo de B(G). Q.E.D.
6.8. Grupos diedricos

Definicion 6.8.1 Se llama grupo diedrico de orden 2n, D2n al grupo de si-
metras de un polgono regular de n lados.
Proposicion 6.8.2 Sea A la rotacion de angulo 2 n alrededor del centro de

un polgono regular de n lados, y sea B la simetra con respecto a la recta que
pasa por el centro del mismo y por uno cualquiera de sus vertices. Entonces,
A, A2 , . . . , An ; A B, A2 B, . . . , An B
son todas las simetras del polgono, i.e.,
D2n = {A, A2 , . . . , An ; A B, A2 B, . . . , An B}
Demostracion. Los movimientos del plano que dejan invariante un polgono

regular de n lados, es decir, sus simetras, son:
Las rotaciones de angulo k 2
n para k Z:
Como la composicion de giros alrededor de un centro comun es tambien
un giro alrededor del mismo centro, estas rotaciones estan generadas por
el giro A. Puesto que An = I, se tiene ord(A) = n y
hAi = {A, A2 , . . . , An = I}
es el conjunto de rotaciones que dejan invariante el citado polgono.
Las simetras con respecto a cada una de las rectas que pasan por el
centro del polgono y por uno de sus vertices, o por el centro del polgono
y por el punto medio de uno de sus lados:
Numerando los vertices con los n primeros numeros naturales, el giro A
viene determinado poer las ecuaciones
A(n) = 1
A(i) = i + 1 para todo 1 i < n
6.8. Grupos diedricos 45
Si elegimos B como la simetra con respecto a la recta que pasa por el

centro y por el vertice 1, entonces
B(1) = 1
B(i) = n i + 2 para todo 1 < i n
Veamos que A B es tambien una simetra con respecto a una recta. En

efecto,
A B(1) = 2
A B(2) = 1
A B(i) = n i + 3 para todo 3 i n
son las ecuaciones de la simetra con respecto a la recta que pasa por el
centro y por el punto medio del lado que determinan los vertices 1 y 2.
Analogamente, puede mostrarse que el resto de composiciones de la for-
ma Ak B son simetras con respecto a rectas. Estas, junto con B, son
las n simetras con respecto a rectas del polgono regular de n lados.
Q.E.D.
Proposicion 6.8.3 En las condiciones de la proposicion anterior,

A B = B A1
Demostracion. El movimiento A1 viene dado por las ecuaciones

A1 (1) = n
A1 (i) = i 1 para todo 1 < i n
Entonces,
B A1 (1) = 2
B A1 (2) = 1
B A1 (i) = n i + 3 para todo 2 < i n
ecuaciones que coinciden con las de A B, dadas en la demostracion de la
proposicion anterior. Q.E.D.
Proposicion 6.8.4 El grupo diedrico D2n es isomorfo a un subgrupo de Sn .
Demostracion. En efecto, basta definir el homomorfismo inyectivo F :

Dn Sn segun
F (A) = (12 . . . n)
F (B) = (2 n)(3 n 1) . . .
Q.E.D.
Captulo 7
Producto directo y
semidirecto
7.1. Producto directo de grupos

Proposicion 7.1.1 Sean Gi , i = 1, 2, . . . , n grupos. El producto cartesiano
G1 G2 . . . Gn dotado de la operacion
(g1 , g2 , . . . , gn )(g10 , g20 , . . . , gn0 ) = (g1 g10 , g2 g20 , . . . , gn gn0 )
posee estructura de grupo, y recibe el nombre de producto directo de los grupos
Gi , i = 1, 2, . . . , n.
Demostracion. La operacion interna y la asociatividad son evidentes de la

estructura de grupo de G y H. El elemento neutro de GH es (e1 , e2 , . . . , en ).
El elemento inverso de (g1 , g2 , . . . , gn ) es (g11 , g21 , . . . , gn1 ). Q.E.D.
Proposicion 7.1.2 Sean G y H grupos. Entonces,

1. G H
= H G,
2. G
= G = {(g, eH ) : g G}, y
3. G G H.
Demostracion.
1. Basta considerar la aplicacion : G H H G definida segun
(g, h) = (h, g), que es claramente un isomorfismo.
2. Basta considerar la aplicacion 1 : G G definida segun 1 (g) =
(g, eH ), que es de nuevo un isomorfismo.
3. Si consideramos la proyeccion canonica sobre la segunda componente
2 : G H H definida segun 2 (g, h) = h, podemos observar que
ker2 = G, de modo que, por el primer teorema de isomorfa, GGH.
47
48 Producto directo y semidirecto
Q.E.D.
Proposicion 7.1.3 Sea G un grupo, y sean M, N G. Si M N = {e}, y

M N = G, entonces G
= M N.
Demostracion. Puesto que G = M N , para cada g G existen n N, m

M tales que g = mn. Como M N = {e}, esta representacion debe ser unica.
En efecto, si mn = m0 n0 , entonces (m0 )1 m = n0 n1 M N , de donde
m = m0 y n = n0 . As, la aplicacion f : G M N tal que f (g) = (m, n)
esta bien definida y es biyectiva.
Falta comprobar que f es un homomorfismo de grupos. Para ello, basta
observar que si n N, m M , se cumple nm = mn, ya que la normalidad
de M y N implican
n1 m1 nm = n1 (m1 nm) N N = N
n1 m1 nm = (n1 m1 n)m M M = M
y puesto que M N = {e}, se debe tener n1 m1 nm = e. Entonces, si

g = mn, g 0 = m0 n0 ,
f (gg 0 ) = f ((mn)(m0 n0 )) por la definicion de f

0 0
= f (m(nm )n ) por la propiedad asociativa
0 0
= f (m(m n)n )
= f ((mm0 )(nn0 )) por la propiedad asociativa
0 0
= (mm , nn ) por la definicion de f
0 0
= (m, n)(m , n ) por la definicion de producto directo
0
= f (g)f (g )
Q.E.D.
Proposicion 7.1.4 Un grupo G es isomorfo al producto directo de sus sub-

grupos Hi , i = 1, 2, . . . , n si
1. Hj G para cada j = 1, 2, . . . , n,
Q
2. Hj ( i6=j Hi ) = {e} para cada j = 1, 2, . . . , n, y
3. ni=1 Hi = G.
Q
Demostracion. Debido a la condicion tercera, para cada g G existen

hj Hj , j = 1, 2, . . . , n tales que g = h1 h2 . . . hn . Esta descomposicion es
unica, ya que, si h1 h2 . . . hn = (h01 h02 . . . h0n ), entonces
(h01 )1 h1 = (h02 . . . h0n )(h1 . . . hn )1

7.1. Producto directo de grupos 49
De
Q la normalidad de los Hj se sigue que el segundo miembro pertenece a
i6=1 Hi , y, como el primero pertenece a H1 , la segunda condicion del enun-
ciado nos lleva a que h1 = h01 . Continuando con este argumento, se llega a que
hj = h0j para todo j {1, 2, . . . , n}.
As, podemos definir la aplicacion f : G H1 . . . Hn segun
f (g) = (h1 , h2 , . . . , hn )
Esta aplicacion es evidentemente biyectiva, y es un homomorfismo, pues, si

g = h1 h2 . . . hn y g 0 = h01 h02 . . . h0n ,
f (gg 0 ) = (h1 h01 , h2 h02 , . . . , hn h0n )

= (h1 , h2 , . . . , hn )(h01 , h02 , . . . , h0n )
= f (g)f (g 0 )
Q.E.D.
Proposicion 7.1.5 Sea A G, B H. Entonces, A B G H y
GH G H
=
AB A B
Demostracion. Si G : G G/A y H : H H/B son los homomorfis-

mos canonicos con nucleos A y B, respectivamente, consideremos la aplicacion
GH G H : G H G/A H/B
Esta aplicacion es un homomorfismo suprayectivo con nucleo A B. El enun-

ciado se sigue entonces de la aplicacion del primer teorema de isomorfa.
Q.E.D.
Proposicion 7.1.6 Sean m, n Z tales que (m, n) = 1. Entonces,
Zm Zn
= Zmn
Demostracion. Sea x un generador de Zm , e y un generador de Zn . Enton-

ces, los elementos (x, 0), (0, y) Zm Zn tiene ordenes m, n, respectivamente.
Por tanto, por la proposicion 3.2.1, se tiene
ord((x, y)) = [ord(x, 0), ord(0, y)] = [m, n] = mn
Q.E.D.
50 Producto directo y semidirecto
7.2. Producto semidirecto de grupos

Proposicion 7.2.1 Sean G, H grupos, y sea : H Aut G un homomor-
fismo. El producto cartesiano G H dotado de la operacion
(a, b) o (c, d) = (ab (c), bd)
posee estructura de grupo, y recibe el nombre de producto semidirecto de G y

H con respecto a , y se denota G o H.
Demostracion. Es claro que la operacion es cerrada en el producto carte-

siano G H.
La asociatividad se demuestra segun
[(a, b) o (c, d)] o (e, f ) = (ab (c), bd) o (e, f )

= (ab (c)bd (e), bdf )
= (ab (c)b (d (e)), bdf )
= (ab (cd (e)), bdf )
= (a, b) o (cd (e), df )
= (a, b) o [(c, d) o (e, f )]
El elemento neutro es, claramente, (eG , eH ), pues
(a, b) o (eG , eH ) = (ab (eG ), beH ) = (a, b)
El inverso de un elemento (a, b) es (b1 (a1 ), b1 ). En efecto,
(a, b) o (b1 (a1 ), b1 ) = (ab (b1 (a1 )), bb1 )

= (abb1 (a1 ), bb1 )
= (aa1 , bb1 ) = (eG , eH )
(b1 (a1 ), b1 ) o (a, b) = (b1 (a1 )b1 (a), b1 b)
= (b1 (a1 a), b1 b) = (eG , eH )
Q.E.D.
Proposicion 7.2.2 Sean G y H grupos. Entonces,
1. G
= G = {(g, eH ) : g G}, y G G o H.
2. H
= H = {(eG , h) : h H}
Demostracion.
7.2. Producto semidirecto de grupos 51
1. La aplicacion biyectiva f : G G definida segun f (g) = (g, eH ) es un

homomorfismo, pues
f (gg 0 ) = (gg 0 , eH ) = (geH (g 0 ), eH ) = (g, eH ) o (g 0 , eH ) = f (g) o f (g 0 )
Ademas, para todos (g, eH ) G, (a, b) G o H, se tiene
(a, b) o (g, eH ) o (a, b)1 = (ab (g), b) o (b1 (a1 ), b1 )

= (ab (g)b (b1 (a1 )), eH )
= (ab (g)a1 , eH ) G
2. La aplicacion biyectiva f : H H definida segun f (h) = (eG , h) es un

homomorfismo, pues
f (hh0 ) = (eG , hh0 ) = (eG h (eG ), hh0 ) = (eG , h)o (eG , h0 ) = f (h)o f (h0 )
Q.E.D.
Proposicion 7.2.3 Sea G un grupo, y sean M G, N G. Si M N = {e},

y M N = G, entonces G = M o N , donde : N Aut M viene dada por
1
n (m) = nmn .
Demostracion. Al igual que en la demostracion de la proposicion 7.1.3, cada

g G posee una factorizacion unica g = mn. La aplicacion f : G M o N
dada por f (g) = (m, n) esta, por tanto, bien definida, y es biyectiva.
Sean g1 = m1 n1 y g2 = m2 n2 . Entonces,
g1 g2 = m1 n1 m2 n2 = m1 n1 m2 (n1
1 n1 )n2 = m1 n1 (m2 )n1 n2
Por tanto,
f (g1 g2 ) = (m1 n1 (m2 ), n1 n2 ) = (m1 , n1 ) o (m2 , n2 ) = f (g1 ) o f (g2 )
lo cual muestra que f es un isomorfismo. Q.E.D.

Captulo 8
p-grupos y teoremas de
Sylow. Grupos solubles
8.1. p-grupos y p-subgrupos de Sylow

Definicion 8.1.1 Sea G un grupo, y p un divisor primo de |G|. Denotamos
por |G|p la maxima potencia de p que divide a |G|.
Se dice que g G es un p-elemento si ord(g) es una potencia de p.
Se dice que G es un p-grupo si |G| es una potencia de p.
Se dice que H G es un p-subgrupo si |H| es una potencia de p.
Se dice que H G es un p-subgrupo de Sylow si |H| = |G|p .
Proposicion 8.1.2 Sea G un p-grupo finito no trivial. Entonces, Z(G) es no

trivial.
Demostracion. Sean C1 , C2 , . . . , Cr las distintas clases de conjugacion de G,

de modo que
|G| = |C1 | + |C2 | + + |Cr | ()
Sin perdida de generalidad, tomamos C1 = {e}. Por el teorema de orbita-
estabilizador, si xi Ci con i 6= 1, se tiene
|G|
|Ci | =
|CG (xi )|
de modo que |Ci | debe ser una potencia de p.

Pero entonces, se tendra que el segundo miembro de (*) es congruente
con 1 modulo p, mientras que el primero es divisible por p. As pues, debe
existir un valor de i (distinto de 1) tal que CG (xi ) = G, por lo que xi Z(G).
Q.E.D.
53
54 p-grupos y teoremas de Sylow. Grupos solubles
Proposicion 8.1.3 Sea G un grupo de orden p2 con p primo. Entonces, G

es abeliano.
Demostracion. Por el teorema anterior, Z(G) es no trivial. Por el teorema

de Lagrange, se debe tener |Z(G)| = p o |Z(G)| = p2 . Si |Z(G)| = p2 , es claro
que G = Z(G), por lo que G es abeliano. Si |Z(G)| = p, entonces G/Z(G) es
cclico de orden p. Por el corolario 5.3.2, G es abeliano. Q.E.D.
8.2. Teoremas de Sylow

Proposicion 8.2.1 Sea p numero primo, y sea m Z, (m, p) = 1. Entonces,
n
p m
m (mod p)
pn
n
Demostracion. El numero combinatorio ppnm es el coeficiente del termino
n
xp en la expansion binomial de
nm n
(1 + x)p = ((1 + x)p )m
Ahora bien,
n n
(1 + x)p 1 + xp (mod p)
ya que los coeficientes de los demas terminos de la expansion son divisibles por
n n n
p. As, el coeficiente ppnm es congruente al coeficiente de xp de (1 + xp )m ,
y, por tanto, es congruente con m modulo p. Q.E.D.
Teorema 8.2.2 (Teorema de Sylow) Sea p un numero primo, y G un gru-

po finito de orden pn m con (p, m) = 1. Entonces,
1. G tiene, al menos, un p-subgrupo de Sylow.
2. El numero de p-subgrupos de Sylow de G es congruente a 1 modulo p, y

divide a m.
3. Todo p-subgrupo de G esta contenido en un p-subgrupo de Sylow.
4. Todos los p-subgrupos de Sylow de G son conjugados.
Demostracion.
1. Sea X la coleccion de los subconjuntos de G con |G|p = pn elementos, y
consideremos la accion de G sobre X definida segun
g (S) = gS
Sean O1 , O2 , . . . , Or las orbitas de esta accion, de modo que se tiene la

union disjunta
X = O1 O2 Or
8.2. Teoremas de Sylow 55
n
Como, por la proposicion 8.2.1, |X| = ppnm 1 (mod p), debe existir
alguna orbita O tal que p - |O|. Sea A O tal que 1 A. Entonces,
GA GA A = A, de donde |GA | |A| = |G|p . Ademas, por el teorema
de orbita-estabilizador, |G| = |O||GA |, de donde |G|p ||GA |.
Por tanto, GA = A, de donde |GA | = |G|p y GA es un p-subgrupo de
Sylow de G. Ademas,
G/GA = {gGA : g G}
= {gA : g G}
=O
Por otro lado, sea P es un p-subgrupo de Sylow de G. Entonces, G/P

es una coleccion de subconjuntos de G con cardinal |G|p , y, por tan-
to, G/P X. Ademas, |G/P | es la orbita en X de P , y (p, |G/P |) =
(p, m) = 1. Por tanto, existe una correspondencia biyectiva entre la
coleccion de los p-subgrupos de Sylow de G y las orbitas en X cuya car-
dinalidad es coprima con p, siendo cada una de estas orbitas los grupos
cociente de G sobre el p-subgrupo de Sylow correspondiente.
2. Sea X 0 el conjunto de los elementos de X que pertenecen a una orbita
cuya cardinalidad es coprima con p. Entonces, |X 0 | = rm, donde r es el
numero de tales orbitas. Como |X\X 0 | es divisible por p,
|X 0 | |X| (mod p)
n
p m
rm (mod p)
pn
rm 1 (mod p) por la proposicion 8.2.1
r1 (mod p) ya que (p, m) = 1
Basta ahora recordar la correspondencia biyectiva entre orbitas de cardi-
nalidad coprima con p y p-subgrupos de Sylow, de donde r es el numero
de estos ultimos.
3. Sea P un p-subgrupo de Sylow de G, y Q un p-subgrupo cualquiera de
G con |Q| = pr . Sea
Y = {gP g 1 : g G}
Consideremos la accion de Q sobre Y dada por
x (gP g 1 ) = x(gP g 1 )x1 = (xg)P (xg)1
Por el teorema de orbita-estabilizador, la cardinalidad de cada una de

las orbitas de esta accion debe ser una potencia (quiza trivial) de p. En
efecto,
|Q| pr
|orb(gP g 1 )| = [Q : QgP g1 ] = =
|QgP g1 | |QgP g1 |
Ademas,
[G : P ] m
|Y | = [G : NG (P )] = =
[NG (P ) : P ] [NG (P ) : P ]
por lo que |Y ||m. Como p - m, se tiene, entonces, p - |Y |. As, debe

existir alguna orbita con un unico elemento, pues, en caso contrario, se
tendra p||Y |, ya que Y puede escribirse como union disjunta de orbitas.
Sea {P1 = gP g 1 } una de tales orbitas. Entonces, para todo x
Q, xP x1 = P . Por tanto, QP1 = P1 Q y QP1 G por la proposicion
2.3.2. Utilizando la proposicion 2.3.3, es claro que QP1 es un p-subgrupo,
de donde, necesariamente, QP1 = P1 , y, por tanto, Q P1 .
4. Si Q es tambien un p-subgrupo de Sylow, Q P1 y |Q| = |P1 | implican

Q = P1 = gP g 1 .
Q.E.D.
8.3. Corolarios de los teoremas de Sylow

Proposicion 8.3.1 Sean G un grupo finito, P un p-subgrupo de Sylow de G,
y N G. Entonces,
1. P N/N es un p-subgrupo de Sylow de G/N .
2. P N es un p-subgrupo de Sylow de N , y
Demostracion. En primer lugar, observemos que para demostrar que un

subgrupo H de un grupo G es un p-subgrupo de Sylow, basta comprobar que
H es un p-subgrupo y que [G : H] no es divisible por p.
1. Por el teorema de correspondencia, [G : P N ] = [G/N : P N/N ]. Pero,

como [G : P N ] divide a [G : P ] por factorizacion de ndices) y p - [G : P ],
se tiene p - [G/N : P N/N ]. Puesto que P N/N = P/(P N ) por el
segundo teorema de isomorfa, P N/N es un p-grupo, ya que P/(P N )
lo es. As, P N/N es un p-subgrupo de G/N .
2. De la proposicion 2.3.3, se tiene que [N : P N ] = [P N : P ]. Como P N

es un subgrupo de G por la proposicion 4.3.4, y P es un p-subgrupo de
Sylow de G, p - [P N : P ]. Por tanto, P N es un p-subgrupo de G cuyo
ndice en N es coprimo con p, i.e., P N es un p-subgrupo de Sylow de
N.
Q.E.D.
Teorema 8.3.2 (Cauchy) Sea G un grupo finito. Para todo p primo tal que
p||G| existe un elemento de orden p.
8.4. Grupos solubles 57
Demostracion. Por el teorema de Sylow, existe en G un p-subgrupo de Sy-

low, P . Por el teorema de Lagrange, todos los elementos de P son p-elementos,
y, por tanto, alguna potencia de ellos posee orden p. Q.E.D.
Corolario 8.3.3 Sea G un grupo finito. G no tiene subgrupos propios si y

solo si |G| es primo.
Demostracion. Supongamos que |G| no fuese primo. Entonces, por el teo-

rema de Cauchy, debe existir un elemento g de orden p para cada primo p que
divide a |G|, y hgi sera un subgrupo propio de G.
El recproco es evidente del teorema de Lagrange. Q.E.D.
Corolario 8.3.4 Un grupo finito G es un p-grupo si y solo si todos sus ele-

mentos son p-elementos.
Demostracion. Por el teorema de Lagrange, si |G| = pn , el orden de todo

elemento de G debe ser una potencia de p.
Recprocamente, supongamos que todos los elementos de G son p-elementos.
Si existiese un numero primo q 6= p tal que q||G|, el teorema de Sylow impli-
cara que existe un q-subgrupo de Sylow, en contra de la hipotesis. Q.E.D.
Corolario 8.3.5 Sea G un p-grupo de orden finito pn . Para cada entero i =

0, 1, . . . , n existe un subgrupo normal en G de orden pi .
Demostracion. Para n = 0 la proposicion es evidente. Supongamos que el

enunciado es cierto para todo k < n.
Sea |G| = pn . Por la proposicion 8.1.2, Z(G) es no trivial. Por tanto, existe
0 < r n tal que |Z(G)| = pr . Por el teorema de Cauchy, Z(G) posee un
elemento g de orden p. As, H = |hgi| = p y H G.
Por la hipotesis de induccion, G/H (que tiene orden pn1 ) posee subgrupos
normales Ji de orden pi para cada i = 0, 1, . . . , n 1. Por el teorema de
correspondencia, cada Ji G/H es de la forma Ji = Hi /H, donde Hi G y
|Hi | = pi+1 . Q.E.D.
8.4. Grupos solubles

Definicion 8.4.1 Sea G un grupo finito. Se llama serie de composicion a una
cadena de subgrupos
{e} = H0 H1 H2 Hk1 Hk = G
tal que Hi Hi+1 , y Hi+1 /Hi es un grupo simple para todo i = 0, 1, 2, . . . , k1.
Los grupos cociente Hi+1 /Hi reciben el nombre de factores de composicion.
Teorema 8.4.2 (Jordan-Holder) Sea G un grupo finito. Si G posee dos

series de composicion,
{e} = H0 H1 H2 Hk1 Hk = G
{e} = J0 J1 J2 Jr1 Jr = G
entonces k = r y existe Sk tal que Hi+1 /Hi

= J(i)+1 /J(i) .
Definicion 8.4.3 Un grupo G es soluble si existe en el una serie de compo-

sicion
{e} = H0 H1 H2 Hk1 Hk = G
en la cual los factores de composicion Hi+1 /Hi , i = 0, 1, 2, . . . , k 1 son
abelianos.
Proposicion 8.4.4 S3 , S4 , A3 y A4 son solubles.
Demostracion. Basta exhibir las series de composicion
{I} A3 S3
{I} h(12)(34), (13)(24)i A4 S4
{I} A3
{I} h(12)(34), (13)(24)i A4
cuyos factores de composicion son abelianos. Q.E.D.
Proposicion 8.4.5 Sn y An no son solubles para n 5.
Demostracion. Para todo n 5, el teorema de Abel asegura que An es

simple. Por tanto,
{I} An Sn
es una serie de composicion en Sn , pero el factor de composicion An /{e}
= An
no es abeliano. Por el teorema de Jordan-Holder, cualquier otra serie de com-
posicion en Sn posee algun factor de composicion isomorfo a An , y, por tanto,
no puede existir en Sn una serie de composicion con factores de composicion
abelianos.
Analogamente,
{I} An
es una serie de composicion en An con un unico factor de composicion no
abeliano, An . De nuevo, el teorema de Jordan-Holder asegura la imposibili-
dad de la existencia de una serie de composicion con factores de composicion
abelianos. Q.E.D.
8.4. Grupos solubles 59
Definicion 8.4.6 Sea G un grupo, y sean x, y G

[x, y] = x1 y 1 xy
Se llama subgrupo conmutador de G al subgrupo generado por todos los con-
mutadores de elementos de G.
G0 = h{[x, y] : x, y G}i
Proposicion 8.4.7 Sea G un grupo, y G0 su subgrupo conmutador. Entonces,
G0 G y G/G0 es abeliano. Ademas, si N G, G/N es abeliano si y solo si
G0 N .
Demostracion. Sean a, b, G, de modo que [a, b] G0 . Para todo g G,
[gag 1 , gbg 1 ] = (ga1 g 1 )(gb1 g 1 )(gag 1 )(gbg 1 ) = ga1 b1 abg 1 = g[a, b]g 1
demostrando la normalidad de G0 en G.
Sean ahora xG0 , yG0 G/G0 . Entonces,
(xG0 )(yG0 ) = xyG0 = xy[x, y]G0 = yxG0 = (yG0 )(xG0 )
Supongamos que N G y que G/N es abeliano. Entonces, para todos
x, y G se tiene (xN )(yN ) = (yN )(xN ), de donde x1 y 1 xyN = N y
[x, y] N , mostrando que G0 N . Recprocamente, si G0 N entonces
(xN )(yN ) = xyN = xy[x, y]N = yxN = (yN )(xN )
y G/N es abeliano. Q.E.D.
Definicion 8.4.8 Se llama serie derivada de G a la cadena de subgrupos
G(0) G(1) G(2) G(k)
donde G(0) = G y G(k) = (G(k1) )0 .
Proposicion 8.4.9 Un grupo G es soluble si y solo si G(k) = {e} para algun
k 0.
Demostracion. Supongamos que G es soluble, de manera que existe una
serie de composicion
{e} = Hn Hn1 H1 H0 = G
en la que cada factor Hi1 /Hi es abeliano. G(i) es un subgrupo de Hi para
i = 0, y para i = 1 por la proposicion 8.4.7. Si G(i1) Hi1 , entonces,
G(i) (Hi1 )0 . Como Hi1 /Hi es abeliano, la proposicion 8.4.7 asegura que
(Hi1 )0 Hi , y, por tanto, G(i) (Hi1 )0 Hi . Como Hn = {e}, se tiene,
finalmente, G(n) = {e}.
Recprocamente, si G(k) = {e} para algun k 0, entonces
{e} = G(k) G(k1) G(1) G(0) = G
es una serie de composicion con factores abelianos, segun la proposicion 8.4.7.
Q.E.D.
Captulo 9
Grupos abelianos finitos
9.1. Factorizacion de elementos de grupos

abelianos finitos
Proposicion 9.1.1 Sea G un grupo, y x G un elemento de orden mn
con (m, n) = 1. El elemento x puede escribirse de manera unica como el
producto de dos elementos y, z que conmutan entre s, con ordenes n y m,
respectivamente. Ademas, y, z son potencias de x.
Demostracion. Utilizando la propiedad lineal del maximo comun divisor,

existen enteros u, v tales que 1 = um + vn. Entonces, x = xum+vn = xum xvn .
Tomando y = xum , z = xvn se tiene que y, z son potencias de x, y, por tanto,
conmutan entre s.
Sean n0 = ord(y), m0 = ord(z). Dado que y n = xumn = e, z m = xvmn = e,
se tiene que n0 |n, m0 |m. Por otro lado,
0 0 0 0 0 0 0 0
xn m = (yz)n m = y n m z n m = e
implica que mn|m0 n0 , de donde n = n0 , m = m0 .

Supongamos ahora que existen dos elementos y1 , z1 que cumplen tambien
los requerimientos del enunciado. Entonces, es claro que y1 , z1 conmutan con
x, pues
xy1 = y1 z1 y1 = y1 x
xz1 = z1 y1 z1 = z1 x
Por tanto, y1 , z1 conmutan con y, z, puesto que estos ultimos son potencias de
x.
Por otro lado, yz = x = y1 z1 implica w = y11 y = z1 z 1 . Entonces,
wn = (y11 )n y n = e
1 m
wm = xm
1 (z ) = e
61
62 Grupos abelianos finitos
Como (m, n) = 1, se debe tener, necesariamente, w = e, de donde y = y1 y

z = z1 . Q.E.D.
Corolario 9.1.2 Para cada elemento x G de orden pn1 1 pn2 2 . . . pnk k , donde
los pj son numeros primos distintos, existe una unica factorizacion
x = x1 x2 . . . xk
de modo que xi xj = xj xi para todos i, j {1, 2, . . . , k} y cada xi es una

potencia de x de orden pni i .
Demostracion. Basta aplicar repetidas veces la proposicion anterior. Q.E.D.
Proposicion 9.1.3 Todo grupo abeliano finito es isomorfo al producto directo

de todos sus p-subgrupos de Sylow.
Demostracion. Sea G un grupo abeliano con |G| = n = pn1 1 pn2 2 . . . pnk k .

Puesto que G es abeliano, aplicando la proposicion 4.2.3 y el teorema de
Sylow, deducimos que, para cada pi , existe un unico pi -subgrupo de Sylow, al
que denotaremos Spi , que, ademas, es normal en G.
Ademas, si Y
g Spj ( Spi )
i6=j
m
se tiene ord(g) = pj j mj nj . Por otro lado, utilizando el corolario
con 0 Q
9.1.2, podemos escribir g = i6=j yi con yi Spi , de modo que
Y
ord(g) = [ord(yi )]i6=j = pm
i
i
i6=j
Se sigue entonces que g = e.

Del corolario 9.1.2 se deduce que G = Sp1 Sp2 . . . Spk . Finalmente, aplicando
la proposicion 7.1.4 se obtiene el enunciado. Q.E.D.
9.2. Clasificacion de los grupos abelianos finitos

Definicion 9.2.1 Dado un grupo abeliano G, se dice que {a1 , a2 , . . . , ar } es
un sistema de generadores de G si todo elemento x G puede escribirse en
la forma
x = n1 a1 + n2 a2 + + nr ar
con nj Z.
Si la expresion anterior es unica, se dice que {a1 , a2 , . . . , ar } es una base
de G.
Proposicion 9.2.2 Sea G un grupo abeliano, y {a1 , a2 , . . . , ar } un sistema

de generadores de G. Son equivalentes:
9.2. Clasificacion de los grupos abelianos finitos 63
1. {a1 , a2 , . . . , ar } es una base de G.
2. Si existen n1 , n2 , . . . , nr Z tales que
n1 a1 + n2 a2 + + nr ar = 0
se debe tener nj aj = 0 para todo j = 1, 2, . . . , r.
Demostracion.
(1 2) Supongamos que {a1 , a2 , . . . , ar } es una base de G. Entonces,
n1 a1 + n2 a2 + + nr ar = 0 = 0a1 + 0a2 + + 0ar
y, de la unicidad de la representacion, se deduce que nj aj = 0 para todo

j = 1, 2, . . . , r.
(2 1) Recprocamente, supongamos que x G posee dos descomposi-
ciones
n1 a1 + n2 a2 + + nr ar = x = n01 a1 + n02 a2 + + n0r ar
Se tiene entonces
(n1 n01 )a1 + (n1 n02 )a2 + + (n1 n03 )ar = 0
y la hipotesis asegura que (nj n0j )aj = 0 para todo j = 1, 2, . . . , r. Q.E.D.
Proposicion 9.2.3 Sea {a1 , a2 , . . . , ar } una base de un grupo abeliano finito

G. Entonces,
r
G
M
= hai i
i=1
Demostracion. Como G es abeliano, cada haj i es normal en G. Puesto que

{a1 , a2 , . . . , ar } es un sistema de generadores de G, G = ha1 i+har i+ +har i.
Finalmente, si Y
x haj i ( hai i)
i6=j
se tiene que X
x = nj aj = ni ai
i6=j
y, de la proposicion anterior, se tiene x = 0. El resultado se deduce entonces

de la proposicion 7.1.4. Q.E.D.
Teorema 9.2.4 (Teorema de estructura de los grupos abelianos finitos)

Todo grupo abeliano finito es isomorfo a una suma directa de grupos cclicos
de ordenes potencias de primos.
Demostracion. Por las proposiciones 9.1.3 y 9.2.3, basta demostrar que

cualquier p-subgrupo de Sylow tiene una base. As pues, sea G un p-grupo.
Elegimos a1 G de orden maximo pm1 . Si G1 = ha1 i = G, entonces {a1 }
es una base de G.
Supongamos entonces que G1 ( G. Supongamos que tenemos k elementos
a1 , a2 , . . . , ak de ordenes pm1 , pm2 , . . . , pmk tales que
1. m1 m2 . . . mk y todo elemento de G que no pertenezca a Gk =

ha1 i ha2 i hak i tiene orden pt con t mk , y
2. {a1 , a2 , . . . , ak } es una base de Gk .
Si Gk ( G, tomamos b G\Gk de orden pt . Sea r el menor entero positivo

tal que rb Gk (existe, pues pt b = 0 Gk ). Utilizando el algoritmo de
Euclides, podemos escribir
pt = cr + r0 con 0 r0 < r
Por tanto, r0 b = pt b crb Gk , por lo que r0 = 0. Por tanto, r|pt . Pongamos,

entonces, r = pmk+1 , y puesto que t mk+1 se tiene
m1 m2 . . . mk mk+1
Puesto que rb Gk , se tiene

k
X
rb = ni ai
i=1
pt
Multiplicando esta igualdad por r = ptmk+1 ,
k
X pt
pt b = 0 = ni ai
r
i=1
t t
Utilizando (2), se sigue que ni pr ai = 0, y, por tanto, nirp es un multiplo de
pmi . As,
n i pt
= n0i pmi , n0i N, i = 1, 2, . . . , k
r
Entonces, ni = r(n0i pmi t ) = rn00i , donde n00i N.
Definimos
Xk
ak+1 = b n00i ai
i=1
Se tiene que rak+1 = rb i=1 rn00i ai = rb ki=1 ni ai = 0, y, por tanto,

Pk P
ord(ak+1 )|r. Por otro lado, sak+1 = 0 implica sb Gk , de donde r s por la
definicion de r. As, ord(ak+1 ) = r = pmk+1 .
9.2. Clasificacion de los grupos abelianos finitos 65
Si
k+1
X
0= ci ai
i=1
entonces ck+1 ak+1 Gk , de donde, por la definicion de ak+1 , se tiene que
ck+1 b Gk .
Dividiendo ck+1 entre r, se tiene ck+1 = cr + r00 con 0 r00 < r. Debe ser,
entonces, r00 = 0, ya que r00 b = ck+1 b crb Gk . Por ello, ck+1 es un multiplo
de r = pmk+1 , y, por tanto,
ck+1 = pmk+1 c0k+1
Por tanto, ck+1 ak+1 = 0, lo cual, unido a (2), implica que {a1 , a2 , . . . , ak , ak+1 }
es una base de Gk+1 . Q.E.D.
Proposicion 9.2.5 Todo grupo abeliano finito G es isomorfo a una suma

directa de la forma
G= Zpn1 Zpn2 Zprnr
1 2
Esta descomposicion es unica, salvo por el orden.
Demostracion. La existencia es consecuencia directa del teorema de estruc-

tura, pues todo grupo cclico finito de orden k es isomorfo a (Zk , +).
Puesto que, para cada primo p que divide a G, existe un unico p-subgrupo
de Sylow, basta demostrar la unicidad para estos, i.e., basta hacerlo para
p-grupos.
Sea, por tanto, G un p-grupo abeliano finito, de orden pt . Supongamos que
G posee dos descomposiciones
G
= A1 A2 Ar
G
= B1 B2 Bs
donde Ai = (Zpei , +) y Bj = (Zpfj , +), y
e1 e2 . . . er
f1 f2 . . . fs
Para t = 1, el enunciado de la proposicion se cumple trivialmente. Supon-

gamos que tambien es cierto para todo p-grupo de orden pk con k < t.
Sea pG = {py : y G} G (no es una clase por la izquierda). Si
pG = {e}, todo elemento de G (excepto el neutro e) es de orden p, y, por
tanto, ei = fj = 1 para todos i = 1, 2, . . . , r y j = 1, 2, . . . , s, de donde
pt = |G| = pr = ps .
Si pG 6= {e}, veamos que podemos escribir
pG
= hpa1 i hpa2 i hpar i
pG
= hpb1 i hpb2 i hpbs i
donde hai i = Ai y hbj i = Bj .

Si px pG, x G, y, por tanto,
r
X r
X
x= ni ai = px = ni pai
i=1 i=1
Pr
Supongamos que px = 0. Entonces, i=1 ni pai = 0, y, puesto que {ai }ri=1
es una base de G, se debe tener ni pai = 0 para cada i = 1, 2, . . . , r. As,
{pai }ri=1 es una base de pG, y, aplicando la proposicion 9.2.3 se obtiene el
primer isomorfismo.
El segundo se demuestra de forma analoga.
Finalmente,
|pG| = pe1 1 pe2 1 . . . per 1 = ptr
|pG| = pf1 1 pf2 1 . . . pfs 1 = pts
de donde r = s y ei = fi para cada i = 1, 2, . . . , r. Q.E.D.
Definicion 9.2.6 Sea G un grupo abeliano finito

G
= Zpn1 Zpn2 Zpnr r
1 2
Los numeros (pn1 1 , pn2 2 , . . . , pnr r ) se llaman divisores elementales del grupo G.
Corolario 9.2.7 Dos grupos abelianos finitos con divisores elementales dis-
tintos no son isomorfos.
Demostracion. El enunciado es una reformulacion de la proposicion 9.2.5

en terminos de la definicion anterior. Q.E.D.
Corolario 9.2.8 Todo grupo abeliano finito G es isomorfo a una suma directa
de la forma
G= Zm1 Zm2 Zmt
donde m1 2 y mi divide a cada mj con j i.
Demostracion. Con todos los divisores elementales de G, construimos la

matriz n11
pn2 12 pnr 1r

p1
pn21 pn22 pn2r
1 2 r
.. .. . . ..
. . . .
nt1 nt2 n
p1 p2 pr tr
en la cual nij ni+1,j .
Entonces, definimos mi = p1ni1 p2ni2 . . . pnr ir . Es claro que mi divide a cada
mj con j i. Ademas, por la proposicion 7.1.6,
Zmi
= Zpni1 Zpni2 Zpnr ir
1 2
As, el enunciado se sigue trivialmente de la proposicion 9.2.5. Q.E.D.

9.3. Cuerpos finitos 67
Definicion 9.2.9 Sea G un grupo abeliano finito
G
= Zm1 Zm2 Zmt
donde m1 2 y mi divide a cada mj con j i. Los numeros mi reciben el

nombre de coeficientes de torsion o invariantes de G.
Corolario 9.2.10 Dos grupos abelianos finitos con coeficientes de torsion dis-
tintos no son isomorfos.
Demostracion. De nuevo, este enunciado es una reformulacion del corolario

9.2.8 en terminos de la definicion anterior. Q.E.D.
Corolario 9.2.11 Sea G un grupo abeliano finito de orden n. Para cada di-
visor d de n existe un elemento de orden d.
Demostracion. Por el corolario 9.1.2, si d = ni=1 pni i , el elemento x tiene

Q
una factorizacion unica x = ni=1 xi , donde cada xi es de orden pni i - Estos

Q
ultimos existen por el corolario 8.3.5. Q.E.D.
9.3. Cuerpos finitos

Definicion 9.3.1 Un cuerpo (F, +, ) es un conjunto no vaco F , dotado con
dos operaciones, suma (+) y multiplicacion (), tales que
(F, +) y (F = F \{0}, ) son grupos abelianos, y
x, y, z F, x (y + z) = x y + x z (propiedad distributiva).
Los elementos neutros con respecto a la suma y a la multiplicacion se

denotan 0 y 1, respectivamente. El inverso aditivo de un elemento x F se
denota x, y su inverso multiplicativo, x1 .
Definicion 9.3.2 Se llama caracterstica de un cuerpo (F, +, ) al orden adi-

tivo del elemento neutro de la multiplicacion.
Proposicion 9.3.3 La caracterstica de un cuerpo (F, +, ) es cero o un nume-

ro primo.
Demostracion. Sea F un cuerpo de caracterstica positiva k, y supongamos

que d1 y d2 son divisores propios de k. Entonces
0 = k1 = d1 d2 1 = (d1 1)(d2 1)
Puesto que no existen en F divisores de cero, alguno de los dos factores debe
ser cero, en contra de la definicion de k. Q.E.D.
Proposicion 9.3.4 Sea F un cuerpo finito de caracterstica p. Entonces, exis-

te n N tal que
n

M
(F, +) = Zp
i=1
Demostracion. Para todo x F , utilizando la definicion de caracterstica,
px = p(1x) = (p1)x = 0
de donde todo elemento de F tiene orden p. Basta, entonces, aplicar la pro-

posicion 9.2.5. Q.E.D.
Proposicion 9.3.5 El grupo multiplicativo de todo cuerpo finito es cclico.
Demostracion. Aplicando el corolario 9.2.8,
F
= Zm1 Zm2 Zmr
donde mi|mj para todo j i. Por tanto, para cada x F se tiene ord(x)|mr
y xmr = 1. Sin embargo, el polinomio xmr 1 tiene, como maximo, mr solu-
ciones. Se sigue, entonces, que |F | = mr , luego F es cclico. Q.E.D.
9.4. Grupos abelianos de orden bajo

Para elaborar la siguiente tabla se han utilizado las proposiciones 7.1.6 y
9.2.5 y los corolarios 3.3.2 y 9.2.7.
n Grupos abelianos de orden n

2 Z2
3 Z3
4 Z4 , Z2 Z2
5 Z5
6 Z6 = Z2 Z3
7 Z7
8 Z8 , Z4 Z2 , Z2 Z2 Z2
9 Z9 , Z3 Z3
10 Z10
= Z2 Z5
11 Z11
12 Z4 Z3 , Z2 Z2 Z3
13 Z13
14 Z14
= Z2 Z7
15 Z15
= Z3 Z5
16 Z16 , Z8 Z2 , Z4 Z2 Z2 , Z2 Z2 Z2 Z2
Captulo 10
Clasificacion de grupos de
orden menor que 16
10.1. Primeros grupos clasificados

A partir de lo demostrado en los captulos anteriores, podemos clasificar
ya los siguientes grupos.
Grupos de orden primo. Por el corolario 3.3.2, los grupos de orden primo
son cclicos simples, y, por tanto, abelianos.
Son de este tipo los grupos de orden 2, 3, 5, 7, 11 y 13.
Grupos de orden p2 . Segun la proposicion 8.1.3, todo grupo de orden el

cuadrado de un primo p es abeliano. As pues, el corolario 9.2.7 asegura
que todo grupo de orden p2 es isomorfo a Zp2 o a Zp Zp .
En esta clase se encuadran los grupos de orden 4 y 9.
10.2. Grupos de orden pq

Proposicion 10.2.1 Sean p y q primos con p > q, y G un grupo de orden
pq. Entonces,
Si p 6 1 (mod q), entonces G

= Zpq .
Si p 1 (mod q) y G es abeliano, entonces G

= Zpq .
Si p 1 (mod q) y G no es abeliano, entonces G

= Zp o Zq .
Demostracion. Sean np , nq el numero de p-subgrupos y q-subgrupos de

Sylow, respectivamente. Por el teorema de Sylow, np 1 (mod p) y np |q.
Como p > q, esto implica np = 1. Entonces, si P es el unico p-subgrupo de
Sylow de G, se tiene P G.
69
70 Clasificacion de grupos de orden menor que 16
Sea Q un p-subgrupo de Sylow de G. Como tambien nq 1 (mod q) y

nq |p, el subgrupo Q puede tener o bien un unico conjugado (el mismo), o bien
p conjugados.
El primer caso se da si p 6 1 (mod q), o si p 1 (mod q) y G es
abeliano. Entonces, Q G. Puesto que, por el teorema de Lagrange, P Q =
{e}, la proposicion 2.3.3 asegura que P Q = G. Aplicando la proposicion 7.1.3,
G = P Q. Pero P = Zp y Q = Zq , por ser P y Q grupos de orden primo.
Finalmente, basta observar que Zp Zq = Zpq por la proposicion 7.1.6.
Si p 1 (mod q) y G no es abeliano, G tiene p q-subgrupos de Sylow.
Como, por el teorema de Lagrange, P Q = {e}, de nuevo la proposicion 2.3.3
asegura que P Q = G. Entonces, por la proposicion 7.2.3, G = P o Q, donde
: N Aut M viene dada por n (m) = nmn1 . Finalmente, basta observar
que P = Zp y Q = Zq . Q.E.D.
Esta proposicion nos permite clasificar los grupos de orden 6 = 3 2, 10 =

5 2, 14 = 7 2 y 15 = 5 3.
Grupos de orden 2p. Si q = 2 y p es un primo impar, se tiene que p

1 (mod q). Aplicando la proposicion anterior, se tiene que todo grupo
abeliano de orden 2p es isomorfo a Z2p .
El grupo diedrico de orden 2p, D2p , es no abeliano. Puesto que la propo-
sicion anterior asegura que existe una unica clase de isomorfa de grupos
no abelianos de orden 2p, llegamos a la conclusion de que todo grupo no
abeliano de orden 2p es isomorfo a D2p = Zp o Z2 .
Quedan as clasificados los grupos de orden 6, 10 y 14.
Notese que S3 es un grupo no abeliano de orden 6, por lo que S3
= D6 .
Grupos de orden 15. Si p = 5 y q = 3, se tiene que p 6 1 (mod q), de

donde todo grupo de orden 15 debe ser cclico, y, por tanto, abeliano.
10.3. Grupos de orden 8

Segun los resultados del captulo anterior, existen tres clases de isomorfa
de grupos abelianos de orden 8, a saber:
Z8 , Z4 Z2 , Z2 Z2 Z2
Investiguemos ahora los grupos no abelianos de orden 8.
Proposicion 10.3.1 Sea G un grupo no abeliano de orden p3 con p primo.

Entonces, |Z(G)| = p y G/Z(G)
= Zp Zp
10.3. Grupos de orden 8 71
Demostracion. Por la proposicion 8.1.2, Z(G) es no trivial. Por el teorema

de Lagrange, debe ser, entonces, |Z(G)| = p o |Z(G)| = p2 . Pero |Z(G)| = p2
implicara que Int G
= G/Z(G) es cclico, y, por el corolario 5.3.2, G sera
abeliano. Por tanto, |Z(G)| = p.
Entonces, |G/Z(G)| = p2 . Si G/Z(G) = Zp2 , el corolario 5.3.2 implicara
de nuevo la conmutatividad de G, por lo que G/Z(G) = Zp Zp . Q.E.D.
Proposicion 10.3.2 Sea G un grupo no abeliano de orden 8. Entonces, existe

en G algun elemento de orden 4.
Demostracion. En efecto, sea H = hg, hi con g, h G elementos de orden

2. Entonces,
H = {e, g, h, gh, hg}
Entonces, el teorema de Lagrange implica que gh = hg. Q.E.D.
Sea G un grupo no abeliano de orden 8, de modo que Z(G) = {e, z}.

Supongamos que z es el unico elemento de orden 2 en G. Por el corolario
8.3.5, podemos escoger un elemento y G de orden 4 tal que Q = hyi G.
Entonces, G/Q = hxQi, y como x no puede ser un elemento de orden 2, se
tiene que x2 = z. Ademas, tambien y 2 = z. Por tanto,
G = {e, z, x, x3 , y, y 3 }
Ademas, xyx1 Q = {e, z, y, y 3 }. Pero
Si xyx1 = e se tendra y = e.
Si xyx1 = z se tendra y = z.
Si xyx1 = y se tendra xy = yx, de donde G sera abeliano.
Por tanto, xyx1 = y 3 , de donde xy = y 3 x. Por tanto, encontramos la presen-

tacion
hx, y : x4 = e, x2 = y 2 , xy = y 3 xi
Este grupo recibe el nombre de grupo cuaternionico, y se denota Q8 . Sus
elementos suelen denotarse 1, 1, i, i, j, j, k, k, cumpliendo las siguientes
relaciones:
i2 = j 2 = k 2 = 1
ij = k jk = i ki = j
ji = k kj = i ik = j
Sea, de nuevo, G un grupo no abeliano de orden 8, de modo que Z(G) =

{e, z}. Supongamos ahora que existe en G un elemento x de orden 2 distinto
de z. Si y es un elemento de orden 4, entonces
G = {e, y, y 2 , y 3 , x, xy, xy 2 , xy 3 }
Puesto que yx G, la unica posibilidad que no lleva a contradiccion con las

hipotesis es yx = xy 3 . Por tanto, este grupo es isomorfo a D8 .
10.4. Grupos de orden 12

Proposicion 10.4.1 Sea G un grupo de orden 12. Entonces, G tiene un sub-
grupo de Sylow normal.
Demostracion. Por el teorema de Sylow, el numero de 3-subgrupos de

Sylow de G debe ser uno o cuatro.
Supongamos que G posee cuatro 3-subgrupos de Sylow, P1 , P2 , P3 , P4 . Ca-
da interseccion Pi Pj con i 6= j debe ser un subgrupo propio de Pi . Como
Pi
= Z3 , es necesario que Pi Pj = {e}. Por tanto, G contiene el neutro,
y ocho elementos de orden 3, incluidos en sus 3-subgrupos de Sylow. Que-
dan, por tanto, tres elementos de orden 2, por lo cual solo puede existir un
2-subgrupo de Sylow. Q.E.D.
Sea G un grupo de orden 12, V un 2-subgrupo de Sylow y T un 3-subgrupo

de Sylow. Segun resultados anteriores, se tiene T = Z3 , y V = Z4 o V =
Z2 Z2 . Ademas, por la proposicion anterior, uno de los dos debe ser normal
en G.
Analicemos los distintos casos.
1. V G, T G, V = Z4 :
Por la proposicion 7.1.3, G
= Z4 Z3
= Z12 .
2. V G, T G, V = Z2 Z2 :
= Z2 Z2 Z3 .
3. V G, T G, V = Z4 :
= Z4 o Z3 . Sin embargo : Z3 Aut Z4 =
Z2 solo puede ser el homomorfismo trivial, por lo cual Z4 o Z3 = Z4 Z3 .
En este caso, tambien T G, repitiendo el primer caso.
4. V G, T G, V = Z2 Z2 :
= (Z2 Z2 ) o Z3 . Si : Z3 Aut Z2 Z2
10.4. Grupos de orden 12 73
esta definida segun
0 (01) = 01 0 (10) = 10 0 (11) = 11

1 (01) = 10 1 (10) = 11 1 (11) = 01
2 (01) = 11 2 (10) = 01 2 (11) = 10
y denotamos a = (01, 0), b = (10, 0), c = (00, 1), este grupo admite la
presentacion
ha, b, c : a2 = b2 = c3 = e, ab = ba, cac1 = a, cbc1 = abi
El homomorfismo que aplica
a 7 (12)(34)
b 7 (14)(23)
c 7 (123)
establece un isomorfismo de este grupo con el cuarto grupo alternado,

A4 .
5. V G, T G, V = Z4 :
= Z3 o Z4 , donde el homomorfismo :
Z4 Aut Z3 viene dado por
0 (1) = 2 (1) = 1
1 (1) = 3 (1) = 2
Tomando a = (1, 2), b = (1, 1), concluimos que este grupo admite la
presentacion
ha, b : a6 = e, a3 = b2 , bab1 = a1 i
Suele denominarse grupo cuaternionico generalizado de orden 12, Q12 .
6. V G, T G, V = Z2 Z2 :
= Z3 o (Z2 Z2 ). Si : Z2 Z2 Aut Z3
viene dado por
00 (1) = 11 (1) = 1
01 (1) = 10 (1) = 2
la eleccion a = (1, (1, 1)), b = (1, (1, 0)) nos lleva a la presentacion
ha, b : a6 = b2 = e, ab = ba1 i
es decir, al grupo D12 de simetras de un hexagono regular.

10.5. Resumen
La siguiente tabla muestra las distintas clases de isomorfa de grupos de
orden menor que 16, resumiendo los resultados de este captulo, as como los
del anterior.
n Grupos abelianos de orden n Grupos no abelianos de orden n

2 Z2 -
3 Z3 -
4 Z4 , Z2 Z2 -
5 Z5 -
6 Z6 = Z2 Z3
D6 = S3
7 Z7 -
8 Z8 , Z4 Z2 , Z2 Z2 Z2 D8 , Q8
9 Z9 , Z3 Z3 -
10 Z10
= Z2 Z5 D10
11 Z11 -
12 Z4 Z3 , Z2 Z2 Z3 D12 , Q12 , A4
13 Z13 -
14 Z14
= Z2 Z7 D14
15 Z15
= Z3 Z5 -
Bibliografa
[1] J.L. Alperin, Rowen B. Bell. Groups and Representations. Graduate

Texts in Mathematics 162, Springer-Verlag New York Inc., New York,
1995, ISBN 0-387-94526-1.
[2] Jose Dorronsoro, Eugenio Hernandez. Numeros, grupos y anillos.

Addison-Wesley / Universidad Autonoma de Madrid, Salamanca, 1996,
ISBN 0-201-65395-8, ISBN 84-7829-009-5.
[3] John F. Humphreys. A Course in Group Theory. Oxford Science Publica-

tions, Oxford University Press Inc., New York, 1996, ISBN 0-19-853459-0.
[4] Serge Lang. Algebra. Addison-Wesley Publishing Company Inc., Reading,

Massachusetts, 3rd edition, 1993, ISBN 0-201-55540-9.
75

Introduccion Al Algebra PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Introduccion Al Algebra PDF

Cargado por

Copyright:

Formatos disponibles

Introduccion a la teora

por Alberto Garca Raboso

Este documento ha sido realizado en AMS-LATEX 2 .

v. 1.0 (26 de agosto de 2001).

Se puede contactar con el autor en <agraboso@physics.rutgers.edu> y

Indice general III

4 Acciones de grupos. Subgrupos normales 21

5 Grupos cociente y teoremas de isomorfa 29

6 Grupos simetricos, alternados y diedricos 35

7 Producto directo y semidirecto 47

8 p-grupos y teoremas de Sylow. Grupos solubles 53

9 Grupos abelianos finitos 61

10 Clasificacion de grupos de orden menor que 16 69

1.1. Primeras definiciones y propiedades

(G1) Operacion interna:

(G2) Propiedad asociativa:

(G3) Existencia de elemento neutro:

(G4) Existencia de elemento inverso:

Definicion 1.1.2 Se dice que un grupo (G, ) es abeliano si para todos x, y

Definicion 1.1.3 Sea (G, ) un grupo. Se llama orden de (G, ) al cardinal

Proposicion 1.1.4 (Propiedades cancelativas) Sea (G, ) un grupo. Pa-

Demostracion. Dado c G, el axioma (G4) asegura la existencia de un

Proposicion 1.1.5 El elemento neutro e de un grupo (G, ) es unico.

Demostracion. Supongamos que existiesen en (G, ) dos elementos neutros

Proposicion 1.1.6 El elemento inverso de cualquier elemento g de un grupo

Demostracion. Supongamos que existiesen dos elementos g 1 , g ? G tales

Proposicion 1.1.7 Sea (G, ) un grupo. Para todo g G se tiene que (g 1 )1 =

Demostracion. Dada la unicidad del elemento inverso, basta observar que

Proposicion 1.1.8 Sea (G, ) un grupo. Para todos x, y G se tiene que

Demostracion. La unicidad del elemento inverso y las relaciones

Proposicion 1.1.9 Sea (G, ) un grupo. Entonces,

(G, )es abeliano x, y G, (x y)1 = x1 y 1

Demostracion. De la definicion de grupo abeliano, (x y)1 = y 1 x1 =

Definicion 1.2.2 Sea (G, ) un grupo. Los subconjuntos G y {e} reciben el

Proposicion 1.2.3 Sea (G, ) un grupo, y sea H G, H 6= . (H, ) es un

Demostracion. Sea H un subgrupo de G. Si x, y H entonces, por (G4),

Proposicion 1.2.4 Sea I un conjunto

Demostracion. Sean x, y Hi para todo i I. Por T ser Hi subgrupos,

Definicion 1.2.5 Sea X un subconjunto cualquiera de un grupo G. Se llama

Proposicion 1.2.6 En las condiciones de la definicion anterior,

hXi = {x1 1 x2 2 xnn : x1 , x2 , . . . , xn X, 1 , 2 , . . . , n Z}

Demostracion. Sea HX el conjunto del miembro derecho de la igualdad.

Definicion 1.2.7 Se llama retculo de los subgrupos de un grupo (G, ) al

1.3. Homomorfismos de grupos

Un homomorfismo inyectivo recibe el nombre de monomorfismo; un ho-

Proposicion 1.3.2 Sean (G, ), (H, ?) grupos, y sea f : G H un homo-

Demostracion. Utilizando que f es un homomorfismo,

f (x y 1 ) ? f (y) = f ((x y 1 ) y) = f (x)

y basta componer con f (y)1 por la derecha. La demostracion del segundo

Corolario 1.3.3 Sean (G, ), (H, ?) grupos, y sea f : G H un homomor-

2. Para todo g G, f (g 1 ) = f (g)1 .

1. Basta aplicar la proposicion anterior al caso x = y.

2. Basta aplicar la proposicion anterior al caso x = eG , y = g.

Proposicion 1.3.4 La relacion de isomorfa de grupos es una relacion de

Demostracion. Sean G, H, K grupos.

1 (y1 )1 (y2 ) = x1 x2 = 1 (y1 y2 )

demostrando que 1 es un homomorfismo. Por tanto, H = G.

de modo que es un homomorfismo, y G

Definicion 1.3.5 Sean (G, ), (H, ?) grupos, y sea f : G H un homo-

Proposicion 1.3.6 Sean G, H grupos, y f : G H un homomorfismo. Si

f (x)f (y) = f (xy) = f (yx) = f (y)f (x)

Proposicion 1.3.7 El conjunto Aut G de automorfismos de un grupo G es

Demostracion. Sean f, g : G G automorfismos de G. Entonces, tan-