Los numeros p-adicos desde el punto de vista de

las series formales

(Comunicacion)
Napoleon Caro Tuesta1

Introducci
on:
Los n
umeros p-adicos fueron introducidos por Kurt Hensel en 1897 en analoga con las series
formales.
Despues que J. K
urschak introdujo la nocion general de valor absoluto sobre un cuerpo en
1913 y Ostrowski clasicara los valores absolutos sobre el cuerpo de los n
umeros racionales Q en
1917, el cuerpo Qp de los n
umeros p-adicos fue visto como la completacion de Q va la metrica
inducida por el valor absoluto p-adico.
Sin embago, en 1975, Faltin y sus colegas mostraron que la analoga inicialmente establecida
por Hensel no era fortuita. Ellos construyeron los n
umeros p-adicos como un cociente de un
ideal maximal del anillo de las series formales de Laurent Z ((X)). La construccion de los
n
umeros p-adicos as obtenida es un proceso de division euclidiana por el elemento irreducible
p X de Z ((X)). De hecho, veremos que Z ((X)) es un dominio euclidiano.
Z ((X))
(p X) Z ((X))
Z [[X]]
es isomorfo a Qp . Mas a
un probaremos que su anillo de valuacion es igual a
(p X) Z [[X]]
que puede ser identicado con el anillo de los enteros p-adicos Zp .
En este artculo, probaremos que el cuerpo valuado completo no-Arquime- diano

UNMSM - IMCA

e-mail: napoct@hotmail.com

Series Formales de Laurent

Sea R un anillo conmutativo unitario, de unidad 1. Consideremos el conjunto S = {a =

(an )nZ RZ / existe n (a) Z de modo que an = 0 n < n (a)}.
Se observa claramente que S dotado de la adicion:
(an )nZ + (bn )nZ = (an + bn )nZ
es un subgrupo aditivo de RZ .
Si denimos para a = (an )nZ y (bn )nZ , elementos de S, el producto a.b = c tal que

c = (cn )nZ , donde cn = jZ aj bnj , se verica de una parte que la suma cn es nita n Z
y de otro lado que Cn = 0 n < n (a) + n (b); en consecuencia c S.
De esta manera, S junto con las operaciones, arriba denidas, tiene estructura de anillo
conmutativo con unidad 1 = (0,n )nZ , siendo 0,n el smbolo de Kronecker, es decir, 0,n = 1 si
n = 0 y 0,n = 0 si n = 0.
Si usamos el smbolo formal X n (n Z) para representar la sucecion (n,m )mZ , entonces

cada elemento a = (an )nZ S puede ser escrito formalmente como a =

an X n , donde
nn(a)

n (a) es el menor entero n tal que an = 0.

En virtud de la observacion anterior, el anillo S sera denotado como R ((X)) y sera llamado
Anillo de las series formales de Laurent con coeficientes en R. Ademas, el anillo usual

an X n sera un subanillo unitario de R ((X)).

R [[X]] de las series formales a =
n0

Si a cada a =
an X n R ((X)) , a = 0 le asociamos el smbolo n (a) y a la serie nula le
n0

asociamos el smbolo formal , donde convenimos que n + = n Z, + = y

n, n Z queda denida entonces, una aplicacion:
VX :

R ((X))
a=

na

an X n

Zu {}

n (a) , si a = 0
7
, si a = 0

Proposici
on 1.1 La aplicacion VX : R ((X)) Z {} tiene las siguientes propiedades:
(i) VX (a + b) mn (VX (a) , VX (b)), a, b R ((X))
4

(ii) VX (a.b) VX (a) + VX (b), a, b R ((X))

Si ademas R es un dominio ntegro, (ii) se transforma en igualdad , es decir,
(ii ) VX (a.b) = VX (a) + VX (b), a, b R ((X)). En consecuencia R ((X)) es un dominio
ntegro.
Prueba:
(i) Si a + b = 0 o a = 0 o b = 0, no hay nada que probar. Supongamos pues que a = 0, b = 0
y a + b = 0 y que

a=

an X n , b =

nn(a)

bn X n ,

nn(b)

donde
VX (a) = n (a) n (b) = VX (b) ,
entonces
a+b=

(an + bn ) X n =

nZ

(an + bn ) X n ;

nn(a)

en consecuencia
VX (a + b) n (a) = mn (VX (a) , VX (b)) .
(ii) El caso en que ab = 0 o a = 0 o b = 0 es trivial, supongamos pues que a = 0, b = 0 y
ab = 0.
Luego si a =

an X n , b =

nn(a)

bn X n , entonces

nn(b)

ab =

cn X n ,

donde

Cn =

an bnj .

jZ

nn(b)

Ademas Cn = 0 n < n (a) + n (b) y cn(a)+n(b) = an(a) .bn(b) . En consecuencia VX (a.b)

n (a) + n (b) = VX (a) + VX (b).
(ii) Si uno de los elementos. a o b es nulo, se tiene a.b = 0, en consecuencia VX (a.b) = =
VX (a) + VX (b).

Si a = 0 y b = 0, por lo visto arriba en (ii) Cn(a)+n(b) = an(a) bn(b) y como R es ntegro se

deduce que Cn(a)+n(b) = 0 pues an(a) = 0 y bn(b) = 0 en R, por lo tanto
VX (a.b) = n (a) + n (b) = VX (a) + VX (b) .
Finalmente, si a y b R ((X)). y a y b son nulos;
VX (a.b) = VX (a) + VX (b) = ,
en consecuencia a.b = 0, luego R ((X)) es tambien un dominio de integridad.
De ahora en adelante R representara un dominio ntegro.
Consideremos ahora un n
umero real jo, 0 < < 1.
La aplicacion VX nos permite denir un valor absoluto sobre R ((X)). Mas concretamente,
podemos denir.
| | : R ((X))
a

VX (a) , si a = 0
7 |a| =
0
, si a = 0

De la denicion de | | y del lema 1 se deduce facilmente que:

1. |a| 0 a R ((X)). |a| = 0 a = 0 y |X| =
2. |ab| = |a| |b|, a, b R ((X))
3. |a + b| m
ax (|a| , |b|), a, b R ((X)).
De manera natural natural el valor absoluto | | induce una metrica sobre R ((X)) denida
como
d (a, b) = |a b| a, b R ((X))
Gracias a 3) se trata de una ultrametrica, es decir
3. d (a, c) m
ax (d (a, b) , d (b, c)), a, b, c R ((X)) .

Observaciones:
6

(a) a R [[X]] |a| 1

(b) R ((X)) =

X n R [[X]]

n0

Proposici
on 1.2. El dominio R ((X)), junto con la distancia: d (a, b) = |a b| es un anillo
topol
ologico completo.
Adem
as el conjunto decreciente (para inclusion) de ideales (X n R [[X]])n0 de R [[X]] es un
sistema fundamental de vecindades de 0 para la topologa inducida por d; llamada topologa
X a
dica.
Prueba:
Para mostrar que R ((X)) es un anillo topologico, debemos vericar que la adicion y la
multiplicacion son continuas.
La continuidad de la adicion se sigue de la desigualdad:
|(a + b) (a + b )| m
ax (|a a | , |b b |)
en tanto que la continuidad de la multiplicacion se dedice de la identidad
a.b a .b = a. (b b ) + (a a ) b
Ahora veamos que (R ((X)) , d) es completo:
Sea (a (j))j0 una sucesion de Cauchy en R ((X)). Entonces > 0 existe un entero j tal
que j, k j implica que |a (j) a (k)| < .
En particular, para todo entero s 0, existe js tal que j, k js se cumple que
|a (j) a (k)| s+1 = |X|s+1 .
Para s = 0 se tiene entonces |a (j) a (j0 )| |X| , j j0 . As
|a (j)| m
ax (|a (j0 )| , |X|) , j j0 .
En consecuencia
|a (j)| m
ax (|X| , |a (j0 ) , . . . , |a (0)||) |X|q , j 0.
7

Luego |X q aj | 1 j 0. por lo tanto bj = X q aj R [[X]] , j 0; ademas

|b (j) b (k)| = |X q | |a (j) a (k)|. En consecuencia (b (j))j0 es una sucesion de Cauchy
en R [[X]].
Luego sera suciente probar que R [[X]] es completo. En efecto:
Sea (a (j))j0 una sucesion de Cauchy en R [[X]],
aj =

an (j) X n

n0

Observemos que para todo entero s 0, |a (j) a (k)| s+1 = |X|s+1 j, k js si y solo si
a (j) a (k) X s+1 R [[X]] j, k js , lo cual ocurre si y solo si an (j)) = an (k); 0 n s.
En particular: an (j) = an (js ), j js , 0 n s.
Sea qs = m
ax jn . Para 0 m n s, se tiene que qs qn jn , j qs , entonces
0ns

an (j) = am (j) = an (jn ).

Consideremos a =
an (jn ) X n .
n0

Como para j qs = m
ax jn , se tiene an (j) = an (jn ), 0 n s.
0ns

Se obtiene:
a (j) a =

(an (j) an (jn )) X n , de donde |a (j) a| |X|s+1 = s+1 ,

ns+1

en consecuencia: lm a (j) = a R [[X]], por lo tanto R [[X]] es completo.

j+

Finalmente probemos que (X n R [[X]])n0 es un sistema fundamental de vecindades de 0.

En efecto: De una parte
X n R [[X]] = {a R ((X)) / |a| |X|n = n }
y de otra parte, consideramos 0 < < 1, entonces existe un entero n 0 tal que n+1 < < n .
Luego
X n+1 R [[X]] =

{
}
a R ((X)) / |a| |X|n+1 = n+1

{a R ((X)) / |a| < } .

Observaciones:
8

a) En vista que el valor absoluto | | sobre R ((X)) es ultrametrico, una serie

a (j) converge

j0

en R ((X)) si y solo si lm a (j) = 0 en R ((X)) .

j+

b) Sea a =

an X n R ((X)) no nulo, VX (a) = n (a).

nn(a)

Entonces a es inversible en R ((X)) si y solo si an(a) es inversible en R. En particular

R ((X)) es un cuerpo si y solo si R es un cuerpo.

Divisi
on Euclidiana en el dominio Z ((x))

El grupo de las unidades del dominio Z ((X)) esta formado por la series de Laurent a =

an X n Z ((X)) tales que an(a) = 1 (Ver observacion b) de la parte 1).

nn(a)

Para a =

nn(a)



an X n Z ((X)), a = 0, denimos (a) = an(a)  1, donde | | es el

valor absoluto usual y para a = 0 Z ((X)) ponemos (0) = 0.

Entonces si a y b son no nulos, (ab) = (a) (b) (a).
Proposici
on 2.1. Sean a =

an X n y b =

nn(a)

bn X n Z ((X)) , b = 0. Entonces existen

nn(b)

q, r Z ((X)) tales que

a = bq + r,

donde

0 (r) (b) 1.

Prueba.
(i) En principio consideremos a =

an X n y b =

nn(a)

bn X n Z ((X)) , tales que

nn(b)

VX (a) = 0 = VX (b). Entonces a0 y b0 Z son no nulos y (b) = |b0 | 1.

Por division euclidiana en Z, existen u
nicos q0 y r0 Z tales que a0 = b0 q0 + r0 , donde
0 r0 |b0 | 1.
De la misma manera, para a1 b1 q0 Z, existen u
nicos q1 y r1 Z tales que
a1 = b1 q0 + b0 q1 + r1 , 0 r1 |b0 | 1.

Supongamos por induccion que hemos determinado para 0 j n 1, los enteros q0 ,

,qj y rj tales que
aj =

bl qjl + rj ,

0 rj |b0 | 1.

l=0

Entonces an

bl qnl Z, existen u
nicos qn y rn Z tales que

l=1

an

bl qnl = b0 q0 + rn ,

donde 0 rn |b0 | 1,

l=1

de donde an =

bl qnl + rn .

Luego si ponemos q =
qn X n y r =
rn X n , se tiene que
l=0

n0

n0

donde r = 0 o (r) (b) 1.

a = bq + r,

(ii) En el caso general, los elementos a y b pueden ser escritos en la forma a = X m , b = X k ,

donde m = VX (a), k = VX (b) y
=

an X n , =

n0

bn X n ,

n0

donde a0 y b0 son no nulos. Por la parte (i) existen Q y R que estan en Z [[X]] tales que
= Q + R, 0 (R) |b0 | 1.
Entonces a = X m = X m Q + X m R. Luego si
q = X mk Q y r = X m R,
se obtiene que a = bq + r, mas a
un r = 0 o 0 < (r) < (b) 1.

Observaciones:
(a) El lema anterior prueba que Z ((X)) es un dominio euclidiano con norma .
(b) a es una unidad en Z ((X)) si y solo si (a) = 1
10

(c) Como Z ((X)) es un dominio euclidiano, entonces Z ((X)) es un dominio de ideales principales (DIP).
(d) Todo ideal de Z ((X)) es cerrado. En efecto: Sea J un ideal de Z ((X)). Si J = 0 entonces
J es cerrado pues Z ((X)) es Hausdor. Si J = 0, entonces por la parte (c) existe b = 0
entonces existe (cn )
en Z ((X)) tal que J = bZ ((X)). Sea ahora c J,
n0 J tal que
lm cn = c. Para cada n 0,

cn = bdn

|cm cn | = |b| |dm dn | .

De este modo (dn )n0 es una sucesion de Cauchy en Z ((X)) y como este es completo,
existe d Z ((X)) tal que lm dn = d, en consecuencia
n

c = lm bdn = bd J.
n

(e) Diremos que b Z ((X)) b = 0 es irreducible, si b no es una unidad y toda descomposicion de b en producto b = c.d es tal que c o d es una unidad en Z ((X)).

Proposici
on 2.2.
umero primo, entonces b es irreducible
(i) Sea b un elemento de Z ((X)) tal que (b) = p, un n
y b es producto de una unidad de Z ((X)) y de un elemento de la forma p + c, con
VX (c) 1
(ii) Si b es un elemento irreducible de Z ((X)), entonces (b) es potencia positiva de alg
un
n
umero primo.
(iii) Todo ideal maximal M de Z ((X)) es de la forma M = bZ ((X)), donde b es irreducible.
(iv) Sea p un n
umero primo. Todo elemento b de Z ((X)) de la forma pl +

n1

que (p, b1 ) = 1, es irreducible.

Prueba.

11

bn X n , l 2 tal

(i) Sea b Z ((X)) tal que (b) = p, un n

umero primo y sea b = c.d una descomposicion en
factores. Entonces p = (b) = (c) (d) y como p es primo o bien (c) = 1 y c es una
unidad, o bien (d) = 1 y d es una unidad. As b es irreducible. Escribiendo
b = X n(b)

|b0 | = (b) = p.

bn X n ,

n1

As b0 = p.
Luego b = X n(b) (p + c), donde c Z ((X)) y VX (c) 1.
(ii) Sea b = X n(b)

n0

bn X n tal que (b) no es potencia de ning

un primo. Como (b) = |b0 | ,

el entero b0 no es potencia de ning

un n
umero primo. Sea b0 = ml una descomposicion
de b0 tal que (m, l) = 1. As, existen c1 y d1 Z tales que b1 = md1 + lc1 . De la
misma manera, existen c2 y d2 Z tales que b2 c1 d1 = md2 + lc2 . Supuesto que hemos
n1

cj dnj , entonces
determinado c1 , c2 , , cn1 y d1 , d2 , dn1 Z, consideremos bn
j=1

existen cn y dn Z tales que

bn

n1

cj dnj = mdn + lcn .

j=1

Consideremos ahora las series formales

c = X n(b)

cn X n

y d=

n0

dn X n ,

n0

donde c0 = m y d0 = l. Entonces (c) = |m| 2 y (d) = |l| 2. En consecuencia

c y d no son unidades de Z ((X)), ademas por construccion bn =

ci dj , luego b = c.d;
i+j=n

por lo tanto b no es irreducible.

(iii) Sea M = bZ ((X)) un ideal maximal. Si c Z ((X))divide a b, osea b = c.d, entonces
b cZ ((X)), por lo tanto M cZ ((X)). As
M = cZ ((X))

y c = bf = cdf,

de donde df = 1, o bien cZ ((X)) = Z ((X)) y en consecuencia c es una unidad. As c o

d es una unidad y por lo tanto b es irreducible.
Recprocamente, sea b un elemento irreducible de Z ((X)), si
bZ ((X)) cZ ((X)) ,
12

entonces b = c.d, luego c es una unidad y cZ ((X)) = Z ((X)) o bien d es una unidad y
cZ ((X)) = bZ ((X)). Por lo tanto bZ ((X)) es un ideal maximal de Z ((X)).
(iv) Supongamos que b = c.d, donde c =
l

Como b = p +

cn X n , d =

n0

dn X n .

n0

bn X , l 2, se deduce que
n

n1

pl = c0 d0

y bn =

ci dj ,

n 1.

i+j=n

De este modo c0 = pk , d0 = pm , k + m = l. Ademas

b1 = c0 d1 + c1 d0 = pk d1 + pm c1
y como (p, b1 ) = 1, k = 0 o m = 0. As c0 = 1 o d0 = 1, luego c o d es una unidad y en
consecuencia b es irreducible.

Los n
umeros p-
adicos Qp como cociente de Z ((X))

Sea b =

bn X n Z ((X)) un elemento no inversible y sea

nn(b)

J (b) = b.Z ((X))

el ideal generado por b. Podemos suponer que VX = 0 y que (b) = b0 2.
Z ((X))
Consideremos sobre el anillo cociente A (b) =
la (semi)norma cociente denida
J (b)
para a
A (b), la clase de a Z ((X)) modulo J (b) , por
a = nf |a c| .
cJ(b)

Desde que J (b) es cerrado en Z ((X)),

a = 0 si y solo si a
= 0.
Ademas:
(i) 1 = 1


)
(
(ii) a
+ b m
ax
a , b


(iii) a
.b
a b

13

Proposici
on 3.1.
(i) El anillo cociente A (b)) =

Z ((X))
dotado de la norma cociente
J (b)

a = nf |a c|
cJ(b)

es completo.
(ii) Si b es irreducible, o bien el cuerpo de series formales A (b) es isomorfo a un cuerpo de
Z
series formales de Laurent Fp ((X)), donde Fp =
para alg
un primo p, o bien, A (b)
pZ
contiene un subcuerpo isomorfo a un cuerpo de n
umeros p-adicos Qp .
Prueba.
(i) Sea (
an )n0 una sucesion de Cauchy en A (b). Entonces para cada entero k 1, existe
un entero nk tal que si m nk , n nk implica que
an a
m <

1
,
2k

en particular

an a
nk < 21k . Podemos escoger la sucesion de enteros nk tales que nk+1 nk . As


a
nk+1 a
n .
nk < 21k . Consideremos para cada n 0, an Z ((X)) un representante de a
Usando la denicion

a
n

k+1



1
a
nk = inf ank+1 ank c < k ,
cJ(b)
2

se deduce que existe ck J (b) tal que



an an c < 1 + 1 = 1 .
k+1
k
2k 2k
2k1
Deniendo b0 = an1 , bk = ank+1 ank ck , k 1, tenemos que
b0 = a
nk , k 1.
n1 , bk = a
nk+1 a
En vista de que |bk | <

1
,
2k1

k 1, la serie de n
umeros reales

k0

luego lm |bk | = 0 en R, entonces

k

lm bk = 0 en Z ((X))

14

|bk | es convergente,

y como Z ((X)) es completo y ultrametrico, la serie

digamos a =

bk = lm

k1

k j=0

k0

bk converge en Z ((X)), con suma,

k0

bj .

Puesto que la aplicacion canonica : Z ((X)) A (b) es un morsmo continuo de anillos

topologicos, entonces
(
a
= (a) =

lm

k1

)
bj

= lm

( k1

j=0

)
(bj ) .

j=0

Pero (b0 ) = a
n1 y (bj ) = a
nj+1 a
nj , j 1. Entonces
k1

(bj ) = a
n1 +

j=0

k1

)
a
nj+1 a
nj = a
nk

j=0

y en consecuencia a
= lm a
nk y como (
an )n0 es una sucesion de Cauchy, se concluye
k

que lm a
n = a
, por lo tanto A (b) es completo.
n

(ii) Supongamos que b es irreducible. Entonces J (b) es un ideal maximal (ver proposicion
2.2 parte (iii)), luego A (b) es un cuerpo. Gracias a la parte (ii) de la proposicion 2.2,

podemos suponer que b es de la forma b = pl +

bn X n = pl +X .c , l 1, donde p es
n

un n
umero primo. Respecto a la caracterstica de A (b) pueden suceder dos casos:
un n
umero primo). Entonces
(a) Si la caracterstica de A (b) = 0, digamos q (q es alg
q.1 = 0, de donde q J (b), en consecuencia q = p y l = 1, por lo tanto J (b) =
p.Z ((X)).
Z
es el cuerpo de los enteros residuales modulo p y para cada m Z,
pZ
[m] representa la clase modulo p de m, la aplicacion

Luego si Fp =

: Z ((X))

an X n
nna

Fp ((X))

7
[an ] X n
nna

dene un epimorsmo de anillos cuyo n

ucleo es pZ ((X)) y en consecuencia A (b) =
Z ((X))
es isomorfo a Fp ((X)).
pZ ((X))
(b) Ahora supongamos que la caracterstica de A (b) es cero. Armamos que ZJ (b) =
0. En efecto: Supongamos por el absurdo que existe = 0 con ZJ (b), entonces
15

 = b.d para alg

un d Z ((X)), luego () = (b) . (d) y como Z ((X)) y
(b) = pl , se deduce que = pl .r, para alg
un r Z {0} . Sea s el mas grande
entero positivo tal que = ps.l ., Z {0}.
Como A (b) es de caracterstica cero, p
/ J (b) . Luego
0 =
= ps.l .
y en consecuencia J (b) . Por lo tanto
= pl , Z {0}

(pues Z).

Entonces = p(s+1)l ., lo cual contradice el modo de escoger s. Por lo tanto = 0

y ZJ (b) = 0.
As
:

A (b)

es un monomorsmo de anillos que nos permite identicar Z con un subanillo de

A (b).

De otro lado A (b), pl = X .

c, de este modo

 
l
c X 
p X .
y para todo entero positivo tenemos

 n.
n.l n.
cn X  = n. .
p X .


Por lo tanto lm pn.l = 0 (pues 0 < < 1).
n

Escribiendo para cada

[ ]
n
n 0, n = m (n) l + s (n) , donde m (n) =  
j
y 0 s (n) l 1, obtenemos
pn

m(n).l s(n) m(n).l
p
p p

y usando lo anterior, concluimos que lm pn. = 0.

n

16

Puesto que la norma sobre A (b) es ultrametrica, de una parte tenemos que la

1 Z y de otra, si (n )n0 es una sucesion de enteros, la serie

n pn
n0

converge en A (b).

Es posible entonces deducir que la adherencia en el cuerpo A (b) del anillo Z es igual
{

a
p =

a=

}
n pn , 0 n p 1

n0

El dominio p puede ser identicado con el anillo de los enteros p-adicos Zp , y en

consecuencia el cuerpo de fracciones de p puede ser identicado con el cuerpo de
fracciones de Zp , osea Qp , el cuerpo de los n
umero p-adicos.

Proposici
on 3.2. Sea b =

bn .X n Z ((X)) , no inversible tal que b0 2. Supongamos que

n0

para a Z ((X)) no nulo, la division euclidana a = bq + r es tal que

r = X.

rn X n , 0 < r0 = (r) b0 1 = (b) 1.

n0

En estas condiciones
a = inf |r c| = |r|. En particular para todo entero n se tiene que
cJ(b)

X n = |X|n .
Prueba.
Como a = bq + r, es claro que
a =
r . Entonces los que probaremos es que
r = |r|.
En efecto: Sea c J (b)
(a) Si |r| < |c|, entonces |r c| = |c| > |r|
r
(b) Si |c| < |r|, entonces |r c| = |r|.
(c) Suponiendo que |c| = |r|, como c = b.d y |b| = 1, entonces
|c| = |d| .
Llamando m = VX (r) = VX (c) = VX (d), tenemos que
r = Xm

rn X n , d = X m

n0

n0

17

dn X n

y
(
rc = X

rn X
n

n0

n0

r0 b0 .d0 +

= Xm

bi .dj

)
X

i+j=n

rn

bi .dj

)
Xn

i+j=n

n1

Como 0 < r0 b0 1, se debe tener que r0 b0 .d0 = 0, en caso contrario r0 = b0 .d0 b0

lo cual es absurdo. En consecuencia VX (r c) = m y por lo tanto |r c| = |r|.
De los casos (a), (b) y (c) , |r c| |r|
r c J (b).
Por lo tanto
r = inf |r c| = |r|.
cJ(b)

Teorema 1. Sea b Z ((X)) irreducible de la forma b = p +

bn X n . Entonces la norma

a = inf |a c| sobre el cuerpo cociente A (b) es un valor absoluto.

cJ(b)

Prueba.
Para mostrar que dene un valor absoluto, solo hace falta ver que
a.
c =
a .
c,

a, c A (b). En efecto: Sean a y c elementos de Z ((X)), si a o c J (b), no hay nada que

probar. Supongamos pues que a
/ J (b) y que c
/ J (b), entonces por division euclideana en
Z ((X)), existen , r, y u Z ((X)) tales que: a = b + r y c = b + u, donde 0 < (r),
(u) (b) 1.

Si VX (r) = m, VX (u) = s, r = X m

rn X n , u = X s

n0

Ademas

ru = X m+s r0 u0 +

n1

un X n , entonces 0 < r0 , u0 p 1.

n0

ri uj

)
Xn

i+j=n

Nuevamente por division euclidiana existen y t Z ((X)) tal que r.u = b + t, donde

tn X n , 0 t0 t 1. Entonces r0 u0 t0 m
od (p), luego t0 = 0.
t = X m+s
n0

Como a.c = b. + t y a.c = a

.
c, la proposicion anterior garantiza que
a .
c

a.
c = a.c = |t| = m+s = m s = |r| . |u| =

18

Observaci
on: De ahora en adelante nuestro interes radicara cuando b adopta la forma sim
ple b = p X. En este caso para a =
an X n Z [[X]], si usamos el arguemento de la
n0

demostracion de la proposicion 2.1, podemos escribir

a = (p X) .q + r = (p X)

qn X n +

n0

rn X n ,

n0

donde
a0 = p.q0 + r0 , 0 r0 p 1
[ ]
 a0 
y q0 =  
p
an = p.qn qn1 + rn , 0 rn p 1
]
[
 an + qn1 

 , n 1.
y qn = 

p

En el caso general que a = X n(a)

an X n Z ((X)) , llamando a =

n0

an X n y usando el

n0

argumento de arriba a = (p X) .q + r, luego a = (p X) .Q + R, donde Q = X n(a) .q,

R = X n(a) .r y sus coecientes son calculados como arriba.
Proposici
on 3.3
(i) 1 = (p X)

X n + (p 1)

X n.

n0

n0

(ii) Sea m Z tal que m 1 cuyo desarrollo en base p es

m=

i pi , 0 i p 1.

i=0

Entonces
m = (p X)

t1

n=0

qn X n +

n X n , donde qn =

n=0

(iii) Z (p X) Z ((X)) = 0
Prueba

19

i=n+1

j pjn1

[ ]
 
(i) Si usamos la observacion anterior q0 =  1
= 1, r0 = a0 p.q0 = p 1.
p 
]
[
 an +qn1 
Supuesto por induccion que qn1 = 1 y como qn =  p  y an = 0 entonces
qn = 1, n 1. Luego
rn = an p.qn + qn1 = p 1, n 1.
De esto se sigue lo armado.
(ii) Nuevamente, si usamos la ,observacion anterior
[ ]
t
m
q0 =   =
i pi1 y r0 = m p.q0 = 0
p
i=1
[ ]
t

 
Como q1 =  qp0  , entonces q1 =
i pi2 y r1 = q0 p.q1 = 1 .
i=2

Suponiendo por induccion que qk1 =

i pik se deduce que

i=k

]
[
t

 qk1 


qk = 
i pik1
=

p
i=k+1

y rk = qk1 pqk = k .

Continuando el proceso obtenemos que para k t, qk = 0 y rk = 0, lo cual concluye la

prueba.
(iii) Sea Z (p X) Z ((X)) , entonces = (p X) q para alg
un q Z ((X)). Supongamos que = 0, entonces q = 0. Ademas
1 = || = |p X| . |q| = |q| ,
q=

qn X n y = pq0 , p.qn = qn1 , n 1. Entonces

n0

= pn+1 qn pn+1 .Z, n 0,

lo cual es una contradiccion y enconsecuencia = 0.

Observaci
on: Gracias a la parte (iii) de la proposicion anterior, la aplicacion
: Z

A (p X)
7
,
20

es un monomorsmo de anillos que nos permite identicar Z con un subanillo (dominio) de

A (p X) y el cuerpo de fracciones de Z, osea Q, con un subcuerpo de A (p X). Mas a
un,
p X = 0, identicaremos p con X.
Teorema 2. El cuerpo valuado ultrametrico y completo A (p X) =
al cuerpo de los n
umeros p-adicos Qp .

Z ((X))
es isomorfo
J (p X)

Z [[X]]
y puede ser identificado con
(p X) Z [[X]]

El anillo de valuacion de A (p X) es igual a

el anillo de los enteros p-adicos Zp .
Prueba:

En vista que p = (p X) + X, se sigue de la proposicion 3.2 que

p =
p = |X| = .
De otro lado, usando la division euclidiana, cada
a = X n(a) .

an X n Z ((X)) , n (a) = VX (a) ,

n0

puede expresarse como

a = (p X) q + r, donde r =

rn X n , 0 rn p 1 y n (r) n (a) .

n0

Luego a
=

rn pn , donde la serie es convergente en A (p X) pues pn = n y 0 < < 1

nn(r)

(recordemos que A (p X) es ultrametrico).

Sea m N, cuyo desarrollo en base p es m =

i pi , 0 i p 1. Entonces por la

i=0

parte (ii) de la proposicion 3.3

m = (p X)

t1

qn X n +

n=0

En consecuencia
m=m
=

n X n .

n=0

nX =

n=0

n pn .

(*)

n=0

ri pi y teniendo en cuenta (*), se sigue

De lo anterior, para cada a Z ((X)) , a
= lm
n i=n(r)
n
que
p .N es denso en A (p X) y por lo tanto Q es denso en A (p X) .
n0

21

Como p = < 1, se deduce del teorema de Ostrowski que la restriccion a Q del valor
absoluto es equivalente al valor absoluto p-adico sobre Q denido por
|x|p = pVp (x) ,

x Q.

(
)
Lo anterior, prueba entonces que (A (p X) , ) es una completacion de Q, | |p y como
una completacion es u
nica, salvo isomorsmo, se sigue que A (p X) es isomorfo a Qp .
De otra parte
a = |r| 1 si y solo si VX (r) = n (r) 0, si y solo si r Z [[X]], si y solo

Z [[X]]
Z [[X]]
si a
=
rn pn
y como 0 rn p 1, podemos identicar
(p X) Z [[X]]
(p X) Z [[X]]
n0
con Zp .

References
[1] F. Faltin, N. Metropolis, B. Ross and G.C. Rota, The real numbers as a wreath product.
Advances in Mathematics, 16 (1975), 278-304.
[2] A. Robert, A course in p-adic analysis, Springer, New York, Berlin, 2000
[3] P.Samuel, About euclidean rings, Journal of Algebra, (1971), 282-301.

22