Kurt Hensel, born in Königsberg, studied mathematics in Berlin and Bonn, under Kronecker and Weierstrass; Leopold Kronecker was his doctoral supervisor. In 1901, Hensel was appointed to a full professorship at the University of Marburg. He spent the rest of his career there, retiring in 1930.

Hensel is best known for his introduction of the *p*-adic numbers. They evoked little interest at first but later became increasingly important in number theory and other fields. Today, *p*-adics are considered by number theorists as being “just as good as the real numbers”. Hensel’s *p*-adics were first described in 1897, and much more completely in his books, *Theorie der algebraischen Zahlen*, published in 1908 and *Zahlentheorie* published in 1913.

The paper *The p-Adic Numbers of Hensel* (MacDuffee, 1938) opens as follows: “One cannot blame a respectable mathematician for looking twice at the equation

However, if we add 1 to both sides of this equation, we have 0’s as far out as we care to carry it.” The paper continues: “The whole point … is that this is not ordinary convergence, but a new type of convergence which, from the point of view of abstract algebra, is equally worthy of the name.”

**The p-adic Numbers**

In last week’s post (HERE), we examined how to fill the gaps in the rational number line by introducing additional numbers, the limits of sequences of rational numbers. This process of *completion* gives us the real numbers .

A metric space is a space that is endowed with a distance function . With this function, we can define Cauchy sequences in , sequences for which terms beyond some point are arbitrarily close (the definition is in the earlier post). A *complete space* is one that includes the limit of every Cauchy sequence. Every metric space can be completed: by adding to the limits of all Cauchy sequences, we obtain the *completion* of .

The reals are constructed using the usual Euclidean metric. We also found that there are other metrics that can be used to complete , which yield different number fields, one for every prime number . These are called the *p*-adic numbers, denoted . To construct the *p*-adic numbers, we define a new norm and a new measure of distance. We choose a specific prime number *p*. By the unique factorization theorem, any rational number can be expressed in the form

where and are integers relatively prime to and the integer may be positive or negative. We then define the *p*-adic norm as follows:

that is, the inverse of the largest power of that divides . 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 **. The higher the power, the closer the two numbers are together.

As an example, the number is close to in , but it is quite distant in :

The field of *p*-adic numbers is the completion of with respect to the *p*-adic norm.

** The Triangle Inequality **

The Euclidean norm, which we will write , satisfies the triangle inequality: for any real numbers and ,

In contrast, the *p*-adic norm satisfies what is called the *strong triangle inequality*:

It allows us to introduce a so-called ultra-metric , such that

A strange consequence of this is that for every integer .

**Ostrowski’s Theorem** states that any (non-trivial) norm on is equivalent to either the Euclidean norm or to a *p*-adic norm for some prime number .

The usual Euclidean norm is Archimedean: given any two real numbers and , it is possible to find a finite number such that ; enough small steps added together will exceed any large step. The -adic norm is *non-Archimedean*. There are numbers that cannot be compared in magnitude, and there is *no order structure* on .

There are numbers in that have no square root in . Using Hensel’s Lemma (Katok, 2007), we can easily show that is in while is not.

**The p-adic Integers **

Any positive integer can be expanded in the form

where is an integer in . Usually, we extend this to the rational and, ultimately, real numbers by extending the *lower* limit of the summation:

(adding digits to the **right**). For the *p*-adics, we extend the *upper* limit (adding digits to the **left**):

where .

The *p*-adic numbers for which are called the *p*-adic integers and they form a sub-ring of the field , denoted by . We see that

The usual integers are in , but it also contains some surprises: since

we see that , so that is a 5-adic integer. Indeed, is uncountable, so it is `much larger’ than the set of integers . You may like to consider what other unexpected numbers are in . For example, do we have or or ?

** Topology of compared to **

In any metric space, we can define a topology generated by the set of open balls. Katok (2007) discusses the topology of the space , and compares it to with its usual topology, induced by the Euclidean metric. We note that the range of the *p*-adic metric is the discrete set . This gives it topological properties that are rather strange. For example, has the topology of a Cantor ternary set.

For any open ball in and any point in this ball, we have . Thus, **every point in an open ball is the centre of the ball!** Another curiousity is that in ultra-metric spaces, including , every triangle is isosceles, with the equal sides longer than the third side. For more details, see Chapter 2 of Katok (2007).

The “Local-Global Principle”, formulated by Helmut Hasse, deserves another post. Perhaps when I understand it, I will return to this topic.

** Sources **

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

MacDuffee, C. C., 1938: The *p*-Adic Numbers of Hensel. Amer. Math. Monthly, **45**, (8), 500–508.

Wikipedia article: *p*-adic Numbers. http://www.wikipedia.org/