There are several ways to define :

- is the completion of with respect to the -adic metric .
- is the projective limit .

modulo whenever

with the following `` -addic norm''.

Then we define `` -addic metric'' on in an obvious way.

2008-06-10