Definition 1.2 (p-adic absolute value). Let K=ℚ, and p be a prime. For 0≠x∈ℚ, write x=pnab, where (a,p)=1, (b,p)=1. The p-adic absolute value is defined to be