III.D21 — τ-Native Local Field

ℤ_p^τ = lim← ℤ/p^n ℤ as inverse limit within τ. The p-adic integers are a τ-object with NF address. p-adic valuation v_p = D-coordinate restricted to p-primary component.