This cheat sheet introduces -adic numbers, a number system built by measuring divisibility by a fixed prime . Students need it because -adic methods connect number theory, algebra, and modular arithmetic in a precise analytic setting. The main idea is that numbers are close when their difference is divisible by a high power of .
Key Facts
- For a nonzero rational number , the -adic valuation is the exponent of in the factorization of , with .
- If where and , then .
- The -adic absolute value is for , and .
- The -adic distance between and is .
- The ultrametric inequality says , which is stronger than the usual triangle inequality.
- A sequence converges -adically to exactly when .
- Every -adic integer has an expansion with digits .
- The ring of -adic integers is .
Vocabulary
- -adic valuation
- The function that counts the exponent of the prime in a nonzero rational number .
- -adic absolute value
- The norm that makes numbers smaller when they are divisible by larger powers of .
- Ultrametric inequality
- The rule , which changes many geometric intuitions from ordinary real distance.
- -adic integer
- An element of whose -adic absolute value satisfies .
- -adic expansion
- A series with digits that represents a -adic integer.
- The field of -adic numbers, formed by completing using the -adic distance.
Common Mistakes to Avoid
- Using ordinary size to judge -adic size, which is wrong because gets smaller as increases.
- Forgetting that , which leads to incorrect norms because .
- Treating -adic expansions like decimal expansions, which is wrong because powers of grow to the left in real size but become smaller -adically.
- Assuming convergence means terms look close on the real number line, which is wrong because in requires .
- Applying the ordinary triangle inequality as equality intuition, which is misleading because the stronger bound often dominates.
Practice Questions
- 1 For , compute and .
- 2 For , write in the form with and , then find and .
- 3 For , determine whether the sequence is Cauchy in the -adic metric.
- 4 Explain why two integers can be very far apart in the usual real distance but very close in the -adic distance.
Understanding P-Adic Numbers Introduction
A useful way to picture p-adic arithmetic is to think in base p, but with infinitely many digits extending toward larger powers of p. Ordinary decimal expansions can continue to the right of the decimal point. P-adic expansions continue in the opposite direction, through powers such as p, p squared, and p cubed.
This makes carrying especially important. When two digits add to at least p, the extra amount is carried into the next higher power.
To find the first several p-adic digits of a sum or product, students can work modulo successively larger powers of p. Each new calculation fixes one more digit without changing the earlier digits.
The strong triangle rule has geometric consequences that feel strange at first. A p-adic ball is a set of numbers sharing a certain number of initial base p digits. Two such balls either do not meet, or one lies completely inside the other.
There is no partial overlap like the overlap of ordinary intervals. Every point inside a ball can serve as its center. This structure makes many arguments cleaner because a small error stays controlled under addition.
There is one important warning. If two numbers have the same p-adic size, their leading digits can cancel.
Their sum may then become much smaller than either original number. Checking for this cancellation is a central habit in calculations.
Completion creates numbers that cannot be written as ordinary rational numbers, in the same way that real numbers complete the rationals in a different sense. A series whose terms contain higher and higher powers of p has a well defined p-adic limit, even if its ordinary size grows without bound. For example, in the three-adic setting, the endless expression two plus three plus nine plus twenty-seven and so on represents one divided by two.
This is correct because multiplying the expression by two gives one after the infinite carrying is interpreted p-adically. More generally, a fraction with denominator not divisible by p has a p-adic expansion. Its digits can be found by solving the fraction modulo p, then modulo p squared, then modulo larger powers.
One major use of this process is lifting solutions of polynomial equations. A solution found modulo a prime can often be improved to a solution modulo the prime squared, then the prime cubed, continuing forever. When the polynomial changes by a nonzero amount near that first solution modulo the prime, the lift is usually unique.
This idea is called Hensel lifting. It turns a difficult infinite problem into a chain of finite modular calculations. Students meet this method in number theory, algebra, coding theory, and proofs about integer solutions.
When learning the topic, keep ordinary size separate from p-adic size. A large power of p is tiny p-adically.
Negative valuation means that p occurs in a denominator. Careful work with residues, carries, and possible cancellation prevents most early mistakes.