Académique Documents
Professionnel Documents
Culture Documents
Abstracta
(notas del curso 2016)
Indice
1 Grupos
1.1 Definiciones y ejemplos . . . . . . . . . . . . . . . . . .
1.2 Grupos simetricos . . . . . . . . . . . . . . . . . . . . .
1.3 Homomorfismos y isomorfismos . . . . . . . . . . . . .
1.4 Cocientes de grupos y subgrupos normales . . . . . . .
1.5 Teoremas del isomorfismo . . . . . . . . . . . . . . . .
1.6 Acciones de grupos . . . . . . . . . . . . . . . . . . . .
1.7 Teoremas de Sylow . . . . . . . . . . . . . . . . . . . .
1.8 Producto directo & grupos Abelianos finitos . . . . . .
1.9 Productos semidirectos & algunos grupos no Abelianos
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2
2
5
9
12
15
17
21
25
29
2 Anillos
2.1 Definiciones y ejemplos . . . . . . . . . . . . . . . . . .
2.2 Homomorfismos, ideales y anillos cocientes . . . . . . .
2.3 Anillos de polinomios . . . . . . . . . . . . . . . . . . .
2.4 Dominios de ideals principales y de factorizacion u
nica
2.5 Aplicacion: La funcion de Euler y el protocol RSA . . .
2.6 Cuerpos de fracciones y Extensiones de cuerpos . . . .
2.7 Extensiones algebraicas y Cuerpo del raz generico . . .
2.8 Aplicacion: Construcciones por compas y regla . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
35
35
37
42
45
49
52
54
56
Grupos
1.1
Definiciones y ejemplos
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
1.2 Definici
on. Sea (G, ) un grupo y x G. Definimos el orden de x por
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 :
Proof.
T Tenemos que 1G HH H porque 1G H para cada
T H H. En particular,
=
6
H,
lo
que
nos
permite
aplicar
Lema
1.4.
Sean
x,
y
HH
HH H. Entonces
T x, y H
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.
1.6 Definici
on. Sea G un grupo y S G un subconjunto. El subgrupo
\
hSi :=
H
HG,
SH
de G se llama subgrupo generado por S. Cuando S = {x}, escriba hxi en lugar de h{x}i.
3
1.7 Proposici
on. Sea G un grupo y S G un subconjunto. Entonces
mn
1
hSi = {xm
1 xn | n N0 ; x1 , . . . , xn S; m1 , . . . , mn Z}.
1.8 Definici
on. Sea G un grupo. Se dice orden de G para su cardinalidad |G|.
1.9 Proposici
on. Sea G un grupo y x G. Entonces ord(x) = |hxi|.
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).
1.2
Grupos sim
etricos
1 2 3 4
2 4 3 1
1 2 3 4
1 2 3 4
=
,
3 2 1 4
y
ord
1 2 3 4
2 4 1 3
=
1.11 Definici
on. Sea Sn . El conjunto
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(),:
Muestre que al contrario para cualquier (a1 , . . . , ak ) {1, . . . , n}k con ai 6= aj cuando i 6= j, existe
un u
nico ciclo Sn de orden k con (ai ) = ai+1 para i < k y (ak ) = a1 :
Calcule los produtos (1 2) (2 3) =
1 2 3
y (2 3) (1 2) =
1 2 3
de transpos. en S3 .
1.13 Observaci
on. Un grupo G que cumple x, y G : xy = yx se dice grupo Abeliano.
La u
ltima calculacion demuestra que Sn no es Abeliano para n 3.
1.14 Proposici
on. Para cada Sn existe un u
nico m N0 y unos u
nicos (salvo reordinamiento) ciclos 1 , . . . , m Sn con soportes disjuntos, tales que = 1 m .
Proof. Mostremos primero la unicidad: Supongamos que
0
= 1 m = 10 m
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
Muestre que #inv( ) nunca tiene la misma paridad que #inv() para cualquier permutaci
on
Sn :
1.3
Homomorfismos y isomorfismos
1.17 Definici
on. Dados (G1 , ) y (G2 , ?) dos grupos, decimos que una funcion
: 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 :
=, id
(R, +)
R
=, id
(Z, +) ,, (n 7 n)
Gl3 (R)
C
S3
(Z, +)
Gl3 (R)
7, (#R > #Z)
S3
=, id
=, id
=, id
=, 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 :
Pruebe adem
as que la funci
on c : G Aut(G) definido por g 7 cg es un homomorfismo:
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:
** Es la funci
on R Aut(R, +) definida por r 7
QQ
x7qx
RR
x7rx
es un isomorfismo:
tambien un isomorfismo ?
1.20 Teorema (Cayley 1854). Sea G un grupo y X un conjunto con #X ord(G). Entonces 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
1.21 Definici
on. Sea H G. Un subconjunto X G se llama clase lateral izquierda
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
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:
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:
1.25 Proposici
on. Sea (G, ) un grupo y H E G. Entonces
: 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 ):
/
7
G2
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 representant 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
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 :
1.29 Definici
on. Sea H G. El normalisador de H en G es definido por
NG (H) := {g G | cg (H) = H}.
Pruebe que H E NG (H) 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 = {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
2
Sea n N y H = h(n, n)i (Z2 , +). Pruebe que Z H
= Z ZnZ:
lo que demuestra que ser normal no es una propiedad transitiva para cadenas de subgrupos
16
1.6
Acciones de grupos
Pruebe que O = G.x para cualquier x G, y que dos orbitas distinctos son disjuntos:
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
|O|
|X| =
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
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:
Pruebe adem
as que y |[x]c | = 1 x
/ Z(G) y verifique la ecuaci
on de clases (de conjugaci
on)
X
|G| = |Z(G)| +
|C|
C{[x]c |xG\Z(G)}
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 hay una correspondencia 1-a-1 entre homomorfismos G SX y G-acciones por
izquierda en X:
20
1.7
Teoremas de Sylow
k
Sea p N un n
umero primo. Un grupo G se llama p-grupo si g G k N : g (p ) = 1G .
Sea G un grupo finito. Pruebe que G es un p-grupo ord(G) = pk para un k N0 :
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
G
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 Definici
on. 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 psubgrupos 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
(mod p).
H2 H2
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 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
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 ):
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 orbita
P 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
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 )
Pruebe que dotado por esta operaci
on, G H es un grupo:
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.
Pruebe que con esta identificaci
on, G y H son subgrupos normales de G H con G H = {1GH },
GH = G H y gh = hg para cada g G y h H:
25
1.47 Proposici
on. Sea G un grupo Abeliano finito, sean p1 , . . . , pr todos los primos que
dividen a |G|. Entonces
G
= H1 . . . Hr ,
donde Hi denota el (
unico) pi -subgrupo de Sylow de G para cada 1 i r.
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
= H1 . . . Hr por hipotess de la induccion, el aserto sigue por
= G. Como G0
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():
.
.
.
.
.
.
=
pZ
pZ
pZ .
pZ
pZ
pZ
Entonces i1 = j1 , . . . ,ir = jr .
26
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
Qr
`i`
i1
= |G1 | = |G2 | =
inducci
on
sobre
r
que
i
=
j
,
.
.
.
,i
=
j
,
y
finalmente,
como
p
2
2
r
r
`=2 p
Qr
j1
`j`
p `=2 p , obtenemos tambien que i1 = j1 .
1.49 Proposici
on. Sea p un n
umero primo y G un p-grupo Abeliano finito. Entonces hay
u
nicos n
umeros enteros 0 r y 1 `1 . . . `r , tal que
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,
seg
un 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
1G = bp = (bp )p
`1
`1
= hp
`1
g np
`1
`1
e i un pi -grupo. Sea
Sean p1 < . . . < pr n
umeros primos, y para cada i r sea Hi y H
e1 . . . H
er
: H1 . . . Hr H
e i con sus imagenes bajo los inclusiones canonicas en los
un homomorfismo. Identificando Hi y H
ei:
productos, pruebe que para cada 1 i r tenemos que (Hi ) H
(1)
(m)
1.50 Teorema (de estructura de grupos Abelianos finitos). Sea n N y sea n = p`1 p`m
su factorisacion en n
umeros primos con p1 < . . . < pm . Para cada m-tuple (i = 1, ..., m)
Pri (i)
(i)
(i)
de successiones monotones finitas de enteros 1 `1 . . . `ri con
= `(i) ,
j=1 `j
anotaremos en una lista el grupo de orden n
Z `(1) . . . Z `(1) Z `(2) . . . Z `(2) . . . . . . Z (m) . . . Z (m)
.
p`mrm Z
p`m1 Z
p21 Z
p11 Z
p2r2 Z
p1r1 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
P i (i)
(i)
(i)
(i)
`j = `(i) , porque |Hi | = p` .
con 1 `1 . . . `ri , seg
un Proposicion 1.49, y rj=i
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?
28
1.9
Para dos grupos (N, ) y (H, ?) hemos visto en el subcapitulo anterior la definicion del producto directo (N, )(H, ?) como el producto Cartesiano N H con la operacion independiente en cada componente. Pero esta no es la u
nica forma de definir una operacion en el producto 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 )
Pruebe que la operaci
on en N H cumple con las axiomas de un grupo:
Esta estructura de grupo en el producto cartesiano de N y H se llama producto semidirecto 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 Observaci
on. 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:
Z
homomorfismo inv : 2Z Aut ZnZ , ` 7 inv` , donde inv` : ZnZ ZnZ es el
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
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)
N 7 N o H, n 7 (n, 1H ).
30
e
e isomorfismos de grupos. Sea : H Aut(N ), h 7 h
Sean f : H
H y g : N
N
1 para h
H
e define un homomorphismo
un homomorfismo. Pruebe F()h := g f (h)
g
e Aut(N
e ) y que
F() : H
e Aut(N
e)
F : Hom (H, Aut(N )) Hom H,
7 F()
es una biyecci
on.
Dado un homomorfismo : H Aut(N ), pruebe que (n, h) 7 (g(n), f (h)) define un isomorfismo
e oF () H.
e
N o H
N
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 act
uan 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
grados
dos tpos de isometrias que act
uan en el polgono: Por uno, hay rotaciones por k360
n
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
si p divide a q 1. Ademas, como Aut ZqZ es ciclico seg
un Observacion 1.57, contiene un
u
nico subgrupo H de orden p, y por eso, los homomorfismos no triviales ZpZ Aut ZqZ
son exactamente los isomorfismos ZpZ H.
Dado dos isomorfismos ,
e : ZpZ H, definimos el automorfismo f := 1
e de ZpZ,
tenemos que
e = f . El enunciado sigue por Corolario 1.55.
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
Z : Se puede mostrar que Aut (Z )2
nico
o
= S3 , lo que contiene un u
3Z
2Z
2Z
2
Z
Z
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
Z
Z
Z o Z : Como Aut(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)
g G. Pruebe que G = Q8 .
2
Denota Z2Z o Z2Z el producto semidirecto con respecto a un homomorfismo Z2Z
2
6 Z2Z o Z2Z
6 Q8
Aut Z2Z Z2Z no trivial. Pruebe que D4
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 .
34
Anillos
2.1
Definiciones y ejemplos
2.1 Definici
on. 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:
conmutativo?
div. de zero?
cuerpo?
X
7
X
Z , +,
(P({1, 2}), , )
3Z
X
{1} {2} =
=:i
=:j
=:k
2.2
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) :
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:
2.6 Definici
on. Sea (A, +, ) un anillo. Un subconjunto I A se llama ideal izquierdo
(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
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
I
para
cada
I
I,
y
por
lo
tanto
a
II I. Por lo
T II
tanto II I es un ideal de (A, +, ).
2.12 Definici
on. El ideal generado por S A es
\
(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).
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
xi +
i{1,...,n}
X
1in
yi
Y
j6=i
xj +
y i1 y i2
1i1 <i2 n
xj + . . . +
j6=i1 ,i2
{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
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
que la restricci
on del orden es total) existe un yC X tal que x yC para cada x C, entonces
existe al menos un elemento maximo en X.
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
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
2.21 Definici
on. 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:
!
(an )nN0 (bn )nN0 :=
X
k+`=n
42
ak b `
.
nN0
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
Pn
i=0 ai X
P
2.23 Definici
on. Un elemento f = ni=0 ai X i = (a0 , . . . , an , 0, 0, 0, . . .) A[X] llamaremos
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:
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
n
n
X
X
ai X i 7
(ai )bi
i=0
i=0
es el u
nico homomorfismo : A[X] B tal que |A = y (X) = b.
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)
b (f ) b (g) por inducci
Si
P=
Ponn sobre deg(g).
n
i
i
deg(g) = 0 entonces
0 A. SeaP
f = i=0 ai X entonces f g = i=0 ai a
0 X , y por lo
Pg=a
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
b (f g) = b (f a
m+1 X m+1 + f g 0 ) = b (f a
m+1 X m+1 ) + b (f g 0 )
!
n
X
=
(ai )bi (
am+1 )bm+1 + b (f )b (g 0 )
i=0
= b (f ) (
am+1 )bm+1 + b (g 0 )
= 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 recursivamente 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
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
u
nico (A es un dominio de integridad), y cuando c A , se dice que a y b son asociados.
Pruebe que (a | b (b) (a)), y que (a y b son asociados a | b y b | a (a) = (b)):
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
2
(a2 + 5b2 ) = 3 no es posible, y el caso (a2 + 5b
) = 9 es simetrico al caso (a2 + 5b2 ) =1.
Por otro
umero 3 no es primo en Z[ 5], porque
divide
parte, el n
a 9 = 3 3= (2 + 5)
(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 Definici
on. Un dominio de integridad (A, +, ) se llama un dominio de factorisaci
on
u
nica (DFU), si cada elemento irreducible es primo y si cada elemento en A \ A es un
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 com
un 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 Definici
on. 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 ):
2.37 Definici
on. 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 ):
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 :
r
r
.
.
.
1
n
nZ =
pn Z .
p1 Z
Pruebe que ZnZ = {a + nZ | mcd(a, n) = 1}:
Pruebe que Zpr Z = pr1 (p 1):
2.43 Definici
on. Se define la funci
on de Euler : N N como (n) := ZnZ .
Por los ejercicios anteriores, tenemos que (n) =
Qn
i=1
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
Dado un e
cuadraticos.
Z
{1, . . . , (n)} con mcd(e, (n)) = 1, entonces e + (n)Z (n)Z . Entonces existe un
u
nico d {1, . . . , (n)} con mcd(d, (n)) = 1 y con d + (n)Z = (e + (n)Z)1 . De hecho,
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 tama
no 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 n
umeros 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
2.48 Definici
on. Se llama (Quot(A), +, ) el cuerpo de fracciones de A, y se identifica A
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
M:
{M |M K subcuerpo}
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
53
2.7
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().
P
(ii) (i), (iii): Si K() = K[], en particular 1 K[], i.e. existe f (X) = di0 ai X i
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
2.56 Definici
on. 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.
2.58 Proposici
on. Sean L|M y M |K extensiones algebraicas. Entonces L|K es algebraica.
Proof. Sea L cualquier elemento. Vamos a mostrar que [K() : K] < . Como
P es algebraico 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 adem
as que si L|K es una extension y L un raiz de f , entonces existe un u
nico
K[X]
K-automorfismo :
(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. Desp
ues, 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
Sean y dos angulos. Demuestre que el angulo + puede ser construido por compas y regla.
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
el sistema tiene una solucion u
nica (r, s) R2 , entonces (r, s) K 2 . Por lo tanto (x, y) K 2 ,
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