Part I
Basic Theory

Example. f(x1,…,xr)∈ℤ[c1,…,xr], f(x1,…,xr)=0? This is hard to study. It is easier to study

f(x1,…,xr)≡0(modp)f(x1,…,xr)≡0(modp2)  ⋮f(x1,…,xr)≡0(modpn)

A local field packages all this information together.