25.11.2014 Views

Teoria Numeros C Ivorra Castillo

Teoria Numeros C Ivorra Castillo

Teoria Numeros C Ivorra Castillo

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

258 Capítulo 10. El Último Teorema de Fermat<br />

Equivalentemente:<br />

xω r + yω r−1 − yω − x ≡ 0(mód p). (10.3)<br />

Notemos que si p divide a un entero ciclotómico α y tenemos una expresión<br />

de α como combinación lineal entera de p − 1 potencias de ω, como éstas son<br />

una base entera, es necesario que p divida a cada uno de los coeficientes. Usaremos<br />

esto para probar que r = 1 descartando cualquier otra posibilidad (notar<br />

también que podemos suponer p ≥ 5, ya que el caso p = 3 está probado).<br />

Si r = 0 la congruencia (10.3) se convierte en yω −1 − yω ≡ 0 (mód p), luego<br />

p | y, contradicción.<br />

Si r = 2 queda xω 2 − x ≡ 0(mód p), luego p | x, contradicción.<br />

Si r>2 todas las potencias de ω que aparecen en (10.3) son distintas, y<br />

como sólo hay 4 3, llegamos<br />

una vez más a la contradicción p | x.<br />

Supongamos ahora que p | z (caso II). Sustituyamos z por p k z, donde ahora<br />

z es primo con p. Tenemos entonces que x p + y p = p kp z p , donde x, y, z son<br />

enteros primos con p.<br />

En el anillo de enteros ciclotómicos, p factoriza como p = η(ω −1) p−1 , donde<br />

η es una unidad. La ecuación se convierte en<br />

x p + y p = ɛ(ω − 1) pm z p , (10.4)<br />

donde ɛ es una unidad y m = k(p − 1) > 0.<br />

Hemos de probar que esta ecuación no tiene soluciones enteras primas con<br />

ω − 1. Para ello probaremos más en general que no existen enteros ciclotómicos<br />

x, y, z primos con ω − 1 que satisfagan (10.4). Supongamos por reducción al<br />

absurdo que existen enteros ciclotómicos que cumplan (10.4) con el menor valor<br />

posible para m. Factorizando el miembro izquierdo de (10.4) tenemos<br />

(x + y)(x + ωy) ···(x + ω p−1 y)=ɛ(ω − 1) pm z p . (10.5)<br />

Sabemos que en el caso II el primo ω − 1 divide de hecho a todos los factores<br />

de la izquierda. Más aún, la ecuación (10.2) implica que (ω − 1) 2 no divide a la<br />

diferencia de dos cualesquiera de estos factores. Equivalentemente, los números<br />

x + ω i y<br />

, i =0,...,p− 1,<br />

1 − ω<br />

son no congruentes dos a dos módulo ω − 1.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!