Algebra Abstracta

(notas del curso 2016)

Docente: David Grimm

Estado: 12 de mayo 2016

Indice
1 Grupos 2
1.1 Definiciones y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Grupos simetricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3 Homomorfismos y isomorfismos . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.4 Cocientes de grupos y subgrupos normales . . . . . . . . . . . . . . . . . . . 12
1.5 Teoremas del isomorfismo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.6 Acciones de grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.7 Teoremas de Sylow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.8 Producto directo & grupos Abelianos finitos . . . . . . . . . . . . . . . . . . 25
1.9 Productos semidirectos & algunos grupos no Abelianos . . . . . . . . . . . . 29

2 Anillos 35
2.1 Definiciones y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.2 Homomorfismos, ideales y anillos cocientes . . . . . . . . . . . . . . . . . . . 37
2.3 Anillos de polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.4 Dominios de ideals principales y de factorizacion unica . . . . . . . . . . . . 45
2.5 Aplicacion: La funcion de Euler y el protocol RSA . . . . . . . . . . . . . . . 49
2.6 Cuerpos de fracciones y Extensiones de cuerpos . . . . . . . . . . . . . . . . 52
2.7 Extensiones algebraicas y Cuerpo del raz generico . . . . . . . . . . . . . . . 54
2.8 Aplicacion: Construcciones por compas y regla . . . . . . . . . . . . . . . . . 56

oficina 504, Departamento de Matem
atica y Ciencia de la Computacion, correo: david.grimm@usach.cl

1
1 Grupos
1.1 Definiciones y ejemplos
on (G, ) es un conjunto G con una funcion : G G G.
Un conjunto con operaci

Se escribe xy en lugar de (x, y). En lo sucesivo, escribimos mas economicamente xy := xy,

salvo si queremos enfatizar la operacion.

1.1 Definici on. Un conjunto con operacion (G, ) se dice grupo si la operacion satisface
las siguientes propiedades (axiomas):

(i) x, y, z G: (xy)z = x(yz) (la operacion es asociativa).

(ii) e G: x G: xe = ex = x (existe un elemento neutro).

(iii) x G: y G: xy = yx es neutro (cada elemento tiene un inverso).

Anotamos un grupo (G, ) tambien solamente por su conjunto G cuando no hay ambig
uedad
de la operacion .

on (G, ) contiene a lo mas un elemento neutro, y que cada

Pruebe que un conjunto con operaci
x G tiene a lo m
as un inverso:

El elemento neutro e (si existe) de un conjunto con operacion (G, ) lo anotaremos con
1(G,) , o simplemente 1G . El inverso (si existe) de un elemento x G lo anotaremos con x1 .
Pruebe que si x, y (G, ) tienen inversos, entonces tambien xy con (xy)1 = y 1 x1 :

Para los siguientes conjuntos con operacion, decide si es un grupo (anotando los axiomas que faltan
en caso que no), e identifique el elemento neutro (si existe):

(G, ) = (R, +) (R, ) (R \ {0}, ) (N, +) (Z, ) (Z, +) (Q \ {0}, ) (, )

grupo ? X 7(iii)
1(G,) = 0 1

Para un conjunto con operacion (G, ) asociativo, definimos para x G recursivamente

x1 := x, xn+1 := x xn para n N. Si existe 1G G, definimos ademas x0 := 1G , y si existe
ademas x1 , definimos tambien xn := (x1 )n para n N.

2
Sea (G, ) un grupo. Sea x G y n, m Z. Pruebe que xn xm = xn+m :

on. Sea (G, ) un grupo y x G. Definimos el orden de x por

1.2 Definici

si k N : xk 6= 1G
ord(x) :=
min{k N | xk = 1G } si k N : xk = 1G

Pruebe que |G| < = x G : ord(x) < :

1.3 Definici on. Sea (G, ) un grupo y sea H G un subconjunto. Si H es cerrado bajo
(i.e. x, y H : xy H), lo que significa que (H, |H ) es un conjunto con operacion, y si es
ademas un grupo, se dice que H es un subgrupo de G, anotado H G.
Sea H G. Demuestre que 1H = 1G :

6 H G. Entonces H G x, y H : x1 y H.
1.4 Lema. Sea G un grupo y sea =
Proof. Si (H, ) es un subgrupo, en particular H es cerrado bajo la operacion de G y
tambien cerrado bajo la inversion de elementos (i.e. x H : x1 H). Por lo tanto
x, y H : x1 y H.
Supongamos ahora que x, y H : x1 y H. Como H 6= , existe x H, y por lo
tanto x1 x = 1G H. Entonces, para cada x H tenemos x1 = x1 1G H, i.e. H
es cerrado bajo la inversion de elementos. Finalmente, tenemos para cada x, y H que
xy = (x1 )1 y H, y por lo tanto H es cerrado bajo la operacion .
1.5 Lema. Sea G un grupo y H un coleccion de subgrupos de G. Entonces
\
H G.
HH
T
T Tenemos que 1G HH H porque 1G H para cada
Proof. T H H. En particular,
=6 HH H, lo que nos permite aplicar Lema 1.4. Sean x, y T x, y H
HH H. Entonces
1 1
y por lo tanto x T y H para cada H H porque H G. Entonces x y HH H, lo
que implica que HH H es un subgrupo de G.
on. Sea G un grupo y S G un subconjunto. El subgrupo
1.6 Definici
\
hSi := H
HG,
SH

de G se llama subgrupo generado por S. Cuando S = {x}, escriba hxi en lugar de h{x}i.

3
 on. Sea G un grupo y S G un subconjunto. Entonces
1.7 Proposici
hSi = {xm mn
1 xn | n N0 ; x1 , . . . , xn S; m1 , . . . , mn Z}.
1

En particular, hxi = {xm | m Z} para cualquier x G.

Proof. Denotamos H 0 := {xm mn
1 xn
1
| n N0 ; x1 , . . . , xn S; m1 , . . . , mn Z}. Es obvio
que H H para cualquier subgrupo H de G con S H. Tambien es claro que S H 0 .
0

nico que tenemos que mostrar es que H 0 es un subgrupo de G. Como x0 =

Por lo tanto, lo u
1G H, obtenemos eso por Lema 1.4 junto con la observacion que (xm mn 1 r1
1 xn ) y 1 y s =
1 rs
mn m1 r1 rs 0
xn x1 y1 ys H para cualquier x1 , . . . , xn , y1 , . . . , ys S y m1 , . . . , mn , r1 , . . . , rs
Z.
on. Sea G un grupo. Se dice orden de G para su cardinalidad |G|.
1.8 Definici
on. Sea G un grupo y x G. Entonces ord(x) = |hxi|.
1.9 Proposici
Proof. Si ord(x) = , entonces xm 6= x` para m 6= `, porque sino tendriamos que xm` =
1G = x`m , lo que contradice ord(x) = . Por lo tanto {xm | m Z} es un conjunto
infinito.
En caso que ord(x) = n < , tenemos que
{xm | m Z} = {x` | ` N0 ; 0 ` n 1}
porque se puede escribir cada m Z como m = kn + ` para un k Z y ` {0, 1, . . . , n 1},
y por lo tanto tenemos xm = (xn )k x` = x` . Finalmente, tenemos que x`1 6= x`2 para
cada `1 , `2 {0, 1, . . . , n 1} con `1 < `2 , porque sino tendriamos que x`2 `1 = 1G con
1 `2 `1 < n, y por eso la contradiccion que ord(x) < n. Por lo tanto tenemos que
 ` 
{x | ` N0 ; 0 ` n 1} = n = ord(x).

En los siguientes ejemplos introducimos la notacion para algunos grupos tpicos.

1.10 Ejemplo. Escribimos...
... K para el grupo multiplicativo (K \ {0}, ) para K = Q, R, o C.
... Gln (K) para el grupo de matrices n n invertibles con coeficientes en K = Q, R, o C,
llamado grupo lineal general de Kn .
... S 1 para el subgrupo {z C | |z| = 1} de C .
... SX para el grupo de auto-biyecciones de un conjunto X 6=
({f : X X | f es biyectiva}, ) .
Se llama el grupo sim etrico de X o el grupo de permutaciones de X. En caso
que X = {1, . . . , n} N para un n N, se escribe Sn en lugar de S{1,...,n} .

Pruebe que estos ejemplos son de verdad grupos.

Antes de continuar con la teora general, vamos a estudiar el u

ltimo ejemplo de grupos mas
en detalle.

4
1.2 Grupos sim
etricos
Sea n N. Denote (Sn , ) el grupo simetrico de {1, 2, . . . , n}. Se trata de un ejemplo
muy representativo para muchos aspectos de grupos en general. Tambien historicamente,
los grupos Sn y sus subgrupos fueron los primeros grupos considerados bajo el concepto
abstracto de grupos. Consideraremos en mas detalle estos ejemplos antes de continuar con
la teora general.
 
1 2 ... n
Representaremos una permutacion Sn por .
(1) (2) . . . (n)
Calcule en S4 :
       
1 2 3 4 1 2 3 4 1 2 3 4 1 2 3 4
= , y ord =
2 4 3 1 3 2 1 4 2 4 1 3

on. Sea Sn . El conjunto

1.11 Definici

sop() := {1 i n | (i) 6= i}

se llama soporte de .

Sean , Sn con soportes disjuntos. Pruebe que = en este caso:

1.12 Definici on. Una permutacion Sn con sop() = { m (a) | m Z} para un a

{1, . . . , n} se llama un ciclo. Ciclos de orden 2 se llaman transposiciones.

Sea Sn un ciclo de orden k. Muestre que sop() = {a, (a), . . . , k1 (a)} y de cardinalidad k
para cualquier a sop(),:

Un ciclo Sn de orden k podemos representar de la manera siguiente: Para cualquier

a sop() anotamos

a (a) 2 (a) . . . k1 (a)

5
 Muestre que al contrario para cualquier (a1 , . . . , ak ) {1, . . . , n}k con ai 6= aj cuando i 6= j, existe
nico ciclo Sn de orden k con (ai ) = ai+1 para i < k y (ak ) = a1 :
un u

   
1 2 3 1 2 3
Calcule los produtos (1 2) (2 3) = y (2 3) (1 2) = de transpos. en S3 .

1.13 Observaci on. Un grupo G que cumple x, y G : xy = yx se dice grupo Abeliano.

ltima calculacion demuestra que Sn no es Abeliano para n 3.
La u
1.14 Proposici on. Para cada Sn existe un u nico m N0 y unos u nicos (salvo reordi-
namiento) ciclos 1 , . . . , m Sn con soportes disjuntos, tales que = 1 m .
Proof. Mostremos primero la unicidad: Supongamos que

= 1 m = 10 m
0
0

0
con m, m0 N y 1 , . . . , m Sn ciclos con soporte disjunto y tambien 10 , . . . , m 0 Sn

ciclos con soporte disjunto. Sea i sop(1 ). Sin perdida de generalidad, supongamos que
i sop(10 ). Vemos que

sop(1 ) = {1` (i) | ` N} = {` (i) | ` N} = {10` (i) | ` N} = sop(10 ),

y por lo tanto, tenemos tambien que sop(2 . . . m ) = sop(20 . . . m 0

0 ). Como
1 0 0 0 1 0
2 . . . m = (1 1 ) 2 . . . m0 , obtenemos que sop(1 1 ) = , y por lo
tanto (11 10 ) = id{1,...,n} , i.e. 1 = 10 . De la misma manera mostramos recursivamente
que i = i0 para cada i m, y por eso m = m0 .

Ahora mostremos la existencia de la descomposicion de en ciclos con soportes disjuntos

por induccion sobre |sop()|:
Si |sop()| = 0 entonces = id{1,...,n} y tenemos una descomposicion vaca con m = 0.
Supongamos que hemos mostrado la descomposicion para permutaciones con soporte de
cardinalidad k. Sea Sn con |sop()| = k + 1. Sea a sop().  Sea ` = min{i
i `1
N | (a) = a}. Se puede
ver [ejercicio] que {a, (a), . . . (a)} = `. Definimos por
 
:= a (a) . . . `1 (a) un ciclo de orden ` y con sop() = {a, (a), . . . `1 (a)}.
Se observa que para cada b {1, . . . , n} \ sop() tenemos que (b)
/ sop(). Anotando
la permutacion de {1, . . . , n} definido por

i, si i sop()
(i) :=
(i), si i
/ sop()

se ve que = . Como |sop()| = |sop()| |sop()| k, la hipotesis de la induccion

nos da una descomposicion de en ciclos con soportes disjuntos, y por lo tanto, lo mismo
para .

6
Para una permutacion Sn definimos su n
umero de inversiones como

#inv() := |{(i, j) | 1 i < j n & (i) > (j)}| .

Muestre que para cualquier transposicion = (a b) Sn su n

umero de inversiones #inv( ) es
impar:

Muestre que #inv( ) nunca tiene la misma paridad que #inv() para cualquier permutaci
on
Sn :

1.15 Teorema. Sea Sn una permutacion. Entonces existe una descomposicion en

transposiciones, i.e. existe m N0 y transposiciones 1 , . . . , m Sn tales que

= 1 m .

Ademas, para cualquier tal descomposicion en transposiciones de , tenemos que el n

umero
m de transposiciones tiene la misma paridad que #inv().

Proof. Para la primera parte, basta mostrarla en el caso donde es un ciclo, por Proposicion 1.14.
Supongamos entonces que es un ciclo de orden k. Cuando k = 0, 1 no hay nada a mostrar.
Continuamos la induccion y mostramos la descomposibilidad en transposiciones de ciclos
= (a1 . . . ak+1 ) de orden k + 1 bajo la hipotesis de la descomposibilidad para ciclos de
orden k. Consideramos la transposicion = (ak ak+1 ). Se puede verificar que es el ciclo
(a1 . . . ak ) de orden k. Por la hipotesis de la induccion obtenemos = 1 m . El
asunto sigue con la composicion de la ecuacion por = 1 desde la derecha.
Mostramos ahora la segunda parte del asunto. Como id{1,...,n} = m 1 , y como
#inv(id{1,...,n} ) = 0 es par, obtenemos por el ejercicio anterior que m tiene la misma paridad
que #inv().

on. Para una permutacion Sn , definimos su signatura como

1.16 Definici

1 si #inv() es par
sign() :=
1 si #inv() es impar

7
Muestre que sign( ) = sign()sign() para cualquier , Sn :

Muestre tambien que para un ciclo Sn de orden k tenemos sign() = (1)k1 :

Es posible invertir el orden de los cubos 1 hasta

15, con el espacio vaco al final tambien en la
derecha abajo, solamente deslizando (sin levan-
divisor de cero
tar) los bloques en el cuadro de madera ?

8
1.3 Homomorfismos y isomorfismos
on. Dados (G1 , ) y (G2 , ?) dos grupos, decimos que una funcion
1.17 Definici

: G1 G2

es un homomorfismo si (x y) = (x) ? (y) para todo x, y G.

Sea : G1 G2 un homomorfismo. Pruebe que (1G1 ) = 1G2 y x G1 : (x1 ) = (x)1 :

Llamamos
ker() := 1 ({1G2 })
el n
ucleo (o kernel) de .

Sea : G1 G2 es un homomorfismo. Pruebe que ker() G1 y im() G2 :

Pruebe tambien que es inyectivo ker() = {1G1 }:

Un homomorfismo de grupos G1 G2 que es...

... inyectivo se llama monomorfismo, anotado tambien con G1 , G2 .

... sobreyectivo se llama epimorfismo, anotado tambien con G1  G2 .

... biyectivo se llama isomorfismo, anotado tambien con G1
G2 .

Sea : G1 G2 un isomorfismo de grupos. Pruebe que 1 : G2 G1 lo es tambien:

Siempre hay el homomorfismo trivial G1 G2 , x 7 1G2 entre cualquier grupos G1 y G2 .

Se dice que G1 es isomorfo a G2 , anotado G1
= G2 , si hay un isomorfismo G1
G2 .

Verifique
= es una relaci
on de equivalencia entre grupos:

9
1.18 Ejemplo. Las siguientes funciones son homomorfismos (o epi-, o iso-).

1. sign : Sn ({1, 1}, ) es un epimorfismo. Su n

ucleo se llama grupo alternante,
anotado An .

2. log : (R>0 , ) (R, +) es un isomorfismo.

3. Para n N, la funcion ()n : C C definido por z 7 z n es un epimorfismo con

ker(()n ) = {exp( ) | 0 ` n 1}

4. det : Gln (K) K es un epimorfismo. Su n

ucleo se llama grupo lineal especial de
n
K , anotado Sln (K).

Marque con , o 7 si o no hay un monomorfismo del grupo que corresponde a la linea, al grupo
que corresponde a la columna. De un ejemplo en caso que hay, o una razon porque no hay.

En caso que hay incluso un isomorfismo, indica lo por

= en lugar de ,.

(R, +) R (Z, +) Gl3 (R) C S3

(R, +)
=, id 7, (#R > #Z)
R
=, id
(Z, +) ,, (n 7 n)
=, id
Gl3 (R)
=, id
C
=, id
S3
=, id

Un isomorfismo : G
G se llama automorfismo de G.

Muestre que el conjunto de automorfismos de un grupo G, anotado Aut(G), es un subgrupo de SG :

Sea G un grupo y g G. Se llama conyugaci

on por g la funcion

cg : G G
x 7 gxg 1

Pruebe que para un grupo G y cualquier g G la conyugacion cg : G G es un automorfismo:

Pruebe adem on c : G Aut(G) definido por g 7 cg es un homomorfismo:

as que la funci

10
1.19 Definici
on. Con la notacion del ejercicio anterior, el subgrupo

Z(G) := ker(c)

de G se llama el centro de G. El subgrupo

Inn(G) := im(G)

de Aut(G) se llama el subgrupo de automorfismos internos de G.

Pruebe que G = Z(G) G es Abeliano:

ncio isomorfismo Aut(Z)
Pruebe que hay un u ({1, 1}, ):

n
on Q Aut(Q, +) definida por q 7
Pruebe que la funci QQ
x7qx es un isomorfismo:

n
on R Aut(R, +) definida por r 7
** Es la funci RR
x7rx tambien un isomorfismo ?

1.20 Teorema (Cayley 1854). Sea G un grupo y X un conjunto con #X ord(G). En-
tonces G es isomorfo a un subgrupo de SX .

Proof. #X ord(G) significa que hay una funcion inyectiva f : G X. Consideramos la

funcion SG SX , 7 f , donde

f ((f 1 (x))), si x im(f )


f (x) := .
x, si x
/ im(f )

Es un monomorfismo de grupos [ejercicio: ()f = f f ]. Por lo tanto, basta mostrar que

hay un monomorfismo G , SG . Se puede verificar que g 7 `g define un tal monomorfismo
[ejercicio: `gh = `g `h ], donde `g es la translacion por g de la izquierda G G, x 7 gx, lo
que es una permutacion de G [ejercicio].

11
1.4 Cocientes de grupos y subgrupos normales
on. Sea H G. Un subconjunto X G se llama clase lateral izquierda
1.21 Definici
de H si X = gH := {gh | h H} para un g G. Similarmente, se llama clase lateral
derecha de H si X = Hg := {hg | H} para un g G. Se denota

G := {X G | X es una clase lateral izquierda de H},

H
y similarmente
G
H := {X G | X es una clase lateral derecha de H},
La funcion sobreyectiva

: G GH
g 7 gH

se llama proyecci
on canonica. Igualmente para : G HG, definida por g 7 Hg.

Pruebe que
G G
H H
X 7 X 1 := {x1 | x X}

es una biyecci
on:

   
Llamaremos [G : H] := GH  = HG el index de H en G.
   

Pruebe que x ` y : xH = yH defina una relacion de equivalencia en G, con [x]` = xH:

x r y : Hx = Hy igualmente defina una relacion de equivalencia en G con [x]r = Hx.

Se nota que GH = G` e igualmente HG = Gr .

1.22 Lema. Sea H G. Cada clase lateral (izquierda o derecha) de H tiene cardinalidad
ord(H). Ademas, G es la union disjunta de todos sus clases laterales izquierdas de H, y
tambien es la union disjunta de todos sus clases laterales derechas de H.

12
Proof. H = 1G H = H1G es al mismo tiempo una clase lateral izquierda y lateral derecha
de H . Para culaquier g G, la funcion H gH, h 7 gh es una biyeccion [ejercicio], e
igualmente la funcion H HG, h 7 hg. Por lo tanto todas las clases laterales tienen la
misma cardinalidad que H. El resto sigue del ejercicio anterior que mostro que las clases
laterales izquierdas de h son al mismo tiempo las clases de equivalencia de ` . Igualmente
para las clases laterales derechas.
1.23 Corolario (Teorema de Lagrange). El orden de un grupo finito G es divisible por los
ordenes de sus subgrupos. Mas precisamente, si H G, entonces
|G| = |H| [G : H].
En particular, el orden de cada elemento de G divide al orden de G.
Sea G un grupo finito y K H G. Entonces [G : K] = [G : H][H : K]:

1.24 Definici on. Un subgrupo H de G se dice normal si GH = HG (i.e. si cada clase
lateral izquierda de H es tambien una clase lateral derecha y vice versa.) Anotaremos H E G
para decir que H es un subgrupo normal de G.
Sea H G. Muestre que H E G g G : gH = Hg g G, h H : ghg 1 H:

on. Sea (G, ) un grupo y H E G. Entonces

1.25 Proposici
: GH GH GH
( X , Y ) 7 XY := {xy | x X, y Y }
es una operacion bien definida. Ademas (GH , ) es un grupo y la proyeccion canonica
: (G, ) (GH , ) es un homomorfismo de grupos.
Proof. Mostramos primero que es bien definido, i.e. que XY es de verdad una clase
lateral. Como X = xH y Y = yH para unos x, y G, tenemos que XY = xHyH =
xyHH = xyH. Eso no muestra solamente que XY es una clase lateral, pero al mismo
tiempo que x y = x y para cualquier x, y G, que la clase lateral H es un elemento
neutro de , y que cuando X = xH entonces X 1 = x1 H es el inverso. El u nico que
falta mostrar es la associatividad de , pero eso sigue directamente de la associatividad de
, porque (XY )Z = (xy)zH = x(yz)H = X(Y Z).
 
Cuando H E G, el grupo GH , se dice grupo cuotiente de G por H.

Sea (G, ) un grupo y H G un subgrupo que no es normal. Demuestre que no existe una
operacion ? : GH GH GH tal que x, y G : x y = x ? y:

13
Observe que los siguientes subgrupos de un grupo G son siempre normales [ejercicio]:
G E G,
{1G } E G,
Z(G) E G y cada subgrupo de Z(G),
cada subgrupo de G si G es Abelliano.

Sea : G1 G2 un homomorfismo y N2 E G2 . Muestre 1 (N2 ) E G1 (en particular ker() E G1 ):

Pruebe que si es un epimorfismo y N1 E G1 , entonces (N1 ) E G2 :

1.26 Teorema (Teorema del Homomorfismo). Sea : G1 G2 un homomorfismo y

H E G1 con H ker(). Entonces hay una unica funcion : G1H G2 tal que el
diagram

G1 / G2
7


G1
H
conmuta (i.e. = ), donde : G1 G1H es la proyeccion canonica. Aemas, es
un homomorfismo con ker() = ker().
Proof. Para que el diagrama conmuta, hay una sola manera de como se puede definir la
funcion . Tenemos que definir (xH) := (x). Esa definicion es independiente del repre-
sentant x de la clase lateral, porque si xH = yH, entonces y 1 x H ker(), y por lo
tanto (y)1 (x) = 1G2 , i.e. (y) = (x). Es claro que el diagrama conmuta y que no hay
otra funciona con esta propiedad.
Ademas es un homomorfismo porque (xHyH) = (xyH) = (x)(y) = (xH)(xH).
Finalmente, sigue de = que ker() ker(). Por otro lado, si xH ker(), entonces
(xH) = 1G2 = (x), y por o tanto, x ker(), y por eso xH = x ker().
1.27 Corolario. Se : G1 G2 un homomorfismo de grupos, entonces G1ker()
= im().

Sea G un grupo ciclico (i.e. G = hgi para un g G) de orden n. Pruebe que G

= ZnZ.

14
1.5 Teoremas del isomorfismo
El Corolario 1.27 se dice tambien primer teorema del isomorfismo. Vamos a deducir dos
teoremas mas de isomorfismos. Se puede entender como leys de cancelacion.

1.28 Teorema (segundo teorema del isomorfismo). Sea G un grupo y K E G. Sea H E G

con K H. Entonces HK E GK y
 
G
K H  = GH .
K

Proof. La funcion : GK GH definida por gK 7 gH es bien definida porque g1 g K

implica que g1 g H, y por lo tanto gK = gK implica gH = gH. La funcion es obviamente
un epimorfismo. Tenemos que (gK) = 1G/H (= H) si y solamente si g H. Por lo tanto
ker() = HK . El asunto del teorem sigue por el primer teorema del isomorfismo.

Sea K E G. Utlizando el primer teorema de isomorfismo, pruebe que H 7 HK defina una
biyeccion del conjunto de subgrupos (normales) de G que contienen K y el conjunto de subgrupos
(normales) de GK :

on. Sea H G. El normalisador de H en G es definido por

1.29 Definici

NG (H) := {g G | cg (H) = H}.

Pruebe que H E NG (H) G:

Pruebe que si N NG (H), entonces HN := {hn | h H, n N } es un subgrupo de NG (H):

1.30 Teorema (tercer teorema del isomorfismo). Sean H, N G con H NG (N ). En-

tonces N E HN , H N E H, y

(HN )/N
= H/(H N ).

Proof. Es claro que N E HN , porque HN NG (N ). Sea : H HN/N definida por

(h) = hN . Verificamos que es un homo sobreyectivo y que ker() = H N . Sea
xN HN/N cualquier clase lateral izquierda con x = hn para un h H y n N . Entonces
xN = hN = (h), lo que demuestra la sobreyectividad. Ademas, es claramente un
homomorfismo porque (h1 h2 ) = h1 h2 N = (h1 N )(h2 N ) = (h1 )(h2 ).
Sea h ker() (h) = hN = N h N . Por lo tanto ker() = H N . El resto
sigue por el primer teorema del isomorfismo.

15
Unos ejercicios sobre grupos de cuotientes y los teoremas del isomorfismo.

Sea : G H un homomorfismo. Pruebe que ord((g)) divide a ord(g) para cada g G:

Sea G un grupo ciclico de orden n y sea m N un divisor de n. Pruebe que G hay un unico
subgrupo de orden m, y que cada supgrupo de G es ciclico:

Sea H G un subgrupo de index 2. Pruebe que H E G:

Sea (i1 . . . ik ) Sn un ciclo. Pruebe que Sn : (i1 . . . ik ) 1 = ((i1 ) . . . (ik )):

Sea H = {id, (1 2) (3 4), (1 3) (2 4), (1 4) (2 3)} S4 . Pruebe que h(1 2) (3 4)i E H E S4 , pero
que h(1 2) (3 4)i no es normal en S4 : a

Encuentre dos subgrupos H, K S3 tal que HK

6 S3 :

2
Sea n N y H = h(n, n)i (Z2 , +). Pruebe que Z H
= Z ZnZ:

a
lo que demuestra que ser normal no es una propiedad transitiva para cadenas de subgrupos

16
1.6 Acciones de grupos
Sea (G, ) un grupo y X un conjunto.

1.31 Definici
on. Una acci
on de G en X por izquierda es una funcion

G X X
(g, x) 7 g.x

que satisface:

(i) x X, g, h G : (g h).x = g.(h.x),

(ii) x X : 1G .x = x.

Si en lugar de (i) tenemos (i0 ) : x X, g, h G : (g h).x = h.(g.x), se dice acci

on por
derecha, y tambien podriamos escribir X G X en lugar de G X X tal que (i0 ) se
escribe mas natural como x.(g h) = (x.g).h.

Para simplificar las notas en este subcapitulo, vamos a formular los resultados siempre para
acciones por izquierda, pero todos resultados valen (con adapcion obvia) igualmente para
acciones por derecha.

Verifique los siguientes ejemplos:

1.32 Ejemplo. Sn actua fielmente por izquierda en {1, . . . , n} por .x := (x).

Para cualquier grupo (G, ), la operacion : G G G puede ser considerado como

una accion de la primera copia de G por izquierda en la segunda copia de G, o como
una de la segunda copia de G por derecha en la primera copia de G.

Para cualquier grupo G, la conjugacion g.x := gxg 1 defina una accion por izquierda
en su mismo. El conjunto de puntos fijos es Z(G).

Para H G, la accion canonica de G en GH por izquierda es definida por g.X := gX.

Un homomorfismo : G H induce la accion g.h := (g)h de G en H por izquierda.

1.33 Definici
on. Sea G un grupo y sean X y Y dos conjuntos con accion de G por izquierda.
Una funcion
: X1 X2
se llama G-equivariante si g G, x X : (g.x) = g.(x). (y se defina de manera
parecida si los dos acciones son por derecha).

Para un conjunto X con G-accion por izquierda, llamamos O X una

orbita bajo G si

O = G.x := {g.x | g G}

para un x O. Obviamente, la accion de G en X se restringa a un accion en cualquier

orbita bajo G.

17
Pruebe que O = G.x para cualquier x G, y que dos orbitas distinctos son disjuntos:

La accion de G en X se dice transitiva si X es una orbita bajo G, i.e. si x X : G.x = X.

Para x X, el estabilizador de x en G es definido por

Gx := {g G | g.x = x}.

Pruebe que Gx G:

Se considera la colleccion de clases izquierdas GGx como conjunto con G-accion por izquierda.
(Todos las definicions anteriores pueden ser adaptadas para acciones por derecha.)

1.34 Proposici on. Sea X un conjunto con accion de un grupo G por izquierda, O X una
orbita bajo G. Entonces, para x O tenemos que

x : GGx O
gGx 7 g.x

es una biyeccion G-equivariante (con respecto a las G-acciones canonicas de GGx y O).

Proof. Sea g, h G. Tenemos que gGx = hGx h1 g Gx x = (h1 g).x h.x = g.x.
Estas ecuivalencias muestran no solamente que x es bien definida, pero tambien que es
inyectiva. La sobreyectividad de x sigue del ejercicio anterior. Ademas, x es G-equivariante
como x (g1 .(g2 Gx )) = x (g1 g2 Gx ) = (g1 g2 ).x = g1 .(g2 .x) = g1 .x (g2 Gx )

1.35 Teorema (Ecuacion de orbitas). Sea X un conjunto finito con accion de un grupo
finito G. Entonces |O| divide a ord(G), donde O es cualquier orbita, y
X
|X| = |O|
OX

orbita

Proof. El primer asunto sigue de Proposicion 1.34 que muestra |G| = |O| |Gx | para x O.
El segundo asunto sigue de un ejercicio anterior que las orbitas son dos a dos disjuntos.
Como primer aplicacion de la ecuacion de orbitas, obtenemos el siguiente que se puede
comprender como un reciproco parcial del teorema de Lagrange (lo que dice que el orden de
cada elemento de un grupo es un divisor del grupo):

1.36 Teorema (Cauchy, 1845). Sea G un grupo finito y p un primo que divide ord(G),
entonces g G con ord(g) = p.

18
Proof. Sea X := {(x1 , . . . , xp ) Gp | x1 xp = 1G }. Como tenemos total libertad en elegir
los primeros p 1 componentes de un p-tuple en X y el u ltimo es determinado por esta
p1
eleccion, tenemos que |X| = |G| .
Ahora notamos que si (x1 , . . . , xp ) X, entonces (x2 , . . . , xp , x1 ) X, porque x2 xp x1 =
x1 1
1 (x1 x2 xp )x1 = x1 1G x1 = 1G . Luego, X admite una acci on1 del subgrupo ciclico
H := h(1 2 . . . p)i Sp de orden p, definida por .(x1 , . . . , xp ) := (x(1) , . . . , x(p) ) para
H. Como ord(H) = p, las obritas bajo esta accion tienen cardinalidad 1 o p, y que, un
punto de X es fijo por H si y solo si es de la forma (a, . . . , a) con ap = 1G .
Es claro que hay al menos un tal punto con a = 1G . Si podemos mostrar que hay otro punto
fijo con a 6= 1G , entonces a es un elemento de orden p.
Por Teorema 1.35 tenemos que cada la cardinalidad de cada orbita divide a p (i.e. su
cardinalidad o es 1 o es p), y que
X
|X| = ord(G)p1 = |O|.
orbitas

El lado izquierdo es divisible por p. Por eso, no puede existir solamente un orbita O con
|O| = 1 (y los otros iguales a p). Como orbitas de cardinalidad uno corresponden a puntos
fijos, eso mustre que hay otro punto fijo en X que (1G , . . . , 1G ).

Sea G un grupo. Pruebe que x c y g G : x = gyg 1 define una relacion de equivalencia en

G, y que |[x]c | divide a ord(G) para cada x G:

as que y |[x]c | = 1 x
Pruebe adem / Z(G) y verifique la ecuaci
on de clases (de conjugaci
on)
X
|G| = |Z(G)| + |C|
C{[x]c |xG\Z(G)}

1.37 Teorema. Sea G un p-grupo finito. Entonces Z(G) 6= {1G }.

Proof. Eso es una consecuencia inmediata de la ecuacion de clases, visto que p divide a
#[x]c para cada x G \ Z(G), y p divide tambien a ord(G).
umero primo. Cada grupo de orden p2 es Abeliano.
1.38 Corolario. Sea p un n
Proof. Supongamos que existe un grupo G orden p2 que no es Abeliano, i.e. con G 6= Z(G).
Como Z(G) no es trivial por Teorema 1.37, tenemos que ord(Z(G)) = p, y por lo tanto
[G : Z(G)] = p. Como Z(G) E G, tenemos que GZ(G) es un grupo de orden p, y por lo
1
como H es Abeliano, no hay diferencias entre acciones por derecha o izquierda

19
tanto ciclico generado por cualquier elemento no neutro (porque son todos de orden p). Sea
x G \ Z(G). Se nota que cualquier g G es de la forma xr z para un 0 r p 1
y z Z(G), y es facil a verificar que cualquier dos elementos de esta forma conmutan
[ejercicio]. De eso sigue la contradiccion al suposicion que G no es Abeliano. Por lo tanto
no puede existir un grupo no Abeliano de orden p2 .

Sea ? : G X Xuna acci on por izquierda. Dada ? : G SX , donde g G es enviado a

? g : X X, x 7 g ? x. Pruebe que ? es bien definida y un homomorfismo de grupos:

Pruebe que un homomorfismo : G SX induce una accion ? : G X X, (g, x) 7 (g)(x)

por izquierda:

Pruebe que hay una correspondencia 1-a-1 entre homomorfismos G SX y G-acciones por
izquierda en X:

Sea G un grupo y X la coleccion de subgrupos de G. Pruebe que G X X, (g, H) 7 gHg 1 es

una accion por izquierda. A que corresponden puntos fijos de esta accion ?

20
1.7 Teoremas de Sylow
k
umero primo. Un grupo G se llama p-grupo si g G k N : g (p ) = 1G .
Sea p N un n

Sea G un grupo finito. Pruebe que G es un p-grupo ord(G) = pk para un k N0 :

De un ejemplo de un p-grupo infinito:

Para un conjunto X con accion de G, anotaremos

X G := {x X | G.x = {x}} ,

el subconjunto de los puntos fijos de X bajo la accion de G.

Recordamos que dado n N, cada m Z se escribe de manera u nica como m = ` n + r
con ` Z y r {0, 1, . . . , n 1}. El n
umero r se llama resto modulo n de m. Para
m1 , m2 Z anotaremos
m1 m2 mod n
si los restos modulo n de m1 y m2 coinciden, i.e. si (m1 m2 ) es divisible por n, i.e. si
m1 + nZ = m2 + nZ in ZnZ.

1.39 Lema. Sea p un primo y G un p-grupo finito acutando en un conjunto finito X.

Entonces
|X| |X G | mod p.
P
Proof. En efecto, sabemos que en general |X| = orbitas |O|, y que la cardinalidad de cada
orbita divide a |G|, que es pk para un k N0 . Luego, en un p-grupo la cardinalidad de una
orbita es o bien 1 (en el caso que la orbita corresponda a un punto fijo) o bien p` para un
1 ` k. Por la ecuacion de orbitas, el resto modulo p de |X| coincide con lo de |X G |.
El siguiente teorema es una generalizacion de Teorema 1.36 (de Cauchy).

1.40 Teorema (Sylow I). Sea G un grupo finito y p un numero primo. Sean m, k N0 con
p - m y ord(G) = p m. Entonces para cada 0 ` k existe H G con ord(H) = p` .
k

Proof. Para ` = 0 no hay nada que mostrar. Supongamos que k 1, y probemos recursi-
vamente. Para ` = 1, el Teorema 1.36 nos dice que G contiene un subgrupo H1 de orden p.
Ahora, tomemos 1 ` < k y supongamos que ya mostramos que existe H` un subgrupo de
orden p` . Consideramos la accion de izquierda de H` en GH` dado por la restriccion de la
accion canonica de G en GH` . Por el Lema 1.39 tenemos que
   H` 
G   G
 H`   H`  mod p.


21
Como ` < k, se tiene que el lado izquierdo es divisible por p, entonces el lado derecho es
divisible por p. Como hay al menos un punto fijo (la clase H` ) en G, concluimos entonces
que H` fija al menos p de sus clases laterales. Pero H` fija una clase lateral izquierda gH` si
y solamente si
hgH` = gH` h H` ,
lo que equivale a
g 1 hg H` h H` ,
o en otra palabras que g NG (H` ) (el normalizador de H` en G). Concluimos entonces que
 H `
G
H` = {gH` | g NG (H` )} = NG (H` )H` ,

por lo tanto el orden de NG (H` )H` es divisible por p y por lo tanto, nuevamente por el
Teorema 1.36 (de Cauchy), sabemos que existe un subgrupo de NG (H` )H` de orden p.
Como hemos mostrado anteriormente en un ejercicio, un tal subgrupo es de la forma HH`
para un subgrupo H NG (H` ) con H` H (toma el preimagen del subgrupo en GH` bajo
la proyeccion canonica G 7 GH` ). Por lo tanto

ord(H) = ord(H` ) ord(HH` ) = p` p = p`+1 .

Podemos continuar de esta manera por recursion hasta que ` + 1 = k.

1.41 Definicion. Sea G un grupo finito y p un primo. Sean m, k N0 con p - m y

ord(G) = pk m. Un subgrupo H G con ord(H) = pk se llama p-subgrupo de Sylow.

El primer teorema de Sylow (Teorema 1.40) demostro que cada grupo tiene un p-subgrupo
de Sylow (para cualquier primo p). El segundo teorema de Sylow demustra que todos los
p-subgrupos de Sylow de un grupo son conjugados.

1.42 Teorema (Sylow II). Sea G un grupo finito y p un primo. Sean H1 y H2 dos p-
subgrupos de Sylow de G. Entonces existe un g G tal que

gH1 g 1 = H2 .

Proof. Considere la accion de H1 en GH2 dado por la restriccion de la accion canonica por
izquierda de G. Por el Lema 1.39 tenemos que
   H1 
G   G
 H2   H2  (mod p).


Puesto que el lado izquierdo no es divisible por p, concluimos que existe algun punto fijo
gH2 GH2 para la accion de H1 . Esto dice que h1 gH2 = gH2 para todo h1 H1 , de donde
se sigue que g 1 h1 g H2 para todo h1 H1 . Concluimos entonces que g 1 H1 g H2 . La
igualdad sigue del hecho que el automorfismo interno de G, dado por la conjugacion por g,
es inyectivo, y de la finitud de H1 y H2 (que son de la misma cardinalidad).

22
Pruebe que cada p-subgrupo de un grupo finito es contenido en un p-subgrupo de Sylow:

Pruebe que cada p-subgrupo de un grupo infinito tambien esta contenido en un p-subgrupo maximo:

1.43 Teorema (Sylow III). Sea G un grupo finito y p un primo. Sean m, k N0 con p - m
y ord(G) = pk m. Denote np el n
umero de p-subgrupos de Sylow de G. Entonces
(i) np divide a m,

(ii) np 1 mod p.
Proof. Sea X el conjunto de los p-subgrupos de Sylow de G. Por el segundo teorema de
Sylow (Teorema 1.42), G act ua transitivamente por conjugacion en el conjunto X. Para
H X, el estabilizador de H en G bajo la accion es GH = NG (H). Por la Proposicion 1.34,
hay una biyeccion entre GN (H) y X. En particular, np = [G : NG (H)], y por lo tanto
G

m = [G : H] = [G : NG (H)] [NG (H) : H] = np [NG (H) : H],

lo que demuestra la parte (i) del teorema.

Para mostrar la parte (ii) del teorema, considere la accion por conjugacion de H en el
conjunto X. Por 1.39 tenemos que
 
np = |X| X H  mod p.

Afirmamos que X H = {H}: En efecto, si H X es fijo por H, tenemos que H NG (H).

Como H y H son tambien p-subgrupos de Sylow de NG (H), entonces por el segundo teorema
de Sylow (Teorema 1.42) tenemos que H y H son conjugados en NG (H), pero como H E

NG (H) por la definicion del normalizador,
 seH sigue que H es fijo por conjugacion en NG (H),
Concluimos entonces que X  = 1, y es por esto que np 1 mod p.
luego H = H.

Pruebe que cada grupo de orden 21, 63 o 12 tiene un propio subgrupo normal (no trivial):

23
Sea p un primo. Ya sabemos que cada grupo de orden p es ciclico y cada grupo de orden
p2 es Abeliano. Como primera aplicacion de los teoremas de Sylow, vamos a ver que cada
grupo de orden pq es ciclico, donde q es otro primo con p < q y tal que p no divide a q 1.
Para eso necesitamos los siguientes ejercicios:

Sea G un grupo y sean g1 , g1 G con g1 g2 = g2 g1 y tal que ord(g1 ) no tiene divisor com
un con
ord(g2 ). Pruebe que ord(g1 g2 ) = ord(g1 ) ord(g2 ):

Sean H1 , H2 G tal que H1 H2 = {1G }. Entonces |H1 H2 | = ord(H1 ) ord(H2 ):

1.44 Teorema. Sean p < q primos con p 6 | (q 1).Entonces cada grupo de orden pq es
ciclico.

Proof. Sea G un grupo de orden pq. Por el Teorema 1.40 (Sylow I) existen Hp un p-subgrupo
de Sylow y Hq un q-subgrupo de Sylow de G. Por el Teorema 1.43 (Sylow III) tenemos que
nq = 1, y por el Teorema 1.42 (Sylow II) se tiene que Hq E G.
Luego, como Hq Hp = {1G }, por el ejercicio anterior se tiene que |Hq Hp | = pq = ord(G),
y por lo tanto G = Hq Hp .
Como Hq E G, tenemos que Hp actua por conjugacion en Hq ,y por la ecuacion de orbitas,
tenemos que la cardinalidad de cada orbitaP divide a p = ord(Hp ), i.e. cada orbita o tiene
cardinalidad 1 o p, y ademas |Hq | = q = orbitas O.
Entonces existe al menos una orbita de cardinalidad 1, la clase de conjugacion de 1G , y como
p no divide a q 1, existe otra orbita mas de cardinalidad 1, i.e. existe g Hq \ {1G } con
hgh1 = g para cada h Hp . Elegimos cualquier h Hp \ {1G }, y obtenemos de hg = gh
y del ejercicio anterior que ord(hg) = ord(h) ord(g) = pq. Entonces hhgi = G, i.e. G es un
grupo ciclico.

24
1.8 Producto directo & grupos Abelianos finitos
Para dos grupos (G, ) y (H, ?), hay una operacion obvia en el producto cartesiano de los
conjuntos G y H:

: (G H) (G H) G H
[(g, h), (g 0 , h0 )] 7 (g g 0 , h ? h0 )

on, G H es un grupo:
Pruebe que dotado por esta operaci

Llamamos este grupo el producto directo de (G, ) y (H, ?), anotado por (G, ) (H, ?),
o mas economicamente por G H. Obviamente, se puede definir iterativamente igual un
producto directo de mas que dos grupos.

El fin de este subcapitulo es de mostrar que cada grupo Abeliano finito es un producto
directo de grupos ciclicos finitos, y de utilizar este resultado para obtener una lista
completa para cada n N de las posibles grupos Abelianos de orden n (salvo isomorfismo).
Pero antes necesitamos una observacion general mas sobre productos directos:

Sean G y H dos grupos. Es facil a verificar que G , G H, g 7 (g, 1H ) y H , G

H, h 7 (1G , h) son monomorfismos de grupos, que llamaremos inclusiones canonicas.
Identificamos G y H con sus imagenes en G H bajo estas inclusiones canonicas.

on, G y H son subgrupos normales de G H con G H = {1GH },

Pruebe que con esta identificaci
GH = G H y gh = hg para cada g G y h H:

Tambien vale el reciproco de este ejercicio:

1.45 Lema. Sea G un grupo y H1 , H2 G con H1 H2 = {1G }, h1 h2 = h2 h1 para cada

h1 H1 y h2 H2 , y H1 H2 = G. Entonces

: H1 H2 G
(h1 , h2 ) 7 h1 h2

es un isomorfismo de grupos.

Proof. Sean (h1 , h2 ), (h01 , h02 ) H1 H2 , entonces ((h1 , h2 ) (h01 , h02 )) = (h1 h01 , h2 h02 ) =
h1 h01 h2 h02 = h1 h2 h01 h02 = (h1 , h2 )(h01 , h02 ). Por lo tanto, es un homomorfismo de grupos.
Ademas, (h1 , h2 ) = {1G } si y solamente si h1 = h1 2 , y como H1 H2 = {1G }, eso es
equivalente a h1 = h2 = 1G . Por eso, ker() = {1H1 H2 }. La sobreyectividad es obvia.

25
1.46 Corolario. Sea G un grupo Abeliano finito y H1 , H2 G con H1 H2 = {1G } y
|H1 | |H2 | = |G|. Entonces G
= H1 H2 .

umeros primos que dividen a |G|, y sea Hi un pi -

Sea G un grupo, y p1 , . . . , pr distinctos n
subgrupo normal para cada 1 i r. Pruebea que Hr (H1 Hr1 ) = {1G } y que
|H1 Hr | = |H1 | |Hr |:

a
Pruebe lo en el caso que G es Abeliano, si no exige en general

1.47 Proposici on. Sea G un grupo Abeliano finito, sean p1 , . . . , pr todos los primos que
dividen a |G|. Entonces
G= H1 . . . Hr ,
unico) pi -subgrupo de Sylow de G para cada 1 i r.
donde Hi denota el (

Proof. Probamos por induccion sobre el n umero r de divisores primos de |G|. En caso que
r = 0 no hay nada a mostrar. Supongamos ahora que hay r + 1 primos que dividen a G.
Como la conjugacion act ua de manera trivial en un grupo Abeliano, es inmediamente de
Sylow I y Sylow II (Teorema 1.40 y Teorema 1.42) que existen u nicos pi -subgrupos de Sylow
0
Hi . El subgrupo G := H1 Hr = {h1 hr | hi Hi } de G tiene cardinalidad |H1 | |Hr |
por el ejercicio, y por le hipotess de induccion, tenemos que G0 = H1 . . . Hr . Ademas,
tenemos que G0 Hr+1 = {1G } y |G0 Hr+1 | = |G0 ||Hr+1 | = |G|. Por Corolario 1.46 sigue que
G0 Hr+1 = G. Como G0 = H1 . . . Hr por hipotess de la induccion, el aserto sigue por
el proximo ejercicio.
Sean G1 , G2 , H1 , H2 grupos, y sean : G1 H1 y : G2 H2 homomorfismos. Pruebe que

: G1 G2 H1 H2
(g1 , g2 ) 7 ((g1 ), (g2 ))

es un homomorfismo y que ker( ) = ker() ker() y im( ) = im() im():

1.48 Lema. Sea p un n umero primo. Sea r N, y sean i1 , . . . , ir ; j1 , . . . , jr N0 tal que

  i1   i2   ir   j1  j2  jr
Z Z 2 . . . Z r Z Z 2 . . . Z r
pZ pZ pZ = pZ pZ pZ .

Entonces i1 = j1 , . . . ,ir = jr .

26
Proof. Denotamos G1 el grupo al lado izquierdo y G2 el grupo al lado derecho. Para i = 1, 2,
consideramos los homomorfismos

Gi Gi
g 7 g + . . . + g .
| {z }
p veces

Dado la definicion de estos homomorfismos, se ve que sus imagenes son isomorfas bajo
cualquier isomorfismo entre G1 y G2 , i.e.
  i1   ir   j1   jr
pZ . . . pZ r pZ . . . pZ r
pZ pZ = pZ pZ .

Como pZpk Z = Zpk1 Z para k > 1 y pZpZ = ZZ = ({0}, +), podemos concluir por
i1
Qr `i`
inducci
Qr on sobre r que i2 = j2 , . . . ,i r = jr , y finalmente, como p `=2 p = |G1 | = |G2 | =
j1 `j`
p `=2 p , obtenemos tambien que i1 = j1 .

1.49 Proposicion. Sea p un numero primo y G un p-grupo Abeliano finito. Entonces hay
u umeros enteros 0 r y 1 `1 . . . `r , tal que
nicos n

G
= Zp`1 Z . . . Zp`r Z

Proof. Vamos a demostrar el aserto por induccion sobre |G|. En caso que |G| = 1 tomamos
r = 0, y por lo tanto G es el producto vaco (que definimos como el grupo trivial). Sea
ahora |G| = pk > 1. Tome un g G tal que ord(g) =: ` es maximo. Como hgi = Zp` Z,
segun Corolario 1.46, basta a mostrar que existe un subgrupo H G con hgi H = {1G } y
|H| = pk` .
Sea entonces H G maximal con hgi H = {1G }. Tenemos que mostrar que |H||hgi| = |G|
o, lo que es equivalente, que G = Hhgi. Para que obtenemos una contradiccion, supongamos
que existe a G \ Hhgi, i.e. que el p-grupo GHhgi no es trivial. Por eso, tenemos que
r1
min{m N | am Hhgi} = ord(a) = pr para un 1 r `. Observe que b := ap
r
G \ Hhgi con bp = ap Hhgi. Por lo tanto, bp = hg n para un h H y 0 n < p` . Como
` `1 `1 `1
1G = bp = (bp )p = hp g np ,
`1 `1
obtenemos por H hgi = {1G } que hp = 1G y que g np = 1G . En particular p divide a
n, i.e. n = pm para un m Z. Como b / Hhgi, tenemos igualmente que c := bg m / Hhgi.
p n p p n
Por b = hg , obtenemos que c = b g = h H.
Definimos K := hciH. Como H ( K, y H fue maximal con H hgi = {1g }, tenemos
que cs h = g t para un 1 s < p, un 1 t < p` y un h H. Como c = bg m , obtenemos
1 hgiH, lo que implica que p divide a s, como G
bs = g t+m h Hhgi es un p-grupo no trivial.
Contradiccion a 1 s < p.
Como H < G es un p-grupo, podemos conseguir por induccion, y por lo tanto existen
1 `1 . . . `r con G
= Zp`1 Z . . . Zp`r Z. La unicidad de 1 `1 . . . `r sigue del
Lema 1.48.

27
 umeros primos, y para cada i r sea Hi y H
Sean p1 < . . . < pr n e i un pi -grupo. Sea

: H1 . . . Hr H
e1 . . . H
er

un homomorfismo. Identificando Hi y H e i con sus imagenes bajo los inclusiones canonicas en los
productos, pruebe que para cada 1 i r tenemos que (Hi ) H
ei:

(1) (m)
1.50 Teorema (de estructura de grupos Abelianos finitos). Sea n N y sea n = p`1 p`m
su factorisacion en numeros primos con p1 < . . . < pm . Para cada m-tuple (i = 1, ..., m)
(i) (i) Pri (i)
de successiones monotones finitas de enteros 1 `1 . . . `ri con j=1 `j = `(i) ,
anotaremos en una lista el grupo de orden n
     
Z `(1) . . . Z `(1) Z `(2) . . . Z `(2) . . . . . . Z (m) . . . Z (m) .
p11 Z p1r1 Z p21 Z p2r2 Z p`m1 Z p`mrm Z
Entonces cada dos grupos en la lista son no isomorfos y cada grupo Abeliano de orden n es
isomorfo a un de ellos.
Proof. Supongamos que habrian dos grupos en la lista que son isomorfos. Por el ejercicio
anterior sigue que ya para cada primo pi que los factores de pi -subgrupos de Sylow en los
productos tienen que ser isomorfos. Que ambios son de la misma forma
Z `(i) . . . Z `(i)
r
pi 1 Z p1 i Z
sigue de Lema 1.48.
Ahora sea G cualquier grupo Abeliano de orden n. Por Proposicion 1.47, G es isomorfo al
prdoucto directo de sus pi -subgrupos Hi de Sylow, para 1 i r, y Hi es isomorfo a un
grupo de la forma
Z `(i) . . . Z `(i)
r
pi 1 Z pi i Z
(i) (i) P i (i)
un Proposicion 1.49, y rj=i
(i)
con 1 `1 . . . `ri , seg `j = `(i) , porque |Hi | = p` .
Con este teorema de estructura de grupos Abelianos finitos, podemos decir para cualquier
orden n, que grupos Abelianos de orden n existen (modulo isomorfismo), i.e. tenemos una
clasificacion de las clases de isomorfismos de grupos Abelianos finitos.

Cuantos grupos Abelianos no isofomorficos de orden 100 hay?

Cuantos grupos Abelianos no isofomorficos de orden 200 hay?

Cuantos grupos no isomorfos de orden 4 hay?

**Cuantos grupos no isomorfos de orden 45 hay?

28
1.9 Productos semidirectos & algunos grupos no Abelianos
Para dos grupos (N, ) y (H, ?) hemos visto en el subcapitulo anterior la definicion del pro-
ducto directo (N, )(H, ?) como el producto Cartesiano N H con la operacion independi-
ente en cada componente. Pero esta no es la u
nica forma de definir una operacion en el pro-
ducto Cartesiano N H. Dado cualquier homomorfismo : (H, ) Aut((N, ?)), h 7 h
podemos definir la operacion:

: (N H) (N H) N H
[(n, h), (n0 , h0 )] 7 (n h (n0 ), h ? h0 )

on en N H cumple con las axiomas de un grupo:

Pruebe que la operaci

Esta estructura de grupo en el producto cartesiano de N y H se llama producto semi-

directo via , y lo anotaremos por
(N, ) o (H, ?),
o simplemente N o H.
Pruebe que las inclusiones canonicas 1 : N , N o H, n 7 (n, 1H ) y 2 : H , N o H, h 7 (1G , h)
son monomorfismos de grupos:

1.51 Observacion. Cuando : H Aut(N ) es el homomorfismo trivial h 7 idN , entonces

N o H es el producto directo N H.
Pruebe que si no es trivial o si un de los N, H no es Abeliano, entonces N o H no es Abeliano:

 deorden 2n). Sea n 3 un entero, y considere el

1.52 Ejemplo (Los grupos dihedrales

homomorfismo inv : 2Z Aut ZnZ , ` 7 inv` , donde inv` : ZnZ ZnZ es el
Z
automorfimso definido por m + nZ 7 (1)` m + nZ. Se puede mostrar [ejercicio] que inv
es un homomorfismo no trivial bien definido. Definimos el grupo dihedral de orden 2n
como
Dn := ZnZ oinv Z2Z.

29
1.53 Ejemplo. Cada homomorfismo de grupos de ZnZ es determinado por el imagen de
1 + nZ. Por otro lado, si relacionamos 1 + nZ a cualquier otro generador de ZnZ, eso define
un automorfismo de ZnZ. Consideremos n = 3, en este caso cada elemento de Z3Z salvo
el elemento neutro es un generador, y por lo tanto Aut(Z3Z) = Z2Z.

Entoces, hay un u nico homomorfismo no trivial : Z2Z Aut(Z3Z), y como el u nico
automorfismo de Z2Z es la identidad, hay un solo producto semidirecto Z3Z o Z2Z = D3
no Abeliano y el producto directo Z3Z Z2Z.

Sean H y N grupos y : H Aut(N ) un homomorfismo. Identificamos H y N con sus

imagenes en N o H bajo las inclusiones canonicas

H N o H, h 7 (1N , h) y N 7 N o H, n 7 (n, 1H ).

on, pruebe que N E N o H, que H N = {(1Hn N )} y que N H = N o H:

Con esta identificaci

Ademas, para h H N o H y n N E N o H, tenemos que que

h (n) = (h (n), 1H ) = (1n , h) (n, 1H ) (1N , h1 ) = h n h1 ,

es decir que h corresponde a la restriccion del automorfismo interior dado por h (i.e. h =
ch |N ) bajos la identificacion de H y N con sus imagenes en N o H. El siguiente teorema
es el reciproco de esta observacion.
1.54 Teorema. Sea G un grupo, H, N G con H NG (N ) y H N = {1G }. Encontes

NH
= N oc H,
donde c : H Aut(N ), h 7 ch |N , con ch el automorfismo de conjugacion por h.
Proof. Ya fue mostrado en la prueba de Teorema 1.30 que N E N H = HN G. Como
H N = {1G } tenemos que nh = n0 h0 n = n0 & h = h0 para n, n0 N y h, h0 H
[ejercicio]. Por lo tanto, la funcion

N H N oc N
nh 7 (n, h)

es una biyeccion bien definida. Mostramos que es un homomorfismo de grupos. Como

nhn0 h0 = nhn0 h1 hh0 = nch (n0 )hh0 , tenemos que

(nh)(n0 h0 ) 7 (nch (n0 ), hh0 ) = (n, h) c (n0 , h0 ).

30
 e
Sean f : H H y g : N N e isomorfismos de grupos. Sea : H Aut(N ), h 7 h
un homomorfismo. Pruebe F()h := g f (h)
g
H
1 para h e define un homomorphismo
F() : H
e Aut(N
e ) y que
 
F : Hom (H, Aut(N )) Hom H,
e Aut(N
e)

7 F()

es una biyecci
on.

Dado un homomorfismo : H Aut(N ), pruebe que (n, h) 7 (g(n), f (h)) define un isomorfismo

N o H
Ne oF () H.
e

Pruebe que cada grupo no Abeliano de orden 6 es isomorfo a Z3Z o Z2Z :

(En particular Z3Z o Z2Z

= S3 )

1.55 Corolario (del ejercicio anterior). Sean N, H grupos, sea f Aut(H) y g Aut(N ).
Para cg Int (Aut(N )), tenemos para cualquier homomorfismo : H Aut(N ) que

N o H = N ocg f H.

1.56 Observaci on. Sea Pn un polgono regular en el plano, y denota Isom(Pn ) el grupo
de las isometras del plano (biyecciones del plano que preserven distancias entre los puntos)
que actuan en un polgono regular de n esquinas. Vamos a ver que Isom(Pn ) = Dn :
Como primera observacion, se ve que una isometra que actua como identidad en el polgono
regular, entonces la isometra tiene que ser la identidad, porque cada punto del plano esta
definido por su distancia a tres puntos diferentes del polgono. Se ve que hay exactamente

dos tpos de isometrias que actuan en el polgono: Por uno, hay rotaciones por k360
n
grados
arondedor del centro de gravidad, para cada 1 k n. Claro que este conjunto de rotaciones
Rot(Pn ) es un sub-grupo cclico de orden n de Isom(Pn ).

31
 El otro tipo de isometrias en Isom(Pn ) son reflecciones
por ejes que pasan por el centro de gravidad del poligono
y por una esquina o por el medio de dos esquinas veci-
nas. En total hay n reflecciones: En caso que n es
impar, cada esquina del polgono corresponde exacta-
mente a una refleccion - la para que la eje pasa.

En caso que n es par, hay n2 ejes que pasan por esquinas

del polgono, pero tambien hay n2 ejes que pasan por la
midad de dos esquinas. En todo caso Isom(Pn ) consiste
de n reflecciones y n rotaciones.
Como [Isom(Pn ) : Rot(Pn )] = 2, tenemos que
Rot(Pn ) E Isom(Pn ). Sea Isom(Pn ) cualquier re-
fleccion. Por Teorema 1.54, tenemos que Isom(Pn ) =
Rot(Pn ) oc h i.

Sea Rot(Pn ) cualquier rotacion, se ve que 1 = 1 . Eso demuestro que,

bajo la identificacion de h i con Z2Z y una de Rot(Pn ) con ZnZ, la conjugaci
 on c :
Z Z
h i Aut(Rot(Pn )) se comporta como el homomorfismo inv : 2Z Aut nZ . Por
Teorema 1.54 y el ultimo bloque de ejercicios, tenemos que

Isom(Pn )
= Rot(Pn ) oc h i
= ZnZ oinv Z2Z = Dn .

En Teorema 1.44, hemos mostrado que cada grupo de orden pq es cclico si p < q son primos
tal que p no divide a q 1. Ahora vamos a estudiar que se pasa cuando p divide a q 1,
generalizando el resultado para grupos de orden 6.
 
1.57 Observaci on. Si q es primo, entonces el grupo Aut ZqZ tiene orden q 1, como
hay q 1 generadores de ZqZ. Vamos a ver en el pr oximo capitulo sobre anillos,
 
que Aut ZqZ es cclico.

1.58 Lema. Sean p < q primos. Entonces

 
homomorfismo : ZpZ Aut ZqZ no trivial p divide a q 1.
 
e : ZpZ Aut ZqZ son dos homomorfismos no triviales, entonces
Ademas, si ,

Z o Z Z Z
qZ pZ = qZ oe pZ.
 
Proof. Los homomorfismos no triviales : ZpZ Aut ZqZ corresponden a elementos
    
Z Z
de orden p en Aut qZ . Como Aut qZ  = q1, un tal elemento existe si y solamente
 

32
  
si p divide a q 1. Ademas, como Aut ZqZ es ciclico seg
un Observacion 1.57, contiene un
 
nico subgrupo H de orden p, y por eso, los homomorfismos no triviales ZpZ Aut ZqZ
u
son exactamente los isomorfismos ZpZ H.
Dado dos isomorfismos , e : ZpZ H, definimos el automorfismo f := 1
e de ZpZ,
e = f . El enunciado sigue por Corolario 1.55.
tenemos que
Dado primosp < q tal que p divide a q 1, fijamos cualquier homomorfismo no trivial
Z Aut Z Z Z
pZ qZ , y anotaremos qZ o pZ para el producto semi-directo con respecto
a este homomorfismo.
1.59 Teorema. Sea G un grupo de orden pq con p < q primos. Si G es Abeliano, entonces
G= ZqZ ZpZ. Si G no es Abeliano, entonces p divide a q 1 y G
= ZqZ o ZpZ.
Proof. El caso donde G es Abeliano es una consecuencia directa de Teorema 1.50. Si G no es
Abeliano, entonces tenemos necessariamente que p divide a q 1 por Teorema 1.44 . Por los
teoremas de Sylow existe N E G con |N | = q Como tambien existe H G de orden p (por
Teorema 1.36), y como obviamente N H = {1G } y G = N H, tenemos por Teorema 1.54
que G es un producto semi-directo de N = ZqZ y H = ZpZ no Abeliano. El enunciado
sigue por Lema 1.58.
1.60 Ejemplo. Sea G un grupo de orden 12. Si G es Abeliano, entonces G
= Z4Z Z3Z o
 2
G = Z2Z Z3Z. Si G no es Abeliano, entonces es isomorfo a exactamente unos de los
 2  2
siguientes tres grupos no Abelianos: Z2Z o Z3Z, Z3Z o Z4Z o Z3Z o Z2Z .

Proof. Como hemos visto en un ejercicio, se puede mostrar que G contiene o un subgrupo
normal N de orden 3 o un subgrupo normal N de orden 4 (o ambos subgrupos de Sylow
son normales). Si |N | = 3, entonces sea H cualquier 2-subgrupo de Sylow. Si |N | = 4,
sea H cualquier 3-subgrupo de Sylow. En ambos casos tenemos por Teorema 1.54, que
G = N oc H, i.e. que G es isomorfo a un producto semidirecto de un grupo de orden 3 (i.e.
Z ) y un grupo de orden 4 (i.e. Z o Z Z ).
3Z   4Z 2Z 2Z  
Como Aut Z4Z = Z2Z, cada homomorfismo Z3Z Aut Z4Z es trivial, y por lo
tanto no hay productos semi-directos no Abelianos de la forma Z4Z o Z3Z.
 2  
Z o Z : Se puede mostrar que Aut (Z )2 = S3 , lo que contiene un unico
2Z 3Z 2Z
 
Z Z 2
subgrupo de orden 3, y por lo tanto los 2 homomorfismos no triviales 3Z Aut ( 2Z)
son relacionados por un automorfismo de Z3Z. Por Corolario 1.55 hay un u nico (modulo
isomorfismo) producto semidirecto no Abeliano de esta forma.
Z o Z : Como Aut(Z ) Z Z Z
3Z 4Z 3Z = 2Z, hay un solo homomorfismo : 4Z Aut( 3Z)
no trivial, y por lo tanto hay un u
nico producto semi directo no Abeliano de esta forma.
 2  2
Z o Z Z Z Z
3Z 2Z : Hay 3 homomorfismos no triviales : 2Z Aut( 3Z) = 2Z
(enviar cualquier elemento de orden dos al generador y el resto al elemento neutro). Cada

33
  2
Z
dos de ellos son relacionados por un automorfismo de 2Z . Por Corolario 1.55 hay un
u
nico (modulo isomorfismo) producto semidirecto no Abeliano de esta forma.
Queda solamente de mostrar [ejercicio] que cada dos de los tres grupos no son isomorfos.
        
1 0 i 0 0 1 0 i
Pruebe que Q8 := , , , Gl2 (C). (Se llama
0 1 0 i 1 0 i 0
grupo de cuaterniones)

nico elemento de orden 2 y con g 4 = 1G para cada

* Sea G un grupo de orden 8 que tiene un u

g G. Pruebe que G = Q8 .

** Sea G un grupo de orden 8 con G 6 Q8 . Pruebe que hay N E G y g G \ N con |N | = 4 y

=
2 as que si N es ciclico, entonces G
g = 1G . Pruebe adem = D4

Pruebe que Aut(Z2Z Z2Z)

= S3 y que cada dos automorfismos de orden 2 son conjugados en
Z Z
Aut( 2Z 2Z).

 2
Denota Z2Z o Z2Z el producto semidirecto con respecto a un homomorfismo Z2Z
   2
Aut Z2Z Z2Z no trivial. Pruebe que D4
6 Z2Z o Z2Z
= 6 Q8
= 6 D4 .
=

 2
Pruebe que cada grupo no Abeliano de orden 8 es isomorfo o a Q8 , o a Z2Z o Z2Z, o a D4 .

Para cada n 15 Cuantos grupos no isomorfos de orden n hay?

34
2 Anillos
2.1 Definiciones y ejemplos
2.1 Definicion. Un anillo es un conjunto con dos operaciones (A, +, ) (llamados addicion
y multiplicacion), tal que
(i) (A, +) es un grupo Abeliano.

(ii) (A, ) es un conjuto con operacion associativa y con elemento neutro.

(iii) a, b, c A : a (b + c) = (a b) + (a c) & (b + c) a = (b a) + (c a). (distributividad).

En el siguiente utilizamos la convencion que la multiplicacion se afectua antes de la addicion,
si no hay parentesis que indican el contrario, es a decir que a b + c := (a b) + c &
a + b c := a + (b c) para cualquier a, b, c A.

El elemento neutro de la addicion + lo anotaremos por 0A , o simplemente 0.

El elemento neutro de la multiplicacion lo anotaremos por 1A , o simplemente 1.

El inverso con respecto a la addicion de un a A anotaremos por a, y el inverso de

ambos lados con respecto a la multiplicacion (si existe) anotaremos por a1 .

A := ({a A | a1 A}, ) es un grupo [ej]; llamado grupo multiplicativo de A.

Pruebe que 0A a = 0A = a 0A para cada a A y que a (b) = (a b) = (a) b para cada

a, b A:

Pruebe que 1A = 0A |A| = 1:

 
Sea n N. Pruebe que con (a + nZ) (b + nZ) := ab + nZ tenemos que ZnZ, +, es un anillo:

Sea X cualquier conjunto y sea P(X) el conjunto que consiste de todos los subconjuntos de X.
Para A, B P(X) define AB := (A \ B) (B \ A). Pruebe que (P(X), , ) es un anillo:

Un anillo (A, +, ) se llama conmutativo si ab = ba para cada a, b A.

Sea a, b A \ {0A } con ab = 0A . Se dice a un divisor de cero (de izquierda) y b

un divisor de cero (de derecha).

Un anillo (A, +, ) se llama cuerpo (conmutativo o no) si A = A\{0A } (i.e. si cada

elemento no zero tiene un inverso de ambos lados con respecto a la multiplicacion).

35
 Un anillo conmutativo sin divisores de zero se llama dominio de integridad.
Rellene la siguiente tabla
 
(A, +, ) (R, +, ) (Q, +, ) (Z, +, ) (M22 (C), +, ) Z , +, (P({1, 2}), , )
3Z
conmutativo? X X
div. de zero? 7 {1} {2} =
cuerpo? X

Vamos a decir mas economicamente cuerpo para un cuerpo conmutativo en el siguiente.

2.2 Teorema. Sea n > 1 un entero. Los siguientes son equivalentes:
(i) n es primo.
 
(ii) ZnZ, +, es un cuerpo.
 
(iii) ZnZ, +, es un dominio de integridad.

Proof. (i) (ii): Sea 0 6= x Z ZnZ, i.e. x = a + nZ para un a que no es divisible por
n. Consideramos el homomorfismo de grupos
Z Z
nZ nZ
b + nZ 7 ab + nZ.
El nucleo de este homomorfismo es trivial si n es primo, porque en este caso, si n no divide
a b, entonces n no divide a ab. Por lo tanto el homomorfismo es inyectivo, y por lo tanto
sobreyectivo. En particular hay b + nZ tal que (a + nZ)(b + nZ) = ab + nZ = 1 + nZ.
(ii) (iii): trivial.
(iii) (i): Si n no es primo, entonces n = ab para unos enteros a, b > 1. Por lo tanto
(a + nZ)(b + nZ) = ab + nZ = 0 + nZ.
 
2.3 Definici on. Para p un primo, anotaremos por Fp el cuerpo ZpZ, +, .
2.4 Ejemplo. (Los cuaterniones de Hamilton) Sea H el R-subespacio vectorial de
M22 (C) generado por
       
1 0 i 0 0 1 0 i
, , , y .
0 1 0 i 1 0 i 0
| {z } | {z } | {z } | {z }
=:1 =:i =:j =:k

Se ve que i2 = j2 = k2 = 1, y que ij = k y ji = k. Por lo tanto tenemos tambien que

ik = j y ki = j, y finalmente que jk = i y kj = i. De esto no sigue solamente que H es
cerrado bajo la multiplicacion (y un subanillo de M22 (C)), pero sigue tambien
(a1 + bi + cj + dk) (a1 bi cj dk) = (a2 + b2 + c2 + d2 )1
para cualquier a, b, c, d R. Eso demuestra que H un cuerpo no conmutativo.
2.5 Observaci on. Si (A, +A , A ) y (B, +B , B ) son anillos, entonces A B es un anillo con
los operaciones definidos en cada componente.

36
2.2 Homomorfismos, ideales y anillos cocientes
Sean (A, +, ) y (B, +, ) dos anillos. Una funcion : A B se llama homomorfismo de
anillos si
(i) a, a0 A : (a + a0 ) = (a) + (a0 ).

(ii) a, a0 A : (a a0 ) = (a) (a0 ).

(iii) (1A ) = 1B .
Observe que un homomorfismo de anillos : (A, +, ) (B, +, ) es en particular un homo-
morfismo de los grupos aditivos.
Si es ademas biyectivo, se dice isomorfismo de anillos (o automorfismo si A = B). Si
es inyectivo, se llama un encrustamiento de A en B.

Pruebe que si : A B es un isomorfismo de anillos, entonces 1 : B A lo es tambien:

Pruebe que si B no contiene divisores de cero entonces cada funccion no trivial : A B que
cumple con (i) y (ii) automaticamente cumple con (iii) :

Pruebe que si : A B es un homomorfismo de anillos, entonces (A ) B y |A : A B

es un homomorfismo de los grupos multiplicativos:

Pruebe que im() es un subanillo de B:

Escribimos (A, +, ) = (B, +, ) si existe un isomorfismo de anillos entre (A, +, ) y (B, +, ).

Como en el caso de grupos, eso define una relacion de equivalencia entre anillos.
Un subanillo de un anillo (A, +, ) se defina de misma manera que un subgrupo como un
subconjunto B no vaco, cerrado bajo las operaciones + y tal que la restriccion de estas
operaciones a B le da la estructura de un anillo (con necesariamente los mismos elementos
neutros [ejercicio]). Pero la nocion mas importante que lo de un subanillo va a ser lo de un
ideal:
on. Sea (A, +, ) un anillo. Un subconjunto I A se llama ideal izquierdo
2.6 Definici
(o derecho) si I es un subgrupo additivo de (A, +), y si ademas a I I (o I a I) para
cada a A. Un ideal izquierdo que es tambien un ideal derecho, se llama ideal bilatero.
Pruebe que en la definici
on uno podra remplazar la condicion que I es un subgrupo aditivo por la
condicion m
as debil que I es no vaco y cerrado bajo la adicion:

37
Para anillos conmutativos obviamente no hay diferencia entre ideales izquierdos y ideales
derechos, y decimos simplemente ideal en lugar de ideal bilatero en este caso.

2.7 Ejemplo. Cada anillo (A, +, ) contiene el ideal trivial bilatero {0A } y el ideal
bilatero A.

Los ideales de (Z, +, ) son exactamente los nZ para cualquier n N0 .

  
a 0
| a, b R es un ideal izquierdo de M22 (R), pero no un ideal derecho.
b 0

Sea : A B un homomorfismo de anillos. Pruebe que ker() = 1 ({0B }) es un A-ideal bilatero:

Pruebe adem as que para cualquier B-ideal izquierdo (o derecho) J, la preimagen 1 (J) es un
A-ideal izquierdo (o derecho):

El siguiente lema generaliza la manera de como hemos dado una estructura de anillo a ZnZ.

2.8 Lema. A un anillo y sea I un ideal bilatero de A. Entonces

: AI AI AI

(a1 + I , a2 + I) 7 a1 a2 + I
 
es una operacion bien definida y AI , +, es un anillo. Ademas, la proyeccion canonica
: A AI es un homomorfismo de anillos.

Proof. Para mostrar que la multiplicacion es bien definida, tenemos que mostrar que la
definicion no depende de representantes. Sea bi + I = ai + I para i = 1, 2, es decir que
ai bi I. Como a1 a2 b1 b2 = a1 a2 b1 a2 + b1 a2 b1 b2 = (a1 b1 )a2 + b1 (a2 b2 ) I,
tenemos que a1 a2 + I = b1 b2 + I. La asociatividad y distributividad son heredadas de A, y
1A + I es un elemento neutro de la multiplicacion.
Finalemente ab = ab+I = (a+I)(b+I) = ab y 1A = 1A +I = 1A muestra que la proyeccion
I
canonica no es solamente un homomorfismo de grupos, sino tambien un de anillos.
 
A , +, se llama anillo cociente de A por el ideal bilatero I.
I
2.9 Teorema (Teorema del Homomorfismo). Sea : A B un homomorfismo de anillos
y I un ideal bilatero de A con I ker(). Entonces

: AI B
a + I 7 (a)

es un homorfismo de anillos con ker() = ker()I .

38
Proof. Ya sabemos de Teorema 1.26 que es un homomorfismo de grupos (additivos) bien
definido con ker() = ker()I . Como (a b) = (ab) = (ab) = (a) (b) = (a) (b),
y como (1A ) = (1A ) = 1B , tenemos que es incluso un homomorfismo de anillos.
2.10 Corolario (Teorema del isomorfismo de anillos). Sea : A B un homomorfismo de
anillos. Entonces Aker()
= im() como anillos.
Aun que algunos (pero no todos) de las siguientes conceptos pueden ser generalizados a
anillos no conmutativos, vamos a suponer para el resto del sub capitulo que (A, +, )
siempre anota un anillo conmutativo.
T
2.11 Lema. Para cualquier coleccion de ideales I de (A, +, ), tenemos que II I es un
ideal de (A, +, ).
T
Proof. YaT sabemos de Lema 1.5 que II I es un subgrupo de (A, +). Ahora T sea a A y
sea x T II I. Entonces a x I para cada I I, y por lo tanto a x II I. Por lo
tanto II I es un ideal de (A, +, ).
on. El ideal generado por S A es
2.12 Definici
\
(S) := I.
ideales IA
con SI

En caso que S = {x1 , . . . , xr } es finito, tambien escribimos (x1 , . . . , xr ) en lugar de ({x1 , . . . , xr }).
2.13 Lema. Sea S A. Entonces
(S) = {a1 s1 + . . . + ar sr | r N, a1 , . . . , ar A, s1 , . . . , sr S}.
Proof. Como S I := {a1 s1 + . . . + ar sr | r N, a1 , . . . , ar A, s1 , . . . , sr S}, es
suficiente de mostrar que I es un ideal. Sea a A y a1 s1 + . . . + ar sr I, entonces
a(a1 s1 +. . .+ar sr ) = aa1 s1 +. . .+aar sr I. Ademas (a1 s1 +. . .+ar sr )+(a01 s1 +. . .+a0` s` ) =
a1 s1 + . . . + ar sr + a01 s01 + . . . + a0` s0` I.
Un ideal I A tal que I = (x) = Ax para un x A se dice un ideal prinipal.

Sean I, J A dos ideales. Pruebe que

I + J = {x + y | x I, y J}

es el ideal (I J).

Para ideales I, J A definimos el producto de ideales

I J := ({xy | x I, y J})

Pruebe que (x) (y) = (xy):

Pruebe que si I + J = A, entonces I J = I J:

39
2.14 Teorema (Teorema chino del resto). Sea (A, +, ) un anillo conmutativo y I1 , . . . , In
A ideales con Ii + Ij = A para cada 1 i 6= j n. Entonces el homomorfismo de anillos

: A AI1 . . . AIn
a 7 (a + I1 , . . . a + In )

es sobreyectivo con nucleo ker() = I1 In .

Proof. Obviamente, tenemos que ker() = I1 . . . In .
Primero vamos a mostrar por induccion sobre n que I1 . . . In = I1 In . Para n + 1,
tenemos que In+1 + I1 In = A, porque In+1 + Ij = A para cada 1 j n, i.e. para cada
1 j n existen xj In+1 y yj Ij tal que 1A = xj + yj . Por lo tanto tenemos que
Y
1A = (xj + yj )
1jn
Y X Y X Y X
= xi + yi xj + y i1 y i2 xj + . . . + (yi1 yin1 )xj6=i` + y1 yn .
| {z }
i{1,...,n} 1in j6=i 1i1 <i2 n j6=i1 ,i2 1i1 <...<in1 n I1 In
| {z }
In+1

Por el ejercicio anterior tenemos que In+1 I1 In = I1 In In+1 , y como por la hipotess
de la induccion tenemos que I1 In = I1 . . . In hemos mostrado el paso de la induccion.
Ahora vamos a mostrar que es sobreyectivo, es a decir que para x1 , . . . , xn A existe un
x A con x xi Ii para cada 1 i n. Tambien lo vamos a mostrar por induccion
sobre n. Empesamos con el primer caso no trivial n = 2: Como I1 + I2 = A, tenemos que
1 = y1 + y2 para unos yi Ii . Por lo tanto tenemos con x = y1 x2 + y2 x1 que

x x1 = y1 x2 + (y2 1) x1 I1
| {z }
I1

y similarmente que
x x2 = (y1 1) x2 + y2 x1 I2 .
| {z }
I2

Ahora consideramos la situacion n + 1: Sean x1 , . . . , xn , xn+1 A. Por hipotess de la

induccion ya sabemos que hay x tal que x xi Ii para 1 i n. Tambien sabemos por
la parte anterior que In+1 + I1 In = A. Por eso existe y1 I1 In y y2 In+1 tal que
1 = y1 + y2 . Con la misma construccion x := y1 xn+1 + y2 x que en la etape n = 2, obtenemos
que x xn+1 In+1 y x x I1 In . Pero como x xi Ii para 1 i n, obtenemos
tambi en que x xi = x x + x xi Ii para 1 i n.
on. Sea (A, +, ) un anillos conmutativo. Un ideal propio p ( A se dice ideal
2.15 Definici
primo si para cada a, b A tenemos que

ab p a p o b p.

Un ideal propio m ( A se dice ideal maximo si no hay otros ideales propios (salvo m) que
contienen m.

40
Pruebe que cada ideal maximo en un anillo conmutativo es primo:

Sea I A un ideal en un anillo conmutativo. Pruebe que I es primo / maximo si y solamente si

A es un DIP / un cuerpo:
I

2.16 Observaci on (Lemma de Zorn). El fundamente de toda las matematicas es la teora

de los conjuntos. En esta se utiliza algunas axiomas que no pueden ser mostrado, per que
se tiene asumir y esperar que son verdaderas. Un de este axiomas de llama Lema de Zorn
(o mas precisamente axioma de eleccion, una variacion equivalente). Este Lema de Zorn se
utiliza en todas las matematicas y dice el siguiente:
Sea X un conjunto con relaci on de orden (parcial) . Si para cada cadena C X (subconjunto tal
on del orden es total) existe un yC X tal que x yC para cada x C, entonces
que la restricci
existe al menos un elemento maximo en X.

2.17 Teorema. Sea A un anillo conmutativo y I ( A un ideal propio. Entonces existe un

ideal maximo m ( A tal que I m. En particular cada anillo conmutativo contiene un ideal
maximo.

Proof. Sea X el conjunto de ideales proipios de A que contienen I. Este conjunto tiene S un
orden parcial dado por . Sea C cualquier cadena en (X, ). Definimo J := I aC a.
Obviamente tenemos que a J para cada a C. Tenemos que mostrar que J X, i.e. que
J es un ideal propio de A.
Obviamente J 6= (incluso cuando C = , porque en este caso tenemos J = I). Si x, y J
y a A, entonces x a, y b para unos a, b C. Sin perdida de generlidad ser a b.
Entonces x y b J y ax b J, y por lo tanto, J es un ideal. Ademas, J es un ideal
propio, porque si 1 J, entonces 1 a para un a C, lo que contradice que a es un ideal
propio.
Entonces hemos mostrado que la hipotess del teorema de Zorn es satisfecha y podemos
concluir que X contiene un elemento maximo m, es a decir un ideal propio que es un ideal
maximo bajo todos los ideales propios que contienen I. El u nico que falta a mostrar es que
m es incluso un ideal maximo bajo todos los ideales propios. Pero eso es facil: Si existera un
ideal propio n con m ( n, entonces n
/ X por la maximalidad de m en X. Pero I m ( n
muestra que n X, lo que da la contradiccion.

41
2.3 Anillos de polinomios
Sea (B, +, ) un anillo y sea S B un subconjunto. Sea C la coleccion de todos los subanillos
de B que contienen S. llamamos
\
[S]B := C
CC

El subanillo de B generado por S.

Pruebe que [S]B es un subanillo de B:

2.18 Definici on. Sea A B un subanillo y S B, entonces escribimos A[S] para el

subanillo [A S]B generado por A y S. Si S = {x1 , . . . , xn } es un conjunto finito, entonces
escribimos A[x1 , . . . , xn ]

2.19 Lema. Sea B es un anillo conmutativo, A B un subanillo, y S B, entonces

( n )
X
A[S] = ai si,1 si,`i | n N, i {1, . . . , n} : `i N0 , ai A y j {1, . . . , `i } : si,j S
i=1

Proof. El lado derecho obviamente contiene A y S y ademas es un subconjunto de cualquier

subanillo de B que contiene A y S. Queda solamente a mostrar que tambien es un subanillo
de B. Se ve que 1A esta contenido en el lado derecho (con n = 1, a1 = 1A y `1 = 0). Se ve
tambien que el conjunto es cerrado bajo adicion y multiplicacion y bajo pasar a los inversos
aditivos (remplace los ai por ai ).

2.20 Corolario. Sea B un anillo conmutativo, A B un subanillo, y b B, entonces

Xn
A[b] = { ai bi | n N, ai A}.
i=0

2.21 Definicion. Sea (A, +, ) un anillo conmutativo. El anillo de series formales en A,

se define como el conjunto de sucesiones en A,

A[[X]] := {(an )nN0 | ai A i N0 }

con la addicion definida por componentes

(an )nN0 + (bn )nN0 := (an + bn )nN0

y la multiplicacion definida de la manera siguiente:

!
X
(an )nN0 (bn )nN0 := ak b ` .
k+`=n nN0

42
Pruebe que con estas operaci
ones, A[[X]] es un anillo:

Pruebe que A , A[[X]], a 7 (a, 0, 0, 0, . . .) es un encrustamiento (homomorfismo inyectivo):

2.22 Definici on. Sea A[[X]] el anillo de series formales sobre A. Identificamos A con su
imagen bajo el encrustamiento mencionado anteriormente. Denote X := (0, 1, 0, 0, . . .)
A[[X]]. El anillo de polinomios en una variable sobre A es el subanillo
( n )
X
A[X] = ai X i | n N0 , ai A
i=0

de A[[X]], generado por A y X.

Pn i
Pruebe que i=0 ai X = (a0 , a1 , a2 , . . . , an , 0, 0, . . .) en A[X] y por lo tanto

A[X] = {(ai )iN0 A[[X]] | N N tal que ai = 0 i > N } :

on. Un elemento f = ni=0 ai X i = (a0 , . . . , an , 0, 0, 0, . . .) A[X] llamaremos

P
2.23 Definici
un polinomio en la variable X con coeficientes a0 , . . . , an en A, y

max{i N | ai 6= 0} si f 6= 0
deg(f ) :=
si f = 0
llamaremos el grado de f , y adeg(f ) su coeficiente dominante. A vezes escribimos f (X)
en lugar de f . Se dice que f es m
onico si adeg(f ) = 1.

Pruebe que deg(f g) deg(f ) + deg(g) para cada f, g A[X]:

Pruebe que deg(f g) = deg(f ) + deg(g) para cada f, g A[X] si A es un dominio de integridad:

Pruebe que A[X] es un dominio de integridad si y solamente si A lo es:

43
2.24 Proposici on. Sea : A B un homomorfismo de anillos y sea b B tal que
(a)b = b(a) para cada a A. Entonces
b : A[X] B
Xn n
X
ai X i 7 (ai )bi
i=0 i=0

nico homomorfismo : A[X] B tal que |A = y (X) = b.

es el u
Proof. La unicidad de un tal homomorfismo es obvio. Tenemos que mostrar entonces que
b es un homomorfismo de anillos. Obvio que b (1) = 1 y que b (f + g) = b (f ) + b (g) for
all f, g A[X]. Mostraremos que b (f g) P= b (f ) b (g) por inducci Ponn sobre deg(g). Si
n i i
deg(g) = 0 entonces
Pg=a 0 A. SeaP f = i=0 ai X entonces f g = i=0 ai a 0 X , y por lo
tanto b (f g) = ni=0 b (ai a
0 )bi = ( ni=0 (ai )bi ) (a0 ) = b (f ) b (g).
Supongamos ahora que deg(g) = m + 1 y que y sabemos la multiplicatividad de b si el
polinomio de derecho es de grado m 1. Sea a m+1 el polinomo dominante de g. Entonces
m+1 0 0 m+1
g=a m+1 X + g donde g = g a m+1 X tiene grado m. Entonces
m+1 X m+1 + f g 0 ) = b (f a
b (f g) = b (f a m+1 X m+1 ) + b (f g 0 )
n
!
X
= am+1 )bm+1 + b (f )b (g 0 )
(ai )bi (
i=0
am+1 )bm+1 + b (g 0 )


= b (f ) (
= b (f ) b (g).

2.25 Observaci on. Un caso particular de la proposicion es cuando B es conmutativo, A B

un subanillo, y = idA . En este caso, b es un homomorfismo de anillos para cualquier
b B y llamado la evaluaci
on en b y anotado
evb : A[X] B.
Escribimos f (b) := evb (f ). Un b B con f (b) = 0 se dice un ras de f en B.
2.26 Definici
on. Definimos el anillo de polinomios en n variables sobre A recursiva-
mente por
A[X1 , . . . , Xn ] := A[X1 , . . . , Xn1 ][Xn ]
2.27 Observaci on. Sea B un anillo conmutativo y A B un subanillo. Para n
N uno puede definir recursivamente (utilizando Proposicion 2.24) que para cada eleccion
(b1 , . . . , bn ) B n existe un u
nico homomorfismo
ev(b1 ,...,bn ) : A[X1 , . . . , Xn ] B
tal que ev(b1 ,...,bn ) |A = idA y ev(b1 ,...,bn ) (Xi ) = bi para cada 1 i n. Este homomorfismo se
llama evaluaci on en (b1 , . . . , bn ). Se escribe f (b1 , . . . , bn ) := ev(b1 ,...,bn ) (f ). En particular,
para cada Sn existe un u nico isomomorfismo

A[X1 , . . . , Xn ]
A[X(1) , . . . , X(n) ]
que es la identidad en A y tal que Xi 7 Xi para cada 1 i n, lo que se utiliza para
identificar A[X1 , . . . , Xn ] con A[X(1) , . . . , X(n) ] para cualquier Sn .

44
2.4 Dominios de ideals principales y de factorizaci
on u
nica
Para todo el capitulo, supongamos que (A, +, ) siempre anota un dominio de integridad.
Para a, b A, se dice que b divide a a, anotado b | a, si c A : a = bc. Observe que c es
nico (A es un dominio de integridad), y cuando c A , se dice que a y b son asociados.
u
Pruebe que (a | b (b) (a)), y que (a y b son asociados a | b y b | a (a) = (b)):

/ A y si
Un elemento a A \ {0} se dice irreducible en A si a

b, c A : a = bc b A o c A .

Se llama primo si
b, c A : a | bc a | b o a | c.

Sea a A \ {0}. Pruebe que (a es primo a es irreducible):

Pruebe que para a A \ {0} que (a es primo el ideal (a) es primo):

2.28 Ejemplo. El n umero 3 es irreducible pero no primo en Z[ 5] C: Para ver la
irreducibilidad, supongamos que

3 = (a + b 5)(c + d 5)

con a, b, c, d Z. Podemos multiplicar la ecuacion con su conjugado complejo y obtenemos

la factorisacion
9 = (a2 + 5b2 ) (c2 + 5d2 ),
en Z. Ambos factores son positivos, y por lo tanto solamente puedenser 1, 3 o 9. Si
(a2 + 5b2 ) = 1, entonces a = 1 y b = 0, y por lo tanto (a + b 5) Z[ 5] . Se ve que
(a2 + 5b2 ) = 3 no es posible, y el caso (a2 + 5b
2
) = 9 es simetrico al caso (a2 + 5b2 ) =1.
Por otro
parte, el numero 3 no es primo en Z[ 5], porque a 9 = 3 3= (2 + 5)
divide
(2 5), pero no divide a un de los factores (2 + 5), (2 5) en Z[ 5], como ni
2, ni 1 son divisibles por 3 en Z.
2.29 Definicion. Un dominio de integridad (A, +, ) se llama un dominio de factorisaci
on

nica (DFU), si cada elemento irreducible es primo y si cada elemento en A \ A es un
u
producto finito de elementos primos.
2.30 Lema (Unicidad de la factorisacion). Sea A un DFU y sea n, m N y p1 , pn , p1 , . . . , pm
A primos con
p1 pn = p1 pm ,
entonces n = m y existe un Sn tal que pi es asociado a p(i) para cada 1 i n.

45
Proof. Vamos a mostrar por induccion sobre n que n = m y que cada pi es asociado a un
pji . Si n = 0, entonces obviamente m = 0, y hay nada a mostrar. Sea ahora n > 0. Existe
pj1 tal que p1 | pj1 . Sin perdida de generalidad j1 = 1. Como p1 es irreducible, tenemos que
p1 = p1 u1 con u1 A . Eso demuestra que p1 es associado a p1 . Remplazando u por u1 u,
y cancelando por p1 la ecuacion (lo que es posible en un dominio de integridad) obtenemos
por hipotess de la induccion que n 1 = m 1 y que el resto de los factores primos son dos
a dos asociadas.
2.31 Definici on. Sea A un dominio de integridad, y sean a1 , . . . , an A. Un elemento
x A se llama un m aximo com un divisor de {a1 , . . . , an }, si x es un divisor com un de
a1 , . . . , an , y si cualquier otro divisor com
un de a1 , . . . , an divide tamben a x (En particular
cada dos maximos com unes divisores son asociados).
Se llama mnimo com un multiplo de {a1 , . . . , an }, si x es un multiplo comun de a1 , . . . , an
y si divide a cualquier otro multiplo com un. (En particular, cada dos minimos comunes
multiplos son asociados).
En un DFU, cada subconjunto finito tiene un mcd y un mcm (basta mostrar para dos elementos):

2.32 Definicion. Si cada ideal de A es generado por un conjunto finito, entonces A se llama
Noetheriano. Si ademas A es un dominio de integridad y todos sus ideales son principales,
entonces A se llama dominio de ideales principales (DIP).
Pruebe que A es Noetheriano si y solamente si cualquier cadena contable de A-ideales I1 I2 . . .
es estacionaria (i.e. N tal que Ii = Ii+1 para cada i N ):

Sea A B es un homomorfismo sobreyectivo. Pruebe que (A Noetheriano B Noetheriano):

Pruebe que si adem

as A es un DIP y B un dominio de integridad, entonces B es un DIP tambien.

Sea A un DIP y sean x1 , . . . , xn A. Sea d A. Pruebe que (x1 , . . . , xn ) = (d) si y solamente si d

un divisor de {x1 , . . . , xn }:
es un maximo com

Sea A un DIP- Dado un conjunto finito x1 , . . . , xn A y d un maximo divisor com

un de
ellos, una identidad
d = a1 x 1 + . . . + an x n
se llama identidad de B
ezout.

46
2.33 Lema. Sea A un dominio Noetheriano. Si cada elemento irreducible de A es primo,
entonces A es un DFU.
Proof. Tenemos que mostrar que cada a A tiene una factorisacion finita en elementos
primos. Vamos a mostrar primero que cada elemento a A \ A tiene un divisor irreducible.
Supongamos que no. Entonces se puede definir recursivamente una succession de divisores
por a0 := a y
an+1 := cualquier divisor de an no asociado a an .
Porque hemos supuesto que a no tiene un divisor irreducible, esta succesion de divisores es
infinita y la cadena no estacionaria de ideales principales (a0 ) ( (a1 ) ( (a2 ) ( . . . lo es
tambien. Eso es una contradiccion a la hipotess que A es Noetheriano. Por lo tanto cada
elemento tiene que tener un diviso irreducible.
Ahora vamos a mostrar que cada elemento a A es un producto finito de elemento irre-
ducibles (primos) y una unidad. Si a A , hay nada a mostrar. Si no, escribimos a = p1 a1
con p1 A reducible, y repetimos eso recursivamente con an = pn+1 an+1 mientras an / A .
Como (a0 ) ( (a1 ) ( . . . ( (an ) ( (an+1 ) ( . . ., este proceso tiene que terminar (com A es
Noetherian) depues un n umero finito de etapas. Es a decir que a = p1 pr u para elementos
primos p1 , . . . , pr A y u A .
2.34 Proposici
on. Cada DIP es un DFU.
Proof. Sea A un DIP. Seg un el Lema 2.33, basta a mostrar que cada elemento irreducible
p A es primo. Sea a, b A con p | ab. Supongamos que p 6 | a y p 6 | b. Tenemos que
(p) ( (a, p) y (p) ( (b, p). Como A es un DIP, existen c, d A con (a, p) = (c) y (b, p) = (d).
El anterior significa que c | p y d | p y que ambos no son asociados con p. Tampoco son
unidades, porque (cd) = (c)(d) = (ab, ap, bp, p2 ) (p) ( A. Por lo tanto tenemos una
contradiccion con el hecho que p es irreducible, y por lo tanto tenemos que p | a o p | a, lo
que demuestra que p es un elemento primo.
2.35 Teorema (de base de Hilbert). A es Noetheriano si y solamente si A[X] lo es.
Proof. Por el ejercicio anterior, vemos que si A[X] Noetheriano, entonces A lo es tambien,
utilizando por ejemplo el homomorfismo sobreyectiovo ev0A : A[X] A. Supongamos
ahora que A es Noetheriano, pero que existe un ideal I ( A[X] que no es finitamente
generado. En particular definir recursivamente una succeson f1 , f2 , . . . en I tal que la cadena
de A[X]-ideales (f1 ) ( (f1 , f2 ) ( (f1 , f2 , f3 ) ( . . . I no estacionaria y tal que fn+1
tiene grado minimo bajo los polinomios en I que no son contenidos en (f1 , . . . , fn1 ). En
particular deg(fi+1 ) deg(fi ) para cada i N. Asociamos a esta cadena una de A-ideales
(a1 ) (a1 , a2 ) (a1 , a2 , a3 ) . . . donde ai es el coeficiente dominante de fi . Como A es
Noetheriano, esta cadena es estacionaria desde un N . En patricular aN +1 = b1 a1 + +
bN aN para algunos b1 , . . . , bN A. Por eso tenemos que el polinomio fN +1 = fN +1
b1 X deg(fN +1 )deg(f1 ) f1 . . . bN X deg(fN +1 )deg(fN ) fN tiene grado menor que fN +1 . Se ve que
fN +1
/ (f1 , . . . , fN ). Eso es una contradiccion a la minimalidad del grado de fN +1 .
2.36 Ejemplo. Sea K un cuerpo y n N0 . Entonces K[X1 , . . . , Xn ], el anillo de polinomios
en n variables sobre K es Noetheriano. Eso sigue de una simple iteracion del Teorema 2.35
y la observacion que cada cuerpo K es un DIP, con sus u
nicos ideales (0) y (1).

47
2.37 Definicion. Un dominio de integridad A se llama dominio Euclideo con respecto a
una funcion : A \ {0} N0 , si ella cumple con las siguientes condiciones
(ab) (a) para cada a, b A.

a, b A con b 6= 0 existen q, r A con r = 0 o (r) < (b), y tal que a = qb + r.

Pruebe que Z es un dominio Euclideo con respecto al valor absoluto | | : Z \ {0} N0 .

Sea K un cuerpo. Pruebe que K[X] es un dominio Euclideo con respecto a deg : K[X] \ {0} N0 .

2.38 Proposici
on. Cada dominio Euclideo es un DIP.
Proof. Sea A un dominio Euclideo con : A \ {0} N0 . Sea I A un ideal y x I un
elemento tal que (x) es minimo bajo los elementos de I. Vamos a mostrar que I = Ax.
Sea y I \ {0}. Entonces y = ax + r con r = 0 o (r) < (x). Como r = y ax I queda
solamente la posibilidad que r = 0, por la minimalidad de (x) en I.
2.39 Ejemplo. En particular Z y K[X] (para cualquier cuerpo K) son DIP.

Sea A un dominio Euclideo con respecto a : A \ {0} N0 . Para a1 , a2 A con (a2 ) (a1 ),
sean q, a3 A con a1 = qa2 + a3 y con (a3 ) < (a2 ) o r = 0. Pruebe que (a1 , a2 ) = (a2 , a3 ):

Calcule un mcd de 9081 y 3270 en Z junto con una identidad de Bezout:

Pruebe que X 5 X 4 + X 3 + 1 & X 5 + X 4 + X 2 2 C[X] no tienen raises com

unes en C:

2.40 Lema. Sea K un cuerpo, y f K[X]. a K : f (a) = 0 (X a) | f en K[X].

En particular f tiene a los mas deg(f ) raises en K.
Proof. [ejercicio]
2.41 Teorema. Sea K un cuerpo y G K un subgrupo finito del grupo multiplicativo.
Entonces G es cclico.
Proof. Como G es un grupo Abeliano finito, por el Teorema 1.50, basta a mostrar el enun-
ciado en el caso de p-grupos. Sea entonces |G| = pk para un primo p y un k N.
Sea n = p` el maximo orden de elementos de G, i.e. el mnimo n con (T n 1)(a) = 0 a G.
Por Corolario 1.23 (Lagrange), junto con Lema 2.40, obtenemos que p` = |G|.
 
2.42 Corolario. Fp = Z(p 1)Z, + para cada p N primo.

48
2.5 Aplicacion: La funci
on de Euler y el protoc
ol RSA
En estecapitulo vamos
 a aplicar por una serie de ejercicios el teorema chineso
 del resto
 a los
anillos ZnZ, +, para determinar el orden de su grupo multiplicatiov ZnZ, + , y para
valores particulares de n (por ejemplo un producto de dos primos), vamos a utilizar ademas
Corolario 2.42 para introducir un protocol asimetrico de clave publico (llamado RSA) que es
el base de la mayora de criptosistemas asimetricas publicas (muchas veces escondidas, como
para tarjetas de bancos).

Sea n N y n = pr11 prnn su factorizacion en primos. Por el teorema chineso del resto
(Teorema 2.14) hay un isomorfismo de anillos

Z Z Z
nZ = pr11 Z . . . prnn Z.

Sean A, B dos anillos. Pruebe que (A B) = A B :

Como isomorfismos de anillos se restringen a isomorfismos de los grupos multiplicativos,

tenemos que      
Z Z . . . Z
nZ =  r
p1 Z
1 pn Z .
rn

 
Pruebe que ZnZ = {a + nZ | mcd(a, n) = 1}:

  
Pruebe que  Zpr Z  = pr1 (p 1):
 

  
2.43 Definici on de Euler : N N como (n) :=  ZnZ .
on. Se define la funci
 

Qn
Por los ejercicios anteriores, tenemos que (n) = i=1 pri i 1 (pi 1) cuando n = pr11 prnn .

2.44 Observaci on. En practico, para calcular (n) para un n muy largo dado, uno tiene
que encontrar la factorisacion en primos de n, lo que toma mucho tiempo para incluso los
mejores computadores (como miles de a nos) cuando n es un producto de pocos (e.g. dos)
primos muy largos.
Por otro lado, encontrar primos muy largos de manera aleatorea, y multiplicarlos para
obtener un n, no toma mucho tiempo para computadores (como una minuta), y por lo
tanto si uno construye un n como un producto de dos primos largos, la persona que eleg los
primos puede calcular (n) rapidamente.

Sea n N sin factores cuadraticos (i.e. cada divisor primo tiene multiplicidad uno). Pruebe que si
r 1 mod (n), entonces mr m mod n para cada m Z:

49
2.45 Observaci on. Sea como en el ejercicio n sin factores
 cuadraticos.
 Dado un e
Z
{1, . . . , (n)} con mcd(e, (n)) = 1, entonces e + (n)Z (n)Z . Entonces existe un
nico d {1, . . . , (n)} con mcd(d, (n)) = 1 y con d + (n)Z = (e + (n)Z)1 . De hecho,
u
se puede encontrar d muy rapidamente por una identidad de Bezout para e y (n):

de + `(n) = 1 = mcd(e, n),

lo que se encuentra por aplicar de manera iterativa la division Euclideano con resto a (n)
y e... (este proceso se llama algoritmo de Euclid).

Pruebe que para cualquier m Z, se tiene que (me )d m mod n:

Supongamos que una persona (la llamamos Alice) quiere enviar un mensaje secreto a otra
persona (Bob) sin que una tercer persona (Eve) puede leerlo, pero la u
nica manera de como
puede comunicar es de manera publica, i.e. Eve puede interceptar cada mensaje de Alice a
Bob. Por lo tanto es imposible para Alice y Bob de intercambiar una clave simetrica secreta
que solo ellos conocen.
El protocol RSA utilize dos claves asimetricas, una publica para (en)cifrar y una privada
para decifrar, y funciona as:

Alice informa a Bob que quiere a enviarle un mensaje y le pide de generar una clave
publica para que pueda encifrarlo.

Bob genera dos n umeros primos largos arbitrarios p y q de tamano similar (eso se
puede hacer de manera rapida, porque el conjunto de primos es bastante denso en los
n
umeros, y porque se puede testar rapidamento si un n
umero dado es primo o no).

Bob calcula n := p q, ademas (n) := (p 1)(q 1) y elige un n umero largo 1 <

e < (n) con (e, (n)) = 1. El ultimo se verifique utilizando el algoritmo de Euclid.
Si e no es coprimo, Bob elige otro haste que encuentra buen e. El algoritmo de Euclid
automaticamente produce una identidad de Bezout para el mcd(e, (n)), lo que produce
un d con ed 1 mod (n) seg un la observacion anterior.

Bob envia la clave publica (n, e) a Alice (y a Eve), y guarda la clave privada (n, d).

Alice converta su mensaje en un n umero entero m {1, . . . , n} (por ejemplo utilizando

el sstema 26-imal de escritura de n umeros. Si el mensaje es mas largo que n, se la
divide en dos partes, si es muy corta, se a
nade bazura sin significado al fin del mensaje),
e
y ella calcula el resto r : m mod n con r {1, . . . , n} y envia el n umero (el mensaje
encifrado) r a Bob (y a Eve).

Bob ahora puede facilmente calcular el resto de rd en {1, . . . , n} modulo n, lo que es

el mensaje original m seg
un el u
ltimo ejercicio.

50
2.46 Observaci on. Como solamente Bob conoce d, Eve no puede calcular m rapido desde
los datos n, e y r. El problema del La u nica forma conocido ahora de calcular d rapido
es por el conocimiento de (n) (salvo quizas la NSA sabe mas). La manera mas rapida de
calcular (n) es de encontrar los factores primos de n, lo que es un problema NP-duro...
es a decir que uno no conoce una manera rapida hacerlo y si existera una, entonces cada
otro problema en NP se podra resolver rapidamenten... por lo tanto uno cree que no hay
algoritmo rapido para la factorisacion con Computadores clasicos (si hay Quanta-algoritmos
teoricas utilizando Computadores de Quantas, pero ellos todava no existen en realidad y
quizas n
unca van a ser construidos...).

2.47 Ejemplo. Sea p = 11 y q = 13, y por lo tanto n := pq = 143 y (n) = 120. Elegimos
por ejemplo e = 23 Ahora tenemos que encontrar una identidad de Bezout de + k120 =
mcd(23, 120) con 0 < d < 120, utilizando el algoritmo de Euclid, lo que detecta al mismo
tiempo si mcd(23, 120) = 1 o no. En caso que si, guardamos e = 23 como clave publica y
tomamos el d correspondiente (o su clase modulo 120 en {1, . . . 120}) como clave privada.
Sea entonces a0 := (n) = 120 y a1 = 23. Division con resto nos da a0 = 5 a1 + 5 y
guardamos q1 = 5 y a2 = 5. La division con resto de a1 por a2 nos da a1 = 4 a2 + 3
y guardamos q2 = 4 y a3 = 3. Ahora a2 = 1 a3 + 2 con q3 = 1 y a4 = 2. Despues
a3 = 1 a4 + 1 con q4 = 1 y a5 = 1. Como mcd(a1 , a2 ) = mcd(a4 , a5 ) = 1, tenemos que
mcd(23, 120) = 1 (que obviamente se puede ver mas facil considerando los factores primos
de ambos n umeros que son facil a encontrar como ambos numeros son peque nos). Ademas
obtenemos recursivamente una identidad de Bezout:

1 = a3 q4 a4 = a3 q4 (a2 q3 a3 )
= q4 a2 + (1 + q3 q4 )a3 = q4 a2 + (1 + q3 q4 )(a1 q2 a2 )
= (1 + q3 q4 )a1 (q2 + q2 q3 q4 + q4 )a2 = (1 + q3 q4 )a1 (q2 + q2 q3 q4 + q4 )(a0 q1 a1 )
= (q2 + q2 q3 q4 + q4 )a0 + (q1 q2 + q1 q2 q3 q4 + q1 q4 + q3 q4 + 1)a1
= 9 120 + 47 23.

Entonces, hemos encontrado la clave privada d = 47.

Supongamos que queremos encifrar el mensaje m = 7. Tenemos que calcular el resto de
723 mod 143. Como 7 y 23 y 47 son n umeros peque no eso no es un problema para un
buen computador de calcular primero 723 en Z y despues calcular el resto modulo 143. Pero
cuando los n
umeros son mas grandes, eso va a tomar demayado tiempo. La estrategia mas
rapida es de primero calculara las decomposiciones dyadicas de e (por Alice) y de d (por
Bob): e = 23 = 24 + 22 + 21 + 1 y d = 47 = 25 + 23 + 22 + 2 + 1. Ahora Alice calcula
iterativemente los restos modulo 143 de (m2 )` para 1 ` 4 y obtiene m2 49 mod 143,
m4 492 113 mod 143, m8 1132 42 mod 143 y m16 422 48 mod 143. Ahora
me 48 113 49 7 2 mod 143. Alice envia el n
umero 2 a Bob (y a Eve). Bob toma el
mensaje encifrado 2 y calcula de misma manera rapida 2d 7 mod 143 el mensaje original.

Con la clave publica n = 3233 y e = 17 he cifrado un n umero m 3233. El n umero cifrado es

2329. Puede decifrar el mensaje original m ? (Puede hacerlo cuando utilize que 3233 = 61 53 ?)

51
2.6 Cuerpos de fracciones y Extensiones de cuerpos
Sea A un dominio de integridad, se puede definir una relacion de equivalencia ([ejercicio])
en el conjunto A (A \ {0A }) de la manera siguiente: (a, b) (c, d) : ad = cb. La clase
de ecuivalencia de (a, b) se escribe ab , y el conjunto de todas las clases de equivalencia en
A (A \ {0A }) se anota Quot(A).

Pruebe que (Quot(A), +, ) es un cuerpo por las operaciones bien definidas (?)

+ : Quot(A) Quot(A) Quot(A)

a c  ad + cb
, 7
b d bd

: Quot(A) Quot(A) Quot(A)

a c  ac
, 7
b d bd

on. Se llama (Quot(A), +, ) el cuerpo de fracciones de A, y se identifica A

2.48 Definici
como subanillo de Quot(A) bajo el encrustamiento ([ejer] ) de anillos A Quot(A), a 7 1aA .
2.49 Lema. Sea A un dominio de integridad y K un cuerpo. Para cada encrustamiento
: A , K exista una u nica extension : Quot(A) , K, la cual es dado por ( ab ) =
(a)(b)1 para cada a, b A, b 6= 0.
Proof. Mostramos que ( ab ) := (a)(b)1 es bien definida. Primero observe que para(que
(b) 6= 0 para (a, b) A A \ {0A }, como es inyectivo, por lo tanto (b)1 existe. Sean
(c, d) A A \ {0A } con dc = ab , i.e. cb = ad. Entonces (c)(b) = (a)(d), y por lo tanto
(c)(d)1 = (a)(b)1 .
Mostramos que es un homomorfismo de anillos:
( ab + dc ) = (ad + cb)(bd)1= (a)(d)(d)1 (b)1+(c)(b)(b)1 (d)1= ( ab ) + ( dc ).
( ab dc ) = (ac)(bd)1 = (a)(b)1 (c)(d)1 = ( ab ) ( dc ). Finalmente, se ve que
( 11AA ) = (1A )(1A )1 = 1K . Como observado antes, es automaticamente inyectivo.
Sea (K, +, ) cualquier cuerpo. Existe un u
nico homomorfismo de anillos : Z K, lo cual
es dado por (n) = 1K + . . . + 1K y (n) = (1K + . . . + 1K ) para n N0 .
| {z } | {z }
n veces n veces

Como im() es un dominio de integridad, tenemos o que ker() = (p) para un n umero
primo p Z o que ker() = {0}. En el caso ker() = (p) para un primo p, obtenemos por
el teorema del homomorfismo (Teorema 2.9) un encrustamiento : Fp , K, y en el caso
ker() = (0), obtenemos por Lema 2.49 un encrustamiento : Q , K.
2.50 Definicion. En el caso que ker() = (p) para un primp p, se dice que la caracteristica
de K es p, notado car(K) = p, y (F p ) se llama subcuerpo primo de K. En el caso que
ker() = (0) , se dice caracteristica de K es cero, notado car(K) = 0, y (Q) se llama
subcuerpo primo de K .

52
 \
Pruebe que el subcuerpo primo de K = M:
{M |M K subcuerpo}

Pruebe que si : K L es homomorfismo de anillos entre cuepos, entonces car(K) = car(L) y

se restringa a un automorfismo entre los subcuerpos primos de K y de L.

Pruebe que si car(K) = p, entonces p : K K, a 7 ap es un homomorfsmo inyectivo de anillos.

Pruebe que p se restringa a un automorfismo cada subcuerpo finito de K y que p |(F
p ) = id(F
p).

2.51 Definici on. Sea L un cuerpo y K L un subcuerpo (i.e. un subanillo que es un

cuerpo) entonces decimos que L|K (L sobre K) es una extensi on de cuerpos.
Sean L1 |K y L2 |K dos extensiones de cuerpos de K. Un homomorfismo de anillos : L1
L2 (que es automaticamente inyectivo como L1 es un cuerpo) tal que (K) = K y |K = idK
se llama K-homomorfismo. Si existe un K-automorfismo entre L1 y L2 , se dice que L1 y
L2 son isomorfos como extensiones de K y se anota L1 = K L1 .
Sea L|K extension de cuerpos y S L. El subcuerpo de L generado por S sobre K es
\
K(S) := M.
L|M |K,
SM

Si el conjunto S es finito, i.e. S = {a1 , . . . , an }, entonces escribimos tambien K(a1 , . . . , an ).

2.52 Lema. Sea L|K una extension de cuerpos K(S)

= Quot(K[S]).
Proof. Obviamente K[S] K(S) L. Obtenemos por Lema 2.49 un u nico encrus-
tamiento : Quot(K[S]) , K(S) L que extende la identidad en K[S]. Por lo tanto
(Quot(K[S]))|K es una extension de cuerpos que contiene S y K, y por lo tanto contiene
K(S).

2.53 Observaci on. Sea (A, +, ) un anillo y K A es un subanillo que es un cuerpo.

Entonces en particular (A, +) es un (K, +, )-espacio vectorial.

2.54 Definicion. Para una extension L|K de cuerpos definimos el grado de L sobre K
como [L : K] := dimK (L), la dimension de L como K-espacio vectorial.

Sean L|M y M |K extensiones de cuerpos. Pruebe que

[L : K] = [L : M ] [M : K]

53
2.7 Extensiones algebraicas y Cuerpo del raz generico
Sea L|K una extension de cuerpos. Un elemento L se llama algebraico sobre K si
existe f K[X] \ {0} con f () = 0. Llamamos

deg() := min{d N | f K[X] \ 0 : deg(f ) = d f () = 0}

el grado algebraico de sobre K

Pruebe que existe un u
nico polinomio monico Min,K de grado deg() con Min,K () = 0.

Pruebe que Min,K es irreducible y divide a cualquier f K[X] con f () = 0.

Llamamos Min,K el polinomio mnimo de sobre K. Elementos de L que no son

algebraicos sobre K se llaman transcendentales sobre K.

2.55 Lema. Sea L/K una extension de cuerpos. Sea L. Entonces los siguientes son
equivalentes:

(i) es algebraico sobre K.

(ii) K() = K[].

(iii) [K() : K] < .

(iv) dimK (K[]) < .

Proof. (i) (ii): Como es algebraico sobre K, el homomorfismo sobreyectivo de evalu-

acion ev : K[X] K[] tiene nucleo no trivial ker(ev ). Por el teorema del isomorfismo
de anillos obtenemos que K[X]ker(ev ) = K[]. Como K[] es un dominio de integridad,

ker(ev ) es un ideal primo no cero, y como K[X] es un DIP, por lo tanto ker(ev ) = (Min,K )
es un ideal maximo (como Min,K no hay divisores no unidades), y por lo tanto K[] es un
cuerpo, i.e. K[] = K().
(ii) (i), (iii): Si K() = K[], en particular 1 K[], i.e. existe f (X) = di0 ai X i
P
K[X] tal que 1 = f () Por lo tanto g(X) = Xf (X) 1 K[X] \ {0} tiene rais
, lo que demuestra (i), i.e. que es algebraico sobre K. En particular que K() =
K[] = K[X](Min,K ) como extensiones de cuerpos de K y por lo tanto [K() : K] =
deg(Min,K ) < por el ejercicio anterior.
(iii) (iv): es trivial, como K[] K() siempre es un K-subespacio vectorial.
(iv) (i): Sea d = dimK (K[]). En particular 1, , 2 , . . . , d tienen que serP
K-linearmente
d i
dependiente. Por lo tanto existe a0 , . . . , ad K no todos cero tal que i=0 ai = 0.
Pd i
Eso demuestra que es un rais del polinomio no cero i=0 ai X , y por lo tanto es
algebraico.

54
 on de cuerpos y L algebraico sobre K. Pruebe que deg() = [K() : K].
Sea L|K una extensi

2.56 Definicion. Una extension de cuerpos L|K se llama algebraica si cada elemento de
L es algebraico sobre K.

2.57 Corolario. Sea L|K una extension de cuerpos tal que [L : K] < , entonces L|K es
algebraica.

Proof. Es una consecuencia directa del Lemma anterior, porque para cada L tenemos
que [K() : K] [L : K] < .
Una extension L|K con [L : K] < se llama extensi on finita. Cada extension finita es
una extension algebraica de cuerpos. Pero hay extensiones algebraicas que no son finitas
como vamos a ver mas tarde.

on. Sean L|M y M |K extensiones algebraicas. Entonces L|K es algebraica.

2.58 Proposici

Proof. Sea L cualquier elemento. Vamos a mostrar que [K() : K] < . Como P es al-
gebraico sobre M , existe un polinomio f M [X] \ {0} tal que f () = 0. Sea f = di=0 ai X i ,
entonces f K(a0 , . . . , ad ) y por lo tanto ya es algebraico sobre N = K(a0 , . . . , ad ).
Ademas, como a0 , . . . , ad son algebraicos sobre K (y por lo tanto sobre cualquier extension
de K en L) tenemos que

[N () : K] = [N () : N ] [K(a0 , . . . , ad1 )(ad ) : K(a0 , . . . , ad1 )] [K(a0 ) : K] < .

Como K() N (), tenemos que [K() : K] < .

Hemos mostrado que para cada elemento algebraico sobre K en una extension L|K existe
un polinomio irreducible (e.g. el polinomio minimal M,K de sobre K) tal que es su
raz. El revez tambien vale:
Sea f K[X] irreducible. Pruebe K[X](f ) es una extension de cuerpos de K y que X + (f ) es
un raiz de f .

Pruebe ademas que si L|K es una extension y L un raiz de f , entonces existe un u

nico
K-automorfismo : K[X](f ) K() con (X + (f )) = .

K[X] se dice el cuerpo del raz generico de f sobre K para f K[X] irreducible.
(f )

Para encontrar el grado algebraico sobre K de un elemento L algebraico sobre K

tenemos que encontrar su polinomio mnimo. En practica, se empeza con cualquier polinomio
f K[X] \ {0} con f () = 0 y uno factorza algunos factores obvios. Despues, si un piensa

55
que el factor que queda es irreducible, uno tiene que mostrar la irreducibilidad. La manera
como un puede hacer eso depiendo mucho de caso a caso, pero si hay algunos criterios
generales.
Sea f K[X] de grado 2 o 3. Pruebe que f es irreducible si y solamente si no tiene un raz en K:

56
2.8 Aplicaci
on: Construcciones por compas y regla
Se identifica el plano Euclidean con el plano complejo C. Sea S C un subconjunto con
0, 1 S. Se dice que un punto z C es elementalmente constructible por compas y
regla de S si existen a, b, c, d S tal que z es un punto del conjunto finito de interseccion
de...
RR o dos rectas, una pasando por a y b la otra por c y d
RC la recta pasando por a y b y el circulo con centro c pasando por d.
CC el circulo con centro en a pasando por b y el circulo con centro c pasando por d.
Un elemento z C se dice constructible de S por compas y regla si existe una succesion
finita z1 , . . . , zn C con zn = z tal que zi es elementalmente constructible de S{z1 , . . . , zi1 }
para i 1.
Sea L una linea y P un punto. Verifique que la lineaL orthogonal a L pasando por P puede
ser construido por compas y regla. En particular i = 1 es constructible de {0, 1}, y si z lo es
entonces z tambien.

Sea , R con 6= 0. Demuestre que + , , y 1 son constructibles por compas y

regla de {0, 1, , }.

Sean y dos angulos. Demuestre que el angulo + puede ser construido por compas y regla.

Sean , C con 6= 0. Demuestre que + , , , 1 y son constructibles por compas

y regla de {0, 1, , }.

Sea S C con 0, 1 S. Definimos

Con(S) := {z C | z es constructible por compas y regla de S}

57
2.59 Proposici on. Con(S) es un subcuerpo de C que es fijo por la conjugacion compleja y
que contiene Q[i].

Proof. Eso fue mostrado en el u

ltimo ejercicio.

2.60 Corolario. Sea S C con 0, 1 S. Entonces z Con(S) R(z), I(z) Con(S).

Proof. Sea z = x + yi. Si x, y Con(S) entonces obviamente z = x + i y Con(S), por

Proposicion 2.59. Sea ahora z Con(S). Por Proposicion 2.59 tenemos que z = x iy es
constructible, y por lo tanto tambien x = 21 (z + z) y y = 12 (z z).

2.61 Lema. Sea S C con 0, 1 S. Sea z C elementalmente constructible por compas y

regla de S. Entonces z es algebraico sobre Q(i)(S S) de grado a lo mas 2.

Proof. Sea K = Q(i)(S S) y z = ix + y. Supongamos primero que z es dado por la

interseccion de dos lineas pasando por puntos a, b S y c, d S respectivamente
Sabemos que a + r(b a) = z = c + s(d c) para unos r, s R. Tomando el parte imaginario
y imaginario, obtenemos por Corolario 2.60 un sistema de dos ecuaciones lineales sobre K. Si
nica (r, s) R2 , entonces (r, s) K 2 . Por lo tanto (x, y) K 2 ,
el sistema tiene una solucion u
y por tanto z K.

Supongamos ahora que z es dado por la interseccion de dos circulos. Un circulo con centro
a y pasando por b, el otro con centro c y pasando por d. Entonces z = x + iy satisface las
ecuaciones |z a|2 = |b a|2 = r12 y |z c|2 = |d c|2 = r22 . Eso se transfera en

x2 2R(a)x + y 2 2I(a)y = r12 R(a)2 I(a)2

y similarmente
x2 2R(c)x + y 2 2I(c)y = r22 R(c)2 I(c)2 .
La diferencia de ambos ecuaciones nos da la ecuacion lineal en x y y sobre K

2(R(c) R(a))x + 2(I(c) I(a))y = r12 r22 + (R(c)2 R(a)2 ) + (I(c)2 I(a)2 ).

Observe que r12 = (b a)(b a) K igual que r22 = (c d)(c d) K. Eso permite describir
y como funcion lineal en x sobre K, lo que demuestra [K(x, y) : K(x)] = 1. Una substitucion
de esta expresion de y en una de las funcionas cuadraticas produce una ecuacion cuadratica
en x sobre K, lo que demuestra que [K(x) : K] 2. Como K(z) = K(x, y), tenemos que
[K(z) : K] 2.

Finalmente si z es la interseccion de una linea por a y b y un crculo con centro c y pasando

por d, tenemos que x = R(a) + rR(b a) y y = I(a) + rI(b a) y (x R(c))2 + (y I(c))2 =
|c d|2 K. Las primeras dos ecuaciones permiten resolver y en forma de una funcion lineal
sobre K. La substitucion de esta expresion de y en la u
ltima ecuacion produce una ecuacion
cuadratica en x sobre K. Por lo tanto [K(z) : K] = [K(x, y) : K(x)] [K(x) : K] 2.

2.62 Teorema. Sea z C constructible por compas y regla de {0, 1} C. Entonces z es

algebraico sobre Q de grado 2n para un n N0 .

58
Bibliografia complementaria
Siguen unos libros sobre el tema que pueden consultar para una vista mas completa. Como

1. ARTIN, M. Algebra. Pertinence Hall, 2011 (2nd ed.)

2. DUMMIT, D., FOOTE, R. . Abstract Algebra. John Wiley and Sons, 1999.

3. HERSTEIN, I.N. Topics in Algebra. John Wiley and Sons, 1975.

(existe tambien una traduccion en Espa
nol llamada Algebra Moderna en la biblioteca
del Departamento)

4. HUNGERFORD, T.W. Algebra. Springer-Verlag, 1997.

5. JACOBSON, N. Basic Algebra 1. W.H. Freeman, 1985.

6. KOSTRIKIN, A.I. (traducido por Roberto A. Sala) Introduccion al Algebra (segunda

edicion revisada). Mc Graw Hill, 1992.
(he encontrado este libro en la biblioteca del Departamento; es en particular el capitulo
4 que trata el material del curso. me parece bien escrito este libro.)

7. LANG, S. Algebra (revised 3rd edition). Graduate Texts in Mathematics, Springer,

2002.
(hay algunas copias de las ediciones anteriores en la biblioteca de Departamento - es
un libro escrito en una lenguaje mas avanzada, pero es muy completo - se encuentra
casi todo sobre Algebra aca).

59