We can add and multiply ten-adic numbers. For example, we have seen is and is . We can compute their sum to see an answer indeed one less than . (And is .)
And we can compute their product to see the answer , which is indeed .
And since we know how to make negative ten-adic numbers and fractions as ten-adic numbers, we can also subtract (add the negative) and divide (multiply by a fraction) ten-adic numbers.
Well, almost. We can’t divide by some ten-adic numbers. There’s a flaw in the ten-adic system.
Here’s an example of the problem. We have that
is a number close to zero.
is a number closer to zero.
is a number even closer to zero.
And so on.
It is possible to construct a non-zero ten-adic number that behaves like an infinitely large power of two and a non-zero ten-adic number that behaves like an infinitely large power of five, so their product then, , is so close to zero that it actually is zero!
Non-zero numbers that multiply to zero don’t exist ordinary arithmetic, but they do in the ten-adic system. This means we can’t divide by some non-zero numbers, like and in this arithmetic. (If dividing by is possible, then divide the equation through by and get the contradictory statement that .)
How might one construct these numbers and ? It’s a bit tricky, but here’s the gist of it.
Here are the first few powers of five:
, , , , , , , …
All of these powers end in .
Infinitely of them actually end in .
Actually, one can verify that infinitely of then actually end in . (Multiply any one that does by to get another one.)
Actually, infinitely many of them end in . (Multiply any on that does by to find another one that does.)
And so on.
In principle, we can construct a ten-adic number for which there are infinitely many powers of five that end with the same set of digits as does, for any size set of digits you want. (There are infinitely many powers of five that end with the final set of one-hundred digits as does, and there are infinitely many powers of five that end with the same million final digits, and so on.)
We can do the same construction for the powers of two and construct a ten-adic number for which there exist infinitely many powers of two that end with any final set of digits of .
Now look what happens when you multiply and . You do indeed get zero.
The problem is that is a composite number. One can prove that this annoyance will never arise if one works in base that is a prime number instead!