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

|x|p={0x=0pnx=pnab