Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Libro - Algebra Abstracta - I.N.Herstein PDF
Libro - Algebra Abstracta - I.N.Herstein PDF
1.3
DEMOSTRACION.
Se verifica una de ellas. Si r E T, entonces ( f o f -')(I)=
Pero ique es f -I(()?Por definicion, f -I(()
es aquel elemento so E
S tal que t = f(so).iCuil es el so E S tal i u e f(so)= f(s)?Claramente resulta
f(f -I([)).
PROBLEMAS 1.3
2. En aquellas partes del Problema 1 en donde f define una funcion, determinese si ista es inyectiva, suprayectiva o ambas cosas.
3. Si f es una aplicacion inyectiva de S sobre T, pruebese que f -' es una aplicacion inyectiva de T sobre S.
4. Si f es una aplicacion inyectiva de S sobre T, pruebese que f-I
is.
7. Si g: S
~:h: S
T, y si f: T
g = f 0 h, entonces g =' h.
+
Usontalesquegof =
T como
14
S por f ( s ) = s2,
10. Sea S el conjunto de 10s numeros reales y para a, b E S, donde a f 0; definase 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) =
2, f(2) = 3, f (3) = 1, y f (s) = s para cualquier otro s E S. Demuestrese
que f 0 f 0 f = is. ;Cud es f - I en este caso?
+
13. Sea S el conjunto de 10s enteros positivos de la forma 2"3", donde rn > 0,
n > 0, y T el conjunto de 10s ntimeros racionales. Definase f: S
T por
f(2"'3") = m/n. Pruebese que f define una funciCln de S en T. (;En que
propiedades de 10s enteros se basa esto?)
+
1s.
.?EL GRUPO
"SIMETRICO
Recordemos un teorema de grupos abstractos demostrado en el Capitulo 2. Dicho resultado, conocido como teorema de Cayley (Teorema 2.5. I), afirma que
todo grupo G es isomorfo a un subgrupo de A(S), el conjunto de las aplicaciones inyectivas del conjunto S sobre si mismo, para algun S apropiado. En realidad, en la demostraci6n que dimos se utiliz6 como S el mismo grupo G
considerado simplemente como un conjunto.
HistQicamente, 10s grupos se originaron primer0 de esta manera, mucho
antes de que fuera definido el concepto de grupo abstracto. En 10s trabajos de
Lagrange, Abel, Galois y otros, encontramos resultados sobre grupos de permutaciones que fueron demostrados a finales del siglo XVIIIy a principios del
XIX.Sin embargo, no fue sino hasta mediados del siglo XIX que Cayley introdujo
mAs o menos el concepto abstracto de grupo.
Puesto que la estructura de grupos isomorfos es la misma, el teorema de
Cayley seiiala un cierto cardcter universal de 10s grupos A(S). Si conocitramos
la estructura de todos 10s subgrupos de A (S) para cualquier conjunto S, conoceriamos la estructura de todos 10s grupos. Esto seria demasiado pedir. No obs% tante, se podria intentar explotar este empotramiento de tip0 isomorfo de un
grupo arbitrario G dentro de algun A(S). Lo anterior tiene la ventaja de transformar G como un sistema abstracto en-algo mds concreto, a saber, un conjunto de aplicaciones precisas de algun conjunto sobre si mismo.
No nos ocuparemos de 10s subgrupos de A(S) para un conjunto arbitrario
110
CANTULO3
EL GRUPO SlMiTRlCO
3.1
111
Preliminares
i:
x y escribiendo
Si se sabe que a
...
...
2
=
(:
. a .
es S,. Entonces
UT
112
CAP~T~ILO
3
EL GRUPO SIM~TRICO
PROBLEMAS 3.1
1. Determinar 10s productos.
3. Prutbese que
...
...
-1
l2
"'
...
Continuarnos el proceso de simplificaci6n de la notacion empleada para representar una permutacion dada. A1 hacerlo, se obtiene algo mhs que un mero simbolo nuevo; se obtiene un mecanismo para descomponer cualquier permutaci6n
como un product0 de permutaciones particularmente c6modas.
3.2
113
Descomposicion en ciclos
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}. Expresamos este resultado como
= 70.
Consideremos un k-ciclo particular a = (1 2 - . k) en S,. Evidentemente, a(1) = 2 por la definici6n dada anteriormente; jc6m0 se relaciona 3
con l? Puesto que a(2) = 3, se tiene a2(l) = a(2) = 3. Continuando, se ve
que aJ(2) = j + 1 para j Ik - 1, mientras que a k(l) = 1. En realidad,
se ve que a k = e, donde e es el elemento identidad de S,.
Hay dos cosas que se concluyen del parrafo anterior.
1. El orden de un k-ciclo, como elemento de S,, es k. (Prutbese.)
2. Si a = (il i2 - . ik) es un k-ciclo, entonces la drbita de i,, respecto a a
(vCase el Problema 27 de la Secci6n 1.4 del Capitulo 1) es {i,, i2, . . ., ik}.
De mod0 que es posible advertir que el k-ciclo a = (i, i2 . . - ik) es
a = (i, a(i,)
a 2ji,)
...
ak-'(i,)).
Dada cualquier permutaci6n 7 en S, para i E (1, 2, . . ., n}, considtrese la erbita de i respecto a 7; entonces tenemos que dicha drbita es
{i, 7(i), r2(i), . . . 7'-'(i)}, donde rS(i) = i y s es el menor entero positivo con
esta propiedad. ConsidCrese el s-ciclo (i 7(i) r2(i) . . 7'-'(i)); se le
llama ciclo de 7 determinado por i.
Se considera un ejemplo especifico y se encuentran todos sus ciclos. Sea
114
CAP~TULO
3
EL GRlIPO SIMETRICO
por medio del trazo punteado. LCual es el ciclo de 7 determinado por 2? Zigzagueando
TEOREMA 3.2.2.Toda
-- permutation
en S, es el product~de ciclos
ajenos.
A1 expresar una permutacion a como un producto de ciclos ajenos, se omiten todos 10s ciclos de orden 1; es decir, se ignoran 10s i tales que a(i) = i. De
esta manera a = (1 2 3)(4 5) en S, es la forma en la que se escribiria a =
(1 2 3)(4 5)(6)(7). En otras palabras, a1 escribir a como un producto
de k-ciclos, con k > 1, se supone que o deja fijo a cualquier entero que no
este presente en ninguno de 10s ciclos. Asi que en el grupo Sll la permutacion
7 = (1
5 6)(2 3 -9 8 7) deja fijos a1 4, 10 y 11.
LCual es el orden de un k-ciclo como elemento de S,? Afirmamos que es
k. Tambikn aqui se deja la demostracion a1 lector.
es
If;
-,-
3.2
Descomposicion en ciclos
115
ciclica en ciclos ajenos de longitud ml, m2, . . . , m,. Entonces el orden .*--de
z s -el'minimo comlin multiplo de m , , m2, . . ., mk,
"
DEMOSTRAC16N. Sea a = 7 1 7 ~ . . 7k, donde 10s ri son ciclos ajenos de longitud mi. Puesto que 10s ri son ciclos ajenos, rirj = rjri; por lo tanto si M es el
. . - 7k)M=
minimo comun multiplo de m,, m2, . . . , m,, entonces aM =
7f"7P - - - 7p = e (ya que 7y = e debido a que 7, es de orden mi y mi(M). Por
consiguiente, el orden de a es a lo sumo M. Por otra parte, si a N = e, entonces
ry7F - . . :7 = e; esto obliga a que cada riN= e (pruebese) porque las
ri son permutaciones ajenas, por lo tanto mil N, ya que ri es de orden mi. De
manera que N es divisible por el minimo comun multiplo de m,, m,, . . . , m,,
asi que MI N. Por consiguiente, se ve que a es de orden M como se afirma en
el teorema.
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
146
CAP~ULO
3
EL GRUPOSIM~RICO
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 acomod0 para que las cartas vuelvan a su orden inicial.
iSe puede encontrar un acomodo de las 13 cartas que requiera de 42 realizaciones, 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 maneras 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 transposiciones (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 producto de transposiciones, se tiene
TEOREMA 3.2.5.
Toda
-". - permutaci6n en S, es el product0 de transpo-
-sicionnes.
PROBLEMAS 3.2
1. DemuCstrese que si a,
70.
3.2
Descomposici6n en ciclos
7)(2 4 7 6).
5)(1 2 3 4 6)(1 2 3 4 7).
3 2).
5 7 9)(1 2 3)-l.
5)3.
118
CAP~TULO
3
EL GRUPO SIM h ~ l C 0
16. Sea
17. Considtrense (1 2) y (1 2 3
18. Si
7172
es de orden 2
3.
21. Si a,
quiera a,
UTU-I
UT
e,
de S,.
23. Sean a,
.. -
. . . n) en S,?
n). ~ C u i es
l el
3.3 PERMUTACIONES
IMPARES Y
PARES
entonces
Se examina lo que a* hace a f (x) para unas cuantas de las a en S3.
3.3
ConsidCrese a
manera que
119
120
CAP~TULO
3
EL GRUPO SIM~RICO
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,
E S,, entonces
r1r2
3.3
121
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 manera que A, es un subgrupo normal de s,.
Resumimos lo efectuado en el
-'
es un
- sub~ru-
po normal
de
..- S,.
---'
*-
- * - a
Examinamos esto de otra manera todavia. De las propias definiciones involucradas se tienen las siguientes reglas sencillas para el producto de permutaciones:
1. El producto de dos permutaciones pares es par.
2. El producto de dos permutaciones impares es par.
3. El producto de una permutaci6n par por una impar (o el de una impar por
una par) es impar.
122
CAP~TULO
3
EL GRUPO SIM~TRICO
-'"
-*
- *
PROBLEMAS 3.3
3.3
(b) (1
2
3
4
5
6
4
5
1
3
7
2 3 4 5 6)(7 8 9).
(c)(l
2 3 4 5 6)(1 2 3 4 5 7).
(d) (1
2)(1
(a)(:
7
8
8
9
:I.-
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 considera de esta manera como elemento de s,,,no cambia.
5; Sup6ngase que se sabe que la permutation
10. Aplicando el resultado del Problema 9, demukstrese que si n r 5, 10s dnicos subgrupos normales de A, son (e) y el mismo A,. (Asi que 10s grupos
A, para n r 5 dan una familia infinita de grupos simples.)
DEFINICI~N.
Se dice que un conjunto no vacio R es un anitlo si tiene
dos operaciones + y tales que:
(a) a, b E R implica que a + b E R.
+ b = b + a para a, b E R.
(c) (a + b) + c = a + ( b + C) para a, b c.E R.
(d) Existe un elemento.0 E R tal que a + 0 = a para todo a E R.
(e) Dado a E R, existe un b E R tal que a + b = 0. (b se:xpresara
(b) a
como -a).
Notese que lo que se ha dicho hasta ahora es que R es un grspo abelimo respecto a + . Ahora se explican las reglas de la multiplicacion en R.
(f) a, b E R implica que a . b E R.
(g) a . ( b . C) = (a . b) . c para a, b, c E R.
Esto es todo lo que se exige por lo que se refiere a la multiplicacion sola.
Mas no se dejan las operaciones + y aisladas entre si, sino que se entrelazan mediante las dos leyes distributivas:
(h)
a - ( b + c ) = a . b + a . c
Y
( b + c ) . a = b . a + c - a ,
para a, b, c E R.
Estos axiomas que definen un anillo parecen conocidos. Asi debe ser, ya
que el concept0 de anillo se introdujo como una generalizaci6n de lo que sucede
en el conjunto de 10s enteros. Debido a1 axioma (g), la ley asociativa de la multiplicacion, 10s anillos que se han definido se llaman normalmente anillos asociativos. Los anillos no asociativos existen y algunos de ellos desempefian un
papel importante en las matemtiticas. Pero no nos ocuparemos aqui de ellos.
De manera que cuando se utilice la palabra "anillo" siempre significara "ani110 asociativo" .
Aunque 10s axiomas del (a) a1 (h) son conocidos, existen ciertas cosas que
ellos no dicen. Consideramos algunas de las reglas conocidas que no se exigen
para un anillo general.
En primer lugar, no se postulo la existencia de un elemento 1 E R tal que
a . 1 = 1 . a = a para todo a E R. Muchos de 10s ejemplos que se encontraran
tendrtin tal elemento y en ese caso se dice que R es un anillo con unidad. Con
toda franqueza debemos sefialar que muchos algebristas exigen que un anillo
tenga elemento unidad. Nosotros exigiremos que 1 # 0; o sea que el anillo consistente solamente del 0 no es un anillo con unidad.
En segundo lugar, por nuestra experiencia anterior con cosas de esta clase,
siempre que a - b = 0 se concluia que a = 0 o bien b = 0. No es necesario
que esto sea cierto en un anillo, en general. Cuando es vtilido, el anillo es en
cierto mod0 miis grato y se le da un nombre especial: se le llama dominio.
En tercer lugar, en 10s axiomas que definen un anillo no se dice nada que
implique la ley conmutativa de la multiplicaci6n a . b = b a. Existen anillos
no conmutativos en donde no es vtilida esta ley; pronto se veran algunos. En
este capitulo nos ocuparemos principalmente de 10s anillos conmutativos, per0
'127
Definiciones y ejemplos
4.1
DEFINICC~N.
Un anillo conmutativo R es un dominio integral si a
b
0 en R implica que a
0 o bien b
0.
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 bastante 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 conmutativa, 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.
DEFINICI~N.
Un elemento a # 0 de un anillo R es un divisor de cero
en R si a b = 0 para algun b # 0 de R.
En realidad lo que se acaba de definir se deberia llamar divisor de cero por
la izquierda; sin embargo, dado que se tratarh principalmente de anillos conmutativos, no se necesitara ninguna distinci6n izquierda-derecha para 10s divisores de cero.
Obstrvese que tanto [2] como [3] son divisores de cero en Z6. Un dominio
integral es, desde luego, un anillo conmutativo sin divisores de cero.
6. Sea R = Z,, el anillo de 10s enteros mod 5 . Por supuesto, R es un
anillo conmutativo con unidad; per0 es algo mas; en realidad, es un campo.
Sus elementos distintos de cero son [ 11,121, [3], [4] y se observa que [2] [3] =
[6] = [I], y [ l ] y [4] son sus propios inversos. Asi que todo elemento distinto
de cero de Z, tiene inverso en Z,.
4.1
129
Definiciones y ejemplos
donde a, b, c, d son numeros reales cualesquiera. Para tales formaciones cuadradas se define la adicidn de una manera natural por medio de
Para la mayoria de nosotros el concepto de anillo constituia un terreno desconocido; en cambio, el concepto de campo esta mas relacionado con nuestra experiencia. Mientras que el unico anillo, aparte de un campo, que podria
haberse considerado en la ensefianza elemental era el anillo de 10s enteros, se
tenia un poco mas de experiencia trabajando con 10s numeros racionales, 10s
reales y, en algunos casos, 10s numeros complejos, a1 resolver ecuaciones lineales y cuadraticas. La capacidad de dividir entre elementos distintos de cero
proporciono cierta libertad de accion para resolver una amplia variedad de
problemas, la cual podria no haberse tenido con 10s enteros.
De mod0 que a primera vista, cuando se empieza a trabajar con campos
se siente uno como en su casa. A medida que se penetra mAs a fondo en la materia, se empiezan a encontrar nuevas ideas y nuevas Areas de resultados. Se encuentra uno otra vez en terreno desconocido, per0 siendo optimista, despuCs
de cierta exposicion del tema tratado, 10s conceptos se volveran naturales.
Los campos desempeilan un papel importante en la geometria, la teoria de
las ecuaciones y en ciertas areas muy importantes de la teoria de 10s numeros.
Se hara referencia a cada uno de estos aspectos a medida que se avance. Desafortunadamente, debido a la maquinaria tCcnica que se necesitaria desarrollar,
no se considera la teoria de Galois, que es una parte muy bella de la materia.
Se espera que muchos de 10s lectores entren en contact0 con la teoria de Galois,
y mas alla de Csta, en su instruccion matematica posterior.
175
176
CAP~'~ULO
5
CAMPOS
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.
5. Sea F = (a + ~1
a, b E Q ) C W. Nuevamente la verification de que
F es un campo no es muy dificil. Tambitn en este caso solamente se demuestra
la existencia en F de 10s elementos distintos de cero de F. Supdngase que a +
bJZ # 0 esta en F; entonces, dado que JTes irracional, a' - 2b2 # 0. Como
5.1
177
Ejemplos de campos
DEFINICI~N.
Se dice que un campo F tiene (o es de) caracterktica
p # 0 si para cierto entero positivop, px = 0 para todo x E F, y ningun
entero positivo menor que p goza de esta propiedad.
Si un campo F no es de caracteristica p # 0 para ningun entero positivo p ,
se le llama campo de caracterktica 0. De esta manera Q, R , C son campos de
caracteristica 0, mientras que Z3 es de caracteristica 3.
En la definicion anterior el uso de la letra p para denotar la caracteristica
es altamente sugestivo, ya que siempre se ha utilizadop para representar un numero primo. En realidad, como se observa en el teorema siguiente, este empleo
de p resulta consistente.
178
CAP~TULO
5
CAMPOS
TEOREMA 5.1. I .
-mero primo.
-...- -
La
--.- caracteristica
- . ........ .. .- de
. .. . .un
. ... campo
.. - es...-cero
. . . ..o-bien
. .- .. . un . nu.
,
-.
DEMOSTRACI~N.
Si un campo F tiene caracteristica 0, no hay nada mhs que
decir. Supdngase entonces que mx = 0 para todo x E F, donde m es un entero
positivo. Sea p el menor entero positivo tal que px = 0 para todo x E F. Afirmamos quep es primo. S i p = uv, donde u > 1 y v > 1 son enteros, entonces
se tiene que en F, (ul )(vl ) = (uv)l = 0, donde 1 es el elemento unidad de
F. Pero por ser F u n campo, es un dominio integral (Problema 1); por lo tanto,
ul = 0 o bien vl = 0. En cualquier caso se obtiene que 0 = (ul)(x) = ux [o,
de manera semejante, 0 = (v1)x = vx] para cualquier x en F. Pero esto
contradice la elecci6n de p como el menor entero con esta propiedad. Por
consiguiente, p es primo.
COROLARIO.
Si D es un dominio integral (o entero), entonces su
caracteristica es cero o bien un numero primo.
PROBLEMAS 5.1
1. DemuCstrese que un campo es un dominio integral.
5.2
179
5. Si F es un campo y D = F [x, y], el campo de cocientes de D se llama camp 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 binoI
mio y el hecho de que p es primo.)
Para abordar las cosas deseables de realizar en la teoria de 10s campos, se requieren 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 medida 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 solamente para el context0 especial de dos campos K > F , en virtud de que las mismas 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.
180
CAPiTULO 5
CAMPOS
3. Sean V como en el Ejemplo 2 y W = { f (x) E VJgrd (f (x)) In). Entonces W es un espacio vectorial sobre F y W C V es un subespacio de V.
4. Sea V el conjunto de todas las funciones reales diferenciables en [0, I.],
el interval0 unitario cerrado, con la adicion y multiplicacidn de una funcion
por un numero real usuales. Entonces V es un espacio vectorial sobre R.
5.2
181
. . ., O),
v2
(0, 1, 0,
. . ., O), . . .,
vn = (0, 0,
..., I),
182
CAP~TULO
5
CAMPOS
misma definicion de (v,, . . ., v,). La unicidad de esta representacion depende mucho de 10s elementos v,, . . . , vn.
El unico centro de atencion aqui radicara en este concept0 de espacio vectorial que contenga algun subconjunto finito que lo genere sobre el campo de base.
Antes de iniciar la discusion del tema, se debe disponer primero de una lista
de propiedades formales que sean validas en un espacio vectorial. El lector ya
esta tan perfeccionado en el trato con estas cosas abstractas formales, que se
le deja la demostracion del siguiente lema.
5.2
. . . , xn = Pn se
lucidn no trivial en F.
--
DEMOSTRACI~N.
El mktodo, que de ordinario se estudia en bachillerato, es
184
CAP~TLILO
5
CAMPOS
DEFINICI~N.
Sean V un espacio vectorial sobre F y u,, u,, . . . , u,
elementos de V. Se dice que un elemento u E V es .una combinacion li+ a,u, para algunos a , , neal de u,, u,, . . ., u, si u = a l u , + a, en F.
e
a ,
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
-
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
185
DEFINICI~N.
Un espacio vectorial V sobre F es finito-dimensional
sobre F si V = ( v,, . . ., v,) para ciertos v,, . . . , v, en V, es decir, si
V es generado sobre F por un conjunto finito de elementos.
En caso contrario, se dice que V es infinite-dimensional sobre F si no es
finito-dimensional sobre F. Obstrvese que aunque se ha definido lo que significa espacio vectorial finito-dimensional, aun no se ha definido lo que significa
su dimensi6n. Esto vendra a su debido tiempo.
Supongase que V es un espacio vectorial sobre F y que v,, . . ., v, en V
son tales que todo elemento v de (v,, . . . , v,) tiene una representacion unica
de la forma v = a l v l + . . . + a,v,, donde a , , . . . , a, E F. Puesto que
Y
0 = OV, + ... + OV,,
0 E ( ~ 1 ,. . ~ n )
por la unicidad supuesta se obtiene que si a , v , + - .- + a,v, = 0, entonces
a, = a2 = - - = a, = 0. Esto sugiere una segunda definicion muy importante, la cual se da a continuacion.
- 9
DEFINICI~N.
Sea V un espacio vectorial sobre F; entonces se dice
que 10s elementos v,, . . . , v, en V son linealmente independientes
sobre F s i a , v , +
+ a,v, = 0, donde a , , . . ., a, estan en F, implica que a, = a2 = . . = a, = 0.
Si 10s elementos v,, . . . , v, en V no son linealmente independientes sobre
F, entonces se dice que son linealmente dependientes sobre F. Por ejemplo,
si W es el campo de 10s numeros reales y V es el conjunto de las triadas
sobre W como se defini6 en el Ejemplo 1, entonces (0, 0, I), (0, 1, 0) y
(1, 0, 0) son linealmente independientes sobre R (prutbese), mientras que
(1, -2, 7), (0, 1, 0) y (1, -3, 7) son linealmente dependientes sobre R ,ya que
l(1, -2, 7) + (-1)(0, 1, 0) + (-1)(1, -3, 7) = (0, 0, 0)-es una combinacion
lineal no trivial de dichos elementos sobre R , que es igual a1 vector cero.
Obstrvese que la independencia lineal depende del campo F. Si C > R son
10s campos complejo y real, respectivamente, entonces C es un espacio vectorial sobre W, per0 tambitn es un espacio vectorial sobre C mismo. Los elementos 1, i en C son linealmente independientes sobre W per0 no lo son sobre C ,
ya que il + (-l)i = 0 es una combinaci6n lineal no trivial de 1, i sobre C .
Se prueba el siguiente
con a , ,
-".
. . . , a, en F.,..,
186
CAP~TULO
5
CAMPOS
~QuC
tan finito es un espacio vectorial finito-dimensional? Para medir esto,
llamese a un subconjunto vl, . . ., v, de V un conjunto generador minimo de
V sobre F si V = (v,, . . ., v,) y ningun conjunto con menos de n elementos
genera a V sobre F.
Se llega ahora a la tercera definici6n muy importante.
DEFINICI~N.
Si Ves un espacio vectorial finito-dimensional sobre F,
entonces la dimension de V sobre F, que se expresa como dimF( V),
es n, el numero de elementos de un conjunto generador minimo de V
sobre F.
En 10s ejemplos dados, dim,(C) = 2, puesto que 1, i es un conjunto generador minimo de C sobre R. En cambio, dim, (C) = 1. En el Ejemplo 1,
dimF ( V ) = n y en el Ejemplo 3, dimF ( V ) = n + 1 . En el Ejemplo 7 la
dimensi6n de V sobre F es 2. Finalmente, si ( v,, . . . , vn ) C V, entonces
dimF (v,, . . ., v,) es a lo sumo n.
Se prueba ahora el
5.2
187
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 soluci6n en F, entonces, por lo anterior, P,w, + . . . + b , ~ , = 0, no obstante
188
CAP~TULO
5
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 conjunto 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.
Otro resultado, que se utilizara en la teoria de campos, de naturaleza
semejante a 10s que se han obtenido, es
n.
-. Entonces
n elemezos cualesquiera de V linealmente ;ndependientes
forman
una
base de V sobre F.
-. DEMOSTRACI~N.
Se requiere demostrar que si v,, . . . , un E V son linealmente independientes sobre F, entonces generan V sobre F. Sea v E
entonces v, vl, . . . , vn son n + 1 elementos, por lo tanto, por el Teorema
5.2.6, son linealmente dependientes sobre F. De esta manera existen elementos a , a l , . . ., a nen F, no todos cero, tales que a v + a l v l + . . + a n u n =
0. El elemento a no puede ser cero, de lo contrario a , v , + . . . + a n u n =
0, y no todos 10s ai son cero, por lo cual se contradiria la independencia
lineal de 10s elementos v,, . . . , un sobre F. Asi que a # 0, y entonces v =
- + anun) = Plul + - . - + Pnvn,donde Pi = -ai/al. Por lo
(-l/a)(aI vI +
tanto, v,, . . . , vn generan V sobre F y por consiguiente deben formar una base
de V sobre F.
5.2
PROBLEMAS 5.2
1. Determinese si 10s siguientes elementos de V , el espacio vectorial de las ternas sobre W , son linealmente independientes sobre W .
(a) ( 1 , 2, 31, (4, 5 , 61, (7, 8, 9).
(b) ( 1 , 0 , 11, (0, 1 , 21, (0, 0 , 1).
(c) ( 1 , 2, 31, (0, 4, 5). (i, 3 , 3 .
2. Encuentrese una solucion no trivial en ZS del sistema de ecuaciones homogeneas lineales:
3. Si V es un espacio vectorial de dimension n sobre Z,, p primo, demubtrese que V tiene pn elementos.
4. Pruebese todo el Lema 5.2.1.
5. Sea F u n campo y V = F [ X I , el anillo de polinomios en x sobre F. Considerando a V como un espacio vectorial sobre F, pruebese que V no es finitodimensional sobre F.
6. Si V es un espacio vectorial finito-dimensional sobre F y si W es un subespacio de V, pruebese que:
(a) W es finito-dimensional sobre F y dim, ( W ) IdimF( V ) .
(b)si dim, ( W ) = dim,( V ) , entonces V = W .
10. Si #: V V' es un homomorfismo de V sobre V ' con nucleo K, demuestrese que V ' 2: V/K (como espacios vectoriales sobre F ) .
+
190
CAP~TULO
5 0 CAMPOS
12. Si V es un espacio vectorial sobre F de dimension n, pruCbese que V es isomorfo a1 espacio vectorial de n-adas sobre F (Ejemplo 1).
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
15. Si V y Wson dos espacios vectoriales finito-dimensionales sobre F, pruCbese que V e W es finito-dimensional sobre F y que dim, ( V e W) =
dim, ( V) + dim, ( W).
16. Sea V un espacio vectorial sobre F y supongase que U y W son subespacios
de V. Definase U + W = {u + wlu E U, w E W). PruCbese que:
(a) U + W es un subespacio de V.
(b) U + W es finito-dimensional sobre F si tanto U como W lo son.
(c) U n W es un subespacio de V.
(d) U
W es una imagen homomorfa de U e W.
(e) Si U y W son finito-dimensionales sobre F, entonces
dimF([/
W)
dim, ( U)
dim, ( W) - dim, ( U
n W).
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 finitodimensional 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 entre si.)
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 vectorial 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].
DEMOSTRACI~N.
Se probara que L es una extension finita de F mostrando explicitamente una base finita de L sobre F. A1 hacerlo se obtendra el resultado
mas fuerte afirmado en el teorema, a saber que [L : F ] = [L : K ] [K : F ] .
Supongase que [L : K ] = m y [K : F ] = n; entonces L tiene una base v,,
v2, . . . , U, sobre K y K tiene una base w,, w2, . . . , w, sobre F. Se probara que
10s mn elementos viwj, donde i = 1, 2, . . . , m y j = 1, 2, . . . , n, constituyen
una base de L sobre F.
Se empieza por demostrar que, por lo menos, estos elementos generan L
sobre F; esto demostrara, por supuesto, que L es una extension finita de F. Sea
a E L; dado que 10s elementos v,, . . . , v, forman una base de L sobre K, se
tiene a = k,vl + . . + k,v,, donde k,, k2, . . . , k,,, estan en K. Puesto que
w,, . . . , w, es una base de K sobre F , se puede expresar cada ki como
donde 10s f,,estan en F. Sustituyendo estas expresiones de 10s ki en la expresion anterior de a, se obtiene
192
CAP~TULO
5
CAMPOS
COROLARIO.
Si L 2
DEMOSTRACI~N.
Puesto que L > K, K no puede tener mas elementos linealmente independientes sobre F que L . En virtud de que, por el Teorema 5.2.6,
[ L : F ] es el tamaiio del mayor conjunto de elementos linealmente independientes en L sobre F , se obtiene en consecuencia que [K : F ] I [ L : F ] , asi
que debe ser finito. Dado que L es finito dimensional sobre F y puesto que K
5.3
193
Exiensiones de campos
contiene a F, L debe ser finito dimensional sobre K. De esta manera se satisfacen todas las condiciones del Teorema 5.3.1, de. lo cual [L : F ] =
[L : K ] [K : F]. Por consiguiente, [K : F ] divide a [L : F ] , como se afirma en
el corolario.
Si K es una extension finita de F, se puede decir bastante con respecto a1
comportamiento de 10s elementos de K con relacion a F. Esto es
alu
a2u2 +
.-
La conclusion de este teorema sugiere seiialar aquellos elementos de una extension de campo que satisfagan un polinomio no trivial.
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.
Por p ( a ) se entiende el elemento a,,an + alan-' + . . . + a, de K, donde
p(x) = a&' + alxn-l + . . . + a,.
Si K es una extension de F tal que todo elemento de K es algebraico sobre
F, se dice que K es una extension algebraica de F. En estos tCrminos el Teorema
5.3.2 se puede reformular como sigue: Si K es una extension finita de F, entonces K es una extension algebraica de F.
El reciproco de esto no es cierto; una extension algebraica de F no
necesariamente es de grado finito sobre F. iPuede el lector proporcionar un
ejemplo de tal situacion?
Un elemento de K que no es algebraico sobre F se dice que es trascendente
sobre F.
Veamos algunos ejemplos de elementos algebraicos en un context0 concreto. ConsidCrese Q= > Q, el campo complejo como una extension del campo de
10s racionales. El numero complejo a = 1 + i es algebraico sobre Q, ya que
satisface a 2 - 2a + 2 = 0 sobre Q. De manera semejante, el numero real
3
3
b = 1 + /es algebraico sobre Q, puesto que b2 = 1 + d l , de
mod0 que (b2
= 1 + 6,
y por lo tanto ((b2 - 1)3= 2. Desarro-
194
CAP~TULO
5
CAMPOS
llando esto ultimo, se obtiene una expresion polin6mica no trivial en b con coeficientes racionales, que es cero. Por consiguiente, b es algebraico sobre Q.
Es posible obtener numeros reales que Sean trascendentes sobre Q muy facilmente (vtase la Section 6.6 del Capitulo 6). Sin embargo, el establecer la trascendencia 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 trascendente 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 numero 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 cualquier 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
DEMOSTRACION.
Para demostrar el teorema, para a f 0 en D se debe producir un inverso a - ' en D tal que aa-' = 1.
Como en la demostracion del Teorema 5.3.2, si dimF(D) = n, entonces 1,
a, a 2 , . . . , a n en D son linealmente dependientes sobre F. De manera que para
ciertos a,, a , , . . . , an en F apropiados, no todos ellos cero,
5.3
195
Extensiones de campos
"
DEMOSTRACI~N.
Supongase que p ( x ) no es irreducible en F[x]; entonces
p ( x ) = f (x)g(x), donde f (x) y g(x) estan en F [x] y cada uno tiene grado
positivo. Puesto que 0 = p ( a ) = f (a)g(a) y dado que f (a) y g(a) estan en
el campo K, se concluye que f (a) = 0 o bien g(a) = 0, lo cual es imposible,
ya que ambos f (x) y g(x) son de grado menor que f (x). Por lo tanto, p ( x )
es irreducible en F Ix].
Sean a E K algebraico de grado n sobre F y p(x) E F [x] su polinomio minimo sobre F. Dado f (x) E F [XI, entonces f (x) = q(x)p(x) + r(x), donde
q(x) y r(x) estan en F [x] y r(x) = 0 o bien grd r(x) < grdp(x), en virtud
del algoritmo de la division. Por lo tanto, f ( a ) = q(a)p(a) + r(a) = r(a),
196
CAP~TULO
5
CAMPOS
......................
.
5-e~.
c a =xtension finita
. . de
. . .F
. . y.
.........
...
5.3
197
Extensiones de campos
el polinomio minimo de a sobre F, p(x) es del grado minimo posible entre 10s
elementos de J. De esta manera J = (p(x)) por la demostracion del Teorema
4.5.6, y asi J = M. Por el primer teorema de homomorfismos para anillos
F [x]/M 2: imagen de F [x] respecto a $ = F ( a ) , y puesto que F [x]/M es un
campo, se tiene que F ( a ) es un campo. Se deja a1 lector la demostracion, desde
este punto de vista, de que [ F ( a ) : F] = degp(x).
PROBLEMAS 5.3
1. Demuestrese que 10s siguientes numeros en 02 son algebraicos.
(a)
fi + ?/j.
(b) d7 + m.
(c) 2 + i&.
(d) cos (2a/k) + isen (2a/k), k entero positivo.
2. Determinense 10s grados sobre Q de 10s numeros dados en las partes (a) y
(c) del Problema 1.
es el grado de cos (2n/3)
4. ~ C u a es
l el grado de cos (2a/8)
3.
+ i sen (2a/p)
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.
10. Pruebese que cos 1 es algebraico sobre Q. (1 " = un grado, medida angular.)
11. Si a E K es trascendente sobre F, sea F ( a )
198
CAP~TULO
5
CAMPOS
14. Aplicando el resultado del Problema 13, demuestrese que un campo finito
consta de p n elementos para cierto primo p y cierto entero positivo n.
15. Construyanse dos campos K y F de tal mod0 que K sea una extension algebraica de F per0 que no sea una extension finita de F.
DEMOSTRACI~N.
Lo que se debe probar es que si a, b E K son a l g e b r a i c ~so~
bre F , entonces a & b, a b y a/b (si b # 0) son algebraicos sobre F. Esto garanti-
zara que E(K) es un subcampo de K. Se hara todo para a & b, a b y a/b "de
un solo golpe".
Sea KO = F ( a ) el subcampo de K que se obtiene agregando a a F. Puesto
que a es algebraico sobre F , digamos de grado m, entonces, por el Teorema
5.3.5, [KO: F ] = m. Dado que b es algebraico sobre F y como KOcontiene a
F , se tiene desde luego que b es algebraico sobre KO.Si b es algebraico sobre
F de grado n, entonces es algebraico sobre KOde grado n a lo sumo. De esta
manera K, = Ko(b), el subcampo de K obtenido agregando b a KO,es una extension finita de KOy [Kl : KO] I n.
Por consiguiente, por el Teorema 5.3.1, [K1 : F ] = [K, : KO][KO: F ] I
mn; es decir, K, es una extension finita de F. Como tal, por el Teorema 5.3.2,
K, es una extension algebraica de F , asi que todos sus elementos son algebraicos sobre F. Puesto que a E KO C Kl y b E K,, entonces todos 10s elementos
a & b, ab, a/b estan en K,, por consiguiente son algebraicos sobre F. Esto es
exactamente lo que se requeria y el teorema queda demostrado.
5.4
Extensiones finitas
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.
Un caso especial, que merece seiialarse y registrarse, es K = C y F = Q.
En dicho caso 10s elementos algebraicos de C sobre Q fueron denominados numeros algebraicos; por lo tanto el Teorema 5.4.1 se convierte para este caso en el
-de C .
Por lo visto hasta ahora, el conjunto de 10s numeros algebraicos podria ser
muy bien todo C. Pero no es asi, ya que si existen numeros trascendentes; se
demostrara que esto es cierto en la Seccidn 6.6 del Capitulo 6.
Volvemos a un campo general K. El subcampo E(K) tiene una cualidad
muy particular, la cual se probara en seguida. Dicha propiedad consiste en que
cualquier elemento de K que sea algebraico sobre E(K) debe estar tambien en
E(K).
Para no hacer una digresidn en el curso de la demostracion que se va a dar,
se introduce la siguiente notacidn. Si a,, a2, . . . , a,, estan en K, entonces
F ( a l , . . . , a,,) sera el campo que se obtiene como sigue: Kl = F(a,), K2 =
Kl(a2) = F(a17 021, K3 = K2(a3) = F(al, 02, 0 3 1 7 . . Kn = Kn-,(an) =
F ( a l , a2, . . ., a,,).
Ahora se prueba el
200
CAP~TULO~ CAMPOS
K,, es una extensi6n finita de F, se tiene, de nuevo por el Teorema 5.3.1, que
K,(u) es una extension finita de F. Como u E Kn(u), del Teorema 5.3.2 se obtiene que u es algebraico sobre F. Esto situa a u en E ( K j por la misma definicion de E(K), y con ello se prueba el teorema.
Existe un teorema famoso debido a Gauss, a menudo calificado como el
@orema fundamental del algebra, que afirma (en terminos de extensiones)
que la unica extension finita de 6 , el campo de 10s numeros complejos, es
C mismo. En realidad este resultado no es puramente algebraico, su validez depende profundamente de las propiedades topol6gicas del campo de 10s numeros reales. Sea como fuere, es un teorema sumamente importante en el algebra
y en muchas otras partes de la matematica.
La formulaci6n del Teorema fundamental del algebra en tkrminos de la inexistencia de extensiones finitas de 6 es un poco diferente de la que usualmente
se da. La forma mas frecuente en la que se formula este fa~nosoresultado involucra el concept0 de raiz de un polinomio, el cual se tratara con cierta extension
posteriormente. En tales terminos el Teorema fundamental del algebra se
transforma en: todo polinomio de grado positivo que tenga sus coeficientes en
C tiene por lo menos una raiz en 6 . El significado precis0 de esta proposici6n
y su equivalencia con la otra forma del teorema expuesta anteriormente, se aclararan m h adelante, luego del desarrollo de 10s temas relativos a raices.
Un campo L con la propiedad de C descrita en 10s parrafos anteriores se
dice que es algebraicamente cerrado. Si se da por sentado que C es algebraicamente cerrado (teorema de Gauss), entonces, por el Teorema 5.4.3, se tiene
tambikn que
El campo
- .-..- de
. .10s
. .. ..numeros algebraicos es algebraicamente
.
.. - .
......". . cerrado.
--..
*.
1. DemuCstrese que a =
0, donde
5.5
Constructibilidad
201
En la antigua Grecia, a diferencia de las otras culturas de la tpoca, 10s matematicos griegos se interesaron en la matematica como una disciplina abstracta mds
bien que como un caudal de habilidades pragmaticas para hacer cuentas o realizar mediciones. Desarrollaron notables intereses y resultados en la teoria de
10s numeros y, de manera muy especial, en geometria. En dichas areas formularon cuestiones perspicaces. Los problemas que plantearon en geometria -dos
de 10s cuales constituiran el tema aqui tratado- son aun de interes y sustanciosos. El matematico inglks G. H. Hardy, en su triste per0 encantador librito A
Mathematician's Apology (Apologia de un matematico), describe a 10s antiguos
matematicos griegos como "colegas de otro colegio".
En esta seccion nos referiremos a dos de tales problemas griegos. Pero en
realidad la respuesta a ambos surgira como una consecuencia del criterio de
constructibilidad, el cual se obtendra. Ahora se plantean dichos problemas y
un poco despuks se explicard lo que traen consigo.
202
CAP~TULO
5
CAMPOS
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, mediante 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 sobre 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.
5.5
Constructibilidad
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. ConsidCrese el diagrama
a.
a.
DEFINICION.Se dice que un n6mero real a es un nu'rnero constructible si 1 a 1, el valor absoluto de a, es una longitud constructible.
204
CAP~TULO
5
CAMPOS
del
-. campo de 10s numeros
- . reales.
forman un subcampo
-.
DEMOSTRACI~N.
Las propiedades 1 a 3 casi resuelven el problema; la propiedad 1 se debe adaptar ligeramente para permitir valores negativos. Se dejan a1
lector 10s pocos detalles.
La meta siguiente es demostrar que todo numero constructible debe ser un
numero algebraico -no cualquier numero algebraico conocido, sin0 uno que
satisfaga una condici6n bastante severa.
Primero obskrvese que si a r 0 es un numero constructible, entonces &
tambiCn lo es. ConsidCrese el diagrama
5.5
Constructibilidad
TEOREMA 5.5.2.
:3]
206
/
CAP~T~ILO
5
CAMPOS
fuera 2. Pero el volumen de tal cub0 seria b3, asi que se tendria que poder encontrar 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 sobre 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 problema de la duplication del cub0 mediante regla y compas tiene respuesta negativa. Esto se resume en el
TEOREMA 5.5.3. Es imposible duplicar un cub0 de volumen 1 usan-do sola-mente regla y comias:
--&.
,-
-"-
-"
*-
5.6
Raices de polinornios
207
Se espera que este teorema disuada a1 lector de la idea de unirse a las multitudes de trisectores de angulos. Hay formas mas productivas y placepteras de
emplear el tiempo.
Existe todavia otro problema clasico de este tip0 cuya respuesta es "no".
Es el que se refiere a la cuadratura del circulo. La pregunta es: iSe puede
construir un cuadrado cuya area sea la de un circulo de radio 1 usando solamente regla y cornpas? Esto es equivalente a preguntar si & es un numero
constructible. Si Cste fuera el caso, entonces dado que a = (&)2,
el numero
a seria constructible. Pero Lindemann probo en 1882 que a es en realidad trascendente, asi que desde luego no es algebraico, y entonces no puede ser
constructible. Por lo tanto, no se puede realizar la cuadratura del circulo de
radio 1 mediante regla y compas.
Lo que se hizo anteriormente no constituye, por supuesto, una demostracion de la imposibilidad de la cuadratura del circulo, ya que se ha presupuesto
el resultado de Lindemann sin probarlo. La demostracion de que a es trascendente nos llevaria bastante lejos. Se podria esperar que fuera mas facil probar
que a no es constructible que probar que no es algebraico. Este no parece ser
el caso. Hasta ahora todas las demostraciones de que a no es constructible se
van por el camino de la consideracion de la trascendencia de a.
PROBLEMAS 5.5
1. Complktese la demostracion del Teorema 5.5.1.
2. Pruebese que x 3 - 3x - 1 es irreducible sobre Q.
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.
En lo que se ha hecho hasta ahora siempre se ha dado un campo K extension de un campo F y se consideraron 10s elementos de K algebraicos sobre F,
es decir, aquellos elementos de K que son raices de polinomios distintos de cero
en F [ X I . Se vio que si a E K es algebraic0 sobre F de grado n -es decir, si el
polinomio minimo de a sobre F es de grado n- entonces [ F ( a ) : F ] = n, donde F ( a ) es el subcampo de K que se obtiene agregando a a F.
Lo que se hace ahora es invertir el problema. Ya no se dispondra de la extension K de F. En efecto, la tarea principal sera producirla casi desde el principio. Se empieza con cierto polinomio f ( x ) de grado positivo en F [ x ] como
unico dato; la meta es construir una extension de campo K de F e n la cual f ( x )
tenga una raiz. Una vez que se tiene bajo control esta construccion de K, se
desarrolla el tema general, obteniendose por ello una serie de consecuencias interesantes.
Antes de salir en busqueda del K apropiado, se debe obtener cierta informacion con respecto a la relacion de las raices de un polinomio dado y su
factorizacion.
.,,
DEMOSTRACI~N.
Dado que F
..
ces f ( x ) puede
K de F.
.. -. tener a lo sumo n raicesen cualquier extension
. . . -.
-.
209
Raices de polinomios
5.6
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 induccibn, 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.
En realidad, la demostraci6n da lugar a un poco mas. Para explicar este
mas", se necesita el concept0 de multiplicidad de una raiz.
"POCO
TEOREMA
5.6.3. -.,.
Sea f (x) en F [x] m6nico de grado n y supongase
........
.
raiz ...-.........
de multiplicidad
--
DEMOS~RACI~N.
La demostracion es facil haciendo uso del Lema 5.6.1 e inducci6n en n. Se deja a1 lector llevarla a cabo.
DEFINICION.Se dice que f (x) en F [x] se descompone en factores lineales sobre (o bien, en) K, si f (x) tiene en K [x] la factorizaci6n dada
en el Teorema 5.6.3.
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 elementos no cero de F. Puesto quz ellos forman un grupo de orden q - 1 respecto
210
CAP~TULO
5
CAMPOS
a la multiplicacion en F , por el Teorema 2.4.5 (demostrado ya hace mucho tiempo), aq-I = 1 para cualquier a f 0 en F. De esta manera el polinomio xq-I 1 en F [x] tiene q - 1 raices distintas en F. Por el Teorema 5.6.3, el polinomio
xq-l
- 1 = ( x - al)(x - a,)
- ( x - aqPl). Si tamblkn se considera 0, entonces todo elemento a de F satisface a q = a, de manera que el polinomio xq x tiene 10s q elementos de F como sus raices distintas. Por el Teorema 5.6.3 se tiene
.e
,,,
,-- .
X~-'
- 1 = (X - a,)(x - a,)
. ( x - a,-,).
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-'
xp-'
.
1
- 1 se factoriza como
(x - 1)(x - 2)
. . . ( x - ( p - 1)).
COROLARIO..
Si p es primo,
DEMOSTRACION.
Por el corolario anterior.
sustituyendo x
5.6
21 1
Raices de polinomios
= -1
DEMOSTRACI~N.
Por el Teorema 4.5.12, f (x) es divisible en F [x] por algun
polinomio irreducible p ( x ) en F [XI. Dado que p ( x ) divide a f (x), grdp(x) I
grd f (x) = n y f (x) = p(x)q(x) para algun polinomio q(x) en F [XI. Si b es
una raiz de p ( x ) en alguna extension de campo de F , entonces b es automaticamente una raiz de f (x), ya que f (b) = p(b)q(b) = Oq(b) = 0. Asi que
para probar el teorema es suficiente encontrar una extension de F en la cual
p ( x ) tenga una raiz.
Dado que p ( x ) es irreducible en F [x], el ideal M = (p (x)) de F [x] generado por p(x) es un ideal maximo de F [ x ] por el Teorema 4.5. l l. Por consiguiente, por el Teorema 4.4.2, K = F [x]/M es un campo. Afirmamos que este
es el campo buscado.
Estrictamente hablando, K no contiene a F; sin embargo, como se demuestra en seguida, K si contiene un campo isomorfo a F. Puesto que todo elemento
de M es un multiplo dep(x) en F [XI, todo elemento de M que no sea cero debe
tener grado a1 menos igual a1 de p(x). Por lo tanto, M n F = (0). De esta manera el homomorfismo # : F [x] K definido por #(g(x)) = g ( ~ +
) M para
todo g(x) en F [XI, cuando se restringe a F , es inyectivo en F. Por consiguiente,
la imagen de F e K, F, es un campo isomorfo a F. Se puede identificar F, por
medio de #, con F y por lo tanto se puede considerar, en esta forma, que K
es una extension de F.
Denotese x + M E K por a, de manera que #(x) = a, a E K. Se deja a1
lector demostrar, a partir del hecho de que # es un homomorfismo de F [x] sobre K con nucleo M, que #(g(x)) = g(a) para todo g(x) en F [XI. LA que es
igual #(p(x))? Por una parte, puesto quep(x) esta en F [ x ] , #(p(x)) = p ( a ) .
Por otra parte, dado que p(x) esta en M, el nucleo de #, #(p(x)) = 0. Igualando estas dos evaluaciones de #(p(x)), se obtiene que p ( a ) = 0. En otras
palabras, el elemento a = #(x) de K es una raiz de p(x).
Para terminar la demostracion, todo lo que se necesita es probar que
[K : F ] = grdp(x) In. Esto surgio anteriormente, en la demostracion alternativa que se dio del Teorema 5.3.5. En esa ocasion se dejo dicho punto para
+
212
CAPiTULO 5
CAMPOS
que fuera probado por el lector. Seremos ahora un poco mas generosos y llevaremos 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
rn
grdp(x)
In =
grdf(x).
Supongase que el resultado es cierto para todos 10s polinomios de grado k sobre un campo y que f (x) E F[x] es de grado k + 1. Por el Teorema
5.6.5 existe una extension K, de F con [KI : F: 5 k + 1 en la cual f (x) tiene
una raiz a,. Por consiguiente en Kl[XI, f (x) se factoriza como f (x) =
5.6
213
Raices de polinomios
(x - al)q(x), donde q(x) E K,[x] es de grado k. Por la hipotesis de induccion existe una extension K de K, de grado a lo sumo k!. sobre Kl, sobre la cual
q(x) se descompone en factores lineales. Pero entonces f (x) se descompone en
factores lineales sobre K. En virtud de que [K : F] = [K : K,] [K, : K ] 5
(k + l)k! = (k + I)!, se completa la inducci6n y se prueba el teorema.
Dejamos el tema de las extensiones de campo hasta este punto. Estamos
exactamente en lo que se podria describir como el principio de la teoria de Galois. Dada una extension K de F de grado finito sobre la cual un polinomio dado f (x) se descompone en factores lineales, existe una extension de grado
minimo que goza de esta propiedad. Tal extension se denomina campo de descomposicidn de f (x) sobre F. Luego se procede a demostrar que tal campo de
descomposicion es dnico salvo isomorfismos. Una vez que se cuenta con esto
la teoria de Galois avanza sobre ruedas, estudiando la relacion entre el grupo
de automorfismos de dicho campo de descomposici6n y su estructura de subcampo. Con el tiempo, conduce a la demostracion, entre muchas otras cosas,
de que existen polinomios sobre 10s racionales de cualquier grado mayor que o
igual a 5 cuyas raices no se pueden expresar comodamente en terminos de 10s
coeficientes de tales polinomios.
Esto constituye una breve y muy superficial description de a donde se puede ir a partir de aqui en la teoria de campos. Pero no hay prisa. Los lectores
deben asimilar el material que se ha presentado; esto 10s colocara en una buena
posicion para estudiar teoria de Galois si asi lo desean.
PROBLEMAS 5.6
1. Pruebese el Teorema 5.6.3.
4. Si q(x) = x n + a,xn-I + - . . + a,, a, # 0, es un polinomio con coeficientes 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.
b)P
+ b)"'
214
CAP~TULO
5
CAMPOS
n, para
F [ x ]mediante
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 primos 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
En el Capitulo 3, donde se hablo de S,, el grupo simetrico de grado n, se demostro que si n r 2, entonces S, tiene un subgrupo normal A,, el cual se
denomino grupo alternante de grado n, que-es un grupo de orden n!/2. En realidad, A, fue simplemente el i i n j u n t d d e todas las permutaciones pares en S,.
216
C A P ~ U6 L ~ TEMAS ESPECIALES
DEFINICI~N.
Se dice que un grupo no abeliano es simple si sus unicos
subgrupos normales son (e) y el mismo.
Se impone la condicion de que G sea no abeliano, para excluir de la designaci6n de "simple" a 10s ejemplos triviales de grupos ciclicos de orden primo.
Dichos grupos ciclicos de orden primo no tienen subgrupos no triviales en absoluto, asi que, forzosamente, carecen de subgrupos normales propios. Se ve
facilmente que un grupo abeliano sin subgrupos propios es ciclico de orden primo.
Empezamos con el muy sencillo
LEMA 6.1.I.Si n
7172
7,
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.
6.1
Simpticidad de A,
217
Ahora proporcionamos un algoritmo para calcular la conjugada de cualquier permutacion en S,. Sea a E S, y supongase que a(i) = j. LA que es igual
TOT-'
si 7 E S,? Supongase que 7(i) = s y 7(j) = t;-entonces 7a7-'(s) =
TU(T-'(S)) = 7a(i) = 7(j) = t. En otras palabras, para calcular 707-' se
reemplaza cada simbolo de a por su imagen respecto a 7.
Por ejemplo, si a = (123) y 7 = (143), entonces dado que ~ ( 1 )= 4,7(2) =
2, 7(3) = 1 y 7(4) = 3, se ve que 707-I = (421) = (142).
Dados dos k-ciclos, digamos (12 . . k ) y (i,i,, . . . , ik), entonces son conjugados en S, porque si 7 es una permutacion que envia 1 a i,, 2 a i2, . . . , k
a ik, entonces 7(12 - . - k)7-' = (iliz - - - ik). Puesto que toda permutacion es
el producto de ciclos ajenos y la conjugacion es un automorfismo, se obtiene,
a partir del resultado para k-ciclos, que para calcular TOT-' para cuulquier permutation a, se reemplaza cada simbolo de a por su imagen respecto a 7. De
esta manera se ve que es sumamente sencillo calcular la conjugada de cualquier
permutacion.
Dadas dos permutaciones a, y a2 en S,, entonces son conjugadas en S,, aplicando la observacion anterior, si en sus descomposiciones en productos de ciclos
ajenos tienen iguales longitudes de ciclo y cada longitud de ciclo con la misma
multiplicidad. Asi que, por ejemplo (12)(34)(567) y (37)(24)(568) son conjugadas
en Sg, per0 (12)(34)(567) y (37)(568) no lo son.
RecuCrdese que una particion de un entero positivo n significa una descomposicion de n en la forma n = nl + n2 + . , . + nk,dondeO 5 n, 5 n2 5
- Ink. Si a en S, es el producto ajeno de un nl-ciclo, un n2-ciclo, . . . , un
nk-ciclo, entonces n, + n2 + - . . + nk = n, y una permutacion 7 es conjugada de a si y solo si 7 es el producto ajeno de ciclos en la misma forma. Por
lo tanto, el numero de clases de conjugacion en S, es igual a1 numero de particiones de n.
Por ejemplo, si n = 4, entonces las particiones de 4 son 4 = 4, 4 = 1 +
3, 4 = 1 + 1 + 2, 4 = 1 + 1 + 1 + 1 y 4 = 2 + 2, las cuales son cinco
en total. Asi que S, tiene cinco clases de conjugacion, a saber las clases de
(1234), (123), (12), e y (12)(34), respectivamente.
Todo lo dicho anteriormente se resume en tres proposiciones distintas.
218
CAP~TULO
6
TEMAS ESPECIALES
",
.ma...
DEMOSTRACI~N.
Sean a, y a2 dos 3-ciclos en S,; por el Lema 6.1.4 son conjugados en S,. Renumerando, se puede suponer que al = (123) y q = 7(123)7-'
para algun 7 E S,. Si es par, entonces se llega a la conclusion deseada. Si
es impar, entonces p = ~(45)es par y p(123)p-' = ~(45)(123)(45)-'7-' =
7(123)7-' = a2. Por lo tanto, a, y a2 son conjugados en A,. De esta manera
se ve que el lema es correcto.
no
de
-. .trivial
.
. S,
" -es
- .A,.
DEMOSTRAC16N. Supongase que N es un subgrupo normal de S, y que N no
es (e) ni tampoco S,. Sea a # e un elemento de N. Puesto que el centro de S,
6.1
219
Simplicidad de A,
4; el subgrupo
220
CAP~TULO
6
TEMAS ESPECIALES
GOROLARIO DELA-DEMoSTRACI~~J
DEETEQ~REMA 6.1.8.
A, es un grupo simple.
Regresamos a la cuesti6n de si n!/2 es o no es cuadrado. En realidad, no lo
es si n > 2. Esto se puede demostrar como consecuencia del magnifico teorema
de la teoria de 10s numeros (llamado Postulado de Bertrand), que afirma que
para m > 1 siempre existe un primo entre m y 2m. Puesto que no se dispone
de este resultado, seguimos otro camino para demostrar la simplicidad de A,
para todo n 2 5.
Probamos ahora este importante teorema.
Existen muchas demostraciones diferentes del Teorema 6.1.9 -1as que normalmente comprenden la prueba de que un subgrupo normal de A, debe contener un 3-ciclo- que son mas breves y posiblemente mas sencillas que la que
se dio. Sin embargo, preferimos el rasgo curioso contenido en la demostracion
dada en el sentido de que todo el asunto se reduce a1 hecho de que 60 no es
un cuadrado. Recomendamos a1 lector examinar algunas otras demostraciones
de este teorema tan importante, especialmente en libros de teoria de grupos.
Los A, proporcionan una familia infinita de grupos simples finitos. Hay
algunas otras familias infinitas de grupos simples finitos y 26 grupos simples
6.2
221
Campos finitos I
finitos particulares que no pertenecen a ninguna familia infinita. Esta determination de todos 10s grupos simples finitos, que fue llevada a cab0 en las dCcadas de 1960 y 1970 por un gran numero de investigadores de la teoria de grupos, es uno de 10s mas grandes logros de la matematica del siglo xx.
PROBLEMAS 6.1
3. ~ Q u Cse puede decir respecto a las estructuras de ciclo del product0 de dos
3-ciclos?
4. Si m < n, demukstrese que hay un subgrupo de S, isomorfo a S,.
5. Demostrar que un grupo abeliano que no tenga subgrupos propios es ciclico
de orden primo.
6. iCuantas clases de conjugation hay en S6?
- k)!
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, agregando un poco ile teoria de 10s numeros.
222
CAP~TULO
6
TEMAS ESPECIALES
TEOREMA 6.2.1.
Si n 2 1, entonces Ccp(d)
10s divisores d de n.
-recorre todos
.-me
*-
DEMOSTRACI~N.
Sea G un grupo ciclico de orden n generado por el elemento
a. Si d In, jcuantos elementos de G tienen orden d? Si b = a"Id, entonces todas
las soluciones en G de xd = e son las potencias e, b, b2, . . . , bd-' de b.
~ C u a n t a sde ellas tienen orden d? Afirmamos, y lo dejamos a1 lector, que b r
tiene orden d si y solo si r es primo con respecto a d. Asi que el numero de
elementos de orden d en G, para todo divisor d de n, es cp(d). Cada elemento
de G tiene como orden algun divisor de n, de mod0 que si se suma el numero
de elementos de orden d -a saber cp(d)- sobre todos 10s d que dividan a n,
por cada elemento de G se cuenta una y solo una vez. Por consiguiente Ccp(d) =
n si se recorren todos 10s divisores d de n. El teorema ahora esti probado.
,..
.,
-,
.*-
DEMOSTRACI~N.
Sea $(d) el numero de elementos de G de orden d. Por hipotesis, si a E G es de orden d, entonces todas las soluciones de xd = e son
las potencias distintas e, a, a2, . . ., ad-'; de las cuales .cp(d) son de orden d.
De manera que si hay un elemento de orden d en G, entonces $(d) = cp(d).
Por otra parte, si no hay ningun elemento en G de orden d, entonces $(d) =
0.Asi que para todo d ( n se tiene que $(dl Icp(d). Sin embargo, puesto que
todo elemento de G tiene cierto orden d que divide a n se tiene que C$(d) =
n, donde esta suma recorre todos 10s divisores d de n. Pero
Campos finitos I
6.2
C$(d) 5 Ccp(d)
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
h ~ b e un
r elemento a en G de o r d e ~ n ~ p lo
o rtanto, 10s elementos e, a, a2, . . .,
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.
iExiste alguna situacion donde se pueda estar seguro que la ecuacion xd =
e tiene a lo sumo d soluciones en un grupo dado? Por supuesto. Si K * es el
grupo de elementos distintos de cero de un campo respecto a la multiplicacion,
entonces el polinomio xn - 1 tiene a lo sumo n raices en K * por el Teorema
5.6.2. Por lo tanto, si G C K * es un subgrupo multiplicativo finito de K *, entonces el numero de soluciones de xd = 1 en G es a lo sumo d para cualquier
entero positivo d, y en particular para todo d que divida a1 orden de G. Por
el Teorema 6.2.2 G debe ser un grupo ciclico.
Se ha probado el
*"
Este es un caso muy especial del Teorema 6.2.3, per0 por el momento el
mas importante es el
es un grupo
,4
ciclico..
--".-DEMOSTRACI~N.K * es un subgrupo finito de si mismo, por consiguiente, por
el Teorema 6.2.3, K * es ciclico.
TEOREMA 6.2.5.
Si
p es primo, entonces
-..,..
--
224
CAP~TULO
6
TEMAS ESPECIALES
(p
es la funcion
(p
de Euler.
9. Aplicando 10s resultados de 10s Problemas 7 y 8, encuentrese p ( n ) en terminos de la factorizacion de n en potencias de primos.
= 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 isomorfo 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
6.3
225
xm- x
= ( x - a , ) ( x - a2)
...
( x - a,),
TEOREMA 6.3.1.
-,
. . . , a,
[x].
DEMOSTRAC16N. Supongase que p ( x ) no divide a q (x), dado que p ( x ) es irreducible en F [x], p ( x ) y q(x) deben ser por lo tanto primos entre si en F [XI.
Por consiguiente, existen polinomios u(x) y v(x) en F [x] de tal manera que
226
CAPITULO
6
TEMAS ESPECIALES
Supongase que el elemento a de alguna extension K de F es una raiz de ambos
p ( x ) y q(x); de manera quep(a) = q ( a ) = 0. Pero entonces 1 = u(a)p(a) +
u(a)q(a) = 0, lo cual es una contradiccion. Por lo tanto se obtiene que p ( x )
divide a q(x) en F [XI.
ObsCrvese que en realidad se ha demostrado un poco mas, a saber
ym- y
(X-
pn)
f (x) = f (y) = y m - y = (X - a ) m - (X - a )
= x m - x, donde m
no
tiene
raices
multiples
en
ningun
campo
de
caracteristica p.
--
p- n.,
"
227
6.3
-"
- & "
-*
--.*
.
A
xm - x = (X - al)(x - a2)
(X - a,),
4. Si f (x) = x n - x esta en F [XI, pruCbese que f (x) no tiene una raiz multiple en ninguna extension de F si F es de caracteristica 0 o bien de caracteristica 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 raices 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 elementos, 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 elementos son isomorfos.
Sean K y L dos campos finitos que constan de pn elementos. Por consiguiente, 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
1 por el Teorema 6.2.4; por lo tanto K *
ambos grupos ciclicos de orden
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 absoluto. Pero la finitud de K y L junto con estos dos isomorfismos (de dos estrucI
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
i"-
-"
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 elemento 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
229
Polinomios cic~otomicos
, ,.
,,.
.-.
..*
numero
--,. -. . de elementos, entonces
--,.. .
,.-..
K y.
.
.
A
...-*.
... .
"
..*.
DEMoSTRACI~N.
Supongase que K y L constan de pnelementos. Por el Teorema 6.2.4, L * es un grupo ciclico generado, digamos, por el elemento b de
L. Entonces, desde luego, Z,(b) -el campo que se obtiene agregando b a 2,es todo L. Puesto que [L : Z,] = n, por el Teorema 5.3.2 b es algebraic0 sobre Z, de grado n, con n = grd (q(x)), donde q(x) es el polinomio minimo
de b en Z,[x], y es irreducible en Z,[x].
La aplicacion #: Z,[x]
L = Z,(b) definida por #( f (x)) = f ( b ) es un
homomorfismo de Z,[x] sobre L con nucleo (q(x)), el ideal de Z,[x] generado por q(x). Por consiguiente, L = Z,[x]/(q(x)).
Como q(x) es irreducible en Z,[x] de grado n, por el Lema 6.4.1 q(x)
debe dividir a xm- x, donde m = pn. Sin embargo, por el Lema 6.3.1, el
polinomio xm- x se factoriza en K [x] como
+
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 para a l g h j, q(x) y x - a, tienen un factor comun de grado a1 menos l . En forma 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.
Combinando 10s Teoremas 6.3.4 y 6.4.2, se tiene el
--
"
.>
,,
.,."+..
6.5 POLINOMIOS CICLOTOMICOS Sea C el campo de 10s numeros complejos. Como consecuencia del teorema de
De Moivre el numero complejo 19, = cos 27r/n + isen27r/n satisface 8,:' = 1
230
CAP~TULO
6
TEMAS ESPECIALES
Or
y
# 1 si 0 < m < n. Se llama a 8, una .--.---A,---...
raiz n-bima primitiva
de la
unidad.
-.. ....-- -.-..."-.". Las otras son
ek =
cos 2ak
n
i sen 2 a
k
diante:
(a) +,(x) = x - 1.
(b) Si n > 1, entonces 4,(x) = (xn - l)/H+Ax), donde en el product0
que aparece en el denominador, d recorre todos 10s divisores de n
except0 el mismo n.
Estos polinomios se denominan polinomios ciclotdmicos y +,(x) se
llama n-bimo polinomio ciclotdnico.
Por lo pronto no es obvio que 10s +,(x) asi definidos sean polinomios pares, ni tampoco se tiene una idea de la naturaleza de sus coeficientes. Todo esto
vendra a su debido tiempo. Primero conviene considerar algunos ejemplos iniciales.
l)/((x - l)(x
I)) =
6.5
Polinomios ciclotomicos
1,
232
CAPiTULO 6
TEMAS ESPECIALES
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
6.5
233
Polinomios ciclotdmicos
siendo esta ultima congruencia una consecuencia del teorema de Fermat (el corolario del Teorema 2.4.8). Puesto que f (xP) = a,-,xnP + af"-'IP + - . . + a,,
se obtiene que
- X ~ n '(p-')
=
modp = +'""(x
+ 1)modp.
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 divisib 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 para 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 forma 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 irreducible en Q [XI. Pero esto implica de inmediato que $(")(x) es irreducible en Q [XI.
234
CAP~TULO
6
TEMAS ESPECIALES
>
"
es irredudble en
-- .Q [XI.
-A
Como se sefial6 antes, este es un caso muy especial del teorema que se demostrara pronto; a saber, que 4,(x) es irreducible para todos 10s enteros positivos 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 irreducibilidad de 4,(x) para n general.
1 1,
donde
----8('),
.- - 8(2),. . . , 8'"")) son las cp(n) raices n-tsimas primitivas-d@-- tintas de la unjd,aa.
---
a
.
donde 10s tirecorren todas las raices entsimas de la unidad. Separando las raices n-tsimas primitivas de la unidad en este producto, se obtiene
(xn - 1) - (X - ecl)) -
- (X - ~ ( l ) )-( g(2))
~ .
- (x - 0'PC"))v (x)
v (x)
. (X - @(dn))),
6.5
235
Polinomios ciclot6micos
A partir de la forma de c#J,(x) dada en el Teorema 6.5.3 se ve inmediatamente que r#~,(x)es un polinomio m6nico en C [x] de grado p(n). Sabiendo
esto, se prueba que, en efecto, 10s coeficientes de r#~,(x)son enteros. iPor quC
es cierto lo anterior? Procediendo por induccion en n, se puede suponer
que este es el caso si dl n y d # n. Por lo tanto, si v(x) denota el polinomio usado en la demostracion del Teorema 6.5.3, entonces (xn- l)/v(x) = r#~,(x)E
C [XI, por consiguiente v(x) lxn - 1 en C [XI. Pero, mediante el procedimiento de division larga, la division de xn - 1 entre el polinomio monico v(x) con
coeficientes enteros conduce a un polinomio m6nico con coeficientes enteros
(y residuo cero, ya que v(x) 1 (xn - 1) en C [x]). Asi que (xn- l)/v(x) =
c#J,(x) es un polinomio monico con coeficientes enteros. Como se vio, su grado es p(n). De esta manera se tiene
""-
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 irreducible 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 reciprocamente 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 Teorema 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; entonces 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 entre ellos se preservan procediendo en m6dp. De esta manera se tienen las relaciones 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 contradicci6n, 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 todo 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 esta 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 unidad son raices de f (x). Por el Teorema 6.5.3 se ve que t $ , ( ~ )= f (x), por consiguiente t$,(x) es irreducible en Q [XI.
Puede parecerle a1 lector como artificial y poco natural el haber recurrido
a1 paso modp para llevar a cab0 la demostracion de la irreducibilidad de un
polinomio con coeficientes racionales. En realidad, puede ser muy bien asi. Hasta
donde sabemos, nunca se ha dado una demostraci6n de la irreducibilidad de
t$,(x) permaneciendo completamente en Q [x] y sin pasar a modp. Seria esteticamente satisfactorio contar con una de tales demostraciones. Por otra parte,
tste no es el unico caso donde se demuestrs un resultado pasando a un sistema
subsidiario relacionado. Muchos teoremas de la teoria de 10s numeros -respecto
a 10s enteros ordinarios- tienen demostraciones que utilizan a 10s enteros modp.
Dado que t$,(x) es un polinomio monico con coeficientes enteros que es
irreducible en Q [x] y puesto que On, la raiz n-esima primitiva de la unidad,
es una raiz de t$,(x), se tiene
TEOREMA 6.5.6..ZI, 4
( x_-.
) es el polinomio minimo- en .-Q[x]
- de las raices
n-esimas
primitivas
de
la
unidad.
- --
6.6
Criterio de Liouville
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
5. Si K es una extension finita de Q, el campo de 10s numeros racionales, prukbese que existe solamente un numero finito de raices de la unidad en K. (Sugerencia: Apliquese el resultado del Problema 10 de la Seccion 6.2, junto
con el Teorema 6.5.6.)
238
CAP~TULO6
TEMAS ESPECIALES
.-
.---
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-
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
6.6
Criterio de Liouville
239
Por otra parte, si I u/v I I2, entonces nuevamente por la desigualdad triangular, lai - (u/v)l I laiJ + lu/vJ r s + 2s = 3s. Por lo tanto,
de tal manera que l / t r 1/(3s)"-I = 1/(3"-'s "-I). Regresando a la desigualdad que dice la - (u/v) 1 r l/[rovnla2- (u/v) 1 . . . la, - (u/v) I], se tiene que
1 a - (u/v) 1 2 1/(ro3"-ls "-lvn). Estos numeros rO,3"-l, s se determinan
todos de una vez por a y su polinomio minimo f (x) y no dependen de u o v.
Si se hace b = l/(ro3n-1sn-1), entonces b > 0 y la - (u/v)l > b/vn. Esto cubre el segundo caso, donde (u/vl 5 2s.
Si c es un numero positivo menor que ambos b y s, de la discusion se tiene
que J a - u/vl > c/vn para todos 10s enteros u, v, donde v > 0, con lo cual
se prueba el teorema.
a.
240
CAP~TULO
6
TEMAS ESPECIALES
trascendentes. Ademas, en vez de utilizar nada mas 1 se podria emplear cualquiera de 10s nueve digitos distintos de cero para obtener mas numeros trascendentes. Se deja la verificaci6n de que 10s numeros del tiPo descrito no satisfacen
el criterio de Liouville, para cualquier entero positivo n y cualquier c positivo.
Se puede usar el numero trascendente T y sus variantes descritas para demostrar un famoso resultado debido a Cantor, el cual dice que existe una correspondencia biyectiva entre todos 10s numeros reales y su subconjunto de
10s numeros reales trascendentes. En otras palabras, en cierto sentido, hay tantos reales trascendentes como numeros reales. Se da una breve descripcion de
como se lleva a cab0 y se dejan 10s detalles a1 lector.
Primeramente, es fdcil construir una aplicaci6n inyectiva de 10s reales sobre
10s reales que se encuentran estrictamente entre 0 y 1 (tratese de encontrar tal
aplicacion). Esto tambitn es cierto para 10s numeros reales trascendentes y 10s
que de ellos se encuentran estrictamente entre 0 y 1. Denotese el primer conjunto por A y el segundo por B. Se construira una aplicacion inyectiva de A hacia
B. Esto sera suficiente para concluir la tarea.
Dado cualquier numero de A, se le puede representar como uq decimal infinit0 a,a2 . . . a, . . . , donde 10s a i estan entre 0 y 9. (Ahora se procedera con
un poco de inexactitud. El lector debe intentar hacer estricto el razonamiento.) Definamos ahora la aplicacion f de A a B por f ( a l a 2 . . a, . . . ) =
0.a,0a200a3000000a4. . . ; por el criterio de Liouville, salvo un pequeiio conjunto de a , , a2, . . . , a,, . . . , 10s numeros 0.1a,0a200a3000000a4. . . son trascendentes. La f considerada proporciona entonces la aplicacion requerida.
Un comentario final acerca del tipo de aproximacion de numeros algebraicos mediante racionales, expresada en el Teorema 6.6.1. Ahi se tiene que si a
es real algebraic0 de grado n 2 2, entonces la -u/v 1 > c/vn para algun positivo c apropiado. Si se pudiera disminuir n para que la - u/v l > c/vm para
m < n y algun c adecuado (dependiente de a y m), se ob.tendria un resultado
aun mas profundo. En 1955 el entonces joven matematico inglCs K. F. Roth
demostro el poderoso resultado de que efectivamente se puede reducir n a 2.
Su resultado exacto es: Si a es algebraic0 de grado n 2 2, entonces para todo
numero real r > 2 existe una constante positiva c, que depende de a y r, de tal
manera qpe 1 a - u/v I > c/vr para todas except0 un numero finito de fracciones u/v.
Como se indic6 anteriormente, Lindemann demostro en 1882 que ?r es un numero trascendente. A partir de dicho resultado de Lindemann se deduce, en particular, que ?r es irracional. No se demostrara aqui la trascendencia de ?r -ello
requeriria una digresion bastante extensa- pero, por lo menos, se demostrara
que ?r es irracional. La excelente demostracion que se da de este hecho se. debe
a I. Niven; aparecio en su articulo "Una demostracion sencilla de que ?r es irra-
241
Irracionalidadde .K
6.7
cional", que fue publicado en el Bulletin of the American Mathematical Society, vol. 53 (1947), pag. 509. Para seguir la demostraci6n de Niven so10 se
requieren algunos temas de un curso elemental de ciilculo.
Se empieza con
0.
n-OD
?r.
donde
a,
an, a , = -nan-'b,
... a . =
( - 1
an-;b;
i!(n - i)!
..., a n = (-l)"bn
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 cuya 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)(~).
dx2
+ ... +
( 2 ) ( x) f (4)(x)
(- 1)" f
(2n)(x)
Por lo tanto,
F " ( x )sen x
- F 1 ( x )cosx
=
+ F ' ( x )cos x
+ 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);
' 6.7
lrracionalidad de r
243
lo"f (x) sen x dx es valida para cualquier entero n> 0. Ahora se requiere elegir
n de manera inteligente para asegurq que 1% aseveracidn " /On f (x) sen x dx es
entero" no pueda ser cierta.
Se lleva a cab0 ahora una apreciacidn del valor de /,"f ( x ) senx dx. Para
0 < x < s la funcidn f (x) = xn(a - bx)"/n! r ffan/n! (ya que a > 0), y
adern& 0 < sen x I1. De manera que 0 < 1,"f (x) sen x dx < :/ s "an/n! dx =
sn+
lan/n!.
Sea u = sa; entonces, por el Lema 6.7.1, 4% un/n! = 0, asi que si se
escoge n suficientemente grande, se puede asegurar que un/n! < l%
por
, consiguiente s " +'an/n! = run/n! < 1. Pero entonces /;f (x) senx dx queda
cdnfinado estrictamente entre 0 y 1. Sin embargo, por lo que se ha demostrado, ;/ f ( x ) senx dx es entero. Puesto que no existe ningiin entero estrictamente entre 0 y 1, se ha llegado a una contradiccidn. Por consiguiente la premisa de que s es racional es falsa. Por lo tanto, s es irrational. Esto completa
la demostracion del teorema.
s/;*-9
n
( G t j , 4,.
4.'i =
e
A-
{QJ,$
.;*:,
m-
.
ns:A
nnj)
fS+ko@-
1 ~ ."
. /G3
'A/ A
@ecldL%
J.
,..,-,
I....
A A
.$<
. " a?",
I.
+-..---
c c
0 2 - 4
$0
Biyectiva, correspondencia, 1 I
Boole, 138
Booleano, anillo, 138
Buena ordenacibn, principio de, 22
j1
:'j
'
,
14.,tjf,
245
Eisenstein, 169
Eisenstein, criterio de, 168
Elemento(s), 3
algebraico, 193
de grado n, 195
conjugados, 57
identidad, 40
drbita de un, 21, 65
trascendente, 193
Equivalencia
-.
clase de, 57
relacidn de, 56
Espacios vectoriales, 179-188
base de, 1 87
conjunto 'generador mfnimo de, 186
de dimensidn finita, 185
de dimensidn infinita, 185
definicidn de, 179
dimensidn de, 186
Euclides, 26
Euclides, algoritmo de, 22
Euler, 59, 65
Euler, funcibn 4 'de, 61
Euler, teorema de, 62
Exponentes, 18
Extensidn de campo, 191-201
algebraica, 193
definicidn de, 191
finita, 191, 198-201
grado de, 191
Factor, 23
Factor, grupo, 77-82 ;
definicidn de, 78
Factorial, 17
Fermol, 59, 62
Fermat, teorerna de, 62
Finito-dimensional, espacio vectorial, 182
Finitos, campos, 221-229
ciclicidad de, 222-224
existencia de, 224-228
unicidad de, 228-229
Funcibn, 8
constante, 9
racional, 177
o de Euler, 61
Fundanlental, teorerna
del Algebra, 200
de 10s grupos abelianos finitos,
96,100
Gauss, 168
Gauss, lerna de, 200
Gaussianos, enteros, 38, 165
Grado (grd)
de uha extensidn de campo, 191
de un polinomio, 153
Grupo(s), 39-123
abeliano, 41
finito, 96-101
alternante, 121, 215-222
autornorfismo de, 69, 75
axiomas, 40
clclico, 52
cociente; 78
definicidn de, 40
diddrico, 43
factor, 77
finito, 41
hamiltoniano, 71
: isombrficos, 68
no abeliano, 42
simple, 123, 216
Hamillon, 7 1, 131
Harniltoniano, grupo, 71
Hardy, 201
Hermile, 194
Homomorfismo
primer teorerna de
para anillos, 142
para grupos, 85
segundo teorerna de
para anillos, 141
para grupos, 86
tercer teorema de
para anillos, 141
para grupos, 86
Producto
cartesiano, 5
de aplicaciones, I I
directo, de grupos, 92-96
Proyeccidn, 9 '
Rational, funcidn, 177
Reflexividad, 56
Residuo, teorema chino del, 147
. Roth, 240
,
Simetrla, 56
Simttrico, grupo; 16, 109-123
Simple, grupo, 122, 216
Simplicidad de A,, 215-219
Subcampo, 128
Subconjunto, 3-4
Subespacio, 180
generado por elementos, 181
Subgrupo, 50-53
caracterlstico, 75
ciclico, 52
de Sylow, 104
definicidn de, 0
lndice de, 59
normal, 70
propio, 50
trivial, 50 --Suma directa
de anillos, 146
de espacios vectorialcs, 181
Sylow, 104
Sylow, subgrupo de, 104
Sylow, teorema de, 104-105
para grupos abelianos, 83
Trascendente, elemento, 193
Transitividad, 56
Transposicidn, 21-1 13
TriAngulo, desigualdad de, 34
Triseccidn de un ingulo, 206-207
Unidn de conjuntos, 4
Unitario (o unidad), elemento, 39
Uno a uno,
aplicacidn, 10
correspondencia, 1 I
Vaclo (o nulo). conjunto. 4
Wilson, teorema de. 65. 210