Sign in to save

Bookmark this page so you can find it later.

Sign in to save

Bookmark this page so you can find it later.

This cheat sheet introduces pp-adic numbers, a number system built by measuring divisibility by a fixed prime pp. Students need it because pp-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 pp.

Key Facts

  • For a nonzero rational number xx, the pp-adic valuation vp(x)v_p(x) is the exponent of pp in the factorization of xx, with vp(0)=v_p(0)=\infty.
  • If x=pkabx=p^k\frac{a}{b} where pap\nmid a and pbp\nmid b, then vp(x)=kv_p(x)=k.
  • The pp-adic absolute value is xp=pvp(x)|x|_p=p^{-v_p(x)} for x0x\neq 0, and 0p=0|0|_p=0.
  • The pp-adic distance between xx and yy is dp(x,y)=xypd_p(x,y)=|x-y|_p.
  • The ultrametric inequality says x+ypmax(xp,yp)|x+y|_p\leq \max(|x|_p,|y|_p), which is stronger than the usual triangle inequality.
  • A sequence (an)(a_n) converges pp-adically to aa exactly when vp(ana)v_p(a_n-a)\to \infty.
  • Every pp-adic integer has an expansion a=a0+a1p+a2p2+a=a_0+a_1p+a_2p^2+\cdots with digits ai{0,1,,p1}a_i\in\{0,1,\dots,p-1\}.
  • The ring of pp-adic integers is Zp={xQp:xp1}\mathbb{Z}_p=\{x\in\mathbb{Q}_p:|x|_p\leq 1\}.

Vocabulary

pp-adic valuation
The function vp(x)v_p(x) that counts the exponent of the prime pp in a nonzero rational number xx.
pp-adic absolute value
The norm xp=pvp(x)|x|_p=p^{-v_p(x)} that makes numbers smaller when they are divisible by larger powers of pp.
Ultrametric inequality
The rule x+ypmax(xp,yp)|x+y|_p\leq \max(|x|_p,|y|_p), which changes many geometric intuitions from ordinary real distance.
pp-adic integer
An element of Zp\mathbb{Z}_p whose pp-adic absolute value satisfies xp1|x|_p\leq 1.
pp-adic expansion
A series a0+a1p+a2p2+a_0+a_1p+a_2p^2+\cdots with digits ai{0,1,,p1}a_i\in\{0,1,\dots,p-1\} that represents a pp-adic integer.
Qp\mathbb{Q}_p
The field of pp-adic numbers, formed by completing Q\mathbb{Q} using the pp-adic distance.

Common Mistakes to Avoid

  • Using ordinary size to judge pp-adic size, which is wrong because pkp=pk|p^k|_p=p^{-k} gets smaller as kk increases.
  • Forgetting that vp(xy)=vp(x)+vp(y)v_p(xy)=v_p(x)+v_p(y), which leads to incorrect norms because xyp=xpyp|xy|_p=|x|_p|y|_p.
  • Treating pp-adic expansions like decimal expansions, which is wrong because powers of pp grow to the left in real size but become smaller pp-adically.
  • Assuming convergence means terms look close on the real number line, which is wrong because anaa_n\to a in Qp\mathbb{Q}_p requires vp(ana)v_p(a_n-a)\to\infty.
  • Applying the ordinary triangle inequality as equality intuition, which is misleading because the stronger bound x+ypmax(xp,yp)|x+y|_p\leq\max(|x|_p,|y|_p) often dominates.

Practice Questions

  1. 1 For p=3p=3, compute v3(81)v_3(81) and 813|81|_3.
  2. 2 For p=5p=5, write 752\frac{75}{2} in the form 5kab5^k\frac{a}{b} with 5a5\nmid a and 5b5\nmid b, then find v5(752)v_5\left(\frac{75}{2}\right) and 7525\left|\frac{75}{2}\right|_5.
  3. 3 For p=2p=2, determine whether the sequence an=1+2+22++2na_n=1+2+2^2+\cdots+2^n is Cauchy in the 22-adic metric.
  4. 4 Explain why two integers can be very far apart in the usual real distance but very close in the pp-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.