Documentos de Académico
Documentos de Profesional
Documentos de Cultura
FMat
17 de junio de 2015
Introducción
Los dos mejores y más importantes números reales e irracionales conocidos son
π y e. Mostraremos que ambos números son trascendentales sobre Q.
Antecedentes
Definición
Sea K/F una extensión, diremos que α es trascendente sobre F si α no es
algebraico.
Definición
Sea F un campo y f (x) ∈ F [x]. Sobre su campo de descomposición f (x) se
factoriza:
f (x) = a(x − α1 )n1 · · · (x − αk )nk
donde α1 , . . . , αk son elementos distintos y ni ≥ 1, αi es raı́z multiple si
ni > 1 y simple si ni = 1. ni es la multiplicidad de αi . Además f (x) ∈ F [X] es
separable si no tiene raı́ces múltiples.
Definición
Sea K un campo:
1 Un automorfismo de K es un isomorfismo de K en K. Más aún,
Aut(K) = {σ : K → K | σ es un automorfismo}.
Definición
Sea K/F una extensión de campos:
Proposición
Sea K/F una extensión de campos y α ∈ K algebraico sobre F . Si α es raı́z de
f (x) ∈ F [X] y σ ∈ Aut(K/F ) entonces σ(α) tambien es raı́z de f (x). En
particular σ permuta las raı́ces de mı́n(α, F ).
Teorema
Sea E el campo de descomposición de f (x) ∈ F [X] entonces:
| Aut(E/F ) |≤ [E : F ]
Definición
Sea K/F una extensión finita, se dice que K es Galois sobre F y que la
extensión K/F es una extensión de Galois si:
| Aut(K/F ) |= [K : F ]
Gal(K/F ) = Aut(K/F ).
Corolario
Si f (x) ∈ F [X] es separable y K es su campo de descomposición sobre F ,
entonces K/F es Galois.
Definición
Sea f (x) ∈ F [X] separable, el grupo de Galois sobre F del polinomio f (x) es el
grupo de Galois del campo de descomposición.
Teorema
K/F es Galois si y solo si K es el campo de descomposición sobre F de algún
polinomio separable f (x) ∈ F [X]. Si K/F es Galois entonces cada polinomio
irreducible con coeficientes en F que tiene una raı́z en K es separable y todas
sus raı́ces están en K.
Teorema
Sean
r
X s
X X r
X s
X
αi βi γk αi
ai x , bi x y ck x = ai x · bi xβi
i=1 i=1 k i=1 i=1
Teorema (Lindemann-Weiertrass)
Sean α1 , . . . , αm números algebráicos distintos. Entonces, los exponenciales
eα1 , . . . , eαm son linealmente independientes sobre Q.
Multiplicando por enteros adecuados podemos asumir que cada aj ∈ Z, más aún,
eliminando los términos necesarios también podemos asumir que cada aj 6= 0.
Sea K la cerradura normal de Q(α1 , . . . , αm )/Q. Entonces K es una extensión
de Galois de Q. Supongamos que Gal(K/Q) = {σ1 , . . . , σn }. De 1 tenemos que
Yn Xn r
X
0= aj eσk (αj ) = cj e β j
k=1 j=1 j=0
n X
X r Z σi (γj )
=− cj eσi (γj ) e−z f (z)dz.
i=1 j=1 0
r
X n
X n X
X r Z σi (γj )
cj F (σi (γj )) + nc0 F (0) = − cj e σi (γj )
e−z f (z)dz. (3)
j=1 i=1 i=1 j=1 0
Elijamos p de manera que sea un primo mayor que máx{bj , gj (0)}rj=1 , entonces
no divide a f (p−1) (0). Sin embargo, para t ≥ p, el polinomio f (t) (x) puede ser
escrito en la forma
f (t) (x) = p(b1 · · · br )prn ht (x),
donde ht (x) ∈ Z[x] es de grado a lo más prn − 1. Entonces, f (t) (0) es divisible
por p para t ≥ p; de ahı́,
X
F (0) = f (p−1) (0) + f (j) (0)
j6=p−1
Pr Pn
Veamos ahora que j=1 cj i=1 F (σi (γj )) es un entero divisible por p. Hacemos
Pn
esto mostrando que cada término i=1 F (σi (γj )) es un entero divisible por p.
Ahora:
Xn XX n
F (σi (γj )) = f (k) (σi (γj ))
i=1 k i=1
p
Como (gj (x)) divide a f (x) y cada σi (γj ) es una raı́z de gj (x), vemos que
Sin embargo, esta suma esP invariante bajo la acción Gal(K/Q), entonces es un
n
número racional. Además, i=1 (b1 · · · br )prn ht (xi ) es un polinomio simétrico en
x1 , . . . , xn de grado a lo más prn − 1. Las σi (γj ) son raı́ces del polinomio gj (x),
cuyo coeficiente principal es bj , entonces la segunda suma en 4 es en realidad
un número entero Pr por unaPn aplicación del teorema de función simétrica. Ésto
demuestra que j=1 cj i=1 F (σi (γj )) es un número entero divisible por p; de
aquı́, el lado izquierdo de 3 es un entero no nulo. Esto significa que
n X r
X Z σi (γj )
σi (γj ) −z
cj e e f (z)dz ≥ 1.
i=1 j=1 0
Sean
m1 = máx{|cj |},
j
n o
m2 = máx eσi (γj ) ,
i,j
m3 = máx{|σi (γj )|},
i,j
Sobre el camino constante de 0 a σi (γj ) tenemos la cota |z p−1 | ≤ |σi (γj )|p−1 ≤
mp−1
3 .
Demostración. Supongamos
Pn que e es algebraico sobre Q. Entonces existen
racionales ri tales que i=0 ri ei = 0. Esto quiere decir que los números
e0 , e1 , . . . , en−1
Referencias