The motto of the Pythagoreans was “All is Number”. They saw numbers as the essence and foundation of the physical universe. For them, numbers meant the positive whole numbers, or natural numbers , and ratios of these, the positive rational numbers . It came as a great shock that the diagonal of a unit square could not be expressed as a rational number.

If we arrange the rational numbers on a line, there are gaps everywhere. We can fill these gaps by introducing additional numbers, which are the limits of sequences of rational numbers. This process of *completion* gives us the real numbers , which include rationals, irrationals like and transcendental numbers like .

But there are other ways of completing that yield different number fields, one for every prime number . These are called the *p*-adic numbers, denoted . The *p*-adic numbers are essential in modern number theory: they are useful for solving diophantine equations and finding rational roots of polynomials. They have also been used in quantum mechanics and string theory. Other applications include probability theory, information theory, computer science and cryptography.

** Norms and Metrics **

The usual measure of the size of a rational number is the absolute value . This also gives a measure of the distance between rational numbers, , the Euclidean metric, which makes a metric space.

A Cauchy sequence is one in which `all terms beyond a certain point get close to each other’. Specifically, given any number there is some number such that the distance between any two terms beyond is less than . In symbolic form,

We must be careful: the harmonic series

is *not* a Cauchy sequence since, no matter how large may be, we can find two terms beyond that differ from each other by an indefinitely large quantity. All Cauchy sequences are bounded and converge in the real number system.

The definition of a Cauchy sequence depends crucially on the concept of *distance*. We use the Euclidean distance defined by the absolute value. But it is possible to use other metrics and these lead to different completions of the rational numbers, known as *p*-adic numbers.

** The p-adic Expansion of a Number**

To construct the *p*-adic numbers, we define a new norm and a new measure of distance. This new norm appears at first to be strange and artificial, so we will try to motivate it with an example.

First, we choose a prime number. For simplicity, we will take . Normally, we express numbers as expansions in powers of 10, for example,

with multipliers all in the range . Fractions involve negative powers of 10:

In many cases, the decimal expansion is infinite:

but, with the Euclidean norm, the terms become ever-smaller.

Now we will change to base . By repeated division by , we easily find

What about fractions? We could try

But this is not in canonical form, because the `digits’ are not in the range .

Let us try another approach: we seek to express as a multiple of 5 and a remainder in :

Trying all , we easily find that

Now we do the same for and find that

We can substitute (2) into (1) repeatedly to get

It appears that we are getting bigger numbers for increasing and, for the Euclidean norm, this is true. But we will introduce a new norm, for which gets *smaller* as increases. Thus, we can continue the process indefinitely, to get

where the dots on the left imply an infinite string of 2’s.

We can check that the arithmetic works for expansions like this. Add to itself, digit by digit, from right to left: so we write 1 and carry one. For each other digit we have so we write 0 and carry again. The result is .

** The p-adic Norm**

We need a norm that makes small for large . For an integer *m* in , we define

For rational numbers , we write and , where and are both coprime with . Then

and we define the *p*-adic norm as

This is a well-defined norm, albeit a strange-looking one. The size of a number in this norm is determined by the number of ‘s in its prime factorization. The more ‘s there are, the smaller the norm. **Two numbers are close together if their difference is divisible by a high power of p**. The higher the power, the closer the two numbers are together.

Looking back to (3), we see that the first right-hand term has *p*-adic norm

Clearly, this gets smaller with increasing , so it makes sense to continue the expansion indefinitely and write as the infinite expansion in (4).

** Filling in the gaps **

Now we define the field of *p*-adic numbers to be the completion of with respect to the *p*-adic norm. That is, we add to the limits of all sequences that are Cauchy in the *p*-adic norm. We denote the resulting complete field by , the field of *p*-adic numbers.

We hope to continue on the topic of *p*-adic numbers next week. HERE.

** Sources**

Gouvêa, Fernando Q., 2008: *Local and Global Number Theory*. § III.51 in *The Princeton Companion to Mathematics*, Ed. Timothy Gowers. Princeton Unversity Press (pp.~241-244). ISBN: 978-0-6911-1880-2.

Katok, Svetlana, 2007: *P-adic Analysis Compared with Real.* Amer. Math. Soc., 152pp. ISBN: 978-0-8218-4220-1.