The ring
of -adic numbers is isomorphic to
(see Exercise 58), so it is not a
field. For example, the element
corresponding to
under this isomorphism has no inverse. (To compute digits
of use the Chinese remainder theorem to find a number that
is modulo and 0 modulo .)
If is prime then
is a field (see Exercise 57).
Since it is a little more
complicated to write -adic numbers down. People typically write
-adic numbers in the form
where
for each .
William Stein
2004-05-06