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.

13.5. <strong>Numeros</strong> p-ádicos ciclotómicos 333<br />

Demostración: Veamos en primer lugar que 1,π,π 2 ,...,π p−2 son linealmente<br />

independientes sobre Q p (con lo que también lo serán sobre Z p ). Consideremos<br />

una combinación lineal nula<br />

α 0 + α 1 π + α 2 π 2 + ···+ α p−2 π p−2 =0.<br />

Si no todos los coeficientes son nulos, multiplicando por una potencia adecuada<br />

de p podemos conseguir otra combinación con no todos los coeficientes nulos y<br />

tal que todos son enteros p-ádicos y al menos uno de ellos es una unidad. Sea i<br />

el menor índice tal que α i sea una unidad. Para todo jiconcluimos igualmente que<br />

v p (α j π j )=j + v p (α j ) ≥ j ≥ i +1,<br />

es decir, p i+1 divide a todos los términos de la combinación lineal salvo quizá<br />

a α i π i , pero esto implica que también divide a éste, luego p | α i , y esto es<br />

contradictorio, pues v p (α i )=(p − 1)v p (α i )=0.<br />

Ahora basta probar que todo α ∈ O p se expresa como combinación lineal de<br />

estos números con coeficientes en Z p .<br />

Teniendo en cuenta el teorema 7.16, α se puede expresar como<br />

α = a 0,0 + a 0,1 π + ···+ a 0,p−2 π p−2 + βπ p−1 ,<br />

donde 0 ≤ a 0,i ≤ p − 1yβ ∈ O p .<br />

Puesto que p = ɛπ p−1 , para cierta unidad ɛ, tenemos de hecho que<br />

α = a 0,0 + a 0,1 π + ···+ a 0,p−2 π p−2 + γ 1 p,<br />

con γ 1 ∈ O p .<br />

Igualmente γ 1 = a 1,0 + a 1,1 π + ···+ a 1,p−2 π p−2 + γ 2 p, con lo que<br />

α =(a 0,0 + a 1,0 p)+(a 0,1 + a 1,1 p)π + ···+(a 0,p−2 + a 1,p−2 p)π p−2 + γ 2 p 2 .<br />

Tras n + 1 pasos obtenemos<br />

( n<br />

) (<br />

∑<br />

n<br />

(<br />

∑<br />

∑ n<br />

α = a i,0 p i + a i,1 p<br />

)π i + ···+ a i,p−2 p<br />

)π i p−2 + γ n p n .<br />

i=0<br />

i=0<br />

Es obvio que todas las series convergen y γ n p n tiende a 0, luego<br />

( ∞<br />

) (<br />

∑<br />

∞<br />

(<br />

∑<br />

∑ ∞<br />

α = a i,0 p i + a i,1 p<br />

)π i + ···+ a i,p−2 p<br />

)π i p−2 .<br />

i=0<br />

i=0<br />

Finalmente, todo elemento de K p puede expresarse como p n α, con α ∈ O p y<br />

n ∈ Z. De aquí se sigue inmediatamente que 1,π,π 2 ,...,π p−2 es un generador<br />

de K p sobre Q p .<br />

i=0<br />

i=0

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

Saved successfully!

Ooh no, something went wrong!