P-Adic Numbers
2023-12-03
Every mathematician knows that . There are a few ways to prove that. Perhaps the simplest is to deconstruct the decimal: . This is an infinite geometric series with first term and common ratio ; the formula for the sum of an infinite geometric series tells us that it’s equal to .
This infinite series gives us a shortcut to a lot of other fractions. , so we know that . Going the other direction, you might know that , which tells us that .
Let’s consider a different “number”. What if, instead of repeating s to the right of the decimal point, we repeated s to the left of the decimal point? What is equal to?
Your first guess might be “infinity”, which in the number system we’re used to, is accurate. We can also write this as , which is a divergent series with no limit. So “infinity” isn’t a bad first guess.
Just for fun, though, let’s apply our formula for an infinite geometric series to this series. is an infinite geometric series with first term and common ratio , so the formula (if we could apply it) would give us a sum of . That can’t be right, can it?
What happens if we add to our “number”? Normally, when we add to a number, we add it to the ones place; if that overflows, we add the rest to the tens place, and so on, until it stops overflowing.
For our number, when we add to the ones place, it indeed overflows (leaving us with in the ones place); when we add the from the overflow to the tens place, it overflows again. This continues forever; our result looks like , with a that keeps on moving to the left forever.
Interesting! This looks a lot like ; if , there’s another piece of evidence suggesting that .
Let’s try one more thing. What happens if you multiply by itself? We can multiply this the same way we learned to multiply normally; first we multiply the top number by the ones digit of the bottom number, then the tens digit (shifting left by 1), etc. When we’re done, we add up all of the partial products to get our final product.
You can try this yourself; no matter how many partial products you compute, the numbers always cancel, and our result is .
To recap, so far, we’ve found that (just like ), (just as ), and with our infinite series formula, .
At this point, we might start to think that we’ve discovered something. If acts like in all the important ways, maybe it’s equivalent to in a sense. This “sense” is called the 10-adic numbers (10 refers to the fact that we’re using base 10); digit strings that go on forever to the left.
What other numbers can we write using 10-adic numbers?
By similar logic as above in this system (because ), and so on; we can write every negative integer as a 10-adic number instead.
What about fractions? What’s in 10-adic numbers? Well, we know that , so . Since , we must have .
See if you can find , , and on your own (bonus points for computing in at least three different ways, using what we’ve already found!).
What about ? The “trick” we’ve used above doesn’t work, since 2 isn’t a factor of any repeating string of 9s. In fact, we can convince ourselves quite easily that can’t be represented as a 10-adic number; if it were, and the units digit of that representation was , then we must have , which is impossible. The same is true for , by similar logic.
In fact, any fraction which contains a factor of 2 or 5 in the denominator (when fully simplified) cannot be expressed as a 10-adic number (see if you can prove that). All other fractions, however, can.
Finally, let’s talk about a couple of interesting examples of 10-adic numbers. If you take the number 5 and square it, you get 25; square 25, and you get 625; square 625, and you get 390625. If you continue this process indefinitely, you’ll notice that the end of these numbers converges to a 10-adic constant, . Notice that sometimes intermediate results won’t match the entire string, as ends in 90625 but not 390625; however, the process will eventually converge on .
Similarly, if you start with the number 6 and raise it to the fifth power, you get 7776; raise 7776 to the fifth power, and you get a very long number ending in 376. If you repeat this process indefinitely, you end up with another 10-adic constant, .
These two numbers seem like ordinary 10-adic numbers; however, if you put them together, they start behaving strangely.
Let’s try adding them first.
Now let’s try multiplying them.
I encourage you to try this process, as long as it takes to convince yourself that the sum is indeed 1 and the product is indeed 0.
So what’s going on here? Why is this happening, and what does it mean?
One thing to know is that mathematicians really hate it when this happens. There’s a rule that if , either or ; this is true in our number system, but also in most other systems that mathematicians like to use. When it breaks, something has gone wrong.
Let’s talk a little bit about why this breaks. The root of the problem is that 10 is composite. Because 10 has two prime factors and not just one, 10-adic numbers don’t behave the way we want them to. In fact, every 10-adic number acts like two numbers; how it behaves mod 2, 4, 8, … and mod 5, 25, 125, ….
In our example, for every integer , and for every integer . Conversely, for every integer , and for every integer . In a sense, we can think of as the pair and as the pair . Multiplying these pairwise gives us , which is equivalent to , and adding gives , which (it can be shown) is equivalent to .
In fact, the “p” in “p-adic numbers” stands for “prime”, and these numbers are usually constructed from prime numbers. For a prime p, p-adic numbers obey all the rules we want them to obey, and in fact become a very useful tool for all sort of applications. These ideas were even used in Andrew Wiles’ proof of Fermat’s Last Theorem.
Sources: