What is "p-adic number"

n. (context mathematics English) An element of a completion of the field of rational numbers which has a p-adic ultrametric as its metric.'''2008''', Jacqui Ramagge,

In mathematics the -adic number system for any prime number extends the ordinary arithmetic of the rational numbers in a way different from the extension of the rational number system to the real and complex number systems. The extension is achieved by an alternative interpretation of the concept of "closeness" or absolute value. In particular, -adic numbers have the interesting property that they are said to be close when their difference is divisible by a high power of : the higher the power, the closer they are. This property enables -adic numbers to encode congruence information in a way that turns out to have powerful applications in number theory—including, for example, in the famous proof of Fermat's Last Theorem by Andrew Wiles.

-adic numbers were first described by Kurt Hensel in 1897, though, with hindsight, some of Ernst Kummer's earlier work can be interpreted as implicitly using -adic numbers. The -adic numbers were motivated primarily by an attempt to bring the ideas and techniques of power series methods into number theory. Their influence now extends far beyond this. For example, the field of -adic analysis essentially provides an alternative form of calculus.

More formally, for a given prime , the field of -adic numbers is a completion of the rational numbers. The field is also given a topology derived from a metric, which is itself derived from the p-adic order, an alternative valuation on the rational numbers. This metric space is complete in the sense that every Cauchy sequence converges to a point in . This is what allows the development of calculus on , and it is the interaction of this analytic and algebraic structure that gives the -adic number systems their power and utility.

The in "-adic" is a variable and may be replaced with a prime (yielding, for instance, "the 2-adic numbers") or another placeholder variable (for expressions such as "the ℓ-adic numbers"). The "adic" of "-adic" comes from the ending found in words such as dyadic or triadic.