25.11.2014 Views

Teoria Numeros C Ivorra Castillo

Teoria Numeros C Ivorra Castillo

Teoria Numeros C Ivorra Castillo

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

168 Capítulo 7. Números p-ádicos<br />

2) Por el apartado anterior, todo elemento de O p es de la forma α =lím α n ,<br />

n<br />

con α n ∈ O. Por la continuidad de la valoración, v p (α) =lím v p (α n ), luego<br />

n<br />

α ∈ p n ∗ si y sólo si α n ∈ p n para todo n suficientemente grande.<br />

3) Es claro que la aplicación está bien definida y es un homomorfismo. Observemos<br />

que α ≡ β (mód p n ) equivale a v p (α − β) ≥ n, y lo mismo es válido<br />

para p ∗ , luego la aplicación es inyectiva. Por último el apartado 1) implica que<br />

para todo α ∈ O p existe un β ∈ O tal que v p (α − β) ≥ n, lo que se traduce<br />

en que todo elemento de O p es congruente módulo p n ∗ con un elemento de O, es<br />

decir, que la aplicación es suprayectiva.<br />

Según el teorema anterior, la congruencia de dos enteros de K módulo p n ∗ es<br />

equivalente a la congruencia módulo p n . Por ello en lo sucesivo suprimiremos el<br />

asterisco, y ya no distinguiremos entre p y p ∗ .<br />

Ejercicio: Sea K un cuerpo numérico y p un ideal primo de K. Determinar la<br />

clausura en K p de un ideal cualquiera de K.<br />

Pasamos ahora a estudiar la topología de los cuerpos discretos. En el caso<br />

concreto de los cuerpos p-ádicos, la finitud de los cuerpos de restos se traduce en<br />

una propiedad de compacidad análoga a la de los números reales y complejos.<br />

Teorema 7.15 Sea K un cuerpo métrico discreto y completo, D su anillo de<br />

enteros y p su ideal primo. Las afirmaciones siguientes son equivalentes:<br />

1. El cuerpo de restos D/p es finito.<br />

2. Un subconjunto de K es compacto si y sólo si es cerrado y acotado.<br />

Demostración: Supongamos que D/p es finito. Sea F un conjunto de<br />

representantes de las clases de equivalencia. Sea π un primo en D, demodo<br />

que p =(π). Basta probar que D es compacto, pues entonces lo serán todas<br />

las bolas cerradas y también todos los conjuntos cerrados y acotados. A su vez<br />

basta ver que toda sucesión de enteros (α n ) tiene una subsucesión convergente.<br />

Tiene que haber infinitos términos de la sucesión congruentes módulo π con<br />

un mismo x 0 ∈ F . Sea, pues, (αn) 1 una subsucesión tal que para todo número<br />

natural n se cumpla αn 1 ≡ x 0 (mód π). Digamos αn 1 = x 0 + βnπ, 1 con βn 1 ∈ D.<br />

Similarmente podemos tomar una subsucesión (αn)de(α 2 n) 1 tal que los correspondientes<br />

βn 2 sean todos congruentes con un mismo x 1 ∈ F módulo π. De<br />

este modo αn 2 = x 0 + x 1 π + βn 2 π 2 .<br />

En general podemos ir obteniendo una sucesión de subsucesiones (αn) k (cada<br />

cual subsucesión de la anterior) de modo que<br />

k−1<br />

∑<br />

αn k = x i π i + βn k π k ,<br />

i=0<br />

con x i ∈ F , βn k ∈ D. En particular,<br />

n−1<br />

∑<br />

αn n = x i π i + βn n π n .<br />

i=0

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

Saved successfully!

Ooh no, something went wrong!