Académique Documents
Professionnel Documents
Culture Documents
Moderna I y II
Notas de Curso
Prof. Carlos J. Rubio Barrios
Agosto 2010 - Mayo 2011
Indice general
1. Teora de Grupos
1.1. Semigrupos, monoides y grupos . . . . . . . . . . . . . .
1.1.1. Ejercicios . . . . . . . . . . . . . . . . . . . . .
1.2. Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.1. Ejercicios . . . . . . . . . . . . . . . . . . . . .
1.3. Grupos cclicos . . . . . . . . . . . . . . . . . . . . . . .
1.3.1. Ejercicios . . . . . . . . . . . . . . . . . . . . .
1.4. Clases laterales y el Teorema de Lagrange . . . . . . . .
1.4.1. Sobre los grupos de orden 2p con p primo impar .
1.4.2. Ejercicios . . . . . . . . . . . . . . . . . . . . .
1.5. Homomorfismos . . . . . . . . . . . . . . . . . . . . . .
1.5.1. Ejercicios . . . . . . . . . . . . . . . . . . . . .
1.6. Normalidad y grupo cociente . . . . . . . . . . . . . . .
1.6.1. Ejercicios . . . . . . . . . . . . . . . . . . . . .
1.7. Los teoremas de isomorfismo . . . . . . . . . . . . . . .
1.7.1. Ejercicios . . . . . . . . . . . . . . . . . . . . .
1.8. Acciones de grupos . . . . . . . . . . . . . . . . . . . .
1.8.1. Ejercicios . . . . . . . . . . . . . . . . . . . . .
1.9. Los Teoremas de Sylow . . . . . . . . . . . . . . . . . .
1.9.1. Ejercicios . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
4
5
8
8
13
14
19
20
20
23
24
27
29
34
35
42
42
47
2. Teora de Anillos
2.1. Anillos y propiedades basicas . . . . . . . .
2.1.1. Ejercicios . . . . . . . . . . . . . .
2.2. Homomorfismos de anillos y anillo cociente
2.2.1. Ejercicios . . . . . . . . . . . . . .
2.3. Ideales primos y maximales . . . . . . . . .
2.3.1. Ejercicios . . . . . . . . . . . . . .
2.4. Producto directo de anillos . . . . . . . . .
2.5. Factorizaci
on en anillos conmutativos . . . .
2.5.1. Maximo com
un divisor . . . . . . .
2.5.2. Ejercicios . . . . . . . . . . . . . .
2.6. Anillo de cocientes y localizacion . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
49
49
52
53
58
59
68
70
75
82
83
84
iii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.6.1. Ejercicios . . . . . . . . . . . . . . . . .
2.7. Factorizaci
on en el anillo de polinomios . . . . .
2.7.1. Criterios de irreducibilidad . . . . . . . .
2.7.2. Ejercicios . . . . . . . . . . . . . . . . .
2.8. Extensiones de campos . . . . . . . . . . . . . .
2.8.1. Ejercicios . . . . . . . . . . . . . . . . .
2.9. Campo de descomposici
on y cerradura algebraica
2.9.1. Ejercicios . . . . . . . . . . . . . . . . .
Algebra
Moderna I y II
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
92
92
100
102
103
111
113
120
Captulo 1
Teora de Grupos
1.1.
2
donde zn es el n
umero complejo cos( 2
n ) + i sen( n ), con el producto usual
r s
r+s
de n
umeros complejos, zn zn = zn , es un grupo abeliano finito.
6. El conjunto
G = {Ta,b : R R|Ta,b (r) = ar + b, a, b R, a 6= 0}
con la composici
on de funciones, es un grupo no abeliano.
7. Z con el producto usual no es un grupo.
8. Si S 6= , definimos el conjunto A(S) = {f : S S|f es biyectiva}. Entonces
A(S) es un grupo con la composici
on de funciones. (Los elementos de A(S)
se llaman permutaciones y A(S) es el grupo de permutaciones en el conjunto
S. Si S = {1, 2, . . . , n}, entonces A(S) se llama grupo simetrico de grado n
y se denota por Sn ).
9. El grupo Sn es un grupo no abeliano para n 3.
Teorema 1.1.3. Si G es un monoide, entonces el elemento identidad e es unico.
Si G es un grupo, entonces
1. c G y cc = c c = e;
2. para todo a, b, c G, ab = ac b = c y ba = ca b = c (cancelacion
izquierda y derecha);
3. para cada a G, el elemento inverso a1 es unico;
4. para cada a G, (a1 )1 = a;
5. para a, b G, (ab)1 = b1 a1 .
6. para a, b G, las ecuaciones ax = b, ya = b tienen soluciones unicas en G:
x = a1 b, y = ba1 .
Demostraci
on. Si e tambien es un elemento identidad bilateral, entonces e = ee =
e.
1. Si cc = c, entonces c1 (cc) = c1 c (c1 c)c = e ec = e c = e.
2. Si ab = ac, entonces a1 (ab) = a1 (ac) (a1 a)b = (a1 a)c eb =
ec b = c. Analogamente, si ba = ca, entonces (ba)a1 = (ca)a1
b(aa1 ) = c(aa1 ) be = ce b = c.
Algebra
Moderna I y II
Proposici
on 1.1.4. Sea G un semigrupo. Entonces G es un grupo si y s
olo si se
cumplen las siguientes condiciones
1. Existe un elemento e G tal que ea = a para todo a G (elemento identidad
izquierdo).
2. Para cada a G, existe un elemento a1 G tal que a1 a = e (inverso
izquierdo).
Un resultado analogo se cumple para inversos derechos e identidad derecha.
Demostraci
on. () : Se sigue de la definicion de grupo.
() : G 6= ya que e G. Para cada a G tenemos de la asociatividad en G y
de las condiciones 1 y 2,
(aa1 )(aa1 ) = a(a1 a)a1 = a(ea1 ) = aa1 .
Como aa1 G, seg
un la condici
on 2 existe un inverso izquierdo de aa1 . Multiplicando ambos lados de la igualdad anterior por dicho inverso izquierdo se sigue
que aa1 = e.
Finalmente, usando la asociatividad en G, lo demostrado anteriormente, y las condiciones 1 y 2 se sigue que ae = a(a1 a) = (aa1 )a = ea = a para cada a G.
Por lo tanto, G es un grupo.
Algebra
Moderna I y II
1.1.1.
Ejercicios
Algebra
Moderna I y II
1.2.
Subgrupos
Definici
on 1.2.1. Un subconjunto no vaco H de un grupo G, es un subgrupo de
G, si H con la misma operaci
on de G es un grupo.
Escribiremos H < G para indicar que H es un subgrupo del grupo G.
Hacemos notar que es claro que si H es un subgrupo de G, y K es un subgrupo de
H, entonces K es un subgrupo de G.
Observe que cada grupo G tiene dos subgrupos triviales: G y {e}. Nuestro interes
estara en los subgrupos restantes, llamados subgrupos propios de G.
Sera
util tener alg
un criterio para decidir si un subconjunto dado de un grupo es
un subgrupo.
Teorema 1.2.2 (Criterio de subgrupo). Un subconjunto no vaco H de un grupo
G es un subgrupo de G si y s
olo si se cumplen las siguientes condiciones.
1. ab H para todo a, b H (cerradura de H respecto a la operaci
on de G);
2. a1 H para todo a H.
Demostraci
on. () : Trivial.
() : Para demostrar que H < G basta probar que e H y que la ley asociativa se
verifica para los elementos de H. Como la ley asociativa es valida para G, es claro
que tambien es valida para H que es un subconjunto de G. Ahora, si a H entonces
segun la condici
on 2, a1 H, y por la condici
on 1 tenemos que e = aa1 H.
Algebra
Moderna I y II
3. Sean
GL(n, R) = {A Rnn | det(A) 6= 0}
y
SL(n, R) = {A GL(n, R)| det(A) = 1}.
Entonces, GL(n, R) es un grupo con la multiplicaci
on usual de matrices y
SL(n, R) < GL(n, R).
(GL(n, R) es el grupo lineal general de grado n sobre R, y SL(n, R) es el
grupo lineal especial de grado n sobre R).
4. Considere el conjunto de 8 elementos Q8 = {1, i, j, k} con un producto
basado en las reglas: q1 = q = 1q para todo q Q8 , i2 = j 2 = k 2 = 1,
ij = k, jk = i, ki = j, ji = k, kj = i y ik = j. Entonces Q8 es un
grupo no abeliano.
5. Sea S un subconjunto no vaco y sea G = A(S). Para cada a S, el conjunto
H(a) = {f A(S)|f (a) = a}
es un subgrupo de G.
Algebra
Moderna I y II
Concluimos esta seccion con una caracterizacion que nos dice cuando el producto
de dos subgrupos de un grupo dado, es subgrupo.
Algebra
Moderna I y II
1.2.1.
Ejercicios
C(a).
aG
1.3.
Grupos cclicos
Algebra
Moderna I y II
Algebra
Moderna I y II
Corolario 1.3.5. Los subgrupos de Z con la suma usual, son precisamente los
grupos nZ con la suma usual para n Z.
Demostraci
on. Sea H un subgrupo del grupo cclico Z. Por el teorema anterior,
tenemos que H es cclico. Luego, H = hni para algun n Z. Pero hni = nZ.
Luego, los
unicos subgrupos de Z con la suma usual son los nZ con n Z.
Definici
on 1.3.6. Sea G un grupo y sea a G. Definimos el orden de a como el
orden del subgrupo cclico hai. Denotaremos el orden de a por o(a) o |a|.
Teorema 1.3.7. Sea G un grupo y sea a G. Si a tiene orden finito m > 0,
entonces:
1. hai = {e, a, a2 , . . . , am1 } y m es el menor entero positivo tal que am = e.
2. ak = e m|k.
3. ar = as r s (mod m).
4. Para cada entero k 6= 0, |ak | =
|ak | = m
k.
m
(m,k) .
hai = {e, a, a2 , . . . , am 1 }.
Claramente, {e, a, a2 , . . . , am 1 } hai. Recprocamente, sea b hai. Entonces, b = an para algun n Z. Por el algoritmo de la division en Z,
existen enteros q y r tales que n = m q + r con 0 r < m . Luego,
Algebra
Moderna I y II
a
= e y k k > 0, lo que contradice el punto anterior.
Corolario 1.3.8. Sea G un grupo cclico finito de orden n y sea a G un generador.
Entonces, G = hak i si y s
olo si (n, k) = 1. En particular, el numero de generadores
de G es igual a (n), donde es la funcion de Euler.
Demostraci
on. Sea G = hai tal que |G| = n < . Observemos primero que:
G = hak i |hak i| = n.
En efecto, es claro que si G = hak i entonces n = |G| = |hak i|. Recprocamente,
supongamos que |hak i| = n. Como hak i hai = G, necesariamente G = hak i.
Tenemos entonces que:
G = hai = hak i
|hai| = |hak i|
|a| = |ak | (por definicion de orden de un elemento)
n
n=
(por el teorema anterior)
(n, k)
(n, k) = 1.
Algebra
Moderna I y II
Definici
on 1.3.10. Sean G un grupo y X G. Sea {Hi |i I} laTfamilia de todos
los subgrupos de G que contienen a X. Entonces, el subgrupo iI Hi se llama
subgrupo de G generado por X y se denota por hXi.
Los elementos de X son los generadores del grupo hXi. Si X = {a1 , . . . , an },
escribimos ha1 , . . . , an i en lugar de hXi. Si G = ha1 , . . . , an i con ai G, decimos
que G es finitamente generado.
Teorema 1.3.11. Si G es un grupo y X es un subconjunto no vaco de G, entonces
el subgrupo hXi consiste de todos los productos finitos:
an1 1 an2 2 ant t
con ai X y ni Z. En particular, para cada a G, hai = {an |n Z}.
Demostraci
on. Sea:
S = {an1 1 an2 2 ant t |ai X, ni Z}.
Si a X, entonces a = a1 S y por lo tanto X S. Si u, v S, entonces u =
ml
ml
n1 n2
nt m1 m2
1 m2
an1 1 an2 2 ant t y v = bm
1 b2 bl . Luego, uv = a1 a2 at b1 b2 bl
nt
n2 n1
1
S y u = at a2 a1 S. De aqu, S es subgrupo de G. Por lo tanto, de
la definici
on de hXi se sigue que hXi < S.
Ahora, si H es un subgrupo de G tal que X H, entonces an1 1 an2 2 ant t H
para todo ai X y ni Z (pues H es cerrado) y por lo tanto S H. Luego, de
la definici
on de hXi se sigue que S hXi. En consecuencia, hXi = S.
Algebra
Moderna I y II
1.3.1.
Ejercicios
Algebra
Moderna I y II
1.4.
(ab1 )1 H,
ba1 = a1 b H.
Algebra
Moderna I y II
= {x G|xa1 H} = {x G|xa1 = h H}
= {x G|x = ha, h H} = {ha|h H}
= Ha.
|Ha1 . . . Hak |
k
X
i=1
|Hai | =
k|H|,
k
X
i=1
|H|
Algebra
Moderna I y II
[
[ [
[
Kbj ai .
G=
Hai =
Kbj ai =
iI
iI
jJ
(i,j)IJ
Demostraremos que las clases laterales derechas Kbj ai son disjuntas dos a dos.
Supongamos que Kbj ai = Kbr at . Entonces, bj ai = kbr at para algun k K. Ya
Algebra
Moderna I y II
|H||K|
.
|H K|
Demostraci
on. Por el corolario anterior, tenemos que C = H K es un subgrupo de
|K|
K de ndice n = |HK|
. Luego, K es la uni
on disjunta de clases laterales derechas:
K = Ck1 Ck2 . . . Ckn ,
para algunos ki K.
Ahora, es claro que HC = H, pues dados a H y b C, tenemos que a H y
b H, de donde ab H. Recprocamente, si h H, entonces h = he HC. Por
lo tanto, HC = H.
Demostraremos que HK = Hk1 Hk2 . . .Hkn es una uni
on disjunta. En efecto,
si h H y k K, entonces h = h c para algunos h H y c C (pues H = HC),
y k = c ki para algunos c C y ki Ki (pues C es la uni
on de las clases Cki ).
Luego, hk = (h c)(c ki ) = (h cc )ki = h ki donde S
h = h cc H (pues HC =
H). Entonces, hk Hki y por lo tanto HK ni=1 Hki . La otra contencion
es clara. Finalmente, para demostrar que la uni
on es disjunta, supongamos que
Hki = Hkj . Entonces, ki kj1 H K = C, y por lo tanto, Cki = Ckj de donde
se sigue que ki = kj .
Por lo tanto:
|HK| =
n
X
i=1
|Hki | =
n
X
i=1
|H| = n|H| =
|H||K|
.
|H K|
Proposici
on 1.4.9. Si H y K son subgrupos de un grupo G, entonces (H : H
K) (G : K). Si (G : K) es finito, entonces (H : H K) = (G : K) si y s
olo si
G = KH.
Algebra
Moderna I y II
Demostraci
on. Sean A el conjunto de las clases laterales derechas de H K en H,
y B el conjunto de las clases laterales derechas de K en G. Es decir:
A = {(H K)h|h H}
B = {Kg|g G}.
Algebra
Moderna I y II
1.4.1.
Concluimos esta seccion con un caso particular del Teorema de Cauchy para grupos
de orden 2p con p n
umero primo impar, el cual es una consecuencia del Teorema
de Lagrange.
Teorema 1.4.12. [Teorema de Cauchy para grupos de orden 2p con p > 2 primo]
Si G es un grupo de orden 2p con p numero primo impar, entonces G contiene un
elemento de orden 2 y uno de orden p.
on 1.1, todo grupo de orden par tiene un elemento
Segun el Ejercicio 4 de la Secci
de orden 2. De modo que s
olo debemos probar que G tiene un elemento de orden
p.
Para esto, necesitamos un resultado preliminar.
Lema 1.4.13. Si G es un grupo finito tal que todo elemento distinto de la identidad
tiene orden 2, entonces |G| = 2k para algun k Z+ .
Demostraci
on. Ya que todos los elementos de G distintos de la identidad tienen
orden 2, tenemos que G es abeliano segun el Ejercicio 3 de la Secci
on 1.1. Sea H
un subgrupo de G. Demostraremos que H xH es un subgrupo de G para todo
x G.
Si x H el resultado es inmediato, pues H = H xH. Luego, podemos suponer
que x 6 H. Un elemento de H xH se escribe como h H, o xh con h H,
as que es facil ver que H xH es cerrado bajo productos, ya que por ejemplo
xhxh = hh puesto que G es abeliano y todo elemento distinto de la identidad
tiene orden 2. Tambien es inmediato que H xH es cerrado bajo inversos, pues
1
(xh) = xh. Se sigue entonces que H xH es subgrupo de G.
Bajo la hip
otesis de que x 6 H se cumple que H xH = , pues si h = xh0
entonces hh1
= x implicara que x H lo que es una contradicci
on. Luego,
0
podemos afirmar que |H xH| = |H| + |xH| = |H| + |H| = 2|H|.
Continuando de esta manera y haciendo H = {e}, obtenemos una cadena de subgrupos {e} < H1 < H2 < < Hn < , donde |Hi | = 2i . Como G es finito,
esta cadena debe detenerse en alg
un subgrupo Hk , y esto s
olo puede suceder si y
s
olo si Hk = G, de donde se sigue que |G| = 2k con k 1.
Continuando con la demostraci
on del Teorema 1.4.12, el Teorema de Lagrange asegura que los elementos de G solamente pueden tener ordenes 1, 2, p y 2p. Si todos
los elementos distintos de la identidad tuvieran orden 2, entonces, por el lema anterior, el orden de G sera una potencia de 2, lo que es una contradicci
on. Luego, G
tiene un elemento de orden p, o bien G tiene un elemento a de orden 2p, y en este
ultimo caso a2 es un elemento de orden p. En cualquier caso, G tiene un elemento
de orden p, como queramos probar.
Ejercicio. Con las hip
otesis del Teorema 1.4.12 demuestre que G contiene un unico
subgrupo de orden p.
Algebra
Moderna I y II
1.4.2.
Ejercicios
para todo a G.
2. Sea G un grupo abeliano de orden 2n con n impar. Demuestre que G contiene
un
unico elemento de orden 2.
3. Sea G un grupo y sean a, b G tales que a5 = e y aba1 = b2 . Determine
|b| si b 6= e.
p
4. Sea G p
un grupo finito y sean H, K subgrupos de G. Si |H| >
|G| y
|K| > |G|, demuestre que H K 6= {e}.
1.5.
Homomorfismos
Definici
on 1.5.1. Sean G y G semigrupos. Una funcion f : G G es un
homomorfismo si:
f (ab) = f (a)f (b) a, b G.
Si f es inyectivo, decimos que f es un monomorfismo; si f es sobre, f es un
epimorfismo; si f es biyectiva, f es un isomorfismo y decimos que G y G son
Algebra
Moderna I y II
isomorfos (escrito G
= G ). Un homomorfismo f : G G es un endomorfismo de
G, y un isomorfismo f : G G es un automorfismo de G.
Ejemplos 1.5.2.
1. El grupo R+ con el producto usual y el grupo R con la
suma usual, son isomorfos. La funcion f : R+ R dada por f (x) = log x es
un isomorfismo.
2. Si G es un grupo abeliano, la funcion f : G G dada por f (a) = a2 es
un endomorfismo. En general, f no es suprayectiva, ya que por ejemplo si
G = {a Z8 |(a, 8) = 1} = {1, 3, 5, 7} con el producto m
odulo 8, entonces
Im(f ) = {1}.
3. Sean G = Z con la suma usual y G = {1, 1} el subgrupo de R con el
producto usual. La funcion f : G G dada por:
1 si m es par,
f (m) =
1 si m es impar.
es un homomorfismo.
4. Sean G un grupo y a G. La funcion f : G G dada por f (x) = a1 xa
para todo x G, es un isomorfismo.
5. Sea G = R con la suma usual y sea G = C {0} con la multiplicaci
on usual.
La funcion f : G G dada por f (x) = cos x + i sen x es un homomorfismo
que no es inyectivo ni suprayectivo. Sin embargo, esto no significa que los
grupos G y G no sean isomorfos.
6. Sea G un grupo y sea A(G) el grupo {f : G G|f es biyectiva}. Para cada
a G definimos Ta : G G dada por Ta (x) = ax para todo x G. Es claro
que Ta A(G) y que Ta Tb = Tab para todo a, b G. Entonces, la funcion
f : G A(G) definida por f (a) = Ta , es un monomorfismo. En general f
no es suprayectiva, pues si |G| = n > 2, entonces |A(G)| = n! > n.
Teorema 1.5.3 (Teorema de Cayley). Todo grupo G es isomorfo a un subgrupo
de A(G). En particular, si G es finito de orden n, entonces G es isomorfo a un
subgrupo de Sn .
Demostraci
on. Del ejemplo anterior inciso 6, se sigue que la funcion f : G Im(f )
es un isomorfismo y es facil verificar que Im(f ) es un subgrupo de A(G). Luego, los
grupos G y Im(f ) son isomorfos. En particular, si |G| = n, entonces A(G)
= Sn
(vease el Ejercicio 8).
Proposici
on 1.5.4.
1. Si f : G G y g : G G son homomorfismos de
semigrupos, entonces g f : G G es un homomorfismo.
2. Si G y G son grupos con identidades e y e , respectivamente, y f : G G
es un homomorfismo, entonces f (e) = e y f (a1 ) = (f (a))1 para todo
a G.
Algebra
Moderna I y II
Demostraci
on.
1. Se deja al lector.
Demostraci
on.
1. Si a, b ker(f ), entonces f (a) = f (b) = e , de modo que
f (ab) = f (a)f (b) = e y por lo tanto ab ker(f ). Por otra parte, si a
ker(f ), entonces f (a) = e y por la Proposici
on 1.5.4 tenemos que f (a1 ) =
1
1
(f (a)) = e , de modo que a ker(f ).
2. Sean k ker(f ) y a G. Entonces f (k) = e y:
Algebra
Moderna I y II
Teorema 1.5.7. Todo grupo cclico infinito es isomorfo al grupo aditivo Z, y todo
grupo cclico finito de orden n es isomorfo al grupo aditivo Zn .
Demostraci
on. Supongamos que G = hai es infinito. Consideremos el mapeo :
Z G dado por k 7 ak (se deja de ejercicio demostrar que esta bien definido).
Demostraremos que es un isomorfismo. Tenemos que:
(k + l) = ak+l = ak al = (k)(l),
y as es un homomorfismo.
Ahora, si g G, entonces g = ak , para algun k Z, y por lo tanto (k) = g,
es decir, es epimorfismo. Por otra parte, si k ker(), entonces ak = e G y
por el Teorema 1.3.7 tenemos que k = 0. As, ker() = {0} y por lo tanto, es
monomorfismo. En consecuencia, es isomorfismo.
Supongamos ahora que G = hai es finito de orden n, y consideremos el mapeo
: Zn G dado por k 7 ak (se deja de ejercicio demostrar que esta bien
definido). Demostraremos que es un isomorfismo. Tenemos que:
(k + l) = ak+l = ak al = (k)(l),
y as es un homomorfismo. Ahora, si g G = {e, a, a2 , . . . , an1 }, entonces
g = ak para alg
un entero k tal que 0 k n 1, y por lo tanto (k) = g. As,
es epimorfismo y por lo tanto, isomorfismo (pues |Zn | = |G| = n).
1.5.1.
Ejercicios
Algebra
Moderna I y II
c) G
= Zp para algun primo p.
8. Sean X, Y dos conjuntos no vacos de la misma cardinalidad. Demuestre que
los grupos A(X) y A(Y ) son isomorfos.
9. Sea G un grupo finito con identidad e y sea un automorfismo de G con
la propiedad de que (x) = x si y s
olo si x = e. Demuestre que para cada
g G existe x G tal que g = x1 (x).
10. Sea G1 el grupo de los numeros reales distintos de 1 con la operaci
on
definida por a b = a + b + ab, y sea G2 el grupo multiplicativo de los
n
umeros reales distintos de 0. Demuestre que G1
= G2 .
11. Demuestre que un grupo infinito es cclico si y s
olo si es isomorfo a cada uno
de sus subgrupos propios.
1.6.
Algebra
Moderna I y II
Algebra
Moderna I y II
Demostraci
on.
1. Demostraremos primero que la operaci
on esta bien definida.
Es decir, si N a = N a y N b = N b , entonces N ab = N a b . Supongamos
que N a = N a y N b = N b . Entonces, a = na para algun n N y b = n b
para alg
un n N . Luego, a b = nan b = n(an a1 )ab. Como N G,
1
an a
N y as n(an a1 ) = n1 N . Luego, a b = n1 ab N ab y
por lo tanto, a b N ab N a b . Como dos clases laterales derechas no se
intersectan o son iguales, se sigue que N ab = N a b .
Una vez demostrado que la operaci
on esta bien definida, demostraremos que
se satisfacen los axiomas de grupo.
La cerradura se sigue de la definicion del producto en G/N .
Si N a, N b y N c son cualesquiera elementos de G/N , tenemos que:
(N a)((N b)(N c))
= (N a)(N bc)
= N (a(bc))
= N ((ab)c)
= (N ab)(N c)
= ((N a)(N b))(N c)
Algebra
Moderna I y II
Demostraci
on. Es facil ver que el mapeo esta bien definido y es suprayectivo. Por
otra parte, dados a, b G, tenemos que:
(ab) = N ab = (N a)(N b) = (a)(b)
y as, es un epimorfismo.
Finalmente, tenemos que:
ker() = {a G|(a) = N } = {a G|N a = N } = {a G|a N } = N.
Concluimos esta seccion con el Teorema de Cauchy para grupos abelianos.
Teorema 1.6.7 (Teorema de Cauchy: caso abeliano). Si G es un grupo abeliano
finito y p es un n
umero primo que divide a |G|, entonces G tiene un elemento de
orden p, y por lo tanto, un subgrupo de orden p.
Demostraci
on. Sea G un grupo abeliano finito. La prueba la haremos por induccion
en |G|. Si |G| = 1, entonces no existe tal p y el resultado es verdadero por vacuidad.
Supongamos que el resultado es cierto para todos los grupos abelianos de orden
menor que |G|.
Supongamos que G no tiene subgrupos no triviales. Por un ejercicio anterior, se
sigue entonces que G es cclico y de orden primo. Luego, necesariamente |G| = p
(pues p||G| y p, |G| son primos). Por lo tanto, todo elemento a 6= e en G satisface
que ap = e y en consecuencia, todo elemento de G es de orden p.
Supongamos entonces que G tiene un subgrupo no trivial N , es decir, {e} 6= N 6= G.
Si p divide a |N |, entonces podemos aplicar la hip
otesis de induccion a N , ya que
|N | < |G| (pues N 6= G) y N es abeliano y finito, de modo que existe un elemento
de orden p en N , y en consecuencia, en G, y el resultado queda establecido.
Supongamos entonces que p |N |. Como G es abeliano, tenemos que N G y por
lo tanto G/N es un grupo abeliano finito (pues G es abeliano finito). Como p||G|,
|G|
p |N | y |G/N | = |N
| , tenemos que p divide a |G/N |. Por otra parte, ya que
|G|
|N | > 1 (pues N 6= {e}), tenemos que |G/N | = |N
otesis
| < |G|. Luego, por la hip
de induccion, hay un elemento en G/N de orden p. Es decir, existe a G tal que
(N a)p = N . De aqu que N ap = N y por lo tanto, ap N . Ademas, es claro que
N a 6= N pues N a tiene orden p y N tiene orden 1. Luego, a 6 N .
Supongamos que |N | = m. Tenemos que m < |G| ya que N 6= G. Como ap N ,
tenemos que (ap )m = e, es decir, (am )p = e. Si demostramos que am 6= e,
entonces am sera un elemento de orden p buscado (por que?). Supongamos, por
contradicci
on, que am = e. Entonces, N am = N , de donde (N a)m = N . Luego,
o(N a) = p|m = |N |, lo cual es una contradicci
on. As, am es un elemento de orden
p en G, como queramos.
1.6.1.
Ejercicios
Algebra
Moderna I y II
Algebra
Moderna I y II
1.7.
Proposici
on 1.7.1. Si f : G G es un homomorfismo de grupos, N G y
N ker(f ), entonces existe un u
nico homomorfismo f : G/N G tal que
f (N a) = f (a) para todo a G, es decir, el siguiente diagrama es conmutativo:
f
// G
<<
zz
z
z
zz
zz f
G/N
G
f =f
Ademas:
1. Im(f ) = Im(f ) y ker(f ) = ker(f )/N .
2. f es un isomorfismo si y s
olo si f es un epimorfismo y N = ker(f ).
Demostraci
on. Sea f : G/N G dada por f (N a) = f (a) para todo a G.
Veamos que f esta bien definida. Supongamos que N a = N b. Como b N b =
N a, tenemos que b = na para algun n N , de modo que f (b) = f (na) =
f (n)f (a) = e f (a) = f (a) donde e es la identidad de G (pues N ker(f )).
Luego, f (N a) = f (a) = f (b) = f (N b) y as, f esta bien definida.
Por otra parte, tenemos que:
f (N aN b) = f (N ab) = f (ab) = f (a)f (b) = f (N a)f (N b),
de donde f es un homomorfismo.
Si g : G/N G es otro homomorfismo tal que g(N a) = f (a) para todo a G,
entonces f (N a) = g(N a) para todo a G, y por lo tanto g = f , es decir, f es
unico.
Es claro que Im(f ) = Im(f ). Por otro lado:
ker(f ) = {N a|f (N a) = e } = {N a|f (a) = e } = {N a|a ker(f )} = ker(f )/N.
Finalmente, ya que es un epimorfismo y f = f , es facil verificar que f es
un epimorfismo si y s
olo si f lo es. Luego, f es un isomorfismo si y s
olo si f es
epimorfismo y monomorfismo, si y s
olo si f es epimorfismo y ker(f ) = ker(f )/N
es el subgrupo trivial de G/N , es decir, ker(f )/N = {N }, pero esta igualdad es
cierta si y s
olo si ker(f ) = N .
Corolario 1.7.2 (Primer teorema de isomorfismo). Si f : G G es un homomorfismo de grupos, entonces f induce un isomorfismo
G/ ker(f )
= Im(f ).
Algebra
Moderna I y II
Demostraci
on.
f
// Im(f )
99
s
s
s
s
s
ss
sss f
G/ ker(f )
G
Algebra
Moderna I y II
// G
2
G/N
// G /M
f 1 = 2 f
olo si (Im(f ) M ) = G y f 1 (M ) N .
Ademas, f es un isomorfismo si y s
En particular, si f es un epimorfismo tal que f (N ) = M y ker(f ) N , entonces
f es un isomorfismo.
Demostraci
on. Observemos que N ker(2 f ), pues para cada n N , tenemos
que 2 (f (n)) = M f (n) = M (ya que f (N ) < M ). Luego:
N ker(2 f ) =
=
=
=
{a G|(2 f )(a) = M }
{a G|M f (a) = M }
{a G|f (a) M }
f 1 (M ).
Por la proposici
on anterior, el mapeo f : G/N G /M dado por N a 7 2 (f (a)) =
M f (a) para todo a G, es un homomorfismo, y es un isomorfismo si y s
olo si 2 f
es un epimorfismo y N = ker(2 f ). Como N = ker(2 f ) ker(2 f )
N f 1 (M ) N , basta demostrar que 2 f es un epimorfismo si y s
olo si
(Im(f ) M ) = G .
Supongamos que 2 f es suprayectiva. Como Im(f ) M < G , basta demostrar
que G Im(f ) M . Sea x G . Como M x G /M y 2 f es suprayectiva, existe a G tal que (2 f )(a) = M x, es decir, M f (a) = M x. Luego,
f (a)x1 = m para alg
un m M , y por lo tanto x = m1 f (a) Im(f ) M .
Algebra
Moderna I y II
1G
G/K
// G
2
// G/H
Algebra
Moderna I y II
Algebra
Moderna I y II
Definici
on 1.7.10. Si G y G son grupos con operaciones y , respectivamente,
entonces el producto directo de G y G es el grupo G G con la operaci
on definida
por (a, a )(b, b ) = (a a , b b ). La asociatividad de la operaci
on en G G se
hereda de la asociatividad de las operaciones y . Si e y e son las identidades
de G y G , respectivamente, es facil ver que (e, e ) es la identidad de G G , y el
inverso de (a, a ) G G es (a1 , a1 ).
Definici
on 1.7.11. Sea G un grupo. Si los unicos subgrupos normales de G son
{e} y G, entonces decimos que G es simple.
1.7.1.
Ejercicios
f ) Demuestre que el inciso anterior es falso para grupos infinitos, considerando el grupo G = GL2 (C) y el subgrupo propio H de las matrices
triangulares superiores.
2. Sean G un grupo y H < G. Para cada b G, sea Tb : G/H G/H
el mapeo dado por Tb (Ha) = Hab1 . (G/H es el conjunto de las clases
laterales derechas de H en G).
a) Demuestre que el mapeo : G A(G/H) dado por (b) = Tb para
todo b G, es un homomorfismo.
Algebra
Moderna I y II
// G
// B una sucesi
10. Sea A
on exacta corta de grupos, es decir, f
es un monomorfismo, g es un epimorfismo y ker(g) = Im(f ). Si A y B son
grupos simples y N es un subgrupo propio normal no trivial de G, demuestre
que N
=AoN
= B. (Sugerencia: Segundo teorema de isomorfismo.)
1.8.
Acciones de grupos
Algebra
Moderna I y II
2. Tenemos que:
ker() = {b G|Hab1 = Ha a G}.
Por resultados previos sabemos que ker() G. Veamos que ker() H.
En efecto, si b ker() entonces Hab1 = Ha para todo a G. Luego,
en particular Heb1 = Hb1 = H de donde b1 H y en consecuencia
b H. Finalmente, supongamos que N es un subgrupo normal de G que
esta contenido en H. Si n N y a G, entonces an1 a1 N H, de
modo que Han1 a1 = H. Por lo tanto, Han1 = Ha para todo a G,
de manera que n ker().
3. Demostraremos, de manera equivalente, que si no es un homomorfismo
inyectivo, entonces H contiene un subgrupo normal de G distinto de {e}. En
efecto, si no es un homomorfismo inyectivo, entonces ker() 6= {e}. Luego,
ker() es un subgrupo normal no trivial de G que esta contenido en H por
el punto anterior.
Algebra
Moderna I y II
Algebra
Moderna I y II
Ejemplo 1.8.7. Cuando GL2 (R) actua de la manera usual sobre R2 , la orbita del
vector ( 00 ) es {( 00 )} ya que A ( 00 ) = ( 00 ) para todo A GL2 (R); mientras que el
estabilizador del vector ( 00 ) es GL2 (R). Cual es la orbita del vector ( 10 )? Cual es
su estabilizador?
Teorema 1.8.8 (Formula orbita-estabilizador). Si un grupo G actua sobre un conjunto S, entonces |Ox | = (G : Gx ) para todo x S.
Demostraci
on. Sea x S. Tenemos que Ox = {a x|a G} y G/Gx = {Gx a|a
G}. Sea f : G/Gx Ox definida por Gx a 7 a1 x. Veamos que f esta bien
definida. Sean a, b G tales que Gx a = Gx b. Entonces:
Gx a = Gx b ab1 Gx ab1 x = x b1 x = a1 x f (Gx a) = f (Gx b).
As, f esta bien definida y es inyectiva. Ademas, es claro que f es suprayectiva. Por
lo tanto, f es biyectiva y |Ox | = |G/Gx | = (G : Gx ).
Ejemplo 1.8.9. Veremos una aplicaci
on bella de la formula orbita-estabilizador,
|H||K|
para cualesquiera subgrupos H y K de un grupo
demostrando que |HK| = |HK|
finito G.
Para contar el n
umero de elementos del conjunto HK = {hk|h H, k K},
hagamos actuar al grupo H K sobre el conjunto HK de la siguiente manera:
(h, k)x = hxk 1 . Se deja al lector verificar que este mapeo es una accion. Observe
que HK = Oe , ya que e = ee HK y hk = (h, k 1 ) e. Luego, aplicando la
f
ormula
orbita-estabilizador, tenemos que:
|Oe | = |HK| =
|H K|
|H||K|
=
.
|(H K)e |
|{(h, k)|(h, k) e = e}|
Algebra
Moderna I y II
1. Si G act
ua sobre s mismo por conjugaci
on, entonces:
a) El n
umero de elementos en la clase de conjugaci
on de x G es igual a
(G : CG (x)), el cual divide a |G|.
n
X
(G : CG (xi )) Ecuaci
on de clase.
i=1
2. Si K < G, entonces el n
umero de subgrupos de G conjugados a K es (G :
NG (K)), el cual divide a |G|. (Dos subgrupos H y N de G son conjugados
si N = aHa1 para alg
un a G.)
Demostraci
on.
1. a) Por el teorema anterior tenemos que |Ox | = (G : Gx )
donde Gx = {a G|axa1 = x} = CG (x). Luego, |Ox | = (G :
CG (x)). Como G es finito, tenemos que (G : CG (x)) = |C|G|
, es
G (x)|
decir, (G : CG (x)) |CG (x)| = |G|, de donde se sigue que (G : CG (x))
divide a |G|.
b) Como la conjugaci
on es una relaci
on de equivalencia sobre G, tenemos
que G es una uni
on disjunta de clases de conjugaci
on. Sean Ox1 , . . . , Oxn ,
con xi G, las distintas clases de conjugaci
on. Entonces, por lo demostrado en el inciso 1, tenemos que |Oxi | = (G : CG (xi )) para todo
i = 1, . . . , n, y por lo tanto:
|G| =
n
X
i=1
|Oxi | =
n
X
(G : CG (xi )).
i=1
Algebra
Moderna I y II
Demostraci
on. Como Z(G) < G y G es finito, el Teorema de Lagrange implica que
|Z(G)| divide a |G|. Luego, |Z(G)| = pb para algun entero b 0. As que s
olo
faltara demostrar que b 6= 0.
Seg
un la ecuacion de clase, tenemos que:
|G| =
n
X
(G : CG (xi ))
i=1
l
X
(G : CG (xj ))
j=1
donde (G : CG (xj )) > 1 para todo j = 1, . . . , l. Luego, p|(G : CG (xj )) para todo
j = 1, . . . , l (pues |Oxj | = (G : CG (xj )) > 1 es divisor de |G| = pa ). Por lo
Pl
tanto, p es divisor de |G| j=1 (G : CG (xj )) = |Z(G)| de donde se sigue que
|Z(G)| > 1. As, b 6= 0.
Teorema 1.8.12. Sea G un grupo finito con |G| > 1 y sea p el menor divisor primo
de |G|. Entonces, todo subgrupo de G de ndice p es normal en G.
Demostraci
on. Sea H un subgrupo de G de ndice p, es decir, |G/H| = p. Demostraremos que H G, mostrando que H es el kernel de un homomorfismo. Hagamos
actuar a G sobre el conjunto de las clases laterales derechas G/H, de la siguiente
manera (b, Ha) 7 Hab1 . De acuerdo con la Proposici
on 1.8.1, esta accion induce
un homomorfismo f : G A(G/H) dado por f (b) = Tb , donde la permutaci
on
Tb A(G/H) esta definida por Tb (Ha) = Hab1 .
Como |G/H| = p, tenemos que A(G/H)
= Sp . Luego, si K es el kernel del homomorfismo f , el Primer teorema de isomorfismo implica que G/K es isomorfo a un
subgrupo de Sp . Luego, por el Teorema de Lagrange, |G/K| divide a p!.
Por otro lado, de acuerdo con la Proposici
on 1.8.1, tenemos que K H, de modo
que K < H < G. Por lo tanto:
|G/K| = (G : K) = (G : H)(H : K) = p (H : K).
Se sigue entonces que (H : K) divide a (p 1)!. Como (H : K) tambien es divisor
de |G|, su divisor primo mas pequeno debe ser mayor o igual que p. Pero esto no
puede ser, porque (H : K) divide a (p 1)!. Por lo tanto, (H : K) no tiene divisores
primos. Luego, (H : K) = 1 o bien |H| = |K|, y de aqu H = K (pues K H
y |H| = |K| es finito). As, H es el kernel del homomorfismo f y por lo tanto,
H G.
Algebra
Moderna I y II
Algebra
Moderna I y II
k (a1 , a2 , . . . , ap ) = (a1 , a2 , . . . , ap ) k Zp
(a1+k , a2+k , . . . , ap , a1 , . . . , ak ) = (a1 , . . . , ap ) k Zp
a1 = a1+k , a2 = a2+k , . . . , ap = ak k Zp
a1 = a2 = = ap .
Luego, tenemos que (e, e, . . . , e) S0 y de aqu, |S0 | 6= 0. Por otra parte, si hacemos
G = Zp en el teorema anterior, tenemos que 0 |S| |S0 | (m
od p). As, |S0 | 6= 0
y |S0 | 0 (m
od p), de donde se sigue que en S0 hay al menos p elementos. Luego,
existe a G, con a 6= e, tal que (a, a, . . . , a) S0 S, de modo que ap = e.
Como p es primo, se sigue que |a| = p. Es decir, a es un elemento de orden p en
G.
1.8.1.
Ejercicios
1.9.
Algebra
Moderna I y II
Demostraci
on. Si G = {e} no hay nada que demostrar. Supongamos entonces que
G 6= {e}.
() : Si |G| no es una potencia de p, entonces existe un numero primo q tal que
q 6= p y q | |G|. Luego, por el Teorema de Cauchy, G tiene un elemento de orden q,
lo que es una contradicci
on, pues q no es potencia de p.
() : Si |G| = pm para alg
un entero m 1, entonces por el Teorema de Lagrange,
para cada g G, con g 6= e, existe a(g) entero positivo tal que |g| = pa(g) , de
donde se sigue que G es un p-grupo.
Lema 1.9.3. Si H es un p-subgrupo de un grupo finito G, entonces:
(NG (H) : H) (G : H) (m
od p).
Demostraci
on. Hagamos actuar al subgrupo H sobre el conjunto G/H de las clases
laterales derechas de H en G como sigue:
(h, Hx) 7 Hxh1 .
Como G es finito, tenemos que |G/H| = (G : H) tambien es finito.
Recordando que S0 es el conjunto de los elementos de G/H que quedan fijos bajo
la accion, tenemos que S0 = {Hx|Hxh1 = Hx h H}. Luego:
Hx S0
Hxh1 = Hx h H
xhx1 H h H
xHx1 H
de donde |S0 | = (NG (H) : H). El resultado se sigue aplicando el Teorema 1.8.13.
Corolario 1.9.4. Si H es un p-subgrupo de un grupo finito G tal que p|(G : H),
entonces NG (H) 6= H.
Demostraci
on. Por el lema anterior, tenemos que:
0 = (G : H) (NG (H) : H) (m
od p).
Por otra parte, tenemos que (NG (H) : H) 1, pues H NG (H)/H. Luego,
(NG (H) : H) > 1 y por lo tanto, NG (H) 6= H (observe que (NG (H) : H) = 1
NG (H) = H, si NG (H) es finito).
Teorema 1.9.5 (Primer teorema de Sylow). Sea G un grupo de orden pn m con
n 1, p n
umero primo y (p, m) = 1. Entonces G contiene un subgrupo de orden
pi para cada 1 i n, y cada subgrupo de G de orden pi , con i < n, es normal
en alg
un subgrupo de orden pi+1 .
Algebra
Moderna I y II
Demostraci
on. Procederemos por induccion sobre i.
Caso base: i = 1. Como p divide a |G|, por el Teorema de Cauchy G tiene un
elemento de orden p, y en consecuencia G contiene un subgrupo de orden p. Basta
demostrar entonces que cada subgrupo H de G de orden p (con n > 1) es normal en
n
|G|
= p pm = pn1 m y n 1 > 0,
alg
un subgrupo de orden p2 . Como (G : H) = |H|
tenemos que p divide a (G : H). Luego, por el corolario anterior, tenemos que
H 6= NG (H), y por el lema anterior tenemos que (NG (H) : H) 0 (m
od p). Sea
N1 = NG (H). Como H N1 (pruebese!), segun el Teorema de Cauchy tenemos
que el grupo N1 /H tiene un elemento de orden p, y por lo tanto N1 /H contiene
un subgrupo H1 de orden p. Luego, por el Corolario 1.7.9, H1 = N2 /H donde
N2 es un subgrupo de N1 y N2 contiene a H. Entonces, p = |H1 | = |N2 /H| =
|N2 |/|H| = |N2 |/p de donde se sigue que |N2 | = p2 . As, H es un subgrupo normal
de N2 (pues H1 = N2 /H es un grupo) y el orden de N2 es p2 .
Supongamos que G contiene un subgrupo H de orden pb con b < n.
n
|G|
= ppbm = pnb m y n b > 0, tenemos que (G : H) 0
Como (G : H) = |H|
(m
od p). Luego, por el lema anterior (NG (H) : H) 0 (m
od p), y por el Teorema
de Cauchy, el grupo NG (H)/H contiene un subgrupo de orden p. Nuevamente por
el Corolario 1.7.9, dicho subgrupo es de la forma H /H donde H es un subgrupo de
NG (H) que contiene a H. As, H H y |H | = |H| |H /H| = pb p = pb+1 .
Definici
on 1.9.6. Un subgrupo P de un grupo G es un p-subgrupo de Sylow si
P es un p-subgrupo de G maximal en el sentido de que si P < H < G con H
p-grupo, entonces P = H.
Corolario 1.9.7. Sea G un grupo de orden pn m con p numero primo, n 1 y
(m, p) = 1. Sea H un p-subgrupo de G.
1. H es un p-subgrupo de Sylow de G si y s
olo si |H| = pn .
2. Cada conjugado de un p-subgrupo de Sylow es un p-subgrupo de Sylow.
3. Si P es el
unico p-subgrupo de Sylow de G, entonces P G.
Demostraci
on.
1. Sea H un p-subgrupo de Sylow de G. Como H es un p-grupo,
tenemos que |H| es una potencia de p segun la Proposici
on 1.9.2. Si |H| < pn ,
entonces por el Primer teorema de Sylow H es normal en un subgrupo H de
G de orden pa+1 donde |H| = pa con a < n. Entonces, H es un p-grupo tal
que H < H < G, y por la maximalidad de H se sigue que H = H , lo que
es una contradicci
on, pues |H| = pa y |H | = pa+1 . Por lo tanto, |H| = pn .
Recprocamente, supongamos que |H| = pn y sea P un p-grupo tal que
H < P < G. Por la Proposici
on 1.9.2 tenemos que |P | = pk con k n.
Supongamos que k > n. Como pn m = |G| = (G : P ) |P | = (G : P ) pk ,
tenemos que m = (G : P )pkn con k n > 0. Luego, p|m lo que contradice
el hecho de que (m, p) = 1. Por lo tanto, k = n y P = H, es decir, H es un
p-subgrupo de Sylow de G.
Algebra
Moderna I y II
P = P xhx1 h H
xhx1 P h H
xHx1 < P
H < x1 P x.
Algebra
Moderna I y II
Q
=
P
.
Por
lo
tanto,
S
=
{P
}.
Finalmente, de
0
0
0
0
acuerdo con el Teorema 1.8.13 tenemos que |S| |S0 | (m
od p), es decir, np =
pk r 1 (m
od p). Luego, la unica posibilidad es k = 0 y de aqu, np = r.
Ejemplo 1.9.10. Todo grupo de orden 15 es cclico, es decir, es isomorfo a Z15 .
En efecto, sea G un grupo de orden 15. Aplicando el Tercer teorema de Sylow,
tenemos que n3 |5 y n3 1 (m
od 3). Luego, es facil ver que la unica posibilidad es
n3 = 1. Por lo tanto, G tiene un unico 3-subgrupo de Sylow H el cual es normal en
G y |H| = 3. De manera analoga, tenemos que n5 |3 y n5 1 (m
od 5), de donde
n5 = 1. As, G tiene un unico 5-subgrupo de Sylow K el cual es normal en G y
|K| = 5. Como K H es subgrupo de H y de K, el Teorema de Lagrange implica
que |K H| = 1 y por lo tanto |HK| = |H||K|
|HK| = 15. Como HK G, se sigue
que HK = G. Por otra parte, como los ordenes de H y K son numeros primos,
ambos grupos son cclicos y en consecuencia abelianos. Ademas, segun el Ejemplo
5 de los Ejemplos 1.6.3 tenemos que hk = kh para todo h H y k K. Esto
implica que G = HK tambien es abeliano (pruebese!), y por el Ejercicio 10 de la
Secci
on 1.3 se sigue que G tiene un subgrupo cuyo orden es igual a 3 5 = 15, lo
que significa que G es cclico.
En el ejemplo anterior, se ha demostrado implcitamente que ningun grupo de orden
15 es simple. Veamos tres aplicaciones mas de los Teoremas de Sylow para demostrar
que ciertos grupos finitos no son simples.
Proposici
on 1.9.11. Si G es un grupo de orden n = pq a con p y q numeros primos
tales que p < q y a 1, entonces G no es simple.
Demostraci
on. Aplicando el Tercer teorema de Sylow, tenemos que nq |p y nq 1
(m
od q). Como p < q, la unica posibilidad es que nq = 1. Luego, G tiene un unico
q-subgrupo de Sylow Q, y por lo tanto Q G. Como |Q| = q a (ver el corolario
anterior), tenemos que Q es un subgrupo propio normal no trivial de G, lo que
significa que G no es simple.
El resultado anterior se puede generalizar si hay un primo que domina al orden
del grupo.
Proposici
on 1.9.12. Sea G un grupo de orden pa m con p numero primo, (m, p) =
1, a 1 y m > 1. Si p > m, entonces G no es simple.
Algebra
Moderna I y II
Demostraci
on. Demostraremos que G tiene un unico p-subgrupo de Sylow. En efecto, supongamos que G tiene dos p-subgrupos de Sylow distintos K y L. Entonces,
|K| = |L| = pa , y en consecuencia |K L| = pb (pues K L es subgrupo de K).
2ab
. Como
Como K 6= L, tenemos que b < a. De aqu que |KL| = |K||L|
|KL| = p
2ab
a
KL G, tenemos que |KL| |G|, es decir, p
p m, de donde pab m.
Luego, p pab m < p lo que es una contradicci
on. Por lo tanto, G tiene un
unico p-subgrupo de Sylow, el cual es normal en G (ver Corolario 1.9.7) y es distinto
de {e} y de G, lo que significa que G no es simple.
Concluimos esta seccion demostrando que ningun grupo de orden 12 es simple. Como 12 = 22 3, el Tercer teorema de Sylow nos dice que n3 = 1 o 4, y que n2 = 1
o 3.
Si G es simple, entonces n3 = 4. Sean K y L 3-subgrupos de Sylow distintos.
Entonces, |K| = |L| = 3. Por el Teorema de Lagrange, |K L| = 1 o 3. Como
K 6= L, la
unica posibilidad es |K L| = 1, de donde K L = {e}. Por lo tanto,
cualesquiera dos de los cuatro 3-subgrupos de Sylow de G se intersectan s
olo en
la identidad e, de modo que cada uno de ellos (cada uno tiene orden 3) tiene 2
elementos de orden 3. Es decir, entre los cuatro hay 8 elementos de orden 3.
Por otra parte, como G es simple, tenemos tambien que n2 = 3. Sean H y N 2subgrupos de Sylow distintos. Entonces, |H| = |N | = 22 = 4. Nuevamente, por el
Teorema de Lagrange |H N | = 1, 2 o 4. Como H 6= N , tenemos que |H N | 6= 4.
Si |H N | = 1, entonces G tendra al menos 6 elementos de orden 2 o 4, que junto
con los 8 elementos de orden 3 y la identidad, G tendra al menos 8 + 6 + 1 = 15
elementos, lo que es una contradicci
on. Finalmente, si |H N | = 2, entonces G
tendra por lo menos 5 elementos de orden 2 o 4, que junto con los 8 elementos de
orden 3 y la identidad, G tendra por lo menos 8 + 5 + 1 = 14 elementos, lo que es
una contradicci
on. Por lo tanto, G no es simple.
Ejercicio. Demuestre que ning
un grupo de orden 28 es simple.
1.9.1.
Ejercicios
Algebra
Moderna I y II
5. Sea G un grupo finito tal que |G| = pn m donde p es un numero primo que
no divide a m. Sea P un p-subgrupo de Sylow de G y sea H un subgrupo de
G que contiene a P . Demuestre que P es un p-subgrupo de Sylow de H.
6. Cuantos elementos de orden 7 tiene un grupo simple de orden 168? Justifique
su respuesta.
7. Sea G un grupo finito y sea H G tal que |H| = pk con p numero primo.
Demuestre que H esta contenido en cada p-subgrupo de Sylow de G.
8. Sea G un grupo finito. Si P es un p-subgrupo de Sylow de G tal que P G y
f : G G es un homomorfismo, demuestre que f (P ) es un subgrupo de P .
9. Sea G un grupo finito. Si P es un p-subgrupo de Sylow de G y P G,
demuestre que P es el unico p-subgrupo de Sylow de G.
10. Sea G un grupo finito tal que |G| = pn con p numero primo y n 1.
Demuestre que para cada entero k, con 0 k n, G contiene un subgrupo
normal de orden pk .
11. Sea G un grupo de orden p2 q con p y q numeros primos distintos. Demuestre
que G no es simple.
12. Sea G un grupo de orden pqr con p, q, r numeros primos tales que p < q < r.
Demuestre que G contiene un subgrupo de Sylow normal en G para algun
p, q o r.
Algebra
Moderna I y II
Captulo 2
Teora de Anillos
2.1.
Anillos y propiedades b
asicas
Definici
on 2.1.1.
1. Un anillo R es un un conjunto junto con dos operaciones
binarias + y (llamadas suma y multiplicaci
on) que satisfacen los siguientes
axiomas:
a) (R, +) es un grupo abeliano,
b) a, b, c R, (a b) c = a (b c),
c) a, b, c R, (a + b) c = (a c) + (b c) y (a (b + c) = (a b) + (a c).
2. R es conmutativo si a, b R, a b = b a.
3. R tiene unitario 1 si existe un elemento 1 R tal que 1 a = a = a 1 para
todo a R. (Z es un anillo con unitario y 2Z es un anillo sin unitario, con
las operaciones usuales de suma y multiplicaci
on).
Escribiremos ab en lugar de a b para a, b R.
La condici
on sobre R de ser un grupo con la suma es un tanto natural, sin embargo
parece no ser tan natural pedir que este grupo sea abeliano. Una motivacion de esto
se debe a que si R tiene 1, la conmutatividad de la suma es forzada por las leyes
distributivas, como veremos a continuacion.
Si R tiene unitario 1, entonces:
(1 + 1)(a + b) =
=
=
1(a + b) + 1(a + b)
1a + 1b + 1a + 1b
a + b + a + b,
49
y
(1 + 1)(a + b) =
=
=
(1 + 1)a + (1 + 1)b
1a + 1a + 1b + 1b
a + a + b + b.
Luego:
a + b + a + b = a + a + b + b b + a = a + b.
Definici
on 2.1.2. Un anillo R con unitario 1, donde 1 6= 0, es un anillo de division
si cada elemento distinto de 0, a R, tiene un inverso multiplicativo, es decir,
existe b R tal que ab = ba = 1. Un anillo conmutativo de division es un campo.
Ejemplos 2.1.3.
1. Z con las operaciones de suma y multiplicaci
on usuales es
un anillo con unitario.
2. Q, R y C con las operaciones usuales de suma y multiplicaci
on son anillos
con unitario.
3. (Los cuaterniones reales) Sea H la coleccion de los elementos de la forma
a + bi + cj + dk donde a, b, c, d R, con la suma definida por componentes
de la siguiente manera:
(a+bi+cj+dk)+(a +b i+c j+d k) = (a+a )+(b+b )i+(c+c )j+(d+d )k
y la multiplicaci
on se define expandiendo (a+ bi + cj + dk)(a + b i + c j + d k)
usando la ley distributiva y simplificando usando las relaciones:
i2 = j 2 = k 2 = 1, ij = ji = k, jk = kj = i, ki = ik = j,
donde los n
umeros reales conmutan con i, j, k. Por ejemplo:
(1 + i + 2j)(j + k) = 1(j + k) + i(j + k) + 2j(j + k)
= j + k + ij + ik + ik + 2j 2 + 2jk
= j + k + k + (j) + 2(1) + 2i = 2 + 2i + 2k.
Se deja al lector verificar que H es un anillo no conmutativo con unitario
(1 = 1 + 0i + 0j + 0k). De manera analoga se puede definir el anillo de los
cuaterniones racionales, considerando a, b, c, d numeros racionales. Los cuaterniones reales y racionales son ambos anillos de division, donde los inversos
de los elementos distintos de cero estan dados por:
(a + bi + cj + dk)1 =
a bi cj dk
.
a2 + b2 + c2 + d2
Proposici
on 2.1.4. Si R es un anillo, entonces:
1. 0a = a0 = 0 para todo a R.
Algebra
Moderna I y II
1. 0a = (0 + 0)a = 0a + 0a 0a = 0.
= (x + y)2 = x2 + xy + yx + y 2
= x + xy + yx + y
= 0.
Algebra
Moderna I y II
Definici
on 2.1.8. Un anillo conmutativo con unitario 1 6= 0 se llama dominio entero
si no tiene divisores de cero.
Z es un dominio entero que no es campo.
Proposici
on 2.1.9. Todo dominio entero finito es un campo.
Demostraci
on. Si R es un dominio entero finito y a R, a 6= 0, definimos la funcion
f : R R dada por f (x) = ax. Esta funcion es inyectiva (ejercicio). Como R es
finito, f tambien es suprayectiva. Luego, dado 1 R, existe b R tal que ab = 1.
Como R es conmutativo, ba = ab = 1. Por lo tanto, R es un campo.
Definici
on 2.1.10. S R es un subanillo de un anillo R si S es un subgrupo de
R que es cerrado bajo la multiplicaci
on, es decir, si para cualesquiera a, b S, se
tiene que a b S y ab S.
Ejemplos 2.1.11.
Si R y S son anillos, entonces el producto de anillos R S es un anillo con las operaciones de suma y multiplicaci
on por componente. Ademas, R S es conmutativo
si y s
olo si R y S son conmutativos. Tambien, R S tiene unitario si y s
olo si R y
S tienen unitarios.
El centro de un anillo R:
C(R) = {r R|rs = sr s R}
es un subanillo de R.
2.1.1.
Ejercicios
Algebra
Moderna I y II
2.2.
Definici
on 2.2.1. Sean R y S anillos.
1. Un homomorfismo de anillos es un mapeo f : R S que satisface:
a) f (a + b) = f (a) + f (b) para todo a, b R.
Algebra
Moderna I y II
|m+l|=(m+l)=ml=|m|l
(1) + + (1) + 1| + {z
+ 1}
|
{z
}
l
|m|
m1 + l1 = f (m) + f (l)
(m + l)1 = 1 + 1 + + 1
{z
}
|
m+l=l|m|
|m|
f (l) + f (m).
= m(1 a) = 1 a + 1 a + + 1 a
{z
}
|
m
= (1 + 1 + + 1)a
{z
}
|
m
= (m1)a = 0a = 0
Algebra
Moderna I y II
Algebra
Moderna I y II
Proposici
on 2.2.7. Sean R un anillo y J un subanillo de R. Entonces R/J con
las operaciones (a + J) + (b + J) = (a + b) + J y (a + J)(b + J) = ab + J es un
anillo si y s
olo si J es un ideal de R. A este anillo R/J se le llama anillo cociente.
Demostraci
on. (): Sea J un ideal de R. Demostraremos que el producto (a +
J)(b + J) = ab + J en R/J esta bien definido. En efecto, supongamos que a + J =
a + J y b + J = b + J. Debemos demostrar que (a + J)(b + J) = (a + J)(b + J),
es decir que ab + J = a b + J.
De la igualdad a + J = a + J tenemos que a a J, de modo que (a a )b J
ya que J es ideal de R. De manera analoga, de la igualdad b + J = b + J tenemos
que b b J y por lo tanto a (b b ) J ya que J es ideal de R. Luego,
(a a )b = ab a b J y a (b b ) = a b a b J, de donde:
(ab a b) + (a b a b ) = ab a b J.
Por lo tanto, ab + J = a b + J.
Ahora es facil verficar que se satisfacen los axiomas de anillo con este producto.
(): Supongamos que R/J es un anillo con las operaciones (a + J) + (b + J) =
(a + b) + J y (a + J)(b + J) = ab + J. Demostraremos que J es ideal de R. En
efecto, sean r R y x J. Tenemos que:
(r + J)J = (r + J)(0 + J) = r0 + J = 0 + J = J.
Como x + J = J y el producto esta bien definido, tenemos que (r + J)J =
(r + J)(x + J), es decir, J = rx + J de donde rx J. As, rJ J para todo
r R. De manera analoga se demuestra que Jr J para todo r R.
Teorema 2.2.8. Si f : R S es un homomorfismo de anillos e I es un ideal de
R, entonces el mapeo : R R/I dado por r 7 r + I es un homomorfismo de
anillos suprayectivo con kernel I. (El mapeo se llama proyecci
on canonica).
Demostraci
on. Por el teorema analogo en grupos, el mapeo es un homomorfismo
suprayectivo de grupos con kernel I. Como (ab) = ab + I = (a + I)(b + I) =
(a)(b) para todo a, b R, se sigue que es un homomorfismo de anillos.
Teorema 2.2.9. Si f : R S es un homomorfismo de anillos e I es un ideal de R
contenido en ker(f ), entonces existe un unico homomorfismo de anillos f : R/I
S tal que f (a + I) = f (a) para todo a R, es decir, el siguiente diagrama es
conmutativo:
f
// S
>>
||
|
|
||
|| f
R/I
R
f =f
olo si f
Ademas, Im(f ) = Im(f ), ker(f ) = ker(f )/I y f es un isomorfismo si y s
es un homomorfismo suprayectivo con kernel I.
Algebra
Moderna I y II
Demostraci
on. Se sigue del teorema analogo de grupos. S
olo falta ver que f es
homomorfismo de anillos. En efecto:
f ((a + I)(b + I)) = f (ab + I) = f (ab) = f (a)f (b) = f (a + I)f (b + I).
Algebra
Moderna I y II
2.2.1.
Ejercicios
Algebra
Moderna I y II
2.3.
Proposici
on 2.3.1 (Criterio de ideal). Sea R un anillo. Entonces, I R es un
ideal de R si y s
olo si se satisfacen las siguientes dos condiciones:
1. a b I para todo a, b I;
2. rI I y Ir I para todo r R.
Demostraci
on. Ejercicio.
Proposici
on 2.3.2. Si {Ai |i I} es
\una familia de ideales (bilaterales, izquierdos o
derechos) en un anillo R, entonces
Ai es un ideal (bilateral, izquierdo o derecho)
iI
en R.
Demostraci
on. Ejercicio.
Algebra
Moderna I y II
Definici
on 2.3.3. Sea X un subconjunto de un anillo R.\
Sea {Ai |i I} la familia
de todos los ideales en R que contienen a X. Entonces,
Ai es el ideal generado
iI
por X, y se denota por (X). Los elementos de X son los generadores del ideal
(X). Si X = {x1 , . . . , xn }, entonces el ideal (X) se denota por (x1 , . . . , xn ) y se
dice finitamente generado. Un ideal (x) generado por un s
olo elemento se llama
ideal principal. Un anillo en el cual cada ideal es principal se llama anillo de ideales
principales. Si un anillo de ideales principales es un dominio entero, entonces se
llama dominio de ideales principales (DIP).
Ejemplos 2.3.4.
1. Z es un DIP.
m
X
ri asi ,
i=1
con r, s, ri , si R, n Z y m Z+ .
2. Si R tiene unitario, entonces:
)
( n
X
+
.
ri asi |ri , si R, n Z
(a) =
i=1
Algebra
Moderna I y II
Demostraci
on.
I=
1. Sea:
(
ra + as + na +
m
X
i=1
ri asi |r, s, ri , si R, n Z, m Z
(ra + as + na +
i=1
m
X
i=1
ri asi ) (r a + as + n a +
(r r )a + a(s s ) + (n n )a +
+
m
X
ra + as + na +
m
X
i=1
m
X
ri asi )
i=1
(ri ri )asi +
ri a(si si ) I,
m
X
ri asi
i=1
= r ra + r as + (nr )a +
m
X
(r ri )asi I
m
X
ri a(si r ) I,
i=1
y
ra + as + na +
m
X
i=1
ri asi
i=1
Algebra
Moderna I y II
ri asi =
n
X
n
X
ri si a =
i=1
i=1
i=1
ri si
a Ra,
Sea I =
n
X
i=1
n
X
i=1
ri ai
m
X
rj aj =
j=1
n
X
ri ai +
i=1
m
X
j=1
(rj )aj I
i=1
n
X
i=1
ri ai r =
n
X
i=1
i=1
(ri r)ai I,
donde la
ultima igualdad se sigue de que ai C(R). Esto prueba que I es
un ideal de R.
Algebra
Moderna I y II
X
a1j a2j akj | aij Ai , n Z+ .
2. A1 A2 Ak =
j=1
Teorema 2.3.7. Sea R un anillo y sean A1 , . . . , Ak , B, C ideales (bilaterales, izquierdos o derechos) de R. Entonces:
1. A1 + A2 + + Ak y A1 A2 Ak son ideales (bilaterales, izquierdos o derechos) de R.
2. (A + B) + C = A + (B + C).
3. (AB)C = A(BC).
4. (A1 + +Ak )B = A1 B + +Ak B y C(A1 + +Ak ) = CA1 + +CAk .
Demostraci
on. Demostraremos s
olo el primer inciso para ideales izquierdos y dejaremos de ejercicio al lector la demostracion de los otros incisos.
Sea I = A1 + A2 + + Ak . Ya que 0 Ai , P
tenemos que 0 P
I, de modo que
k
k
I 6= . Sean , I y r R. Entonces, = i=1 ai y = i=1 ai , de donde
Pk
= i=1 (ai ai ). Cada ai ai Ai ya que Ai es un ideal. De manera
Pk
analoga, r = i=1 (rai ) y cada rai Ai . Luego, I y r I, de donde
se sigue que I es ideal izquierdo de R.
Sea J = A1 A2 Ak . Ya que 0 AiP
, tenemos que 0 J, de donde
Pk J 6= . Sean
k
(a akj ),
(a
a
)
y
=
, J y r R. Entonces =
kj
j=1 1j
j=1 1j
Pk
de donde = j=1 a1j (a2j akj + (a1j )(a2j akj ) J. De manera
Pk
analoga, r = j=1 (ra1j )(a2j akj ). Cada raij Ai , de donde r J. Luego,
J es un ideal izquierdo de R.
Definici
on 2.3.8. Un ideal P en un anillo R es llamado primo si P 6= R y para
cualesquiera ideales A y B de R se tiene que:
AB P A P o B P.
A continuaci
on daremos una caracterizacion muy util para ideales primos.
Algebra
Moderna I y II
(2.1)
ab + P = P ab P
aP bP
a + P = P b + P = P,
y por lo tanto R/P es un dominio entero.
() : Si R/P es un dominio entero, entonces 1 + P 6= P (recuerde la definicion
de dominio entero), es decir, 1 6 P , y por lo tanto P 6= R. Como R/P no tiene
divisores de cero, tenemos que:
ab P
ab + P = P (a + P )(b + P ) = P
a+P =P b+P =P
a P b P,
Algebra
Moderna I y II
Algebra
Moderna I y II
Algebra
Moderna I y II
Algebra
Moderna I y II
2.3.1.
Ejercicios
Algebra
Moderna I y II
11. Sea R = {a + b 2 | a, b Z} un subanillo de R y sea:
M = {a + b 2 R | 5 | a y 5 | b}.
Demuestre que M es un ideal maximal de R y que R/M es un campo de 52
elementos.
12. Sea R el anillo de las funciones reales continuas en [0, 1] y sea:
1
1
=f
=0 .
I = f R|f
3
2
Demuestre que I no es un ideal primo de R.
13. Sea C([0, 1]) el conjunto de las funciones reales continuas en el intervalo [0, 1].
Es decir:
C([0, 1]) = {f : [0, 1] R|f es continua}.
a) Demuestre que C([0, 1]) es un anillo conmutativo con unitario con las
operaciones usuales de suma y multiplicaci
on de funciones.
b) Para cada x [0, 1] sea Mx = {f C([0, 1])|f (x) = 0}. Demuestre
que Mx es un ideal maximal de C([0, 1]).
c) Demuestre que cada ideal maximal de C([0, 1]) es de la forma Mx para
alg
un x [0, 1]. (Sugerencia: Sea M un ideal maximal de C([0, 1]).
Considere el conjunto:
V (M ) = {x [0, 1]|f (x) = 0 f M }.
Suponga que y V (M ). Entonces M My y por lo tanto M = My
(por que?). Luego, basta demostrar que V (M ) 6= . Suponga que
V (M ) = . Entonces, para cada x [0, 1] existe fx M tal que
fx (x) 6= 0.
1) Demuestre que hay un intervalo abierto Ix x tal que fx (y) 6= 0
para todo y Ix .
2) Demuestre que existen x1 , . . . , xn [0, 1] tales que:
[0, 1] = Ix1 Ix2 . . . Ixn .
3) Demuestre que la funcion g = fx21 + fx22 + + fx2n es una unidad
en C([0, 1]) y obtenga una contradicci
on. Nota: f 2 = f f .
Si se hubiera considerado la funcion h = fx1 + fx2 + + fxn en
lugar de la funcion g, se podra afirmar que h es una unidad en
C([0, 1])?)
14. Sea p un n
umero primo impar. Si a es un entero tal que p a y la congruencia
x2 a (m
od p) tiene solucion para x entero, decimos que a es un residuo
cuadratico m
odulo p. En caso contrario, a es un residuo no cuadratico m
odulo
Algebra
Moderna I y II
2.4.
Algebra
Moderna I y II
: R1 Rn Rk
(a1 , . . . , ak , . . . , an ) 7 ak
: Rk R1 Rn
ak 7 (0, . . . , ak , . . . , 0)
Algebra
Moderna I y II
u
nica
salvo
congruencia
Tn
m
odulo el ideal i=1 Ai .
Observaci
on: Si R tiene unitario, entonces R2 = R y por lo tanto R2 + A = R para
todo ideal A de R.
T
Demostraci
on. Demostraremos primero que R = Ak + i6=k Ai para todo k =
1, . . . , n. Demostraremos por induccion el caso k = 1.
Como A1 + A2 = R y A1 + A3 = R, tenemos que:
R2
A1 + A2 A3 (pues A21 + A1 A3 + A2 A1 A1 )
A1 + (A2 A3 ) (pues A2 A3 A2 A3 ).
Algebra
Moderna I y II
Entonces:
R2
T
Por lo tanto, para cada k = 1, . . . , n, existen ak Ak y rk i6=k Ai tales que
bk = ak + rk . Ademas, rk bk (m
od Ak ) y rk 0 (m
od Ai ) para i 6= k. Sea
b = r1 + + rn . Es facil ver que b bi (m
od Ai ) para todo i = 1, 2, . . . , n.
Finalmente, si c R es tal que c bi (m
od Ai ) para todo i = 1, . . . , n, entonces
b c (m
od Ai )Tpara todo i = 1, . . . , n, es T
decir, b c Ai para todo i = 1, . . . , n.
n
n
od i=1 Ai ).
Luego, b c i=1 Ai y as b c (m
Corolario 2.4.5. Si A1 , . . . , An son ideales en un anillo R, entonces existe un
monomorfismo de anillos:
f : R/ ni=1 Ai R/A1 R/An .
Ademas, si R2 + Ai = R para todo i = 1, . . . , n y Ai + Aj = R para cualesquiera
i 6= j, entonces f es un isomorfismo de anillos.
Demostraci
on. Consideremos el mapeo:
f1 : R R/A1 R/An
dado por f1 (r) = (r + A1 , . . . , r + An ). Es un ejercicio verificar que f1 esta bien
definido y es homomorfismo de anillos.
Por otro lado, tenemos que:
r ker f1
(r + A1 , . . . , r + An ) = (A1 , . . . , An )
r Ai i = 1, . . . , n
r ni=1 Ai ,
Tn
de donde se sigue que ker f1 = i=1 Ai .
Luego, por el Teorema 2.2.9 existe un unico homomorfismo de anillos:
f : R/ ni=1 Ai R/A1 R/An
Algebra
Moderna I y II
Tn
tal que f (r + i=1 Ai ) = f1 (r) para todo r R y ker f = ker f1 / ni=1 Ai .
Como ker f1 = ni=1 Ai , se sigue que:
ker f = ni=1 Ai / ni=1 Ai = {ni=1 Ai },
..
.
b1
b2
(m
od a1 ),
(m
od a2 ),
bn
(m
od an ),
Demostraci
on. Para cada i = 1, . . . , n, sea Ai = (ai ). Como Z es un anillo con
unitario, tenemos que Z satisface la primera hip
otesis del Teorema chino del residuo,
es decir, Z2 + Ai = Z
para
todo
i
=
1,
.
.
.
,
n.
Tn
Demostraremos que i=1 Ai = (m). En efecto:
z
n
\
i=1
Ai
z (ai ) i = 1, . . . , n
ai | z i = 1, . . . , n
m | z (pues (ai , bj ) = 1 si i 6= j)
z (m).
Por otra parte, como (ai , aj ) = 1 para cualesquiera i 6= j, existen enteros qi y rj
tales que 1 = mi qi + mj rj . Luego, si z Z tenemos que z = mi (zqi ) + mj (zrj )
Ai + Aj , de donde Z = Ai + Aj . Luego, el Teorema chino del residuo implica que
el sistema de congruencias:
Algebra
Moderna I y II
x
x
..
.
b1
b2
(m
od a1 ),
(m
od a2 ),
bn
(m
od an ),
Prof. Carlos J. Rubio Barrios
tiene solucion en T
los enteros la cual esta determinada de manera unica salvo conn
gruencia m
odulo i=1 Ai = (m).
Ejercicio 2.4.7. Sean m y n enteros positivos primos relativos.
1. Demuestre que Zmn
= Zm Zn .
2.5.
Factorizaci
on en anillos conmutativos
Algebra
Moderna I y II
Definici
on 2.5.3. Sea R un anillo conmutativo con unitario. Un elemento c R
es irreducible si se satisfacen las siguientes condiciones:
1. c 6= 0 y c no es unidad,
2. Si c = ab, con a, b R, entonces a es unidad o b es unidad.
Un elemento p R es un primo si se satisfacen las siguientes condiciones:
1. p 6= 0 y p no es unidad.
2. Si p | ab, con a, b R, entonces p | a o p | b.
Ejemplo 2.5.4. En el anillo Z6 , 2 es primo. En efecto, 2 6= 0 y 2 no es unidad en
Z6 . Supongamos que 2 | ab. Es facil ver entonces que ab 0, 2 o 4 (m
od 6). Si
ab 0 (m
od 6), entonces 6 | ab Z y por lo tanto 2 | ab Z, de donde 2 | a o
2 | b en Z y por lo tanto 2 | a o 2 | b en Z6 . Si ab 2 (m
od 6), entonces 6 | ab 2
en Z y por lo tanto 2 | ab 2 en Z. Luego, 2 | ab en Z y concluimos como antes.
De manera analoga se trata el caso ab 4 (m
od 6).
Sin embargo 2 no es irreducible en Z6 , pues 2 = 2 4 en Z6 y ni 2 ni 4 son unidades
en Z6 .
Algebra
Moderna I y II
Algebra
Moderna I y II
Algebra
Moderna I y II
ser (note que p(0) 6= 0 ya que 1 6= 0.) Por lo tanto, 1 6 (c, x) y en consecuencia
(c, x) 6= D[x].
Supongamos que el ideal (c, x) es principal, es decir, (c, x) = (a(x)) para algun
a(x) D[x]. Por el Teorema 2.3.5 tenemos que (a(x)) = a(x)D[x] y por lo tanto:
c (c, x) = (a(x)) c = a(x)h(x), para algun h(x) D[x].
Como grado(a(x)h(x)) = grado(a(x))+grado(h(x)) y grado(c) = 0, los polinomios
a(x) y h(x) deben ser constantes. Sean a(x) = r y h(x) = s. Observe que r y s
son distintos de 0, ya que c 6= 0. Ahora bien, como x (c, x) = a(x)D[x] = rD[x]
tenemos que x = rg(x) para alg
un g(x) D[x]. Esta igualdad de polinomios
implica que g(x) es un polinomio de grado 1, digamos g(x) = b0 + b1 x. Entonces,
1 = rb1 y as r es unidad, lo que implica que (a(x)) = (r) = D[x], es decir,
(c, x) = D[x] lo que es una contradicci
on.
Corolario 2.5.9. El anillo de polinomios Z[x] no es DIP.
Definici
on 2.5.10. Un dominio entero R es un dominio de factorizaci
on unica
(DFU) si se cumplen las siguientes condiciones:
1. Cada elemento r distinto de cero y que no sea unidad puede ser escrito como
r = c1 c2 cn , con c1 , c2 , . . . , cn irreducibles no necesariamente distintos.
2. Si c1 c2 cn y d1 d2 dm son factorizaciones de r como producto de irreducibles, entonces n = m y para alguna permutaci
on de {1, 2, . . . , n}, ci y
d(i) son asociados.
1. El dominio entero Z es un DFU.
Ejemplos 2.5.11.
Algebra
Moderna I y II
Algebra
Moderna I y II
1 + 19
.
Z
2
Para mas detalles, el lector puede consultar [4].
Algebra
Moderna I y II
2.5.1.
M
aximo com
un divisor
Definici
on 2.5.19. Sea R un DFU y sean a, b R. Un elemento d R es un
maximo com
un divisor de a y b si se cumplen las siguientes condiciones:
1. d | a y d | b.
2. Para cualquier e R tal que e | a y e | b, se tiene que e | d.
Estas condiciones se pueden reescribir en terminos de ideales como sigue:
1. (a) (d) y (b) (d).
2. Para cualquier e R tal que (a) (e) y (b) (e), se tiene que (d) (e).
Proposici
on 2.5.22. Sea R un DFU y sea r R. Entonces, (ra1 , . . . , rak ) =
r (a1 , . . . , ak ) para cualesquiera a1 , . . . , ak R. En particular, si d = (a1 , . . . , ak ),
entonces ( ad1 , . . . , adk ) = 1.
Algebra
Moderna I y II
2.5.2.
Ejercicios
a) Demuestre
que elmapeo N : Z[ 10] Z dado por a + b 10 7
2
2
(a + b 10)(a
b 10) = a 10b satisface N (uv) = N (u)N (v) para
todo u, v Z[ 10], y N (u) = 0 si y s
olo si u = 0.
c) Demuestre
que 2, 3, 4 + 10 y 4 10 son elementos irreducibles en
Z[ 10].
Algebra
Moderna I y II
2.6.
Definici
on 2.6.1. Un subconjunto S 6= de un anillo R es multiplicativo si:
a, b S ab S.
Ejemplos 2.6.2.
1. Si R es un anillo no cero con unitario, el conjunto S = {x
R | x 6= 0, x no es divisor de cero} es multiplicativo. En efecto, si a, b S y
ab 6 S entonces existe c 6= 0 tal que a(bc) = 0. Como b S, se sigue que
bc 6= 0 lo cual implica que a 6 S (contradiccion).
2. Si R es un dominio entero, el conjunto R {0} es multiplicativo.
3. El conjunto de unidades en cualquier anillo con unitario es un conjunto multiplicativo.
4. Si P es un ideal primo en un anillo conmutativo R, entonces ambos P y RP
son conjuntos multiplicativos.
Construcci
on de Q.
El conjunto S = Z {0} es un conjunto multiplicativo.
Intuitivamente:
o
na
| a Z, b S
Q=
b
sujeto a:
a
c
= ad bc = 0.
b
d
Formalmente:
La relaci
on sobre el conjunto Z S definida como:
(a, b) (c, d) ad bc = 0,
es una relaci
on de equivalencia. Q es el conjunto de clases de equivalencia de Z S
bajo esta relaci
on de equivalencia. La clase de equivalencia de (a, b) se denota por ab
a c
ac
y la suma y multiplicaci
on se definen de la manera usual: ab + dc = ad+bc
bd , b d = bd .
Uno verifica que estas operaciones estan bien definidas y que Q es un campo. El
Algebra
Moderna I y II
a
1
es una inmersi
on.
r
s
2.
tr
ts
=
=
r
s
r
s
si y s
olo si s1 (rs r s) = 0 para algun s1 S.
para todo r R, y s, t S.
Algebra
Moderna I y II
Demostraci
on.
1. Demostraremos que las operaciones de suma y multiplicaci
o n
+t u
+r s
= tuuu
, pues vv S, y por lo tanto rs + rs =
Esto implica que rs ss
t
t
a bien definida.
u + u . Luego, la suma est
De manera analoga, de las igualdades v(ru ts) = 0 y v (r u t s ) =
0 se sigue que vv r u (ru ts) = 0 y vv ts(r u t s ) = 0, de donde
tt
vv (rur u tst s ) = 0. Como vv S, se sigue que rr
ss = uu , es decir,
olo si r = 0 en
2. Si R no tiene divisores de cero y 0 6 S, entonces rs = 0s si y s
R. Por lo tanto, ( rs )( rs ) = 0 en S 1 R si y s
olo si rr = 0 en R. Ya que R
no tiene divisores de cero, tenemos que rr = 0 si y s
olo si r = 0 o r = 0,
1
de donde se sigue que S R es un dominio entero.
3. Si R no tiene divisores de cero y S = R {0}, el inciso anterior implica que
S 1 R es un dominio entero. Ahora, si r 6= 0, entonces el inverso multiplicativo
de rs S 1 R es rs S 1 R, y por lo tanto S 1 R es un campo.
El anillo S 1 R se llama anillo de fracciones o anillo cociente de R por S.
Caso especial. Si R es un dominio entero y S = R {0}, entonces el campo S 1 R
se llama campo de cocientes del dominio entero R. De este modo, si R = Z, su
campo de cocientes es Q.
Generalizacion. Sean R 6= 0 un anillo conmutativo y
S = {r R | r 6= 0, r no es divisor de cero}.
Si S es no vaco (como es siempre el caso si R tiene unitario), entonces S 1 R se
llama anillo completo de cocientes (o fracciones) del anillo R.
Teorema 2.6.6. Sea S un subconjunto multiplicativo de un anillo conmutativo R.
1. El mapeo S : R S 1 R dado por r 7 rs
s (para cualquier s S) es un
homomorfismo de anillos tal que S (s) es una unidad en S 1 R para cada
s S.
Algebra
Moderna I y II
rs
Demostraci
on.
1. Si s, s S, entonces rs
s = s . Supongamos que r1 = r2
Algebra
Moderna I y II
// S 1 R
R EE
EE
EE
f
f EEE
""
T
Supongamos que g : S 1 R T es otro homomorfismo tal que g S = f .
Entonces, para cada s S, g(S (s)) es una unidad en T . Demostraremos que
g((S (s))1 ) = (g(S (s)))1 para todo s S. Observe que (S (s))1 existe por
el teorema anterior. Tenemos que:
1T = g(S (s))(g(S (s)))1 = g(1S 1 R )g(S (s))(g(S (s)))1 = g(1S 1 R ),
donde 1T y 1S 1 R denotan los unitarios de T y S 1 R, respectivamente.
De aqu:
g((S (s))1 ) = g((S (s))1 )g(S (s))(g(S (s)))1
= g(1S 1 R )(g(S (s)))1
= (g(S (s)))1 .
2
// Q
R?
??
??
? f
f ??
T
f =f
Algebra
Moderna I y II
Demostraremos que S 1 R
= Q.
Tenemos que:
S<< 1 R
z
z
S z
z
z
zz
zz
// Q
RD
DD
DDS
DD
DD S
""
S 1 R
S =
S = S
Luego,
S
// S 1 R
RD
DD
DD
D
S
S DDD
""
S 1 R
(S ) S = S
// S 1 R
RD
DD
DD
D
idS 1 R
S DDD
""
S 1 R
idS 1 R S = S
Algebra
Moderna I y II
S 1 I + S 1 J,
(S 1 I)(S 1 J),
S 1 (I J) =
S 1 I S 1 J.
2. Si I = 1
un ideal J en S 1 R, entonces S 1 I = J. En otras
S (J) para alg
palabras, cada ideal en S 1 R es de la forma S 1 I para algun ideal I en R.
3. Si P es un ideal primo en R y S P = , entonces S 1 P es un ideal primo
1
en S 1 R y 1
P) = P.
S (S
Demostraci
on.
1. Si a I, entonces as I para todo s S. Luego, S (a) =
as
1
1
1
S
I,
de
donde a 1
I). As, I 1
I).
S (S
S (S
s
Algebra
Moderna I y II
2. Si I = 1
un ideal J en S 1 R, entonces cada elemento de S 1 I
S (J) para alg
1R
r
es de la forma s con S (r) J. Por lo tanto, rs = ( 1sR )( rs
s ) = ( s )S (r) J
r
1
(ya que J es ideal), de donde S I J. Recprocamente, si s J, entonces
1
r s2
r
1
I y
S (r) = rs
s = ( s )( s ) J, de donde r S (J) = I. Luego, s S
1
de aqu J S I.
3. Sea P un ideal primo en R tal que S P = . Por el teorema anterior,
a
rr
un s1 S.
ss = t con a P y t S. Luego, s1 trr = s1 ss a P para alg
Algebra
Moderna I y II
2.6.1.
Ejercicios
a) Demuestre que el conjunto E de los enteros positivos pares es un subconjunto multiplicativo de Z tal que E 1 Z es el campo de los numeros
racionales.
b) De condiciones para un subconjunto multiplicativo S de Z que aseguren
que S 1 Z sea el campo de los numeros racionales.
2.7.
Factorizaci
on en el anillo de polinomios
Algebra
Moderna I y II
ai x +
n
X
i=0
i=0
n
X
(ai + bi )xi ,
bi x =
i
i=0
donde los ai o los bi pueden ser cero para que la suma de polinomios de grados
distintos este bien definida.
Para la multiplicaci
on definimos (axi )(bxj ) = abxi+j y por la distributividad en R,
extendemos el producto en R[x] como sigue:
!
! n+m k
! m
n
X X
X
X
i
i
ai bki xk .
bi x =
ai x
i=0
i=0
k=0
i=0
Algebra
Moderna I y II
Algebra
Moderna I y II
an nm
x
b
bm
=
=
=
an nm
x
b
bm
an nm
x
b
(q b + r) +
bm
qb + r,
a +
Algebra
Moderna I y II
Definici
on 2.7.7. Sea R un DFU. Un polinomio no nulo f = a0 +a1 x+ +an xn
R[x] se llama primitivo si (a0 , . . . , an ) = 1, es decir, si no existe ningun primo p R
tal que p | ai para todo i = 0, . . . , n.
1. Si f = xn + an1 xn1 + + a0 es m
onico, entonces f es
Ejemplos 2.7.8.
primitivo.
r = b0 bn R y
Tenemos entonces:
ai
a0
b0
+ +
an n
bn x
ai r
bi .
f=
d
(c0 + + cn xn ).
r
ai
d
R.
=
=
(ada0 , . . . , adan )
(bcb0 , . . . , bcbn )
bc (b0 , . . . , bn ).
Algebra
Moderna I y II
4
3
8
21 x
2
21
y f =
Proposici
on 2.7.12. Sean R un DFU con campo de cocientes Q, f Q[x], f 6= 0.
Entonces se cumplen las siguientes afirmaciones.
1. Si Q , entonces c(f ) = c(f ) y f = f .
2. f R[x] si y s
olo si c(f ) R.
3. f R[x] es primitivo si y s
olo si c(f ) = 1.
4. Si f, g R[x] son primitivos, y f es asociado de g en Q[x], entonces f es
asociado de g en R[x].
Demostraci
on.
1. Tenemos que f = c(f )f donde f es primitivo. Luego, f =
c(f )f . Por la unicidad del contenido y de la parte primitiva, se sigue que
c(f ) = c(f ) y f = f .
2. Si f = a0 + + an xn R[x] y d = (a0 , . . . , an ), entonces f = d( ad0 +
+ adn xn ) y ( ad0 , . . . , adn ) = 1. Luego, c(f ) = d R. Recprocamente, si
c(f ) R, como f R[x], se sigue que f = c(f )f R[x].
3. Si f R[x] es primitivo, entonces f = f = c(f )f , de donde c(f ) = 1.
Recprocamente, si c(f ) = 1, entonces f = c(f )f = f R[x], y de aqu f
es primitivo.
4. Sean f, g R[x] polinomios primitivos. Entonces, c(f ) = c(g) = 1 (salvo
multiplicaci
on por unidad en R). Si f y g son asociados en Q[x], existe una
unidad Q[x] y por lo tanto Q (por el Teorema 2.7.1) tal que g = f
(ver Teorema 2.5.2). Entonces:
1 = c(g) = c(f ) = c(f ) = ,
de donde = 1 (salvo producto por unidad en R). Luego, f y g son asociados
en R[x].
Teorema 2.7.13 (Lema de Gauss). Sea R un DFU. Si f, g R[x] son polinomios
no nulos primitivos, entonces f g tambien es primitivo.
n
m
Demostraci
on. Escribamos f = a0 + + aP
n x y g = b0 + + bm x . Entonces,
m+n
f g = c0 + + cm+n x
, donde ci = j+k=i aj bk = a0 bi + + ai b0 . Supongamos que f g no es primitivo. Entonces existe p R primo tal que p | ci para
todo i. Ahora, como f y g son primitivos, cada uno de ellos debe tener un primer
coeficiente no divisible entre p, es decir, existen j, k tales que p | a0 , . . . , p | aj1 ,
p aj , y p | b0 , . . . , p | bk1 , p bk . Entonces:
Algebra
Moderna I y II
Algebra
Moderna I y II
ai
ai
fi con ai , bi R ,
Q y fi R[x] primitivo.
bi
bi
a
f1 fn ,
b
Algebra
Moderna I y II
2.7.1.
Criterios de irreducibilidad
Proposici
on 2.7.17. Sea F un campo y sea p F [x]. Entonces, p tiene un divisor
de grado 1 si y s
olo si p tiene una raz en F , es decir, existe F tal que p() = 0.
Demostraci
on. Si p tiene un divisor de grado 1, podemos asumir que tal divisor
es m
onico ya que F es un campo. Luego, este divisor es de la forma x para
alg
un F . Entonces, p = (x )h con h F [x], de donde p() = 0h() = 0.
Recprocamente, supongamos que p() = 0 para algun F . Entonces, de acuerdo
con el Teorema 2.7.6 tenemos que p = (x )q + r con r una constante, y de
aqu 0 = p() = r. Esto significa que x es divisor de p.
Esta proposici
on nos permite dar un criterio de irreducibilidad para polinomios de
grado peque
no.
Teorema 2.7.18. Sea F un campo y sea f F [x] de grado 2 o 3. Entonces, f es
irreducible en F [x] si y s
olo si f no tiene races en F .
Demostraci
on. Demostraremos de manera equivalente que f no es irreducible en
F [x] si y s
olo si f tiene una raz en F .
Supongamos que f no es irreducible en F [x]. Entonces f = gh con g, h F [x] no
unidades. Como gr(f ) = 2 o 3, tenemos que g o h es de grado 1. Supongamos que
gr(g) = 1. Entonces, g = ax b con a 6= 0, de donde g( ab ) = 0 y f ( ab ) = 0. Por
lo tanto, f tiene una raz en F . Recprocamente, supongamos que f (a) = 0 para
alg
un a F . Por la proposici
on anterior se sigue que x a es divisor de f y por
lo tanto f = (x a)h con h F [x]. Como gr(f ) = 2 o 3, y x a tiene grado
Algebra
Moderna I y II
Pn
Observemos que p c(f ) ya que p an . Luego, los coeficientes de f = i=0 ai xi
satisfacen las mismas condiciones de divisibilidad con respecto a p como lo hacen
los coeficientes de f , pues ai c(f ) = ai y:
p | an
p | ai
p2 | a0
p | an ,
p | ai c(f ) p | ai , i = 0, . . . , n 1,
p 2 | a0 .
Algebra
Moderna I y II
Ejemplos 2.7.21.
1. Si f = 2x5 6x4 + 9x2 15 Z[x], entonces el criterio
de Eisenstein con p = 3 muestra que f es irreducible en Q[x], y por lo tanto
en Z[x] ya que f es primitivo en Q[x].
2. Consideremos el polinomio f = x4 + 1 Z[x]. Demostraremos que f es
irreducible en Q[x]. El criterio de Eisenstein no se puede aplicar directamente
a f . Sin embargo, si consideramos el polinomio g = f (x+ 1) = (x+ 1)4 + 1 =
x4 + 4x3 + 6x2 + 4x + 2, tenemos que g es irreducible en Q[x] por el criterio
de Eisenstein con p = 2. Por lo tanto, f es irreducible en Q[x].
3. Si p es un n
umero primo, el polinomio:
p =
xp 1
= xp1 + xp2 + + x + 1
x1
2.7.2.
Ejercicios
P
1. Si R es un anillo conmutativo con unitario 1 6= 0 y f = ni=0 ai xi R[x],
demuestre que f es una unidad en R[x] si y s
olo si a0 es una unidad en R y
a1 , . . . , an son elementos nilpotentes de R. (Sugerencia: Demuestre primero
que en un anillo conmutativo, a + b es nilpotente si a, b R son nilpotentes.)
2. Sea F un campo y sea f F [x]. Demuestre que F [x]/(f ) es un campo si y
s
olo si f es irreducible en F [x].
3. Sea F un campo finito de orden q y sea f F [x] un polinomio de grado
n 1. Demuestre que F [x]/(f ) tiene orden q n .
4. Construya campos de ordenes 9, 49, 8 y 81.
5. Sea p Z un n
umero primo.
a) Demuestre que existe un polinomio de grado 2 que es irreducible en
Zp [x].
b) Construya un campo de orden p2 .
Algebra
Moderna I y II
Pn
6. Sea R un DFU con campo de cocientes Q y sea f = i=0 ai xi R[x] un
polinomio de grado n. Si dc Q es una raz de f , con (c, d) = 1, demuestre
que c | a0 y d | an .
7. Sea p Z un n
umero primo. Demuestre que los polinomios x2 p y x3 p
son irreducibles en Q[x].
8. Demuestre que el polinomio
n
umero primo impar p.
(x+2)p xp
2
2.8.
Extensiones de campos
Algebra
Moderna I y II
Algebra
Moderna I y II
f (a)
g(a)
o
| f, g F [x], g(a) 6= 0 el cual
(a)
| f, g F [x], g(a) 6= 0
contiene a F y a), se sigue que fg(a)
n
o
f (a)
g(a) | f, g F [x], g(a) 6= 0 = F (a).
F (a), de donde
f (a1 , . . . , an )
| f, g F [x1 , . . . , xn ], g(a1 , . . . , an ) 6= 0 .
g(a1 , . . . , an )
donde la uni
on es sobre todos los subconjuntos finitos de X.
S
Demostraci
on. Es claro que
{F (a1 , . . . , an ) | a1 , . . . , an X} F (X). Esta
uni
on contiene a F y X (pues la uni
on contiene a todos los subconjuntos finitos de X y por lo tanto contiene a la uni
on de todos ellos que es X), as que
si es un campo, entonces es igual a F (X), ya que F (X) es el subcampo mas
peque
noSque contiene a F y X. Para mostrar que la uni
on es un campo, sean
, {F (a1 , . . . , an ) | ai X}. Entonces, existen ai , bj X tales que
F (a1 , . . . , an ) y F (b1 , . . . , bm ). Entonces, y son elementos del campo
F (a1 , . . . , an , b1 , . . . , bm ), de modo que , y
(si 6= 0), son elementos
S
de {F (a1 , . . . , an ) | ai X}. Por lo tanto, esta uni
on es un campo.
Definici
on 2.8.7. Sean L y M subcampos de un campo K. El compuesto de L y
M en K, denotado LM , es el campo L(M ) = M (L).
Las relaciones de las dimensiones [L : K], [M : K], [LM : K], etc. son consideradas
en los ejercicios.
Algebra
Moderna I y II
Ejemplo
2.8.8. El compuesto
y Q( 3) en R es Q( 2, 3) = Q( 2 +
de Q( 2)
3). La inclusi
on Q(
+ 3) Q( 2, 3)
2
es clara. Para demostrar
la inclusion
recproca, sea a = 2 + 3. Entonces, (a 2)2 = 3 es decir, a2 2 2a + 2 = 3,
2
2
1
+1
de donde 2 = a 2a
Q(a). De manera analoga tenemos que 3 = a 2a
Q(a).
Por lo tanto, Q( 2, 3) Q(a) y as Q( 2, 3) = Q(a).
Definici
on 2.8.9. Sea K/F una extensi
on de campos. Un elemento K es
algebraico sobre F si existe un polinomio no nulo f F [x] tal que f () = 0. Si
no es algebraico sobre F , entonces es trascendente sobre F . Si cada elemento
de K es algebraico sobre F , entonces K es llamado algebraico sobre F y K/F es
llamado una extensi
on algebraica.
Ejemplos 2.8.10.
1. 2 es algebraico sobre Q, ya que 2 es raz de x2 2.
Algebra
Moderna I y II
Ejemplos 2.8.15.
1. 3 2 es algebraico sobre Q, ya que satisfaceel polinomio
p = x3 2. Como p es irreducible en Q[x], se sigue que min(Q, 3 2) = p (si p
Algebra
Moderna I y II
no fuera
el polinomio mnimo
de 3 2 sobre Q, entonces por el teorema anterior
3
3
3
Q( 2) = {a + b 2 + c 4 | a, b, c Q}
Algebra
Moderna I y II
Pn
L. Considerando a L como un F -espacio vectorial,Ptenemos
que j = i=1 ij ai
P
m
n
con ij F para todo j = 1, . . . , m. Luego, x = j=1 i=1 ij aP
gei bj y as
nera a K sobre F . Para la independencia lineal, supongamos
P que i,j ij ai bj = 0
con ij F . Como es base de K/L, tenemos que
i ij ai = 0 para todo j = 1, . . . , m, y como es base de L/F , tenemos que ij = 0 para todo
i = 1, . . . , n y j = 1, . . . , m. Por lo tanto, es linealmente independiente sobre F
y de aqu:
[K : F ] = | | = | | = || | | = [K : L][L : F ].
Ejemplo 2.8.18.
: Q]
= 2
[Q( 22, 3) : Q] = 4. En efecto, tenemos
que [Q( 2)
pues min(Q,
2)
=
x
2.
Por
otra
parte,
como
Q(
2,
3)
=
Q(
2)(
3) y
[Q( 2, 3) : Q] = [Q( 2) : Q][Q( 2, 3) : Q( 2)] = 4.
Demostraremos ahora el recproco del Lema 2.8.16.
Proposici
on 2.8.19. Sea K una extensi
on de F . Si 1 , . . . , n K son algebraicos
sobre F , entonces F [1 , . . . , n ] es un campo y es una extensi
on finita de F con:
[F [1 , . . . , n ] : F ]
n
Y
[F (i ) : F ].
i=1
i=1
Algebra
Moderna I y II
La desigualdad
de la proposici
on anterior puede ser estricta. Por ejemplo, si a = 4 2
4
que Q(a, b) = Q( 4 2, 3). En efecto, tenemos que ab = 9 de donde ab = 3.
4
Porlo tanto,
3 Q(a, b) y as Q(a, b) Q(
2, 3). La contencion Q(a, b)
4
Q( 2, 3) es clara. Por lo tanto, Q(a, b) = Q( 4 2, 3).
Por otro lado, como b = 3a2 es raz del polinomio x2 3a2 Q(a)[x], tenemos
que [(Q(a))(b) : Q(a)] 2 (pues min(Q(a), b) | x2 3a2 ). Por lo tanto:
[Q(a, b) : Q] =
=
<
[(Q(a))(b) : Q]
[(Q(a))(b) : Q(a)][Q(a) : Q]
24 =8
[Q(a) : Q][Q(b) : Q] = 16.
Algebra
Moderna I y II
Demostraci
on. Sea a F (X). De acuerdo con el Teorema 2.8.6 existen 1 , . . . , n
X tales que a F (1 , . . . , n ). Ahora, ya que cada elemento de X es algebraico sobre F , los elementos 1 , . . . , n son algebraicos sobre F , y por la Proposici
on 2.8.19,
tenemos que F (1 , . . . , n ) es una extensi
on finita de F . Luego, por el Lema 2.8.16
se sigue que F (1 , . . . , n ) es una extensi
on algebraica de F . Por lo tanto, a es
algebraico sobre F y de aqu, F (X) es algebraico sobre F . Si |X| < , entonces
[F (X) : F ] < por la Proposici
on 2.8.19.
Ahora demostraremos que la propiedad de ser algebraico es transitiva.
Teorema 2.8.22. Sean F L K campos. Si L/F y K/L son algebraicas,
entonces K/F es algebraica.
Demostraci
on. Sea K y sea f = a0 + a1 x + + an1 xn1 + xn el polinomio
mnimo de sobre L. Ya que L/F es algebraica y a0 , . . . , an1 L, el campo
L0 = F (a0 , . . . , an1 ) es una extensi
on finita de F por la Proposici
on 2.8.19.
Ahora f L0 [x], de modo que es algebraico sobre L0 . Luego:
[L0 () : F ] = [L0 () : L0 ][L0 : F ] < .
Finalmente, ya que F () L0 (), se sigue que [F () : F ] < , y por lo tanto
es algebraico sobre F por el Corolario 2.8.20. As, K/F es algebraico.
Teorema 2.8.23. Si K/F es una extensi
on y E es el conjunto de todos los elementos de K que son algebraicos sobre F , entonces E es un subcampo de K, y
por lo tanto E es la extensi
on algebraica mas grande de F contenida en K.
Demostraci
on. Sean a, b E. Por la Proposici
on 2.8.19, F (a, b) es una extensi
on
finita de F y por lo tanto, F (a, b) es algebraico sobre F (por el Lema 2.8.16), de
modo que F (a, b) E. Como ab, ab, ab (con b 6= 0) son elementos de F (a, b) E
(pues F (a, b) es un campo que contiene a a y b), se sigue que E es un subcampo
de K. Ahora, si E K y E /F es algebraico, entonces cada elemento de E es
algebraico sobre F y por lo tanto E E, lo que significa que E es la extensi
on
algebraica mas grande de F contenida en K.
2.8.1.
Ejercicios
Algebra
Moderna I y II
2+
3
2 sobre Q y encuentre una
6. Sea =
1+ 5
2
12. Demuestre que Q( 5, 7) = Q( 5 + 7).
13. Sean L y M campos intermedios en la extensi
on K/F .
a) Demuestre que [LM : F ] es finito si y s
olo si [L : F ] y [M : F ] son
finitos.
b) Si [LM : F ] es finito, demuestre que [L : F ] y [M : F ] dividen a
[LM : F ] y que [LM : F ] [L : F ][M : F ].
c) Si [L : F ] y [M : F ] son finitos y primos relativos, demuestre que
[LM : F ] = [L : F ][M : F ].
d) Si L y M son algebraicos sobre F , demuestre que LM es algebraico
sobre F .
14. Construya un homomorfismo inyectivo de anillos f : Q[x] C tal que f (1) =
1. Es posible que f sea suprayectiva?
15. Sea K una extensi
on de F y sean u, v K algebraicos sobre F . Si los
polinomios mnimos de u y v sobre F tienen grados m y n, respectivamente,
demuestre que [F (u, v) : F ] mn. Si (m, n) = 1, demuestre que [F (u, v) :
F ] = mn.
16. Sea K una extensi
on de F y sea a K. Sean m y n enteros positivos tales
que m | n. Suponga que el polinomio xn a es irreducible en K[x]. Demuestre
n
que si u F es raz de xn a, entonces [K(um ) : K] = m
.
Algebra
Moderna I y II
2.9.
Campo de descomposici
on y cerradura algebraica
Definici
on 2.9.1. Sean K una extensi
on de F y f F [x] un polinomio de grado
positivo.
Qn
1. f se escinde o se descompone sobre K si f = a0 i=1 (x i ) con a0 F
y 1 , . . . , n K.
2. K es un campo de descomposici
on de f sobre F si f se escinde sobre K y
K = F (1 , . . . , n ) donde 1 , . . . , n son las races de f en K. (Observe
que K es una extensi
on finita y algebraica de F por la Proposici
on 2.8.19).
3. Si S es un conjunto de polinomios de grado positivo en F [x], entonces K
es un campo de descomposici
on de S sobre F si cada polinomio de S se
escinde sobre K y K = F (X) donde X es el conjunto de todas las races
de todos los polinomios de S. (Observe que K es algebraico sobre F por la
Proposici
on 2.8.21).
Ejemplos 2.9.2.
1. El campo Q(, 3 2) es un campo de descomposici
on del
3
2i/3
3
polinomio
x
2
sobre
Q,
donde
=
e
,
pues
las
ra
ces
de
x
2 son
3
2, 3 2 y 2 3 2, y Q( 3 2, 3 2, 2 3 2) = Q(, 3 2).
2. C es el campo de descomposici
on de x2 + 1 sobre R, ya que C = R(i, i).
2
descomposici
on de x a sobre F ya que F ( a) = F ( a, a).
4. El campo Q(i) es un campo de descomposici
on de x4 + 4 sobre Q. En efecto,
tenemos que:
x4 + 4 = (x2 + 2)2 4x2 = (x2 2x + 2)(x2 + 2x + 2).
Las races de x2 2x + 2 son 1 + i y 1 i; las races de x2 + 2x + 2 son
1 + i y 1 i; y Q(1 + i, 1 i, 1 + i, 1 i) = Q(i).
El siguiente teorema muestra que cada polinomio f F [x], tiene un campo de
descomposici
on.
Teorema 2.9.3. Si F es un campo y f F [x] tiene grado n 1, entonces existe
un campo de descomposici
on K de f con [K : F ] n!.
Demostraci
on. Demostraremos primero que existe una extensi
on de F de grado
menor o igual que n y que contiene una raz de f .
Como F [x] es DFU, f (x) es producto de irreducibles. Sea p(x) un factor irreducible
de f (x) en F [x], y consideremos el campo F [x]/(p(x)). La proyecci
on canonica
: F [x] F [x]/(p(x)) cuando se restringe a F , es un monomorfismo (ejercicio).
Luego, F [x]/(p(x)) contiene a (F )
= F , de modo que podemos considerar a
Algebra
Moderna I y II
Algebra
Moderna I y II
Demostraci
on. (1 2): Se sigue de que toda extensi
on finita de F es una extensi
on
algebraica de F .
(2 3): Es claro que F {a K | a es algebraico sobre F }. Recprocamente, sea
a K algebraico sobre F . Entonces, F (a) es una extensi
on finita de F por el Corolario 2.8.20. Como no hay extensiones finitas de F distintas de F por hip
otesis, se sigue
que F (a) = F . As, a F . Por lo tanto, F = {a K | a es algebraico sobre F }.
(3 4): Sea f F [x] y sea K un campo de descomposici
on de f sobre F . Ya
que K es algebraico sobre F (por que?) y F = {a K | a es algebraico sobre F }
(por hip
otesis), tenemos que K = F , es decir, f se escinde sobre F .
(4 5): Es claro.
(5 6): Sea f F [x] irreducible. Como f tiene una raz en F , f tiene un factor
lineal. Como f es irreducible, lo anterior significa que f es lineal, es decir, gr(f ) = 1.
(6 1): Sea K una extensi
on algebraica de F . Sean a K y p = min(F, a). Como
p es irreducible, tenemos que gr(p) = 1 por hip
otesis, y por lo tanto [F (a) : F ] = 1.
De aqu que F (a) = F y as a F . Luego, K F K, es decir, K = F .
Definici
on 2.9.6. Un campo que satisface las condiciones equivalentes del teorema
anterior se dice que es algebraicamente cerrado. Si K es una extensi
on algebraica
de F y K es algebraicamente cerrado, entonces se dice que K es una cerradura
algebraica de F .
Ejemplo 2.9.7. El campo de los n
umeros reales R no es algebraicamente cerrado
ya que el polinomio x2 + 1 no tiene races reales.
Ejemplo 2.9.8. Si A = {a C | a es algebraico sobre Q}, entonces A es algebraicamente cerrado (vease el Ejercicio 8). Ademas A es una cerradura algebraica de
Q. Sin embargo, C no es una cerradura algebraica de Q ya que C no es algebraico
sobre Q.
El siguiente lema se necesita en la prueba de la existencia de una cerradura algebraica.
Lema 2.9.9. Si K es una extensi
on algebraica de F , entonces |K| max{|F |, |N|}.
Demostraci
on. Sea a K y sean a1 , . . . , an las races del polinomio min(F, a)
en K (observe que a es una de las races ai ). Si M es el conjunto de todos los
polinomios m
onicos de grado positivo en F [x], defina f : K M N como
f (a) = (p, r) donde p = min(F, a) y a = ar . Esta funcion es iynectiva, pues
si f (a) = f (a ), entonces p = p y r = r de donde a = ar = ar = a . As,
|K| |M N| = max{|M |, |N|}.
Mostraremos ahora que |M | = max{|F |, |N|}. Sea Mn el conjunto de los polinomios
m
onicos de grado n en F [x]. Entonces, |Mn | = |F n |. Si F es finito, tenemos que
|F n | = |F |n y si F es infinito, |F n | = |F | (vease la Introduccion de [4]). Por lo
tanto, ya que M es la uni
on de los conjuntos disjuntos Mn , tenemos que:
[
|M | = Mn = max{|F |, |N|}.
n
Algebra
Moderna I y II
Algebra
Moderna I y II
(ai )xi .
ai xi =
Definici
on 2.9.13. Sean K y L extensiones de F . Un F -homomorfismo : K L
es un homomorfismo de anillos tal que (a) = a para todo a F , es decir, |F = id.
Si es una biyecci
on, se dice que es un F -isomorfismo. Un F -isomorfismo de un
campo en si mismo es un F -automorfismo.
Observe que un F -homomorfismo : K L es una transformaci
on lineal de F espacios vectoriales pues (a) = () (a) = (a) para todo F y a K.
Ademas 6= 0 (pues (1K ) = 1L ), de modo que es inyectivo pues K es un
campo. Tambien, si [K : F ] = [L : F ] < , entonces es suprayectivo pues
[K : F ] = dim(Im( )). En particular, cualquier F -homomorfismo de K en si
mismo es una biyecci
on, suponiendo que [K : F ] < .
(f ) en una extensi
on K de F . Entonces existe un isomorfismo : F () F ( )
con () = y |F = .
Demostraci
on. Como f F [x] es irreducible y f () = 0, el polinomio mnimo de
sobre F es un m
ultiplo constante de f . Luego, f y min(F, ) generan el mismo
ideal principal en F [x], es decir, (f ) = (min(F, )).
Como es algebraico sobre F , tenemos que F [] = F (). Consideremos el epimorfismo : F [x] F (a) = F [] dado por (g) = g(). Como g() = 0
min(F, ) | g g (min(F, )), tenemos que ker() = (min(F, )) = (f ). Luego, por el primer teorema de isomorfismos de anillos se sigue que F [x]/(f )
= F (),
es decir, el siguiente diagrama es conmutativo.
F [x]
F [x]
(f )
// F ()
z==
zz
z
zz
zz
Algebra
Moderna I y II
F ()
F [x] F [x]
F ( ).
(f )
(f )
F
y
,
i
0
1 . . . , n K tales que
Qn
Qn
fi = a0 j=1 (x j ). Luego, (fi ) = (a0 ) j=1 (x (j )). De aqu, cada
fi = (fi ) = (fi ) se escinde sobre (K) (observe que : K[x] K [x] es el
homomorfismo que extiende a : K K ). Ya que K esta generado sobre F por
las races de los fi , el campo (K) esta generado sobre F por las imagenes bajo el
homomorfismo : K K de las races de los fi . Por lo tanto, (K) es un campo
de descomposici
on sobre F para {fi }.
Teorema 2.9.16 (Teorema de extensi
on de isomorfismos (el caso de un polinomio)).
Sean : F F un isomorfismo de campos, f F [x] y (f ) el polinomio
correspondiente en F [x]. Sea K un campo de descomposici
on de f sobre F y sea K
un campo de descomposici
on de (f ) sobre F . Entonces, existe un isomorfismo :
K K con |F = . Ademas, si K y si es cualquier raz de (min(F, ))
en K , entonces se puede escoger de modo tal que () = .
Demostraci
on. La demostracion la haremos por induccion en n = [K : F ]. Si
n = 1, entonces K = F y f se escinde sobre F . Luego, (f ) se escinde sobre
on algebraica de
F y por el Teorema 2.9.5 K = F (pues K es una extensi
Algebra
Moderna I y II
descomposici
on para S sobre F . Entonces, existe un isomorfismo : K K con
|F = . Ademas, si K y es una raz cualquiera de (min(F, )) en K ,
entonces se puede escoger de modo que () = .
Demostraci
on. Sean Z el conjunto de todos los pares (L, ) tales que L es un
subcampo de K y : L K un homomorfismo que extiende a . Este conjunto
es no vaco ya que (F, ) Z. Ademas, Z es parcialmente ordenado definiendo
(L, )S (L , ) si L L y L = . Sea {(Li , i )} una cadena en Z. Si
L = i Li y : L K se define como (a) = i (a) si a Li , entonces no es
difcil probar que L es un campo extendiendo todos los Li y es un homomorfismo
extendiendo . De este modo, (L, ) es una cota superior en Z para esta cadena.
Por el lema de Zorn existe un elemento maximal (M, ) en Z. Afirmamos que
M = K y (M ) = K . En efecto, si M 6= K, entonces existe un f S que no se
escinde sobre M . Sea K una raz de f que no esta en M , y sea p = min(F, a).
Sea p = (p) F [x] y sea K una raz de p . Dicha existe ya que p
divide a f y f se escinde sobre K . Por el lema anterior, existe un isomorfismo
1 : M () (M )( ) que extiende a . Entonces (M (), 1 ) Z es tal que
(M, ) < (M (), 1 ), lo que contradice la maximalidad de (M, ). Por lo tanto,
M = K. Finalmente, tenemos que (M ) = (K) = K ya que (K) K es un
campo de descomposici
on para S sobre F por el lema anterior.
Corolario 2.9.18. Sea F un campo y sea S un subconjunto de F [x]. Dos campos
de descomposici
on cualesquiera de S sobre F son F -isomorfos. En particular, dos
cerraduras algebraicas cualesquiera de F son F -isomorfas.
Demostraci
on. El teorema de extensi
on de isomorfismos da un isomorfismo extendiendo id sobre F , entre dos campos de descomposici
on cualesquiera de S. El
segundo enunciado se sigue del primero ya que cualquier cerradura algebraica de F
es un campo de descomposici
on del conjunto de todos los polinomios no constantes
en F [x].
Como un corolario a la existencia y unicidad de cerraduras algebraicas, podemos
probar que cualquier extensi
on algebraica de un campo F puede ser vista como
viviendo dentro de una cerradura algebraica de F .
Algebra
Moderna I y II
2.9.1.
Ejercicios
Algebra
Moderna I y II
Algebra
Moderna I y II
Algebra
Moderna I y II
Bibliografa
[1] D.S. Dummit, R.M. Foote. Abstract Algebra. John Wiley & Sons, Inc., 2003.
123