Beruflich Dokumente
Kultur Dokumente
PROBLEMAS 1.3
(b) Obtener g 0 f.
(c) ~ E s f 0 . g= g o f ?
10. Sea S el conjunto de 10s numeros reales y para a, b E S, donde a f 0; de-
finase f u , b ( ~=) as +- b.
(a) Demuestrese que faSb 0 fc,d = fu,,,para ciertos u, v reales. Dense valores
explicitos para u, v en terminos de a , b, c y d .
(b) i E s fo,b o f c , d = f c , d o f o r b siempre?
(c) Hallar todas las forb tales que f,,* f,., = f,., o f,,b.
(d) Demuestrese que f0>' existe y encuentrese su forma.
11. Sea S el conjunto de 10s enteros positivos. Definasef: S S mediante f(1) =
+
13. Si Ges un grupo abeliano finito de orden n y \C: G .... G se define por I"'(a) =
am para todo a E G, encuéntrese una condición necesaria y suficiente para
que I" sea un isomorfismo de G sobre sí mismo.
14. Si Ges abeliano y <¡>: G ..... G' es un homomorfismo de G sobre G ·, demostrar
que G' es abeliano.
15, Si Ges cualquier grupo, N <J G y ,p: G .... G · un homomorfismo de G sobre
G ', pruébese que la imagen ,;,(N) de N es un subgrupo normal de G '.
16. Si N <J G y lt-1 <: G y MN = {mnlm E M, n EN}, demostrar que MN
es un subgrupo de G y que MN <J G.
17. Si M <J G, N <J G, pruébese que M nN <J G.
18. Si Hes cualquier subgrupo de G y N = n,,, 0 a- 1Ha, pruébese que N <J G.
19. Si H es un subgrupo de G, sea N(H) definida por la relación N(H) =
(a E o¡a- 1Ha = H}. Pruébese que:
(a) N(H) es un subgrupo de G, N(H) :> H.
(b) H <J N(H).
(e) Si K es un subgrupo de G tal que H <J K, entonces K e N(H). [De
modo que N(H) es el subgrupo más grande de Gen el cual Hes normal.]
20. Si M <J G, N <J G, y M n N = (e), demuéstrese que para m E M, nE
N, mn = nm.
21. Sean S cualquier conjunto que consta de más de dos elementos y A (S) el
conjunto de todas las aplicaciones inyectivas de S sobre sí mismo. Si s E
S, definimos H(s) = {/E A(S)lf(s) = s}. Pruébese que H(s) no puede
ser un subgrupo normal de A{S).
22. Sean G = S;, el grupo simétrico de grado 3 y H = {i, /}, donde/(x1 ) =
X2, f(X2) = X¡, /(X3) = X3.
(a) Enumérense todas las clases laterales izquierdas de H en G.
(b) Enumérense todas las clases laterales derechas de H en G.
(e) ¿Es toda clase lateral izquierda de Huna clase lateral derecha de H?
23. Sea G un grupo tal que todos los subgrupos de G son normales en G. Si
a, b E G, pruébese que ba = a1b·para algún j.
24. Si G,, G2 son dos grupos, sea G = G, x G2, el producto cartesiano de
G,, 0 2 [esto es, Ges el conjunto de todos los pares ordenados (a, b) donde
.?EL GRUPO
"SIMETRICO
y consume espacio. Desde luego se puede hacer mas compacta eliminando las
3.1 Preliminares 111
x y escribiendo
i:
3
3 , . En este simbolo el nlimero que se encuentra
1
en el segundo renglon es la imagen con respecto a a del niimero que se encuentra
en el primer renglon directamente sobre 61. En todo esto no hay nada en es-
pecial acerca del 3; funciona igual de bien para cualquier n.
Si a E Sn y a(1) = i,, a(2) = iz, . . . , a ( n ) = in, se emplea el simbolo
2 ...
Si se sabe que a = ... n , , ja que es igual a-'? Es fhcil,
i,,
simplemente inviertase el simbolo de o y se obtiene o--' =
n
(PruCbese.) En el ejemplo
(: 2
2
...
. a . n
jC6m0 se traduce el producto de Sn en terminos de estos simbolos? Dado
que UT significa: "apliquese primer0 T y a1 resultado apliquese a", a1 formar
el producto de 10s simbolos de a y T se examina el numero k del primer ren-
glon de T y se ve que numero ik esta directamente abajo de k en la segunda
fila de T. 1,uego se observa el lugar de ik en el primer renglon de a y se ve
que se encuentra directamente abajo de 61 en el segundo renglon de a. Esta es
la imagen de k respecto a or. Luego se pasa por k = 1, 2, . . . , n y se obtiene
el simbolo para UT. Esto se realiza a simple vista.
Se ilustra lo anterior con dos permutaciones
es S,. Entonces UT =
2 3 4
PROBLEMAS 3.1
1. Determinar 10s productos.
3. Prutbese que
1 2 ... -1
l2 "'
... 2 ... n
4. Encukntrese el orden de cada uno de 10s elementos del Problema 2.
5. Encutntrese el orden de 10s productos obtenidos en el Problema 1.
Dados dos ciclos, digamos un k-ciclo y un m-ciclo, se dice que son ciclos
disjuntos o ajenos si no tienen ningun entero en comun. De donde (1 3 5)
y (4 2 6 7) son ciclos ajenos en S,.
os ajenos en S,, afirmamos que conmutan. La demostraci6n
de ello se deja a1 lector, con la sugerencia de que si a, 7 son ciclos ajenos, se
debe verificai que (os)(i) = (sa)(i) para todo i E S = { 1,2, . . ., n}. Expresa-
mos este resultado como
por medio del trazo punteado. LCual es el ciclo de 7 determinado por 2? Zigza-
gueando
TEOREMA 3.2.2.Toda
-- permutation en S, es el product~de ciclos
ajenos.
TEOREMA 3.2.4. - -
Supbngase que a E S,,tiene descomposici6n cicli-
ca en ciclos ajenos de longitud ml, m2, . . . , m,. Entonces el orden .*--de
z s -el'minimo comlin multiplo de m , , m2, . . ., mk,
"
Notese que es imperativo que en el teorema los ciclos Sean ajenos. Por
ejemplo, (1 2) y (1 3), que no son ajenos, son cada uno de orden 2, per0
su product0 (1 2)(1 3) = (1 3 2) es de orden 3.
Consideremos el Teorema 3.2.4 en el context0 de un acomodo de naipes.
Sup6ngase que un conjunto de 13 cartas se acomoda de tal manera que la carta
de arriba se coloca en la posicidn de la tercera, la segunda en la de la cuarta,
. . . , la i-esima en la posicion i + 2, trabajando en mod 13. Considerado
como una permutacion, a, de 1, 2, . . . , 13; el acomodo se convierte en
ahora realizar el nuevo acomodo para volver las cartas a su posici6n original?
La primera operaci6n es el acomodo expresado por la permutaci6n 7 =
(1 12 11 10 9 8 7 6 5 4 3 2) seguida la a de antes. Asi que
se debe calcular a7 y encontrar su orden. Pero
por lo tanto es de orden 12. De manera que se requiere realizar 12 veces el aco-
mod0 para que las cartas vuelvan a su orden inicial.
iSe puede encontrar un acomodo de las 13 cartas que requiera de 42 reali-
zaciones, o de 20? ~ Q u Cacomodo requeriria el mayor numero de realizaciones
y cud seria dicho numero?
Regresamos a la discusi6n general. Considtrese la permutacion (1 2 3);
se ve que (1 2 3) = (1 3)(1 2). TambiCn se puede ver que (1 2 3) =
(2 3)(1 3). Asi que dos cosas son evidentes. Primero, se puede escribir
(1 2 3) como el producto de dos transposiciones, y en a1 menos dos ma-
neras distintas. Dado el k-ciclo (i,i2 . - . ik), entonces (il i2 - - . ik) =
(i, ik)(il i ) - ( i i2), asi que todo k-ciclo es el producto de k transpo-
siciones (si k > 1) y se puede realizar de varias maneras, no de manera unica.
Como toda permutaci6n es el producto de ciclos ajenos y todo ciclo es un pro-
ducto de transposiciones, se tiene
PROBLEMAS 3.2
3.3 PERMUTACIONES
IMPARES Y PARES
En la Seccion 3.2 se observo que aunque toda permutaci6n es el producto
de transposiciones, esta descomposici6n no es unica. Sin embargo, se co-
mento que ciertos aspectos de esta clase de descomposici6n son unicos. Ahora
se examina esto a fondo.
Consideremos el caso especial de S3, ya que aqui se puede ver todo explici-
tamente. Sea f (x) = (x, - x2)(xl - x3)(x2- x3) una expresion en las tres va-
riables xl, x2, x3. Hacemos que S3 actue sobre f(x) como sigue. Si a E S3,
entonces
donde en este producto i asume todos 10s valores desde 1 hasta n - 1 inclusive,
y j todos aqukllos desde 2 hasta n inclusive. Si a E S,, definase a* sobre
f (x) mediante
Si a, T E S,, entonces
nes, entonces
ya que 7 , ~ '= 7i; por lo tanto, se observa que la paridad de a y a-I es (-l)k,
asi que son de igual paridad. Esto demuestra desde luego que a E A, implica
que a-I E A,, de donde A, es un subgrupo de S,.
Pero ello prueba un poco mAs, a saber, que A, es un subgrupo normal
de S,. Porque sup6ngase que a E A, y p E S,. ~ C U es A la paridad de -p -'up?
-'
Por lo anterior, p y p son de la misma paridad y a es una permutaci6n par
asi que p-laapes una permutaci6n par, por consiguiente estA en A,. De mane-
ra que A, es un subgrupo normal de s,.
Resumimos lo efectuado en el
TEOREMA 3.3.2. --
El grupo alternante de - n,
- gradoA. A,, es un
- sub~ru-
po normal
..-
---' - S,.
de *- - * - a
PROBLEMAS 3.3
(a)(:
(b) (1
2
4
3
5
4
1
5
3
6
7
2 3 4 5 6)(7 8 9).
7
8
8
9 :I.-
(c)(l 2 3 4 5 6)(1 2 3 4 5 7).
(d) (1 2)(1 2 3)(4 5)(5 6 8)(1 7 9).
2. Si a es un k-ciclo, demukstrese que a es una permutaci6n impar si k es par,
y es una permutaci6n par si k es impar.
3. PruCbese que a y 7-'a7, para a, 7 E S,,, cualesquiera, son de la misma
paridad.
4. Si m < n, se puede decir que S,,, C S,, considerando que j E S,, actda sobre
1, 2, . . . , m, . . . , n como lo hizo sobre 1, 2, . . . , rn y que a deja a j >
m fijo. PruCbese que la paridad de una permutacibn en S,, cuando se con-
sidera de esta manera como elemento de s,,,no cambia.
5; Sup6ngase que se sabe que la permutation
Se debe sefialar que algunos libros de algebra exigen que un dominio integral
contenga un elemento unidad. A1 leer otro libro, el lector debe verificar si tal
es el caso. Los enteros, Z,proporcionan un ejemplo obvio de un dominio integral.
Se consideraran otros un poco menos obvios.
I
DEFINICI~N.
Se dice que un anillo con unidad, R, es un aniIIo con
divisidn si para a f 0 en R existe un elemento b E R (que normalmente
se expresa como a-') tal que a a-' = a-' . a = 1.
La razon de llamar a un anillo de esta clase un anillo con division es bas-
tante evidente: porque se puede dividir (a1 menos teniendo presentes 10s lados
izquierdos y derechos). Aunque 10s anillos con division no conmutativos existen
con mucha frecuencia y desempeiian un papel importante en el algebra no con-
mutativa, son bastante complicados y solo se dara un ejemplo de ellos. Dicho
anillo con division es el gran clasico presentado por Hamilton en 1843 que se
conoce como el anillo de 10s cuaternios. (Vease el Ejemplo 12 que sigue.)
Finalmente, pasamos a1 ejemplo tal vez mas interesante de una clase de anillos:
el campo.
I
DEFINICI~N. Se dice que un anillo R es un campo si R es un anillo
con divisidn conmutativo.
En otras palabras, un campo es un anillo conmutativo en el cual se puede
dividir libremente entre elementos distintos de cero. Dicho de otra manera,
R es un campo si sus elementos distintos de cero forman un grupo abeliano
respecto a1 producto . en R.
Se tienen a la mano muchos ejemplos de campos: 10s numeros racionales,
10s numeros reales, 10s numeros complejos. Pero se veran muchos mas ejemplos,
tal vez menos conocidos. El Capitulo 5 se dedicara al estudio de 10s campos.
El resto de la presente seccion se empleara en considerar algunos ejemplos
de anillos. Se omitira el para el producto y a . b se expresarii simplemenje
como ab.
- -
-
(p veces)
Nada semejante a esto sucede en Q. Existen diferencias aun mas notables entre
10s campos: como se factorizan 10s polinomios en ellos, propiedades especiales
de las que se veran algunos ejemplos, etcttera.
Se empieza con varios ejemplos conocidos.
Estos ocho ejemplos son especificos. Utilizando 10s teoremas que se han de-
mostrado anteriormente, se tienen algunas construcciones generales de cam-
pos.
-mero primo.
-...- -
-.
PROBLEMAS 5.1
1. DemuCstrese que un campo es un dominio integral.
2. PruCbese el corolario aun en el caso en que D no tenga elemento unidad.
3. Dado un anillo R, sean S = R [x] el anillo de polinomios en x sobre R
y T = S [y] el anillo de polinomios en y sobre S. DemuCstrese que:
(a) Cualquier elemento f (x, y) de T tiene la forma CCaUx'yj, donde
10s aij estan en R.
(b) En tirminos de la forma de f (x, y) en Tdada en la parte (a), proporcio-
nese la condicion para la igualdad de dos elementos f (x, y) y g(x, y)
de T.
(c) En terminos de la forma de f (x, y) dada en (a), proporcionese la
formula de f (x, Y ) + g(x, Y 1, para f (x, Y 1, g(x, Y) en T.
(d) Proporcionese la forma del product0 d e f (x, y) y g(x, y) si ambos es-
tan en T. ( T se llama anillo de polinomios en dos variables sobre R y
se denota por R [x, y].)
4. Si D es un dominio integral o entero, demukstrese que D [x, y ] es tambiCn
un dominio integral o entero.
5.2 Breve excursion hacia 10s espacios vectoriales 179
5. Si F es un campo y D = F [x, y], el campo de cocientes de D se llama cam-
p o de funciones racionales en dos variables sobre F y se denota usualmente
por F ( x , y). Proporcionese la forma del elemento ~ i p i c ode F ( x , y).
6. PruCbese que F ( x , y ) es isomorfo a F ( y , x).
7. Si F es un campo de caracteristica p # 0, demuestrese que (a + b)P =
a P + bP para todo a, b E F. (Sugerencia: Utilice el teorema del bino-
I
mio y el hecho de que p es primo.)
8. Si F es un campo de caracteristica p # 0, demuestrese que ( a + b)m =
a m + bm, donde m = p n , para todo a, b en F y cualquier entero posi-
tivo n.
9. Sea F u n campo de caracteristicap # 0 y sea cp: F F definida por cp(a) =
+
a P para todo a E F.
(a) DemuCstrese que cp define un monomorfismo de F en 61 mismo.
(b) Proporcionese un ejemplo de un campo F donde cp no sea suprayectiva.
(Muy dificil.)
10. Si F es un campo finito de caracteristica p , demuestrese que la aplicacion
cp definida anteriormente es suprayectiva, por consiguiente es un automor-
fismo de F.
- - -
Para abordar las cosas deseables de realizar en la teoria de 10s campos, se re-
quieren ciertos instrumentos tecnicos que todavia no se tienen. Esto implica la
relacion de dos campos K > F y lo que seria bueno considerar como cierta me-
dida de la magnitud de K comparada con la de F. Dicha magnitud es lo que
se llamara dimension o grado de K sobre F.
Sin embargo, para tales consideraciones, se requiere de K mucho menos
que ser un campo. Seria una negligencia si se probaran estos resultados sola-
mente para el context0 especial de dos campos K > F , en virtud de que las mis-
mas ideas, demostraciones y espiritu son validos en una situacion mucho m b
amplia. Se necesita el concept0 de espacio vectorial sobre un campo F. Ademas
del hecho de que lo que se realice en 10s espacios vectoriales sera importante
en relacion a 10s campos, las ideas desarrolladas aparecen en todas las partes
de las matematicas. Los estudiantes de algebra deben ver estos temas en alguna
etapa de su instruccion. Un lugar apropiado es aqui precisamente.
+
+ v2) = a v l av2, para a E F , vl, v2 E V.
(a) a ( v l
(b) (a + P)v = a v + pv, para a , /3 E F , v E V.
) (aP)v, para a , E F , v E V.
(c) ~ ( P v =
(d) lv = v para todo v E V, donde 1 es el elemento unidad de F.
1. En el Ejemplo 1, si
a, en F.
por 10s axiomas que definen un espacio vectorial, y por lo tanto esta en
(ul, . . ., u,). Si y E F y a 1 u 1 \+
- + a , ~ ,E ( u l , . . ., u,), entonces
- a
asi que tambikn esta en (u,, . . . , u,). Por consiguiente, (u,, . . . , u,) es un
espacio vectorial. Como se le llamo anteriormente, es el subespacio de Vgenerado
sobre F por ul, . . ., Un.
5.2 Breve excursion hacia 10s espacios vectoriales 185
Esto conduce a la muy importante
son
"" .
linealmente independientes sobre F, entonces todo elemento v €
( v,, . . . , vn ) tiene una representacion unica como
con a , ,
-".
. . . , a, en F.-
,.., ,
186 CAP~TULO
5 0 CAMPOS
Sean v,,
DEMOSTRACI~N. . . ., v, y w,, . . . , w, dos bases de V sobre F. Se
requiere demostrar que rn = n. Sup6ngase que rn > n. En virtud de que v,,
. . . , v, es una base de V sobre F, se sabe que todo elernento de V es una com-
binacion lineal de 10s vi sobre F. En particular, w,, . . . , w, son cada uno una
combinacion lineal de v,, . . . , v, sobre F. De esta manera se tiene
tiene una solucion no trivial en F e n virtud del Teorema 5.2.2, ya que el numero
de variables rn supera a1 numero de ecuaciones n. Si PI, . . . , 6, es una tal so-
luci6n en F, entonces, por lo anterior, P,w, + . . . + b , ~ , = 0, no obstante
188 5
CAP~TULO CAMPOS
que no todos 10s Pi son cero. Esto contradice la independencia lineal de w,,
. . . , w, sobre F. Por lo tanto, m I n. De manera semejante, n 5 m; por
consiguiente m = n. El teorema resulta luego probado, puesto que un conjun-
to generador minimo de V sobre F es una base de V sobre F y el numero de
elementos en tal conjunto es por definicion dimF( V). Por lo tanto, en vista de
lo obtenido anteriormente, n = dimF(V) y se completa la demostracibn.
Se concluye esta secci6n con un teorema final del mismo tipo de 10s anterio-
res.
PROBLEMAS 5.2
13. Sean K > F dos campos; supongase que K, como espacio vectorial sobre
F, tiene dimension finita n. DemuCstrese que si a E K, entonces existen ao,
a , , . . . , a, en F, no todos cero, tales que
17. Sean K > F dos campos tales que dimF(K) = m. Supongase que V es un
espacio vectorial sobre K. PruCbese que:
(a) V es un espacio vectorial sobre F.
(b) Si V es finito dimensional sobre K, entonces es finito dimensional sobre
F.
(c) Si dim,( V) = n, entonces dimF(V) = mn [es decir, dimF( V) =
dim, ( V) dim, (K)] .
18. Sean K > F campos y supongase que V es un espacio vectorial sobre K tal
que dim, ( V) es finito. Si dimF(K) es finito, demuCstrese que dim, ( V) es
finita y determinese su valor en tirminos de dim,(V) y dim,(K).
5.3 Extensiones de campos 191
19. Sea D un dominio integral con unidad 1, que es un espacio vectorial finito-
dimensional sobre un campo F. PruCbese que D es un campo. (Nofa: Dado
que F 1, que se puede identificar con F, esta en D, la estructura de anillo
de D y la estructura de espacio vectorial de D sobre F estan en armonia en-
tre si.)
20. Sea V un espacio vectorial sobre un campo infinito F. DemuCstrese que V
no puede ser la union (corno en la teoria de conjuntos) de un numero finito
de subespacios propios de V. (Muy dijicil.)
Nuestra atencion se vuelve ahora hacia una relaci6n entre dos campos K y F ,
donde K > F. Se le llama a K una extension (o campo extension) de F , y a F
un subcampo de K. En todo lo que sigue en esta seccion se sobreentendera que
K 3 F.
Se dice que K es una extension finita de F si, considerado como espacio vec-
torial sobre F , dim,(K) es finita. Se expresara dim,(K) como [K : F ] y se le
llamara grado de K sobre F.
Se inicia la discusion con el resultado que normalmente es el primer0 que
se prueba a1 hablar de extensiones finitas.
TEOREMA 5.3.1. -.-Sean- L > K > F tres campos tales que ambas
[L : K ] y [K : F ] son finitas. ~ n t o n c e sL es una extension finita d .e. F-
---
y[L:F] = [L:K][K:F].
El lector debe comparar el Teorema 5.3.1 con el resultado un poco mas ge-
neral del Problema 17 de la Seccion 5.2, el cual ya debe poder resolver.
Como consecuencia del teorema se tiene el
COROLARIO.
Si L 2 K 2 F son tres campos tales que [ L : F ~ S
finito, entonces [K : F ] es finito y divide a [ L : F1.
DEFINICI~N.
Si K > F son campos, entonces se dice que a E K es
algebraico sobre F si existe un polinomio p(x) # 0 en F [ x ] tal que
p ( a ) = 0.
llando esto ultimo, se obtiene una expresion polin6mica no trivial en b con coe-
ficientes racionales, que es cero. Por consiguiente, b es algebraico sobre Q.
Es posible obtener numeros reales que Sean trascendentes sobre Q muy fa-
cilmente (vtase la Section 6.6 del Capitulo 6). Sin embargo, el establecer la tras-
cendencia de ciertos numeros conocidos requiere un esfuerzo real. Se puede
demostrar que 10s numeros familiares e y a son trascendentes sobre Q. El caso
de e fue probado por Hermite en 1873; la demostracion de que a es trascenden-
te sobre Q es mucho mas dificil y fue llevada a cab0 primer0 por Lindemann
en 1882. Aqui no se examinara a fondo la demostracion de que cualquier nu-
mero particular sea trascendente sobre Q . No obstante, en la Seccion 6.7 del
Capitulo 6 se demostrara por lo menos que a es irracional. Esto lo hace ser un
candidato posible a numero trascendente sobre Q, ya que evidentemente cual-
quier numero racional b es algebraico sobre Q dado que satisface el polinomio
p ( x ) = x - b, que tiene coeficientes racionales.
DEFINICI~N.
Se dice que un nlimero complejo es un numero alge-
b r a i c ~si es algebraico sobre Q.
Teniendo a la mano el Teorema 5.3.3, es deseable hacer uso de el. Asi que
jcomo producir subanillos de un campo K que contenga a F y Sean finito-di-
mensionales sobre F? Tales subanillos, por ser subanillos de un campo, son
automaticamente dominios integrales y cumplirian la hipotesis del Teore-
ma 5.3.3. Los medios para este fin seran 10s elementos de K que Sean algebrai-
cos sobre F.
Pero primer0 una definicion.
p ( x ) en F [x] .
-
LEMA 5.3.4. Sea a--E. K algebraico sobre F con --
Entonces p ( x ) es irreducible en
polinomio -minimo
-"*
FIX].
.-.
" .- .--.
-- - *
Ahora se resumen.
PROBLEMAS 5.3
es irracional.
7. Si a en K es tal que a 2 es algebraico sobre el subcampo F de K, demostrar
que a es algebraico sobre F.
8. Si F c K y f (a) es algebraico sobre F, donde f (x) es de grado positivo en
F [x] y a E K, prukbese que a es algebraico sobre F.
9. En relacion con la discusion que sigue a1 Teorema 5.3.5, demostrar que
F [x]/M es de grado n = grdp(x) sobre F y por consiguiente [F(a) : F] =
n = grdp(x).
10. Pruebese que cos 1 es algebraico sobre Q. (1 " = un grado, medida angular.)
COROLARIO.
Si a Y b en K son algebraicos sobre F de grados m y
n, respectivamente, entonces a & b, ab y a/b (si b # 0) son algebraicos
sobre F de grado mn a lo sumo.
El campo
--.. - .-..- de
. .10s
*. . .. ..numeros algebraicos es algebraicamente
. ,.. - . ......". . cerrado.
mento de recta -a1 cual se le asigna longitud 1- y todas las demis longitudes
que se deriven de tal segmento deben obtenerse sencillamente empleando una
regla (un simple borde recto) y un compis.
Llamemos a un numero real no negativo b longitud constructible si, me-
diante un numero finito de aplicaciones de la regla y el compas y 10s puntos
de interseccion obtenidos entre rectas y circulos asi construidos, se puede
construir un segmento de recta de longitud b, a partir del segmento de recta
a1 que se le asign6 longitud 1.
De la geometria cursada en el bachillerato recordamos algunas cosas que
se pueden realizar dentro de este marco.
1. Cualquier longitud que se construya sobre una recta se puede construir so-
bre cualquier otra recta mediante el uso del compas como instrumento de
transferencia o transporte.
2. Se puede trazar una recta paralela a una recta dada que pase por un punto
dado.
3. Se puede construir una longitud n para cualquier entero no negativo n.
Todas estas construcciones se pueden llevar a cab0 con regla y compas. Por
geometria elemental, la longitud de P C es ab. Por tanto, ab es constructible.
3. Si a y b son constructibles y b # 0,entonces a/b es constructible. Consi-
dCrese el diagrama
DEMOSTRACI~N.
Las propiedades 1 a 3 casi resuelven el problema; la propie-
dad 1 se debe adaptar ligeramente para permitir valores negativos. Se dejan a1
lector 10s pocos detalles.
fuera 2. Pero el volumen de tal cub0 seria b3, asi que se tendria que poder en-
/
contrar un nuevo n ~ m e r oconstructible b tal que b3 = 2.
Dado un numero real b tal que b3 = 2, entonces su polinomio minimo so-
bre Q es p ( ~ = ) x3 - 2, ya que este polinomio es monico e irreducible sobre
Q (si el lector lo desea, por el criterio de Eisenstein) yp(b) = 0. Ademas, como
resulta obvio a la vista, p(x) es de grado 3. Puesto que 3 no es una potencia
de 2, por el Teorema 5.5.2, no existe tal b constructible. Por lo tanto, el proble-
ma de la duplication del cub0 mediante regla y compas tiene respuesta negati-
va. Esto se resume en el
--&. --
TEOREMA 5.5.3. Es imposible duplicar un cub0 de volumen 1 usan- ,-
PROBLEMAS 5.5
1. Complktese la demostracion del Teorema 5.5.1.
2. Pruebese que x 3 - 3x - 1 es irreducible sobre Q.
3. Demuestrese que la construccion dada para &, siendo a r 0, da efectiva-
mente &.
4. Pruebese que el heptagon0 regular (poligono de siete lados de la misma lon-
gitud) no es constructible, usando solamente regla y compas.
de K. ~ s t es
e el uso que se ha hecho de tal notacion a lo largo de este capitulo.
Ahora nos interesaremos en aquellos a en K tales que f (a) = 0.
208 cAP~TuLO 5 CAMPOS
DEFINICI~N.
Un elemento a E K es una raiz de un polinomio f ( x ) E
F [ x ] si f ( a ) = -0.
--toriza en
- .. .-
..
L [ .". .- f .( x ) = ( x - a)q(x);'donde
x ] como , .. ... q. (..x .) es
.,, , , . . de . grado n.-
1 en L [
--.-...-.- -. x ] .A la inversa, s'i f (x') = ' ( x - a ) q (
- . .. .x ) ,con f ( x ) , q ( x ) y a co-*
mo
----. antes,
. . . entonces . . a es . una . .. ,.raiz de f ( x ) en .-. L. u
DEMOSTRACI~N.
Dado que F L, F [ x ] esta contenido en L [ X I .Como a E
C
L , x - a esta en L [ x ] ;por el algoritmo de la division, Teorema 4.5.5, para poli-
nomios en L [ x ] se tiene que f ( x ) = ( x - a ) q ( x ) + r ( x ) , donde q ( x ) y r ( x )
estan en L [ x ]y r ( x ) = 0 o bien grd r ( x ) < grd ( x - a ) = 1. Esto implica que
r ( x ) = b, algun elemento de L. Sustituyendo a por x en la relacion anterior
y utilizando f ( a ) = 0, se obtiene 0 = ( a - a ) q ( a ) + b = 0 + b = b; asi que
b = 0. Puesto que r ( x ) = b = 0, se tiene lo que se requeria, es decir f ( x ) =
( x - a)q(x).
En cuanto a la afirmacion de que deg q ( x ) = n - 1 se observa que dado
que f ( x ) = ( x - a ) q ( x ) , entonces, mediante el Lema 4.5.2, n = grd f ( x ) =
grd ( x - a ) + grd q ( x ) = 1 + grd q ( x ) . Esto da lugar a1 resultado requerido,
g r d q ( x ) = n - 1.
El reciproco es completamente trivial. n
Una consecuencia inmediata del Lema 5.6.1 es
ces f ( x ) puede
-. .. -. tener a lo sumo n raicesen cualquier extension
. . . -.
K de F.
5.6 Raices de polinomios 209
DEMOSTRACI~N. Se procede por inducci6n en n. Si n = 1, entonces f (x) =
ax + b, donde a y b estan en F y a # 0. Asi que la unica raiz de f (x)
es -b/a, un elemento de F.
Supongase que el teorema es valido para todos 10s polinomios de grado k -
1 sobre cualquier campo y que f (x) en F [x] es de grado k. Si f (x) no tiene
raices en K, entonces el teorema es desde luego correcto. Supongase, entonces,
que a E K es una raiz de f (x). Por el Lema 5.6.1, f (x) = ( x - a)q(x), donde
q(x) es de grado k - 1 en K [XI. Cualquier raiz b en K de q(x) es bien sea a
o una raiz de q(x), ya que 0 = f (b) = ( b - a)q(b). Por la hipotesis de induc-
cibn, q(x) tiene a lo sumo k - 1 raices en K, por consiguiente f (x) tiene a lo
sumo k raices en K. Esto completa la inducci6n y prueba el teorema.
--
raiz ...-.........
de multiplicidad k comb k iaices. Si tales raices en
. K . son - -. a
.! '-a,,
-
?:~I cada
....ffm!. . una de ellas con multipliciclad k,, k2, ...
......... , k,, res-.
pectivamente, entonces f (x) se factoriza en K [x] ...... como -. . . f .(x) . . =
G-'-
........ .- .
- a2)k, . . . (X - a,)km.
Existe una aplicacion agradable del Teorema 5.6.3 a campos finitos. Sea
F u n campo finito que consta de q elementos y Sean a,, a2, ..., a,-, 10s ele-
mentos no cero de F. Puesto quz ellos forman un grupo de orden q - 1 respecto
210 5
CAP~TULO CAMPOS
,-- .
donde al! a,, . . . , - a ,,, son 10s elementos
.........
no cero
.............. de Fy
- ......
-".
Un caso muy especial
. . . . . . - de este teorema es aquel en el que .
F = ....ZP , 10s ? -.
ente-
-.-- modulo
ros ..... el primo p. Aqui q = p y a,, a,, . . ., a,_~-son precisamente . . . . . . . . . . . . . . . . . . 1, -2,
.-..-. . ,. .p. . - 1 en algtin . . . .orden. Por c ~ n s i ~ u i e n. t. .e. '. tiene
s-e .el. . .
COROLARIO.
En Z,[x], xP-' - 1 se factoriza como
COROLARIO..
Si p es primo, entonces ( p - I)! = -1 rnodp.
DEMOSTRACION.
Por el corolario anterior.
-- .po-
".
sitivo n en F[x]. Entonces existe una extension finita K de F , con
-. * .
que fuera probado por el lector. Seremos ahora un poco mas generosos y lleva-
remos a cab0 la demostracion en detalle.
Dado h(x) en F [x], entonces, por el algoritmo de la division, h(x) =
p(x)q(x) + r(x) donde q(x) y r(x) estln en F [x] y r(x) = 0 o bien
grdr(x) < grdp(x). Procediendo en modulo M, se obtiene que
PROBLEMAS 5.6
1. Pruebese el Teorema 5.6.3.
2. Si F es un campo finito que tiene 10s q - 1 elementos distintos de -ceroa,,
a2, . . ., a,-,, pruebese que a,a2 . . . a,-, = (-I),.
3. Sean Q el campo de 10s racionales y p(x) = x 4 + x 3 + x 2 + x + 1.
Demuestrese que existe una extension K de Q con [K : Q ] = 4 sobre
la cual p ( x ) se descompone en factores lineales. [Sugerencia: Encuentrense
las raices de p (x) .]
4. Si q(x) = x n + a,xn-I + - . . + a,, a, # 0, es un polinomio con coefi-
cientes enteros y si un ndmero racional r es una raiz de q(x), pruebese que
r es entero y r/a,.
5. Probar que q(x) = x 3 - 7x + 11 es irreducible sobre Q.
6. Si F es un campo de caracteristica p # 0, demuestrese que (a + b)P =
aP + bP para todo a y b en F.
7. Extiendase el resultado del Problema 6 demostrando que (a + b)"' =
a m + bm, donde m = pn.
214 5
CAP~TULO CAMPOS
Demostrar que:
(a) 6 ( f ( x ) + g o ) ) = & ( f ( x ) )+ 6 ( g ( x ) ) .
(b) 6 ( f ( x ) g ( x ) )= f (x)6( g ( x ) )+ 6 ( f ( x ) ) g ( x )
para todo f ( x ) y g ( x ) en F [ X I .
12. Si F es de caracteristica p # 0, describase todo f ( x ) en F [ x ] tal que
6 ( f 0 ) )= 0.
13. Demuestrese que si f ( x )en F [ x ]tiene una raiz de multiplicidad mayor que
1 en alguna extension de campo de F, entonces f ( x )y 6( f ( x ) )no son pri-
mos entre si en F [ x ].
14. Si F es de caracteristica p # 0, demuestrese que todas las raices de xm - x,
donde m = p n , son distintas.
15. Si f ( x )en F [ x ]es irreducible y tiene una raiz de multiplicidad mayor que
1 en alguna extension de F, demuestrese que:
(a) F debe ser de caracteristica p para algun primo p.
(b)f ( x ) = g ( x P ) para algun polinomio g ( x ) en F [ X I .
"ESPECIALES
11
Si
DEMOSTRACI~N. 7, 72, entonces r1r2= 6 = e y desde luego e es el
=
producto de dos 3-ciclos, por ejemplo e = (123)(132).
Si 71 f 72, entonces tienen ya sea un simbolo en comun o ninguno. Si tienen
un simbolo en comun, se puede suponer, luego de una renumeracion apropiada,
que 7, = (12) y 7 2 = (13). Per0 entonces r1r2= (12)(13) = (132), el cual ya
es un 3-ciclo.
Finalmente, si 71 y 7 2 no tienen simbolo en comun, se puede suponer, sin
perder generalidad, que r1 = (12) y 7 2 = (34), en cuyo caso = (12)(34) =
(142)(143), que es efectivamente el producto de dos 3-ciclos. El lema queda
entonces probado.
Una consecuencia inmediata del Lema 6.1.1 es que para n 1 3 10s 3-ciclos
generan A,, el grupo alternante de grado n.
TEOREMA 6.1.8. --
El- grupo A, es un grupo simple de orden-.60.
- a
DEETEQ~REMA 6.1.8.
GOROLARIO DELA-DEMoSTRACI~~J
A, es un grupo simple.
TEOREMA 6.1.9. - .
Para todo n r 5 el grupo A, es simple.
PROBLEMAS 6.1
Nuestra meta en esta seccion y en las dos siguientes es obtener una descripcion
completa de todos 10s campos finitos. Lo que se demostrara es que el grupo
multiplicativo de 10s elementos distintos de cero de un campo finito es un grupo
ciclico. Esto se realiza en la presente seccion. En las dos siguientes 10s objetivos
seran establecer la existencia y unicidad de 10s campos finitos que constan de
pn elementos para cualquier primo p y cualquier entero positivo n.
Algunas de las cosas que se van a hacer ya aparecieron en 10s conjuntos de
problemas de teoria de grupos y teoria de campos como problemas dificiles.
Las tkcnicas que se emplean provienen de las teorias de grupos y campos, agre-
gando un poco ile teoria de 10s numeros.
222 CAP~TULO
6 TEMAS ESPECIALES
n = C$(d) 5 Ccp(d) = n
ya que cada $(d) r cp(d). Esto da por resultado que C$(d) = Ccp(d), lo cual,
junto con $(d) Icp(d), obliga a que $(d) = cp(d) para todo d que divida a
n. Asi que, en particular, $(n) = cp(n) r 1. iQud indica esto? Despub--de todo,
$(n) es el numero de elementos en G de orden n, y puesto que $(n) > 1 debe
o rtanto, 10s elementos e, a, a2, . . .,
r elemento a en G de o r d e ~ n ~ p lo
h ~ b e un
son todos distintos y son n en cantidad, de mod0 que deben dar lugar a
todo G. Por consiguiente, G es ciclico con a como generador y se demuestra
el teorema.
subgrupo
--- - - finito d
Este es un caso muy especial del Teorema 6.2.3, per0 por el momento el
mas importante es el
ciclico..
--".--
n -
10. Pruebese que lim (p(n)
+
= a.
6.3 CAMPOS
FlNlTOS II: EXISTENCIA
Sea K un campo finito; entonces K debe ser de caracteristica p , p primo, y K
contiene a 0, 1, 2, . . . ,p - 1, 10s p multiplos del elemento unidad 1 de K. De
mod0 que K > Z,, o bien, de manera mas precisa, K contiene un campo iso-
morfo a 2,. Puesto que K es un campo vectorial sobre Z, y evidentemente es
de dimension finita sobre Z,, si [K : Z,] = n, entonces K tiene pnelementos.
Esto es cierto porque, si v,, v2, . . . , v, es una base de K sobre Z,, entonces,
para toda eleccion distinta de ( a , , a 2 , . . ., a,), donde 10s a i estan en Z,, 10s
elementos
n, existe
-" ". un campo
- finito
-*
que consta d<
- - . -" pn el&entos.
--.* .- .
-
A
PruCbese que:
(a) ( f (x) + g(x))' = f ' ( x ) + g'(x).
(b) ( f (x)g(x))' = f '(x)g(x) + f (x)g'(x) para todo f (x) Y g(x) en F 1x1.
3. Pruebese que f (x) en F [ x ] tiene una raiz multiple en alguna extension de
F si y solo si f (x) y f '(x) no son relativamente primos.
4. Si f (x) = x n - x esta en F [XI, pruCbese que f (x) no tiene una raiz multi-
ple en ninguna extension de F si F es de caracteristica 0 o bien de caracteris-
tica p # 0, donde p no divide a n - 1.
228 CAPkUL0 6 TEMAS ESPECIALES
5. ~ s e s el
e resultado del Problema 4 para dar otra demostracion del Teorema
6.3.3.
6. Si F es un campo de caracteristicap # 0, construyase un polinomio con rai-
ces multiples de la forma xn - x, donde p ( ( n - l).
7. Si K es un campo que consta de pnelementos, demuestrese que para todo
m que divida a n existe un subcampo de K que consta de pmelementos.
6.4 CAMPOS
FINITOS III:UNlClDAD
Ahora que ya sabemos que existen campos finitos que constan de pn elemen-
tos, para cualquier primo p y cualquier entero positivo n, se podria preguntar:
jcuantos carnpos finitos hay con pn elementos? Para que esto tenga sentido,
lo que en realidad se pregunta es: jcuantos campos no isomorfos distintos hay
con pnelementos? La respuesta es .breve y agradable: uno. Se demostrartt aqui
que cualquier par de campos finitos que consten del mismo numero de elemen-
tos son isomorfos.
Sean K y L dos campos finitos que constan de pn elementos. Por consi-
guiente, K y L son ambos espacios vectoriales de dimension n sobre 2,. Como
tales, K y L son espacios vectoriales isomorfos. Por otra parte, K * y L* son
ambos grupos ciclicos de orden i"- 1 por el Teorema 6.2.4; por lo tanto K *
y L* son isomorfos como grupos mult&licativos. Es especial imaginar que se
podrian juntar estos dos isomorfismos para probar que K y L son isomorfos
como campos. Pero no es asi. La demostracion no sigue tal direction en abso-
luto. Pero la finitud de K y L junto con estos dos isomorfismos (de dos estruc-
I
turas que llevan consigo K y L ) si sugieren que, tal vez, K y L son isomorfos
como campos. Efectivamente este es el caso, como se demuestra en seguida.
Empezamos con el
-" d - .
DEMOSTRACI~N. Por el Teorema 4.5.1 1 el ideal (q(x)) de Z,[x] generado por
q(x) es un ideal m k i m o de Z, [XI, ya que q(x) es irreducible en Z,[x]. Sea A
= Z,[x]/(q(x)); por el Teorema 4.4.3; A es un campo de grado n sobre 2,;
por consiguiente, consta de pnelementos. De mod0 que, urn = u para todo ele-
mento u de A.
Sea a = x + (q(x)) la clase lateral de x en A = Z,[x]/(q(x)); de esta
manera q(a) = 0 y q(x) es el polinomio minimo de a sobre 2,. Puesto que
a esta en A, a m = a, asi que a es una raiz del polinomio x m - x, donde m =
pn.Por consiguiente xm - x y q(x) tienen una raiz comun en A. Por el Lema
6.3.2 se tiene que q(x)((xm- x).
6.5 Polinomios cic~otomicos 229
Ahora estamos en posibilidad de probar el resultado principal de esta seccion.
numero
--,. -. . de elementos, entonces
--,.. .
,,. K y.
,.-.. - . .
...-*. ~ ... . " ..*.
donde a,, a,, . . ., a, son todos 10s elementos de K. Asi que q(x) divide a
(X - a,)(x - a 2 ) . . . (X - a,). Por el corolario a1 Teorema 4.5.10, q(x) no
puede ser primo con respecto a todos 10s x - a i en K [XI, por consiguiente pa-
ra a l g h j, q(x) y x - a, tienen un factor comun de grado a1 menos l . En for-
ma breve, x - a, debe dividir a q(x) en K [XI, de manera que q(x) =
( x - a,)h(x) para algun h(x) en K[x]. Por lo tanto, q(a,) = 0.
Puesto que q(x) es irreducible en Z,[x] y a, es una raiz de q(x), q(x) debe
ser el polinomio minimo de a, en Z,[x]. Por consiguiente Z,(a,) =
Z,[x]/(q(x)) = L. Esto indica, entre otras cosas, que se tiene [Z,(a,) : Z,] =
n, y dado que Zp(aj) c K y [K : Z,] = n se concluye que Z,(a,) = K. Por
lo tanto, K = Z,(a,) = L. De esta manera se obtiene que K y L son campos
isomorfos. Esto demuestra el teorema.
--
te,-....,salvo isomorfismos,
. . . -..
" ~ . ..,
uno y solo un camPo que consta
.. .
de ..-
pn .>
ele-
... ~~. ,, .,."+..
mentos.
-.. . .>..
Por lo pronto no es obvio que 10s +,(x) asi definidos sean polinomios pa-
res, ni tampoco se tiene una idea de la naturaleza de sus coeficientes. Todo esto
vendra a su debido tiempo. Primero conviene considerar algunos ejemplos ini-
ciales.
DEMOSTRACI~N.
Se procede por induccion en m.
Si m = 1, se demostro anteriormente que $(')(x) -= (xP - l)/(x - 1) =
1 + x + x 2 + - - . + XP-I, por consiguiente el lema es cierto en este caso.
Sup6ngase que $ ( r ) = (XP' - I)/(~P'-'- 1) para todo r < m. Considerese
$(")(x). Puesto que 10s unicos divisores propios de pm son 1, p , p 2 , . . . ,
pm-', de la definicion de $(")(x) se tiene que
Pero entonces
-
- aox)IP + aIxOI- ')P + . . . +a,, m o d p ,
siendo esta ultima congruencia una consecuencia del teorema de Fermat (el co-
rolario del Teorema 2.4.8). Puesto que f (xP) = a,-,xnP + af"-'IP + - . . + a,,
se obtiene que
- X ~ n '(p-')
= modp = +'""(x + 1)modp.
Esto indica que
donde r(x) es un polinomio con coeficientes enteros. De esta manera todos 10s
coeficientes de $("')(x + l), con excepcion del primer coeficiente 1, son divisi-
b l e ~por p. Si por alguna raz6n se supiera que el termino constante de h(x) =
$("')(x + 1) no es divisible por p 2 , se'podria aplicar el criterio de Eisenstein pa-
ra demostrar que h(x) es irreducible. Pero jcual es el termino constante de
h(x) = $("')(x + l)? Este es simplemenfe h ( 0 ) = $("')(l), el cual por la for-
ma explicita de $("')(x + 1) que se obtuvo cuatro parrafos antes es exactamente
p. De esta manera h(x) es irreducible en Q [x] es decir $("')(x + 1) es irreduci-
ble en Q [XI. Pero esto implica de inmediato que $(")(x) es irreducible en Q [XI.
234 CAP~TULO
6 TEMAS ESPECIALES
TEOREMA 6.5.2. --
Para n =
- --p m...,-dondep..---- - - - primo-y-m cual-
es cualquier
.*="
A es irredudble en
-- .Q [XI.
--
A
Como se sefial6 antes, este es un caso muy especial del teorema que se de-
mostrara pronto; a saber, que 4,(x) es irreducible para todos 10s enteros posi-
tivos n. Por otra parte, el resultado y la demostracion del Teorema 6.5.2 no
desempefian ningun papel en la demostraci6n de la proposici6n general que
4,(x) es irreducible en Q [XI. Pero gracias a1 resultado del Teorema 6.5.2 y a
la forma explicita de 4.(x) cuando n = p m ,se obtiene una idea muy buena de
lo que debe ser cierto en general. Procedemos ahora a la discusion de la irredu-
cibilidad de 4,(x) para n general.
-
donde .- - 8(2),. . . , 8'"")) son las cp(n) raices n-tsimas primitivas-d@-
----8('),
- -- -
---
tintas de la unjd,aa.
a
-.
donde 10s tirecorren todas las raices entsimas de la unidad. Separando las rai-
ces n-tsimas primitivas de la unidad en este producto, se obtiene
TEOREMA 6.5.4. --
para- todo entero positivo n el polinomio - .--
- - +,(x) es *-
-un polinomio
-- "- p-
monico con coeficientes enteros de grado pin), donde
es
- . la funci6n p de Euler.
DEMOSTRACI~N.
Sea f (x) en Q [x] un polinomio irreducible tal que
f (x) I~,(x). Asi que +,(x) = f (x)g(x) para algun g(x) en Q [XI. Por el lema
de Gauss se puede suponer que ambos f (x) y g(x) son polinomios monicos con
coeficientes enteros, por consiguiente estan en Z [XI. El objetivo es demostrar
que 4,(x) = f (x); si este fuera el caso, entonces, puesto que f (x) es irreduci-
ble en Q [XI, se tendria que 4,(x) es irreducible en Q [XI.
Dado que r#~,(x)no tiene raices multiples, f (x) y g(x) deben ser reciproca-
mente primos. Sea p un numero primo tal que no divide a n. Si 8 es una raiz
cte f (x), entonces es una raiz de r#~,(x),por consiguiente por el Teorema 6.5.3
8 es una raiz n-Csima primitiva de la unidad. Dado quep es primo con respecto
a n, 8P es tambiCn una raiz n-Csima primitiva de la unidad, asi que, por el Teo-
rema 6.5.3, BP es una raiz de 4,(x). orl lo tanto se tiene que 0 = 4,(OP) =
f (OP)g(OP),de lo cual se deduce que f (OP) = 0 o bien g(8P) = 0.
Nuestro objetivo es demostrar que f (OP) = 0. Sup6ngase que no; enton-
ces g(OP) = 0, por consiguiente 8 es una raiz de g(xP). Dado que 8 es tambiin
236 CAPiTuLO 6 TEMAS ESPECIALES
una raiz del polinomio irreducible f (x), por el Lema 6.3.2 se obtiene que
f (x) lg(xP). Como se vio en el transcurso de la demostracion del Teorema
6.5.2, g(xP) = g(x)P modp.
Sea J el ideal de Z generado por p ; por el corolario del Teorema 4.6.2,
Z [x]/J[x] = Zp[x], lo cual significa que la reduccion de 10s coeficientes de
cualquier polinomio m 6 d p es un homomorfismo de Z [ x ] sobre Zp[x].
Puesto que todos 10s polinomios t$,(x), v(x), f (x) y g(x) esthn en Z [XI,
si 6,(x), G(x), f (x) y g(x) son sus imagenes en ZP[x], todas las relaciones en-
tre ellos se preservan procediendo en m6dp. De esta manera se tienen las rela-
ciones x" - 1 = S,(x)G(x), ~$,(x) = f (x)&(x) y f (x) lg(xP) = &(x)P.
Por lo tanto, f (x) y g(x) tienen una raiz comun, a, en alguna extensi6n K
de 2,. Ahora x" - 1 = 6 , ( x ) ~ ( x ) = f (x)g(x), por consiguiente a, como raiz
de ambos f (x) y g(x) es una raiz multiple de xn - 1. Pero la derivada formal
(xn - 1)' de xn - 1 es nxn-I # 0,ya q u e p no divide a n; por lo tanto, (xn - 1)'
es primo con respecto a xn - 1. Por el resultado del Problema 3 de la Seccion
6.3 el polinomio xn - 1 no puede tener una raiz multiple. Debido a esta con-
tradicci6n, que se obtuvo a partir de la suposicion de que BP no era una raiz
de f (x), se concluye que siempre que 8 sea una raiz de f (x), tambikn 8P debe
serlo, para cualquier primo p que no divida a n.
Repitiendo este razonamiento, se llega a que 8' es una raiz de f (x) para to-
do entero r que sea primo con respecto a n. Pero por ser 8 una raiz de f (x),
es una raiz de t$,(x), asi que es una raiz n-esima primitiva de la unidad. De es-
ta manera 8' es tambitn una raiz n-esima primitiva de la unidad para todo r
primo con respecto a n. Recorriendo todos 10s r que Sean relativamente primos
con n, se obtiene cada una de las raices nCsimas primitivas de la unidad como
una de tales 8'. De esta manera todas las raices n-bimas primitivas de la uni-
dad son raices de f (x). Por el Teorema 6.5.3 se ve que t $ , ( ~ )= f (x), por con-
siguiente t$,(x) es irreducible en Q [XI.
PROBLEMAS6.5
1. Verifiquese que 10s seis primeros polinomios ciclotomicos son irreducibles
en Q [x] en forma directa.
2. Expresar las formas explicitas de:
(a) 4J IO(X).
(b) 91dx).
(c) 4J20(x).
3. Si (xm - 1) J ( x n- I), prudbese que m In.
4. Si a > 1 es un entero y ( a m - l ) J ( a n- I), pruebese que m l n .
5. Si K es una extension finita de Q, el campo de 10s numeros racionales, pruk-
bese que existe solamente un numero finito de raices de la unidad en K. (Su-
gerencia: Apliquese el resultado del Problema 10 de la Seccion 6.2, junto
con el Teorema 6.5.6.)
una
--.- constante positiva. .~"(la
. . . . .
. . . . . . . . .cual depende solamente de a) tal que para
.- ....... -.-*
todos
-.,-
10s
.......enteros u, v con
- ..... u > 0, la -
....... u/vl > c/vn.
..
DEMOSTRAC16N. Sea a una raiz del polinomio f (x) de grado n en Q (x), don-
de Q es el campo de 10s numeros racionales. Eliminando 10s denominadores en
10s coeficientes de f (x), se puede suponer que f (x) = r&" + rlxn-I + ... +
r,, donde todos 10s ri son enteros y ro > 0.
Puesto que el polinomio f (x) es irreducible de grado n tiene n raices distin-
tas a = a,, a2, ..., a, en C, el campo de 10s numeros complejos. Por lo tan-
to, f (x) se factoriza sobre C como f (x) = ro(x - a)(x - a2) . . . (x - a,).
Sean u, v enteros con v > 0;entonces
Por consiguiente,
es un entero. Por otra parte, dado que f (x) es irreducible en Q [x] de grado
n r 2, f (x) no tiene raices racionales, asi que vnf (u/v) es un entero distinto
de cero, de lo cual I vnf (u/v)l r 1. Usando la forma factorizada de f (x), se
tiene que
por lo tanto
donde
son enteros.
Se denota la i-esima derivada de f (x) con respecto a x mediante la notacion
usual f ("(x), sobreentendiendose que f cO)(x)significa f (x).
Primero se hace notar una propiedad de simetria de f (x), a saber que
f (x). = f (?r - x). Para tal fin, observese que f (x) = (bn/n!)xn(?r - x)", de cu-
ya forma es evidente que f (x) = f (a - x ) . Puesto que esto es valido para f (x),
es facil ver, a partir la regla de la cadena para la diferenciacibn, que f(')(x) =
(-l)y(I'(?r - x).
242 CAP~TULO6 'TEMAS ESPECIALES
F ( x ) = f ( x ) - f ("(x) + . .. + (-l)"f(2n)(~).
- - F" ( x ) = f
-d2F ( 2 ) ( x-
) f (4)(x) + ... + (- 1)" f (2n)(x)
dx2
Por lo tanto,
- F 1 ( x )cosx + F ( x ) senx
= (Fr'(x)+ F ( x ) ) sen x =f ( x ) sen x.
C ( x ) sen x dx = [ F r ( x sen
) x - F ( x ) cos x);
A-
e
{QJ,$
5 1 ~ ."
.;*:,
=,. ..-,: , -."->.:.
."$ . . , .
fS+ko@-
. /-
G3
'A/ A
@ecldL% .$< , . " a?",
,
A
---
c c
+-..-
0 2 - 4
i
m-
,
d .
ns:A # $0 !
A(S), 16, 18, 39 Biyectiva, correspondencia, 1 I
Abel, 41 Boole, 138
Abeliano(s), grupo(s), 41 Booleano, anillo, 138
finito(s), 96-101 Buena ordenacibn, principio de, 22
teorerna fundamental, 97-100
Alternante, 121
sirnplicidad de, 215, 222 Carnpo, 33, 127, 175-214
Anillo(s), 125-174 caracterlstica de un, 178
booleanos, 138 cerrado algebraicarnen~;200
conrnutativos, 128 cociente, 171
con unidad, 127 de cocientes, 171-178
de divisidn, 127 de descornposici6n, 213
definicidn de. 127 de funciones rationales, 176
euclidianos, 161, 162 .de.ntirneros algebraicos, 199
hornornor fisrno de, 139 definici6n de, 175-176
no conrnutativos, 127 extensibn de un, 191
-
polinorniales, 151 162 finita, 198-201
finito, 129, 185-191
Aplicacibn(es) (o rnapeos), 8
biyectiva, correspondencia, 1 I Cantor, 240
cornposicibn de, I I Caracterlstica de un carnpo, 178
conrnutacibn, 21 Carroll, 7
identidad, 9 Cartesiano, producto, 5, 6
inyectiva, 10 Cauchy, 80
suprayectiva (sobre), 10 Cauchy, teorerna de, 89, 91
uno a uno (1-l), 10 para grupos abelianos, 80
Asociativa, ley, 12, 43 Cayley, 68
Automorfisrno de grupo, 69, 75 Cayley, teorerna de, 42, 68
interno (o interior), 69 / j1 ' Centro, 52
Axiornas, 2 I
Centralizador, 52, 101
, Cero, divisor de, 128
:'j 14.,tjf,
Ciclico, grupo, 52
Base (de un espacio vectorial), 187 generador de, 52
Biyeccibn, I 1 Ciclo de una perrnutacibn, 112
245
Ciclotdmico, polinomio, 229-230 Dirccto, producto, de grupos, 92-93, 95
definicidn de, 237 b externo (o exterior), 93
irreducibilidad de, 235 interno (o interior), 93'
Clase, ecuacidn de, 102 Distributiva, ley, 126
Clase lateral (coset), 57 ~ivisidn
derecha, 63 algoritmo de la, 155'
izquierda, 57 anillo de, 127, 132
Cociente, grupo, 78 .
divide a . . , 23, 159
Complejo(s), nlimero(s), 31-36 Divisor, 23
argument0 de, 35 de cero, 128
definicidn de, 31 m h i m o comlin, 23, 158
forma polar de, 35 Dominio, 126
imaginario (puro), numero, 32 ideal principal, 156
parte imaginaria 'de, 32 integral (0 entero), 127
parte real de, 32 campo de cocientes, 171
valor absoluto de, 33 Duplicacidn del cubo, 205
Complemento, 5
Composicidn de aplicaciones, 11 Eisenstein, 169
Congruencia mddulo n, 56 , Eisenstein, criterio de, 168
Conjugacidn, 57, 101 Elemento(s), 3
clase de, 67 algebraico, 193
Conjugado complejo, 32 de grado n, 195
Conjugados, elementos, 57 conjugados, 57
Conjuntos, 3 identidad, 40
diferencia de, 5 drbita de un, 21, 65
igualdad de, 10 trascendente, 193
Equivalencia
interseccidn de, 4
clase de, 57
-.
producto cartesiano de, 5
unibn de, 4 relacidn de, 56
Conmutacibn (de aplicaciones), 21 Espacios vectoriales, 179-188
Constructibilidad, 201, 207 base de, 1 87
Constructible, longitud, 202 conjunto 'generador mfnimo de, 186
numero, 203 de dimensidn finita, 185
Correspondencia biyectiva o uno a de dimensidn infinita, 185
uno, 11 definicidn de, 179
Cuadritico, ' dimensidn de, 186
no residuo, 151 Euclides, 26
residuo, 151 Euclides, algoritmo de, 22
Cuadratura del circulo, 207 Euler, 59, 65
Cuaternios (o cuaterniones), 71, 127, 131 Euler, funcibn 4 'de, 61
Euler, teorema de, 62
Chino, teorema, del residuo, 147 Exponentes, 18
Extensidn de campo, 191-201
algebraica, 193
De Moivre, teorema de, 35 definicidn de, 191
Derivada formal, 227 finita, 191, 198-201
Descomposicibn (splitting), campo grado de, 191
de, 213
Desigualdad del tridngulo, 34
Dimensidn de un espacio vectorial, 186 Factor, 23
Directa, suma Factor, grupo, 77-82 ;
de anillos, 146 definicidn de, 78
de espacios vectoriales, 181 Factorial, 17
Fermol, 59, 62 Hornornorfisrno de anillos, 139
Fermat, teorerna de, 62 nucleo (o kernel) de, 140
Finito-dimensional, espacio vectorial, 182 Hornomorfisrno de grupos, 66-77
Finitos, campos, 221-229 definicibn de, 66
ciclicidad de, 222-224 irnagen bajo, 69
existencia de, 224-228 nucleo (o kernel) de, 69
unicidad de, 228-229 trivial, 66
Funcibn, 8
constante, 9 Ideal, 140
racional, 177 bilateral, 140
o de Euler, 61 derecho, 140
Fundanlental, teorerna izquierdo, ' 140
del Algebra, 200 mlximo, 148-150
de 10s grupos abelianos finitos, , trivial, 142
96,100 Ideal principal. dorninio, 156
Identidad
Gauss, 168 aplicacibn, 9
Gauss, lerna de, 200 elemento, 40
Gaussianos, enteros, 38, 165 Igualdad
Grado (grd) de aplicaciones (o mapeos), 8
de uha extensidn de campo, 191 de conjuntos, 5
de un polinomio, 153 Irnagen, 8
Grupo(s), 39-123 inversa, 12
abeliano, 41 fndice de un subgrupo, 59
finito, 96-101 Induccibn, 28-31
alternante, 121, 215-222 paso de, 30
autornorfismo de, 69, 75 Induccidn rnatemltica, 28-31 (